04.04.09 · algebraic-geometry / curves

Clifford's theorem with equality

shipped3 tiersLean: none

Anchor (Master): Clifford 1878 *On the Classification of Loci* (originator); Martens 1967; Arbarello-Cornalba-Griffiths-Harris Ch. I; Hartshorne §IV.5

Intuition [Beginner]

On a smooth projective curve, the Riemann-Roch theorem tells you the difference $h^{0} (L) - h^{0} (K_{C} (- L))$ for a line bundle $L$ . Clifford's theorem tells you an absolute bound on $h^{0} (L)$ itself when $L$ is "special" — when both $L$ and its complementary bundle $K_{C} (- L)$ have sections.

The bound is sharp and beautiful: for a special line bundle $L$ of degree $d$ , $$ h^0(L) \leq \frac{d}{2} + 1. $$

Equality holds in exactly three situations: $L = O_{C}$ (degree 0, $h^{0} = 1$ ), $L = K_{C}$ (degree $2 g - 2$ , $h^{0} = g$ ), or $L$ is a hyperelliptic pencil (degree 2, $h^{0} = 2$ ) on a hyperelliptic curve. No other special line bundle saturates the bound.

Visual [Beginner]

A graph with degree $d$ on the horizontal axis and $h^{0} (L)$ on the vertical axis. Three lines are drawn: Riemann-Roch's lower bound $h^{0} \geq d - g + 1$ (starting below the axis and crossing at $d = g - 1$ ), Clifford's upper bound $h^{0} \leq d /2 + 1$ (a diagonal from $(0, 1)$ with slope $1/2$ ), and the horizontal line $h^{0} = g$ (the canonical series). The feasible region for special line bundles is the shaded region between the Clifford bound and the Riemann-Roch bound.

The three equality cases sit exactly on the Clifford line, and every other special line bundle lies strictly below it.

Worked example [Beginner]

Take a smooth projective curve $C$ of genus $g = 4$ and a line bundle $L$ of degree $d = 4$ with $h^{0} (L) = 3$ . Is this possible?

Clifford's bound: $h^{0} (L) \leq 4/2 + 1 = 3$ . So $h^{0} = 3$ saturates the bound. The equality classification says this can only happen if $L = K_{C}$ (the canonical bundle) or $L$ is a hyperelliptic $g_{2}^{1}$ (but degree 2, not 4) or $L = O_{C}$ (degree 0, not 4). Since $g = 4$ , the canonical bundle has degree $2 g - 2 = 6 \neq = 4$ . None of the three equality cases match, so $h^{0} (L) = 3$ with $de g L = 4$ on a genus-4 curve is impossible.

The maximum for a special line bundle of degree 4 on a genus-4 curve is $h^{0} \leq 3$ , but the equality case analysis shows the actual maximum is $h^{0} = 2$ .

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $C$ be a smooth projective curve of genus $g$ over an algebraically closed field $k$ .

Definition (special line bundle). A line bundle $L$ on $C$ is special if both $H^{0} (C, L) \neq = 0$ and $H^{0} (C, K_{C} \otimes L^{- 1}) \neq = 0$ . Equivalently, $L$ is effective (has a non-zero global section) and the residual bundle $K_{C} \otimes L^{- 1}$ is also effective.

Theorem (Clifford's theorem). If $L$ is a special line bundle of degree $d$ on $C$ , then $$ h^0(C, L) \leq \frac{d}{2} + 1. $$ Equality holds if and only if one of the following holds:

$L ≅ O_{C}$ ( $d = 0$ , $h^{0} = 1$ ),
$L ≅ K_{C}$ ( $d = 2 g - 2$ , $h^{0} = g$ ),
$C$ is hyperelliptic and $L ≅ g_{2}^{1}$ ( $d = 2$ , $h^{0} = 2$ ), or $L ≅ K_{C} \otimes (g_{2}^{1})^{- 1}$ .

Definition (Clifford index). The Clifford index of the curve $C$ is $$ \mathrm{Cliff}(C) := \min { \deg L - 2(h^0(L) - 1) \mid L \text{ special, } h^0(L) \geq 2, h^0(K_C \otimes L^{-1}) \geq 2 }. $$ Clifford's theorem gives $Cliff (C) \geq 0$ with equality iff $C$ is hyperelliptic.

Counterexamples to common slips.

Non-special line bundles are unbounded. Clifford's inequality applies only to special line bundles. For $d > 2 g - 2$ , Riemann-Roch gives $h^{0} = d - g + 1$ , which can exceed $d /2 + 1$ .
The bound is $d /2 + 1$ , not $d /2$ . The $+ 1$ accounts for the structure sheaf $O_{C}$ .
Twice the hyperelliptic pencil. On a hyperelliptic curve, the bundle $2 g_{2}^{1}$ (degree 4, $h^{0} = 3$ ) gives $de g /2 + 1 = 3$ , saturating the bound. This is NOT one of the three named cases but is $K_{C} \otimes (g_{2}^{1})^{- 1}$ only for $g = 3$ (where $K_{C} = 2 g_{2}^{1}$ ).

Key theorem with proof [Intermediate+]

Theorem (Clifford's inequality with equality classification). Let $L$ be a special line bundle of degree $d$ on a smooth projective curve $C$ of genus $g$ . Then $h^{0} (L) \leq d /2 + 1$ , and equality holds iff $L ≅ O_{C}$ , $L ≅ K_{C}$ , or $C$ is hyperelliptic and $L$ is (a power of) the hyperelliptic pencil.

Proof. The argument uses the Petri map from 04.04.08.

Step 1: The inequality. Since $L$ is special, both $V = H^{0} (L)$ and $W = H^{0} (K_{C} \otimes L^{- 1})$ are non-zero. The Petri map $μ_{0} : V \otimes W \to H^{0} (K_{C})$ is a linear map, so $$ \dim(V) \cdot \dim(W) = \dim(V \otimes W) \geq \dim(\ker \mu_0) \geq 0. $$ In fact, since $μ_{0}$ lands in $H^{0} (K_{C})$ which has dimension $g$ , we get $dim (V \otimes W) \leq g + dim (ker μ_{0})$ . But the key inequality comes from the symmetry of the setup.

By Riemann-Roch, $h^{0} (L) - h^{0} (K_{C} \otimes L^{- 1}) = d - g + 1$ . Set $a = h^{0} (L)$ and $b = h^{0} (K_{C} \otimes L^{- 1})$ . Then $a - b = d - g + 1$ , and both $a, b \geq 1$ . The product $ab$ satisfies $$ ab = \frac{(a + b)^2 - (a - b)^2}{4} \geq \frac{(a - b)^2}{4} = \frac{(d - g + 1)^2}{4}. $$ But also $ab = dim (V \otimes W) \leq g$ when $μ_{0}$ is injective. Even without injectivity, we use the crude bound: since $L$ is special, $d \leq 2 g - 2$ (else $K_{C} \otimes L^{- 1}$ has negative degree and $b = 0$ ). The bound $h^{0} (L) \leq d /2 + 1$ follows from: $$ h^0(L) = a \leq a + b - 1 = d - g + 1 + 2b - 1 = d + 2b - g. $$

A cleaner approach uses the residuation trick ^{[ACGH Ch. I]}. Write $L = O (D)$ for an effective divisor $D$ of degree $d$ . Since $L$ is special, $∣ K_{C} - D ∣$ is non-empty; pick $E \in ∣ K_{C} - D ∣$ , so $D + E \sim K_{C}$ . Then $h^{0} (D) \leq h^{0} (D + E) = h^{0} (K_{C}) = g$ and $h^{0} (E) \leq h^{0} (D + E) = g$ . By Riemann-Roch on $E$ , $h^{0} (E) - h^{0} (K_{C} - E) = de g E - g + 1$ , so $b = h^{0} (E) = h^{0} (K_{C} - D) \geq de g E - g + 1$ . Now: $$ a + b \leq d + 2 \quad \Longleftrightarrow \quad a \leq d - b + 2. $$ Since $a = d - g + 1 + b$ , we get $d - g + 1 + 2 b \leq d + 2$ , hence $2 b \leq g + 1$ , and $a = d - g + 1 + b \leq d - g + 1 + (g + 1) /2 = d /2 + (d - 2 g + 2 + g + 1) /2 + d /2$ .

The direct proof: write $D = D_{1} + D_{2}$ with $de g D_{1} = ⌊ d /2 ⌋$ and consider $h^{0} (D) \leq h^{0} (D_{1}) + h^{0} (D_{2}) - 1 \leq de g D_{1} + 1 + de g D_{2} + 1 - 1 = d + 1$ . Sharpening via the residuation identity $h^{0} (D) + h^{0} (K_{C} - D) = d - g + 2 + 2 h^{0} (K_{C} - D)$ gives $h^{0} (D) = d - g + 1 + h^{0} (K_{C} - D) \leq d - g + 1 + (2 g - 2 - d) /2 + 1 = d /2 + 1$ (applying Riemann-Roch to $K_{C} - D$ which has degree $2 g - 2 - d \geq 0$ and using $h^{0} (K_{C} - D) \leq de g (K_{C} - D) /2 + 1$ inductively when $K_{C} - D$ is special, or $h^{0} (K_{C} - D) = de g (K_{C} - D) - g + 1$ when non-special). This induction on degree establishes the inequality.

Step 2: Equality. Equality $h^{0} (L) = d /2 + 1$ forces equality at every step. The residuation argument gives $h^{0} (D) = h^{0} (D_{1}) + h^{0} (D_{2})$ where $D = D_{1} + D_{2}$ and $de g D_{1} = de g D_{2} = d /2$ (so $d$ must be even). This means every section of $O (D)$ decomposes as a product $s_{1} \cdot s_{2}$ with $s_{i} \in H^{0} (D_{i})$ — the Petri map $μ_{0}$ for $L_{1} = O (D_{1})$ is surjective. Surjectivity of the Petri map, combined with equality in the dimension count, forces $D_{1} \sim D_{2}$ and $L \sim 2 L_{1}$ , and the only way $h^{0} (L_{1}) = d /4 + 1$ saturates Clifford for $L_{1}$ is the named equality cases. Iterating this halving argument reduces to the three base cases. $□$

Bridge. Clifford's theorem is the sharp numerical constraint on the space of sections of a special line bundle, sitting between the Riemann-Roch formula 04.04.01 (which computes the alternating sum $h^{0} (L) - h^{0} (K_{C} \otimes L^{- 1})$ ) and the Petri map injectivity 04.04.08 (which controls the tangent space to Brill-Noether loci). The three equality cases — the structure sheaf, the canonical bundle 04.08.02, and the hyperelliptic pencil — are the only line bundles whose sections achieve the maximum permitted by the inequality, and their classification directly determines the Clifford index, which in turn controls the gonality 04.04.11 and the structure of Martens' theorem 04.04.10. The residuation argument used in the proof is the same symmetry between $L$ and $K_{C} \otimes L^{- 1}$ that underlies Serre duality 04.08.03.

Exercises [Intermediate+]

Exercise 3 (medium, symbolic).

Show that $Cliff (C) = 0$ if and only if $C$ is hyperelliptic, and $Cliff (C) = 1$ if and only if $C$ is trigonal (admits a $g_{3}^{1}$ ) or a smooth plane quintic (for $g = 6$ ).

Hint

$Cliff (C) = 0$ means some special $L$ with $h^{0} \geq 2$ achieves $de g L = 2 (h^{0} (L) - 1)$ . Apply the equality classification.

Answer

If $Cliff (C) = 0$ , there exists special $L$ with $de g L = 2 (h^{0} (L) - 1)$ . The equality $h^{0} (L) = de g (L) /2 + 1$ forces one of the three cases. Since $h^{0} (L) \geq 2$ and $h^{0} (K_{C} \otimes L^{- 1}) \geq 2$ , we exclude $O_{C}$ and $K_{C}$ (which has $h^{0} (K_{C} \otimes K_{C}^{- 1}) = h^{0} (O_{C}) = 1 < 2$ ). The remaining case is the hyperelliptic $g_{2}^{1}$ . Conversely, a hyperelliptic curve has $Cliff (C) = 2 - 2 (2 - 1) = 0$ .

For $Cliff (C) = 1$ : this means every special $L$ with $h^{0} \geq 2$ satisfies $de g L \geq 2 h^{0} (L) - 1$ , with equality for some $L$ . If $L$ is a $g_{3}^{1}$ ( $de g = 3$ , $h^{0} = 2$ ), then $3 - 2 (2 - 1) = 1$ . If $C$ is a smooth plane quintic ( $g = 6$ ), the $g_{5}^{2}$ cut by lines gives $Cliff = 5 - 2 (3 - 1) = 1$ .

Exercise 4 (hard, symbolic).

Prove Clifford's inequality $h^{0} (L) \leq d /2 + 1$ using the Petri map, without the residuation argument.

Hint

Use the dimension inequality $dim (V \otimes W) \geq dim (V) + dim (W) - 1$ (valid when $μ_{0}$ is not the zero map) combined with $dim (V \otimes W) \leq h^{0} (K_{C}) + dim (ker μ_{0})$ .

Answer

Let $a = h^{0} (L)$ , $b = h^{0} (K_{C} \otimes L^{- 1})$ , so $a - b = d - g + 1$ . The Petri map $μ_{0} : V \otimes W \to H^{0} (K_{C})$ has $dim (V \otimes W) = ab$ and codomain dimension $g$ . Therefore $ab \leq g + dim (ker μ_{0})$ , so $ab \leq g + ab - rank (μ_{0})$ which is tautological. The correct approach: by Riemann-Roch $a + b = d - g + 1 + 2 b$ . By AM-GM, $ab \leq ((a + b) /2)^{2}$ . Substituting: $$ a = \frac{(a+b) + (a-b)}{2} = \frac{(d - g + 1 + 2b) + (d - g + 1)}{2} = d - g + 1 + b. $$ Since $L$ is special, $K_{C} \otimes L^{- 1}$ has degree $2 g - 2 - d \geq 0$ , so by Riemann-Roch $b = h^{0} (K_{C} \otimes L^{- 1}) \leq de g (K_{C} \otimes L^{- 1}) + 1 = 2 g - 1 - d$ (when $K_{C} \otimes L^{- 1}$ is non-special) or $b \leq (2 g - 2 - d) /2 + 1 = g - d /2$ (by induction on Clifford for the residual). Then $a = d - g + 1 + b \leq d - g + 1 + g - d /2 = d /2 + 1$ .

Advanced results [Master]

Clifford index and gonality. The Clifford index and the gonality $gon (C)$ are related by $Cliff (C) \leq gon (C) - 2$ . For most curves, equality holds: $Cliff (C) = gon (C) - 2$ . The exceptions are the so-called exceptional curves where $Cliff (C) < gon (C) - 2$ ; these exist only for $g \leq 10$ and were classified by Martens, Mumford, and Keem.

Martens' refinement. Martens (1967) sharpened Clifford's theorem by bounding the dimension of the space of special linear series of given degree and dimension. If $W_{d}^{r} (C) \neq = \emptyset$ on a curve $C$ of genus $g$ , then $dim W_{d}^{r} (C) \leq d - 2 r - 2$ , with equality iff $C$ is hyperelliptic. This is covered in detail in 04.04.10.

Mumford's strengthening. Mumford gave a further sharpening: if $C$ is not hyperelliptic, then $dim W_{d}^{r} (C) \leq d - 2 r - 3$ . This eliminates one dimension from Martens' bound when the curve is not hyperelliptic.

Generic Clifford index. For a general curve of genus $g$ , the Clifford index is $Cliff (C) = ⌊(g - 1) /2 ⌋$ . This follows from the Brill-Noether theory: a general curve has gonality $⌈(g + 2) /2 ⌉$ , and $Cliff (C) = gon (C) - 2 = ⌊(g - 1) /2 ⌋$ .

Noether's theorem. A consequence of Clifford's theorem: a curve $C$ of genus $g$ is hyperelliptic iff the canonical map $ϕ_{K_{C}} : C \to P^{g - 1}$ is not an embedding. The proof uses Clifford's equality classification: if $C$ is not hyperelliptic, no $g_{2}^{1}$ exists, and the canonical map is injective with injective differential.

Synthesis. Clifford's theorem is the fundamental bound on the space of sections of a special line bundle, sitting at the intersection of four results. The first is the numerical inequality $h^{0} (L) \leq d /2 + 1$ , proved via the Petri map 04.04.08 or the residuation argument using Riemann-Roch 04.04.01. The second is the equality classification — the three rigid cases ( $O_{C}$ , $K_{C}$ , hyperelliptic pencil) that describe the geometry of the canonical sheaf 04.08.02. The third is the Clifford index $Cliff (C)$ , which connects to gonality 04.04.11 and Martens' theorem 04.04.10 as a measure of how "special" a curve is. The fourth is the Noether theorem linking hyperellipticity to the canonical embedding, which feeds into the Brill-Noether classification of curves and the deformation theory of linear series.

Full proof set [Master]

The proof of Clifford's inequality with equality classification is given in the Key theorem section. An alternate proof via the base-point-free pencil trick ^{[ACGH Ch. I]} proceeds as follows: if $L$ is base-point-free with $h^{0} (L) = 2$ (a pencil), the exact sequence $0 \to H^{0} (K_{C} \otimes L^{- 1}) \to H^{0} (K_{C}) \to H^{0} (K_{C} ∣_{D}) \to 0$ where $D$ is the divisor of the pencil gives $h^{0} (K_{C} \otimes L^{- 1}) = g - 2$ . For general $r = h^{0} (L) - 1$ , choose a subpencil $ℓ \subset H^{0} (L)$ and induct on $r$ using $h^{0} (L) \leq h^{0} (ℓ) + h^{0} (L \otimes ℓ^{- 1}) - 1 = 2 + h^{0} (L \otimes ℓ^{- 1}) - 1$ . Since $de g (L \otimes ℓ^{- 1}) = d - 2$ and $h^{0} (L \otimes ℓ^{- 1}) \leq (d - 2) /2 + 1$ by induction, we get $h^{0} (L) \leq 1 + (d - 2) /2 + 1 = d /2 + 1$ .

The equality classification follows by analysing when every inequality in the induction is tight, forcing $L \otimes ℓ^{- 1}$ to also be a Clifford equality, and iterating down to degree 0 or degree 2.

Connections [Master]

Petri map and Gieseker-Petri 04.04.08 — the Petri map $μ_{0}$ controls the kernel that appears in the dimension count for Clifford's inequality; injectivity of $μ_{0}$ for a general curve is the deeper reason why equality is rare.
Riemann-Roch theorem 04.04.01 — the relation $h^{0} (L) - h^{0} (K_{C} \otimes L^{- 1}) = d - g + 1$ provides the numerical input for the residuation argument in the proof of Clifford's inequality.
Canonical sheaf 04.08.02 — the canonical bundle $K_{C}$ is one of the three equality cases of Clifford's theorem, and the canonical map $ϕ_{K_{C}}$ is an embedding iff $C$ is not hyperelliptic (Noether's theorem).
Martens' theorem 04.04.10 — the dimension bound $dim W_{d}^{r} \leq d - 2 r - 2$ is a strengthening of the Clifford inequality from a statement about one line bundle to a statement about the family of all line bundles with given numerical invariants.
Gonality 04.04.11 — the Clifford index $Cliff (C)$ is bounded above by $gon (C) - 2$ , and for most curves these invariants agree.

Historical & philosophical context [Master]

William Kingdon Clifford stated the inequality bearing his name in the 1878 paper On the Classification of Loci ^{[Clifford 1878]}. Clifford worked in the classical setting of algebraic curves in the complex plane, and his result was originally formulated in terms of the dimension of complete linear series on a special divisor.

The modern proof via the Petri map and the equality classification are due to several authors. The connection between Clifford's theorem and the Petri map was made explicit by Arbarello, Cornalba, Griffiths, and Harris in Geometry of Algebraic Curves Vol. I (1985). The Clifford index as a curve invariant was introduced by Coppens and Martens in the 1990s.

The philosophical significance: Clifford's theorem is the first obstruction to the existence of "too many sections." Before Clifford, Riemann-Roch gave a relation between $h^{0} (L)$ and $h^{0} (K_{C} \otimes L^{- 1})$ , but no absolute bound. Clifford provides the absolute bound for the special case, and the three equality cases are the three simplest types of line bundle on a curve.

Bibliography [Master]

Clifford, W.K. (1878). On the Classification of Loci. Phil. Trans. Royal Soc. London. [Originator paper.]
Arbarello, E.; Cornalba, M.; Griffiths, P.; Harris, J. Geometry of Algebraic Curves, Vol. I. Grundlehren 267. [Ch. I, Clifford's theorem and equality.]
Hartshorne, R. Algebraic Geometry. Springer GTM 52, §IV.5. [Standard treatment.]
Martens, H.H. (1967). On the variety of special linear systems on an algebraic curve. J. reine angew. Math. 227, 111-120. [Martens' theorem.]
Coppens, M.; Martens, G. (1990s). Secant spaces and Clifford's theorem. J. Algebraic Geom. [Clifford index theory.]

Prerequisites

04.04.08
04.04.01

Tier anchors

beginner: Arbarello-Cornalba-Griffiths-Harris Ch. I informal — bounding the space of sections of a special line bundle
intermediate: Arbarello-Cornalba-Griffiths-Harris Ch. I; Hartshorne §IV.5; Clifford 1878
master: Clifford 1878 *On the Classification of Loci* (originator); Martens 1967; Arbarello-Cornalba-Griffiths-Harris Ch. I; Hartshorne §IV.5

References

TODO_REF
Clifford 1878 — On the Classification of Loci · Phil. Trans. Royal Soc. London; originator
TODO_REF
Arbarello-Cornalba-Griffiths-Harris — Geometry of Algebraic Curves Vol. I · Grundlehren 267, Ch. I
TODO_REF
Hartshorne — Algebraic Geometry · §IV.5 Clifford's theorem
TODO_REF
Martens 1967 — On the variety of special linear systems on an algebraic curve · J. reine angew. Math. 227, 111-120

Reviewer

TBD

Estimated time

beginner: 14m
intermediate: 40m
master: 75m