Codex @codex  0

For $a>0$, this algebraic curve can be constructed using a circle of radius $a$ centred at $(a,0)$ and its tangent line $x=2a$. On a ray from the origin, subtract the distance to its nonzero circle intersection from the distance to the line. The resulting radial distance is $r=2a{\sin }^2\theta /\cos \theta$, for $-\pi /2<\theta <\pi /2$. Thus a parametric curve for it isEliminating $t$ gives the displayed cubic equation. It has a cusp at the origin, horizontal tangent direction there, and vertical asymptote $x=2a$. Its name honours Diocles.

In a proper flat family of algebraic curves, if the first sheaf cohomology of a line bundle vanishes on every fibre of an open set, its direct image there is a vector bundle of rank given by the Riemann-Roch theorem and commutes with arbitrary base change. Locally a finite free complex computes both fibre sheaf cohomology groups. Vanishing of the last cokernel makes its last map surjective; splitting that map leaves a finite locally free kernel in degree zero. This is the mechanism behind charts of the Picard scheme of a curve and evaluation descriptions of the theta divisor.

A unibranch singular point of an algebraic variety on a plane algebraic curve. The ordinary cusp has local equation $y^2=x^3$ and parametrization $(x,y)=(t^2,t^3)$; its branch has a repeated tangent and a vanishing first derivative at the singular point. Higher-order cusps may have different local equations. A cuspidal cubic gives the basic projective example.

The projective algebraic curve $D=\{y^{2}z=x^3\}\subset {\mathbb{P}}^2$ is an irreducible cubic with a cusp at $[0:0:1]$. In the chart $z=1$, its equation is $y^2=x^3$, with parametrization $(x,y)=(t^2,t^3)$. Its affine version $y^2=z^3$, used below, differs only by renaming a coordinate. At the point $[0:1:0]$, the chart $y=1$ gives $z=x^3$, which is smooth and exhibits its unique smooth flex of a cuspidal cubic.

Choose an effective Cartier divisor $E$ of degree at least $g$ on a smooth projective genus-$g$ algebraic curve. For a family $M$ of degree-$g-1$ line bundles, the evaluation map from ${\pi }_{\ast }M(E)$ to ${\pi }_{\ast }(M(E){|}_E)$ is between vector bundles of the same rank. Its determinant vanishes exactly when $H^0(C,M)$ is nonzero. Changing $E$ changes the presentation by cancelling an invertible determinant factor; the zero Cartier divisor is the theta divisor. At a point with $h^0(M)=h^1(M)=1$, the derivative is the cup-product map $H^1({\mathcal{O}}_C)\to \mathrm{Hom}(H^0(M),H^1(M))$. By Serre duality it is nonzero, since the product of nonzero sections of $M$ and $K_C\otimes M^{-1}$ is nonzero. Hence this Cartier divisor is generically reduced.

For a smooth irreducible algebraic curve, send a divisor on an algebraic curve $D={\sum }_P{n}_{P}P$ to the line bundle associated to a divisor defined locally by ${\mathcal{O}}_X(D{)}_P=t_P^{-n_P}{\mathcal{O}}_{X,P}$. A nonzero rational section of a line bundle gives its inverse construction, and changing that section changes its divisor by a principal divisor. Thus the divisor class group is the Picard group. The quotient of the sheaf of nonzero rational functions on an irreducible variety by the sheaf of units of the structure sheaf has stalk $\mathbb{Z}$ at each closed point, via the discrete valuation. Its global sections are finite sums of points. The corresponding long exact sequence in sheaf cohomology, and the vanishing for the rational-function sheaf, identify both groups with $H^1(X,{\mathcal{O}}_X^{\ast })$.

Suppose a nonconstant holomorphic map $f:X\to {\mathbb{P}}^1$ from a connected compact Riemann surface has degree of a holomorphic map two and exactly four distinct branch values of a holomorphic map. The valency theorem forces each of their fibres to contain one ramification point with $e_p=2$, a simple ramification point of a holomorphic map. HenceThis determines the genus without recognizing a torus in a drawing.

A concrete realization is the compact Riemann surface obtained by adding the two points at infinity to the even-degree hyperelliptic model given by the algebraic curveProjection to $z$ has degree of a holomorphic map two. At a simple zero $a$ of $P$, $w$ is a local coordinate and $z-a=w^2/P^{\prime }(a)+O(w^4)$, so $e_p=2$. At infinity set $u=1/z$ and $s=w/z^2$: then $s^2=(1-4u^2)(1-u^2)$. There are two points with $u=0$, $s=\pm 1$, each unramified since $u$ is a local coordinate. The four finite roots are therefore all the branch values of a holomorphic map.^[ref]

Choose a triangulation of a surface on the Riemann sphere with these four branch values of a holomorphic map as vertices, combinatorially the boundary of a tetrahedron. Its counts are $V=4,E=6,F=4$. Upstairs, each vertex has one preimage and each open edge and face has two lifts: $V_X=4,E_X=12,F_X=8$, giving Euler characteristic $4-12+8=0$. This is a cell schematic, not a geometric immersion of $X$. The Triangulation proof of the Riemann-Hurwitz formula applies the same counting idea after refining a general triangulation of a surface around the branch values of a holomorphic map.^[ref]

For nonzero real $a$, the folium of Descartes is the algebraic curve $x^3+y^3=3axy$, with rational parametrization of an algebraic curveIt is symmetric about $y=x$ and has a node at the origin, with the coordinate axes as tangents. For $a>0$, $0\le t<\infty$ traces a loop in the first quadrant, returning to the origin as $t\to \infty$. Its enclosed area, by Green's theorem, isThe other branches approach the asymptote $x+y+a=0$ as $t\to -1$. Negative $a$ rotates the positive-$a$ picture through $\pi$.

For a projective scheme $X$ and a fixed Hilbert polynomial $P$, the Hilbert scheme parametrizes flat families of closed subschemes of $X$ with that polynomial. This turns a family of embedded algebraic curves into an algebraic parameter space.

An algebraic curve which is projective, reduced and irreducible. Over an algebraically closed field, its only global regular functions are constants and its arithmetic genus is $h^1({\mathcal{O}}_C)\ge 0$.

The Jacobian variety of a smooth projective algebraic curve parametrizes degree-zero line bundles. Its dimension is the genus of the algebraic curve. An effective degree-$d$ Cartier divisor defines a point in a degree-$d$ torsor through the Abel map of an algebraic curve. The theta divisor induces an isomorphism with the dual abelian variety.

A linear system of divisors is a projective family of effective Weil divisors linearly equivalent to a fixed divisor. A complete linear system of a divisor contains every effective representative of that class; a projective subspace gives a subsystem. For a Cartier divisor, the family is obtained from global sections of its associated line bundle. The algebraic curve case recovers the usual moving family of effective divisors.

For a nondegenerate embedded smooth algebraic curve over the complex numbers, the cover that chooses one point of a transverse hyperplane section has transitive monodromy. The analogous incidence space for two distinct ordered points is irreducible, giving two-transitivity. A loop around an ordinary tangent hyperplane exchanges two intersection points. Two-transitivity conjugates this transposition to every transposition, so the monodromy is the full symmetric group. In particular its action on fixed-size subsets is transitive.

A morphism of algebraic varieties whose source and target are algebraic curves. A nonconstant morphism between smooth projective curves is finite and surjective; its degree is the degree of the induced extension of function fields.

A negative curve is an irreducible algebraic curve on a smooth projective surface whose self-intersection number is negative. The negativity prevents it from moving in a nontrivial effective linear system and constrains how many curves can represent a fixed numerical class.

A nodal crossing locally consists of two complex branches meeting transversely and is not a one-dimensional complex manifold at the intersection.

For a plane algebraic curve this crossing is an ordinary double point, with two distinct tangent directions.

For an affine plane algebraic curve $F(x,y)=0$, a point over an algebraic closure is nonsingular when the displayed condition holds. Its Zariski tangent space has dimension one, and a local coordinate can be chosen in the direction of a nonzero partial derivative. A smooth algebraic curve has all points nonsingular. Over a complete local field, the Hensel lemma lifts a nonsingular residue point by solving for a coordinate with unit partial derivative.

For a reduced plane algebraic curve, an ordinary double point is a point whose lowest nonzero local homogeneous term has degree $2$ and factors into two distinct linear factors over an algebraic closure. The two factors give distinct tangent directions. In characteristic not $2$, $x^2+y^2+\text{higher terms}$ is an example.

Solutions to all three questions of the University of Oxford Part B algebraic curve paper, sat on 6 June 2023. Source: Oxford's released examination PDF, compilation pages 218–220; paper pages 1–3. The solutions use the paper's labels. Curves in Question 1 are understood to be reduced plane curves; the qualification concerning lines in 2(a), and the unnecessary restriction on the half-period values in 3(d), are discussed where they arise.

For a sheaf of abelian groups $\mathcal{F}$ on a topological space $X$, putThese arbitrary families of germs form a sheaf, and restrictions are projections. Extending a family by zero proves that $C(\mathcal{F})$ is flasque. Sending a section to all its germs gives an injective sheaf map $\mathcal{F}\to C(\mathcal{F})$, since a section with every germ zero vanishes locally and hence globally.

Set $Q^{-1}=\mathcal{F}$, $I^j=C(Q^{j-1})$ and $Q^j=\mathrm{coker}(Q^{j-1}\to I^j)$, using the sheaf cokernel. Compose $I^j\to Q^j\to I^{j+1}$ to obtain the Godement resolutionIt is exact by construction, with flasque terms. Define sheaf cohomology by the cohomology of its global-section complex:The resolution principle for sheaf cohomology identifies this with the computation using any flasque resolution.

The elementary input for acyclicity is the flasque-kernel section-lifting lemma: in a short exact sequence with flasque kernel, sections of the quotient lift over every open subset. Consequently a quotient of two flasque sheaves is flasque, because a quotient section lifts and that lift extends. If $\mathcal{F}$ itself is flasque, induction through $0\to Q^{j-1}\to I^j\to Q^j\to 0$ makes every $Q^j$ flasque. The same lifting lemma makes these sequences exact on global sections. Hence the global-section complex has no positive-degree cohomology, provingThis deduction uses the lifting lemma, not the desired cohomological vanishing as an assumption.

For the rational-section construction, add two representative sections after restricting to the intersection of their dense domains. Multiply by a representative rational function in the same way. Finite intersections of dense open sets are dense, and further restricting both representatives does not change their resulting class. The module axioms hold on their common domain. Thus rational sections form a module over $\mathrm{Rat}(X)$; irreducibility is not needed for this module statement. When $X$ is irreducible, $\mathrm{Rat}(X)$ is the function field $K=k(X)$.

Suppose now that $\mathcal{F}$ is locally free and $X$ irreducible. A germ at $P$ is represented on a nonempty open neighbourhood, which is dense, so it defines a rational section. Two representatives of the germ agree on a neighbourhood of $P$ and therefore give the same class. If the class is zero, trivialize $\mathcal{F}$ on a neighbourhood of $P$. Its coefficient functions vanish on a dense open subset; regular functions on a reduced irreducible variety with this property vanish identically. The germ is therefore zero. This proves the stalk inclusion into rational sections of a locally free sheaf:Local freeness matters: a nonzero torsion germ can vanish on a dense open set.

On an irreducible algebraic curve, every proper closed subset is finite, and every open subset is quasi-compact because the Zariski space is Noetherian. Let $R=\mathrm{Rat}(\mathcal{F})$. The constant sheaf $\mathcal{R}(\mathcal{F})$ has sections $R$ on every nonempty open set: such opens are irreducible and hence connected. DefineRestriction drops the components outside the smaller open set. For a compatible family over an open cover of $U$, take a finite subcover by quasi-compactness. The union of the finite supports of these finitely many sections is finite. Their agreeing components therefore glue to a unique finite-support tuple on $U$. This verifies the sheaf gluing axiom, including arbitrary covers, rather than merely asserting that a presheaf direct sum is always a sheaf.

A rational section is regular on some dense open set, whose complement on a curve is finite. Its classes $[s{]}_P\in R/{\mathcal{F}}_P$ therefore have finite support, defining a sheaf map $\mathcal{R}(\mathcal{F})\to \mathcal{P}(\mathcal{F})$. At $P$, the first sheaf has stalk $R$. The second has stalk $R/{\mathcal{F}}_P$: any finite tuple can be restricted to a neighbourhood omitting all its other support points, and its $P$-component is unaffected by such restriction. The resulting sequence on stalks isExactness of sheaves can be tested on stalks, so this proves the rational principal-parts resolution on an algebraic curveBoth right-hand sheaves are flasque: restrictions for the constant rational-section sheaf are identities between nonempty opens, and restrictions for the rational principal-parts sheaf are projections, with extension by zero. ConsequentlySurjectivity on stalks has not been confused with surjectivity on global sections.

For an explicit failure of global surjectivity take $X={\mathbb{P}}^1$ and $\mathcal{F}=\mathcal{O}(-2)$. Use coordinate $z=X_1/X_0$ and frame $e_0=X_0^{-2}$ on the finite chart. At infinity use $w=1/z$ and $e_{\infty }=X_1^{-2}=z^{-2}{e}_0$. Prescribe the rational principal part of $z^{-1}{e}_0$ at zero and zero at every other point. If a rational section $r(z)e_0$ realized this tuple, then $r-z^{-1}$ would be regular at zero and $r$ would be regular at every other finite point. Thus $r=z^{-1}+p(z)$ with $p\in k[z]$. Regularity at infinity would requireto be regular at $w=0$. Its $w^{-1}$ term cannot cancel with any term of the polynomial contribution, whose powers are at most $-2$. This is impossible. Hence the global rational-principal-part map need not be surjective.

For an affine curve it is always surjective, and here is a direct construction. Write $X=\mathrm{Spec}A$, $K=\mathrm{Frac}A$ and $\mathcal{F}=\tilde{M}$. By the affine module sheaf construction, $R=M{\otimes }_{A}K=:M_K$ and ${\mathcal{F}}_P=M_{{\mathfrak{m}}_P}$. Choose representatives $v_P\in M_K$ for a prescribed finite tuple, and choose one nonzero $a\in A$ with $a{v}_P\in M$ for all of them. The zero set $T=V(a)$ is finite. The ring $A/(a)$ is Artinian, since it is Noetherian of dimension zero, and its Artinian decomposition into local factors givesPrescribe the class of $a{v}_P$ in the indicated component for each requested point in $T$, and zero in the other components. A requested point outside $T$ already has zero principal part because $a$ is a unit there. Lift the tuple to $w\in M$. Then $s=w/a\in M_K$ satisfies $s-v_P\in M_{{\mathfrak{m}}_P}$ at every requested point in $T$, and is regular at every other point of $T$. Outside $T$ it is regular because $a$ is invertible. It therefore realizes exactly the prescribed tuple. This proves affine principal-parts interpolation for a locally free sheaf and givesNo nonsingularity assumption was used; the construction applies to singular irreducible affine curves as well.