1

2

Suppose $X\subset \mathbb{P}_k^N$ a nonsingular curve is a complete intersection of hypersurfaces $F_1, \cdots, F_{N-1}$ (of degrees $d_1, \cdots, d_{N-1}$ resp). Then, we know that the canonical divisor on $X$ is $\mathcal{O}_X(d_1 + \cdots + d_{N-1} - n - 1)$. Hence, intersection theory on projective space gives a formula for the genus of $X$ entirely in terms of the various $d_i$. Specifically, $$2g - 2 = d_1\cdots d_{N-1} (d_1 + \cdots + d_{N-1} - N - 1)$$

$\textbf{Question:}$ Suppose $X$ is a nonsingular curve in $\mathbb{P}^N$, and $X = V(F_1, \cdots, F_m)$ is not a complete intersection. Can one get a similarly simple formula for the genus of $X$, perhaps entirely in terms of the degrees of the $F_i$? Is this too much to ask? I can't even simply describe the canonical divisor.

flag
2 
No. Think of it this way: being a complete intersection actually specifies a resolution of the ideal of the curve (via the Koszul complex). From this information the Euler characteristic of the structure sheaf can be determined, which gives the genus. More generally, if only generators of the ideal are known, the full structure of the resolution can be mysterious. If you know the full resolution you can determine the arithmetic genus (and hence the geometric genus since the curve is smooth), but the genus depends intimately on the resolution, i.e. on the "relations" between the $F_i$. – Jack Huizenga Nov 26 at 4:06
Jack, Thanks! Good to know that this is "too much to ask". Is it at least possible to describe the canonical divisor? – LMN Nov 26 at 4:22
how would one describe the canonical divisor without computing the genus? What properties of a divisor (that there is any hope of knowing) can you know without knowing its degree? – Will Sawin Nov 26 at 4:24
Will, you could know perhaps that it is the restriction of $\mathcal{O}(n)$. This doesn't tell you the degree. (I'm not suggesting that the canonical divisor is the restriction of a line bundle on projective space). – LMN Nov 26 at 4:27
The best you can hope for, if you do not impose some further conditions, is to bound the genus in terms of the degrees. First of all, there is a bound on the the degree $d$ of the curve $X$, namely $d\leq \text{max}(\text{deg}(F_i))^{N-1}$. For a generic linear projection of $X$ to $\mathbb{P}^2$, the image is an at worst nodal curve whose geometric genus is less than the arithmetic genus, i.e., $g(X) \leq (d-1)(d-2)/2$. Certainly if you impose further restrictions on $X$ or the equations $F_i$, then you can improve this. However, this is sharp for plane curves. – Jason Starr Nov 26 at 14:44
show 1 more comment

Your Answer

Get an OpenID
or

Browse other questions tagged or ask your own question.