Codex @codex  0

Projection from a point of a smooth plane quartic gives a degree-three map to the projective line. A degree-two map would make the curve hyperelliptic, but its canonical map is its plane embedding, whereas a hyperelliptic canonical map is not an embedding. Its gonality is therefore three.

For a smooth plane quartic $C\subset {\mathbb{P}}^2$, the adjunction formula gives $K_C\cong {\mathcal{O}}_C(1)$. Hence every line section $C\cap \ell$ is a canonical divisor.

For these linear systems of divisors, take a complex K3 surface $X$ and a nef big divisor $D$, so $D^2>0$. The exceptional terminology refers to the complete system $|D|$, rather than to an arbitrary subsystem.

A monogonal linear system on a K3 surface has the formwhere $|E|$ is an elliptic pencil on a K3 surface and $\Gamma$ is its section. Its intersection with an elliptic fibre is one, and its fixed part is $\Gamma$. For a concrete existence example, take the smooth Fermat quartic surface $X\subseteq {\mathbb{P}}^3$ and two skew lines on it. Such lines can be written aswith ${\zeta }^4=({\zeta }^{\prime }{)}^4={\eta }^4=({\eta }^{\prime }{)}^4=-1$, $\zeta \ne {\zeta }^{\prime }$ and $\eta \ne {\eta }^{\prime }$. The equations show that they are disjoint, and the four partial derivatives show that the quartic is smooth. The adjunction formula gives $K_X=0$, and the hypersurface exact sequence of sheaves $0\to {\mathcal{O}}_{{\mathbb{P}}^3}(-4)\to {\mathcal{O}}_{{\mathbb{P}}^3}\to {\mathcal{O}}_X\to 0$, together with the intermediate cohomology vanishing of these twists, gives $H^1(X,{\mathcal{O}}_X)=0$. Thus it is a K3 surface, and each line has square $-2$. If $H$ is the hyperplane class, the planes through ${\Gamma }_0$ cut out ${\Gamma }_0$ plus a residual cubic pencil $|E|$, $E=H-{\Gamma }_0$. This pencil has no base point off ${\Gamma }_0$. On ${\Gamma }_0$, its two local residual equations are the two normal derivatives of the quartic equation; they cannot vanish simultaneously because $X$ is smooth. Thus it is basepoint-free, withThe degree-one map of $\Gamma$ to the pencil base makes it a section and forces connected fibres. Bertini smoothness theorem and adjunction formula then make a general fibre a smooth genus-one curve.

Now choose $D=mE+\Gamma$. For every irreducible curve other than $\Gamma$, both $E$ and the effective curve $\Gamma$ have nonnegative intersection with it. Also $D\Gamma =m-2\ge 0$, so $D$ is nef, and $D^2=2m-2>0$. On a general elliptic fibre, the restriction of ${\mathcal{O}}_X(D)$ is the degree-one bundle of the section point. Its unique section vanishes at that point. Every global section of ${\mathcal{O}}_X(D)$ therefore vanishes along a dense subset of $\Gamma$, hence along $\Gamma$ itself. Removing this fixed divisor gives exactly $|mE|$. This verifies the monogonal example directly; its general divisor is a section plus $m$ fibres.

A hyperelliptic linear system on a K3 surface is a basepoint-free nef big system whose morphism is generically two-to-one. Equivalently its general smooth curve is hyperelliptic. Let $\pi :X\to {\mathbb{P}}^2$ be a double cover branched over a smooth sextic, and put $D={\pi }^{\ast }\mathcal{O}(1)$. The double-cover construction givesThus $X$ is a K3 surface. Further,since the second summand contributes $H^0(\mathcal{O}(-2))=0$. The map given by $|D|$ is precisely the double cover. A general member is the double cover of a line branched at six points, so Riemann-Hurwitz formula gives genus two. This is the hyperelliptic example.

A trigonal linear system on a K3 surface is a basepoint-free nonhyperelliptic nef big system whose general smooth curve has gonality three. For an example, take the same smooth quartic with a line ${\Gamma }_0$ and the hyperplane system $|H|$. Its general member is a smooth plane quartic of genus three; adjunction formula identifies its plane embedding with its canonical map, so it is not hyperelliptic. The elliptic pencil $E=H-{\Gamma }_0$ hasIts restriction to a general hyperplane curve is a basepoint-free degree-three pencil. The curve is neither rational nor hyperelliptic, so its gonality is exactly three. This verifies the trigonal example.

Thus the three examples exhibit respectively a fixed section with elliptic fibres, a double-plane map, and an embedded quartic with trigonal hyperplane sections. The last example also illustrates why low-genus trigonal sections should not be confused with a blanket numerical criterion for every higher-genus model.

Homogenizing the affine equation gives the projective closureIts partial derivatives areIf all three vanished at a point of $X$, then $X=0$ and either $Y=0$ or $Z=0$. If $Y=0$, the equation $F=0$ forces $Z=0$; if $Z=0$, the equation $F_Z=0$ forces $Y=0$. Either conclusion gives the forbidden zero triple of homogeneous coordinates. The Jacobian criterion therefore shows that $X$ is a smooth projective curve; more specifically, it is the projective closure of y cubed equals x to the fourth plus one, a smooth plane quartic.

PutBy the Jacobian criterion, a projective plane curve is singular only at a common projective zero of $F$ and all its partial derivatives. HereTheir simultaneous vanishing forces $X_0=X_1=X_2=0$, which is not a point of projective space. Hence the Fermat quartic $C$ is nonsingular. In particular it is a smooth plane quartic and has geometric genus $(4-1)(4-2)/2=3$.

Choose a point $p\in C$ and project from $p$ to a line not containing $p$. Every line through $p$ meets the quartic in four points counted with intersection multiplicity by Bézout theorem; removing the fixed intersection at $p$ leaves a generic fibre of three points. This projection from a point on a plane curve therefore defines a nonconstant morphismof degree three, so the gonality is at most three.

It cannot be one, because a degree-one morphism between smooth projective curves is an isomorphism of algebraic varieties, whereas $C$ has genus three and the projective line has genus zero. It cannot be two either: that would make $C$ a hyperelliptic curve. The canonical map of a hyperelliptic curve is not a closed embedding, but for a smooth plane quartic the canonical map of a smooth plane curve is exactly its given embedding $C\hookrightarrow {\mathbb{P}}^2$, since $K_C\cong {\mathcal{O}}_C(1)$. This contradiction proves

For a divisor on an algebraic curve $D$ on a smooth projective curve $X$ of genus $g$, the Riemann-Roch theorem stateswhere $K_X$ is a canonical divisor. Taking $D=0$ gives $1-\ell (K_X)=1-g$, so $\ell (K_X)=g$. Taking $D=K_X$ then gives

To obtain a uniform projective embedding, choose a divisor $D$ of degree $2g+1$. Since every divisor appearing below has degree greater than $2g-2$, Riemann--Roch givesThe first two equalities show that the complete linear system of a divisor $|D|$ has no base point. The strict drops in the last two comparisons show respectively that its sections separate distinct points $P,Q$ and tangent directions at $P$. Thus $D$ is a very ample divisor, in accordance with the general fact that a high-degree divisor is very ample on a smooth projective curve, and its sections define a closed embeddingThe ambient dimension therefore depends only on $g$.

The Riemann-Hurwitz formula for a nonconstant morphism $h:C_1\to C_2$ of degree $n$ isChoose a smooth plane quartic $C$, so $g(C)=3$, and form the product of projective varieties $S=C\times C$. This is a smooth projective variety of dimension two. If $B\subset S$ is an irreducible curve, pass to its normalization $\tilde{B}$. At least one coordinate projection $\tilde{B}\to C$ is nonconstant, since otherwise $B$ would be a point. For that projection, Riemann--Hurwitz givesso the geometric genus of $B$ is at least three. Hence $S$ is the required surface; this is the product surface without low-genus curves construction.

Finally let $X\subset {\mathbb{P}}^2$ be a smooth plane curve of degree $d$ and let $p\notin X$. After a projective change of coordinates, take $p=[0:0:1]$. Projection away from $p$ isIts two homogeneous coordinate functions cannot vanish simultaneously on $X$, because their common zero in ${\mathbb{P}}^2$ is $p$. The criterion for a morphism of algebraic varieties therefore shows that the restrictionis a morphism. A fibre is the intersection with a line through $p$, and a general such line meets $X$ in $d$ points counted with multiplicity. Thus the projection of a plane curve from an exterior point has degree $d$.

By the genus of a smooth plane curve, $g(X)=(d-1)(d-2)/2$. Applying Riemann--Hurwitz to $\pi$ and its ramification divisor $R_{\pi }$ givesEvery ramification point contributes at least one to this degree, so

The projective completion ofis the smooth plane quarticThe coordinate relabelling $[A:B:C]=[Y:X:Z]$ turns this equation into the standard Klein quartic equation $A^{3}B+B^{3}C+C^{3}A=0$.