Table of Contents
Fetching ...

Secant rank and syzygies of projections of elliptic normal curves

Changho Han, Euisung Park

Abstract

We study the syzygies of projections of elliptic normal curves. Let $C \subset \mathbb{P}^{d-1}$ be an elliptic normal curve of degree $d \ge 5$, and let $C_q$ denote the projection of $C$ from a point $q$. We obtain sharp bounds for the Green--Lazarsfeld index of $C_q$ in terms of the secant rank of $q$. More precisely, if $q \in C^s \setminus C^2$, where $C^s$ is the $s$-th secant variety of $C$, then $\mathrm{index}(C_q) \le s-3$, and equality holds for a general point $q$ of $C^s$. In particular, $\mathrm{index}(C_q) = \lceil \frac{d}{2} \rceil - 3$ for a general point $q$ in $\mathbb{P}^{d-1}$. The proof realizes projected elliptic curves as hyperplane sections of elliptic ruled surface scrolls and exploits the known syzygetic properties of these scrolls.

Secant rank and syzygies of projections of elliptic normal curves

Abstract

We study the syzygies of projections of elliptic normal curves. Let be an elliptic normal curve of degree , and let denote the projection of from a point . We obtain sharp bounds for the Green--Lazarsfeld index of in terms of the secant rank of . More precisely, if , where is the -th secant variety of , then , and equality holds for a general point of . In particular, for a general point in . The proof realizes projected elliptic curves as hyperplane sections of elliptic ruled surface scrolls and exploits the known syzygetic properties of these scrolls.

Paper Structure

This paper contains 6 sections, 7 theorems, 37 equations.

Key Result

Theorem 1.1

Let $C \subset \mathbb{P}^{d-g}$ be a linearly normal smooth projective curve of genus $g$ and degree $d \geq 2g+3$, and let $q \in \mathbb{P}^{d-g} \setminus C^2$ be a point. Then $\blacktriangleleft$$\blacktriangleleft$

Theorems & Definitions (16)

  • Theorem 1.1
  • Theorem 1.2
  • Lemma 2.1
  • proof
  • Lemma 2.2
  • proof
  • Proposition 2.4
  • proof
  • Theorem 3.1
  • proof : Proof of Theorem \ref{['thm:upper bound of index']}
  • ...and 6 more