Divisors, Line Bundles, and the Picard Group

One-line statement: Divisors are formal sums of codimension-one subvarieties; line bundles are locally free sheaves of rank one; on a sufficiently nice variety these two notions coincide, and the resulting isomorphism classes form an abelian group — the Picard group

Pic (X)

. Key result in words: On an integral, separated, Noetherian, locally factorial scheme, the divisor class group

Cl (X)

is isomorphic to the Picard group

Pic (X) = H^{1} (X, O_{X}^{\times})

. This dictionary lets one translate geometry (subvarieties, intersection) into algebra (cohomology, group structure). Where it applies: Algebraic geometry, complex geometry, number theory (Arakelov theory, arithmetic of curves), and string theory (D-brane charges, moduli of bundles). Who/when: Riemann and Roch (1850s–60s) for curves; Picard, Severi, the Italian school (1880s–1920s); Weil, Grothendieck, Serre (1940s–60s) for the modern scheme-theoretic formulation.

A Weil divisor on a variety $X$ is a finite formal $Z$ -linear combination of irreducible codimension-one closed subvarieties; a Cartier divisor is given locally by a single rational function. A line bundle is a sheaf locally isomorphic to the structure sheaf $O_{X}$ . The central fact is that, away from singularities, these three languages describe the same objects, and their isomorphism (or linear-equivalence) classes form the Picard group under tensor product. The surprising fact: a purely topological/cohomological invariant, $H^{1} (X, O_{X}^{\times})$ , exactly classifies geometric loci of codimension one, encoding deep arithmetic such as the failure of unique factorization in coordinate rings.

The Core Insight

"Codimension-one data is rank-one data." A subvariety of codimension one is locally the zero set of one equation; a line bundle is locally trivialized by one nowhere-vanishing section. Both are governed by the transition data of how local generators glue, which lives in

O_{X}^{\times}

. The Picard group is the universal repository of this gluing, and it is simultaneously:

a quotient of divisors by principal ones (geometry),
the group $H^{1} (X, O_{X}^{\times})$ of $O_{X}^{\times}$ -torsors (cohomology),
the moduli of invertible sheaves under $\otimes$ (sheaf theory).

Formal Statement

Weil Divisor and Divisor Class Group

Let $X$ be a Noetherian, integral, separated scheme that is regular in codimension one (i.e. $O_{X, ξ}$ is a DVR for every codimension-one point $ξ$ ). A prime divisor is an integral closed subscheme of codimension one. A Weil divisor is an element of the free abelian group $Div (X)$ on prime divisors:

D = Y \sum n_{Y} [Y], n_{Y} \in Z, n_{Y} = 0 for all but finitely many Y .

⟳the free generation is the definition; finiteness is required so that

D

is a genuine element of a direct sum

⨁_{Y} Z

For each prime divisor $Y$ the local ring $O_{X, η_{Y}}$ at the generic point $η_{Y}$ is a DVR with valuation $v_{Y}$ . The divisor of a rational function $f \in K (X)^{\times}$ is

div (f) = Y \sum v_{Y} (f) [Y] .

⟳

v_{Y} (f)

counts the order of vanishing (or pole) of

f

along

Y

; finiteness follows because

f

is regular and nonzero on a dense open set whose complement has finitely many codimension-one components.

Divisors of the form $div (f)$ are principal, forming a subgroup $Prin (X)$ . The divisor class group is

Cl (X) = Div (X) / Prin (X) .

⟳principal divisors form a subgroup because

div (f g) = div (f) + div (g)

, an additivity coming from

v_{Y}

being a valuation.

Cartier Divisor

Let $K_{X}$ denote the sheaf of total quotient rings (for integral $X$ , the constant sheaf $K (X)$ ), and $K_{X}^{\times}$ its units. A Cartier divisor is a global section of the quotient sheaf $K_{X}^{\times} / O_{X}^{\times}$ :

CaDiv (X) = H^{0} (X, K_{X}^{\times} / O_{X}^{\times}) .

⟳concretely a Cartier divisor is a collection

{(U_{i}, f_{i})}

with

f_{i} \in K (X)^{\times}

and

f_{i} / f_{j} \in O_{X}^{\times} (U_{i} \cap U_{j})

— local equations agreeing up to units.

It is principal if it lies in the image of $K (X)^{\times} = H^{0} (X, K_{X}^{\times})$ . The quotient is the Cartier class group $CaCl (X)$ .

Line Bundle / Invertible Sheaf and the Picard Group

A line bundle (invertible sheaf) is an $O_{X}$ -module $L$ that is locally free of rank one: there is an open cover ${U_{i}}$ with $L ∣_{U_{i}} ≅ O_{U_{i}}$ . The Picard group is the set of isomorphism classes under tensor product:

Pic (X) = {invertible sheaves} / ≅, [L] \cdot [M] = [L \otimes_{O_{X}} M], [L]^{- 1} = [L^{\lor}] .

⟳

L \otimes L^{\lor} ≅ H o m (L, L) ≅ O_{X}

via evaluation, giving inverses; associativity and identity (

O_{X}

) are inherited from

\otimes

Cohomologically, gluing the trivializations by transition functions $g_{ij} =$ (change of frame) $\in O_{X}^{\times} (U_{i} \cap U_{j})$ satisfying the cocycle condition $g_{ij} g_{j k} = g_{ik}$ identifies

Pic (X) ≅ H^{1} (X, O_{X}^{\times}) .

⟳a line bundle modulo isomorphism is exactly a Čech 1-cocycle in

O_{X}^{\times}

modulo coboundaries; this is the definition of

H^{1}

with the multiplicative sheaf of units.

The Divisor–Line Bundle Dictionary

Let $X$ be integral, separated, and Noetherian.

There is a natural isomorphism of groups

CaCl (X) \sim Pic (X), D ⟼ O_{X} (D),

where

O_{X} (D)

has local generators

f_{i}^{- 1}

U_{i}

for

D = {(U_{i}, f_{i})}

⟳the map sends a Cartier class to its associated invertible subsheaf of

K_{X}

; surjectivity uses that any line bundle has a rational section, injectivity that two such sections differ by a global rational function.

There is a natural homomorphism $CaDiv (X) \to Div (X)$ sending ${(U_{i}, f_{i})} \mapsto \sum_{Y} v_{Y} (f_{i}) [Y]$ (well-defined since the $f_{i}$ agree up to units). It induces

Pic (X) ≅ CaCl (X) ⟶ Cl (X),

which is an isomorphism when $X$ is locally factorial (every local ring is a UFD — e.g.

X

regular).

⟳in a UFD a codimension-one prime is principal, so every Weil divisor is locally a single equation, i.e. Cartier; conversely Cartier always maps to Weil. Failure of factoriality breaks surjectivity.

Why It Holds / Derivation

The exponential/units sequence and $\operatorname{Pic} = H^1(\mathcal{O}^\times)$

Step 1 — Line bundles are torsors. Choose a trivializing cover

{U_{i}}

L

with isomorphisms

φ_{i} : L ∣_{U_{i}} \sim O_{U_{i}}

. On overlaps

φ_{i} φ_{j}^{- 1}

is an automorphism of

O_{U_{i} \cap U_{j}}

, i.e. multiplication by a unit

g_{ij} \in O_{X}^{\times} (U_{ij})

. Step 2 — Cocycle condition.

φ_{i} φ_{j}^{- 1} \cdot φ_{j} φ_{k}^{- 1} = φ_{i} φ_{k}^{- 1}

gives

g_{ij} g_{j k} = g_{ik} on U_{i} \cap U_{j} \cap U_{k} .

⟳compose the three trivialization comparisons; cancellation of

φ_{j}

yields the multiplicative cocycle identity, the defining relation of a Čech 1-cocycle.

Step 3 — Coboundaries = isomorphisms. Changing trivializations

φ_{i} \mapsto h_{i} φ_{i}

with

h_{i} \in O_{X}^{\times} (U_{i})

replaces

g_{ij} \mapsto h_{i} g_{ij} h_{j}^{- 1}

, a coboundary. Hence

[L]

depends only on the class

[g_{ij}] \in \overset{ˇ}{H}^{1} ({U_{i}}, O_{X}^{\times})

. Step 4 — Tensor = sum. The transition cocycle of

L \otimes M

g_{ij}^{L} g_{ij}^{M}

, so the bijection

Pic (X) ≅ H^{1} (X, O_{X}^{\times})

is a group isomorphism.

■

The divisor sequence and the class group

Step 1 — Short exact sequence of sheaves. On

X

integral there is

1 ⟶ O_{X}^{\times} ⟶ K_{X}^{\times} ⟶ K_{X}^{\times} / O_{X}^{\times} ⟶ 1.

⟳

O_{X}^{\times}

sits inside the constant sheaf of nonzero rational functions

K_{X}^{\times}

; the cokernel is the sheaf whose global sections are Cartier divisors.

Step 2 — Long exact cohomology. Taking cohomology and using that

K_{X}^{\times}

is a constant (flasque) sheaf, so

H^{1} (X, K_{X}^{\times}) = 0

, gives

K (X)^{\times} div CaDiv (X) ⟶ H^{1} (X, O_{X}^{\times}) ⟶ 0.

⟳the connecting map sends a Cartier divisor

{(U_{i}, f_{i})}

to the cocycle

f_{i} / f_{j} \in O_{X}^{\times}

, exactly the transition functions of

O_{X} (D)

Step 3 — Identify cokernel. Exactness yields

CaDiv (X) / im (div) = CaCl (X) ≅ H^{1} (X, O_{X}^{\times}) = Pic (X)

, proving [7]. Step 4 — Factoriality. On a locally factorial

X

every height-one prime

p \subset O_{X, x}

is principal; thus each prime Weil divisor is locally cut out by one equation, making

Div (X) \to CaDiv (X)

an isomorphism, hence [8] is an isomorphism.

■

The three equivalent languages on overlaps $U_i\cap U_j$

Émile Picard | 1856–1941

Picard, working in the analytic theory of algebraic surfaces, studied the group of divisor classes attached to a surface and the role of regular differentials — what we now isolate as $Pic^{0}$ and the Néron–Severi group. His name attached to the group of line bundles after the abstract formulation crystallized in the 1950s. Picard's deeper legacy is the recognition that the transcendental part of this group (an abelian variety, the Picard variety) and its discrete part (the Néron–Severi group $NS (X)$ ) carry complementary geometric information — a structure later proven in full generality by Severi, Lefschetz, and made functorial by Grothendieck via the Picard scheme $\underline{Pic}_{X}$ .

Building Intuition

Think of a line bundle as a consistent choice of "scale" that varies smoothly over $X$ but cannot necessarily be globalized to a single scale. A divisor records where you allow poles and zeros: $O_{X} (D)$ is the sheaf of rational functions $f$ with $div (f) + D \geq 0$ , i.e. functions whose poles are bounded by $D$ . Tensoring bundles = adding divisors = composing scale-changes — all the same operation. The Picard group measures the obstruction to trivializing: $Pic (X) = 0$ precisely when every codimension-one subvariety is globally a principal divisor, the geometric face of unique factorization. On a curve, $Pic$ is governed by degree and the Jacobian; on affine space everything is principal so $Pic = 0$ ; on projective space $Pic (P^{n}) = Z$ , generated by the hyperplane class $O (1)$ .

Worked Examples

Projective space: $\operatorname{Cl}(\mathbb{P}^n_k)\cong\mathbb{Z}$

Given:

X = P_{k}^{n}

with homogeneous coordinate ring

k [x_{0}, \dots, x_{n}]

. Step 1 — Degree map. Every prime divisor is the zero locus of an irreducible homogeneous polynomial of some degree

d > 0

. Define

de g (\sum n_{Y} [Y]) = \sum n_{Y} de g (Y)

, giving a surjection

Div \to Z

. Step 2 — Kernel is principal. A rational function on

P^{n}

is a ratio

F / G

of homogeneous polynomials of equal degree, so

div (F / G)

has degree

0

. Conversely any degree-zero divisor equals

div (F / G)

for suitable

F, G

. Step 3 — Conclude. The degree map descends to an isomorphism

Cl (P^{n}) \sim Z

. Since

P^{n}

is regular,

Pic (P^{n}) ≅ Cl (P^{n})

, generated by the hyperplane bundle

O (1)

Pic (P_{k}^{n}) ≅ Z \cdot [O (1)], O (d) \otimes O (e) ≅ O (d + e) .

A nodal/singular quadric cone: nontrivial torsion

Given:

X = Spec k [x, y, z] / (x y - z^{2})

, the affine quadric cone (a normal surface singular at the origin). Step 1 — A non-principal divisor. Let

L

be the line

{x = z = 0}

(a ruling). Its ideal is not principal:

L

is cut out by the height-one prime

(x, z)

, which requires two generators. Step 2 — Compute orders.

div (x) = 2 [L]

since

x = z^{2} / y

near

L

and the valuation of

x

along

L

2

(the cone is singular). Thus

2 [L] = div (x)

is principal, but

[L]

itself is not. Step 3 — Class group. One shows

Cl (X) ≅ Z /2 Z

, generated by

[L]

with

2 [L] = 0

Cl (quadric cone) ≅ Z /2 Z .

Caveat: because

X

is not locally factorial at the cone point,

Pic (X) ⊊ Cl (X)

. In fact

Pic (X) = 0

(the cone is affine and the only Cartier divisors are principal near the vertex), so

[L]

is Weil-but-not-Cartier — the prototypical failure of [8].

Common Misconceptions

"Weil = Cartier always." False. The equality holds only when $X$ is locally factorial. On normal but non-factorial varieties (the quadric cone above) $Pic (X) ⊊ Cl (X)$ .
"Divisors are subvarieties." A divisor is a formal $Z$ -combination; coefficients can be negative (poles). The associated sheaf $O_{X} (D)$ is what is geometric.
" $O_{X} (D)$ depends on the divisor, not the class." It depends only on the linear-equivalence class: $D \sim D^{'} ⟺ O_{X} (D) ≅ O_{X} (D^{'})$ .
" $Pic = H^{1} (O^{\times})$ needs the analytic topology." No — the isomorphism is Zariski/étale-sheaf-theoretic; in the analytic category one further uses the exponential sequence to relate it to $H^{1} (X, O)$ and $H^{2} (X, Z)$ .

Sections do not detect the class faithfully

A line bundle $L$ may have no global sections yet be nontrivial: on a genus- $g$ curve $C$ , $O_{C} (D)$ with $de g D < 0$ has $H^{0} = 0$ but $[O_{C} (D)] \neq = 0$ unless $D \sim 0$ . Conversely, two nonisomorphic line bundles can share the same $h^{0}$ . The number of independent sections is governed by Riemann–Roch, not by the class alone:

dim H^{0} (C, O (D)) - dim H^{1} (C, O (D)) = de g D + 1 - g .

Thus

Pic

classifies bundles, while cohomology of sections is a finer (and harder) invariant.

Connections

The Picard group is the codimension-one piece of a richer hierarchy. The Néron–Severi group $NS (X) = Pic (X) / Pic^{0} (X)$ is finitely generated (Theorem of the Base), and $Pic^{0} (X)$ is an abelian variety (the Jacobian Variety for curves). Intersection of divisors connects to Intersection Theory and the Chow Ring, where $Pic (X) = CH^{1} (X)$ for smooth $X$ . Cohomologically, the first Chern class $c_{1} : Pic (X) \to H^{2} (X, Z)$ links to Chern Classes and the Hodge Conjecture (which divisor classes are algebraic). Ampleness of a line bundle controls embeddings into projective space — the bridge to Ample and Very Ample Line Bundles and the Kodaira Embedding Theorem. Over number fields, the analog is the Ideal Class Group: $Cl (Spec O_{K})$ is exactly the ideal class group of the ring of integers.

Real-World Applications

Error-correcting codes (Goppa / algebraic-geometry codes): Riemann–Roch spaces $H^{0} (C, O (D))$ on curves over finite fields produce codes meeting the Tsfasman–Vlăduţ–Zink bound, beating the Gilbert–Varshamov bound.
Cryptography: the group law on $Pic^{0}$ of elliptic and hyperelliptic curves underlies ECC and Jacobian-based cryptosystems; the discrete log problem lives in $Pic^{0} (C) (F_{q})$ .
String theory / D-branes: D-brane charges are classified by $K$ -theory and, in the geometric phase, by line bundles and $Pic$ of the compactification Calabi–Yau; flux quantization uses $c_{1} \in H^{2} (X, Z)$ .
Mirror symmetry and the SYZ program: the Picard group and its complexification parametrize the Kähler/B-field moduli appearing in topological string amplitudes.
Arithmetic geometry (Mordell–Weil): for an elliptic curve $E / Q$ , $E (Q) ≅ Pic^{0} (E) (Q)$ is finitely generated — the Mordell–Weil theorem; rank computations feed BSD.
Arakelov theory: the arithmetic Picard group $Pic (X)$ of an arithmetic surface combines Cartier divisors with Green functions, giving a height theory used in Diophantine bounds.
Class field theory / ideal class groups: $Cl (O_{K})$ measures failure of unique factorization in number rings, central to algebraic number theory.

Historical Development

1851–1857 — Riemann. Introduces "Abelian functions," the Riemann surface, and the inequality $dim H^{0} (D) \geq de g D - g + 1$ , the seed of divisor theory.
1865 — Roch. Completes Riemann's inequality to the exact Riemann–Roch equality on curves.
1882 — Dedekind & Weber. Algebraic theory of function fields; divisors as products of prime ideals, paralleling number theory.
1880s–1900s — Picard, Poincaré. Study divisor classes on surfaces; introduce the Picard variety via integrals of the first kind.
1906–1910 — Severi. Defines the Néron–Severi group; proves finite generation (Theorem of the Base) over $C$ .
1937–1940 — Weil, Zariski. Foundations of abstract algebraic geometry; rigorous theory of valuations and divisors on general varieties.
1950s — Serre (FAC, 1955). Coherent sheaves; $Pic = H^{1} (O^{\times})$ ; the GAGA principle linking analytic and algebraic line bundles.
1957–1962 — Grothendieck. Schemes, Cartier divisors, and the representability of the Picard functor — the Picard scheme $\underline{Pic}_{X / S}$ (FGA).
1958–1965 — Néron, Chevalley, Mumford. Néron models, generic structure of $Pic^{0}$ as an abelian variety; modern functorial Picard theory.

Subtleties & Limits

Representability of the Picard functor is delicate: $\underline{Pic}_{X / S}$ is representable by a scheme under projectivity/flatness hypotheses (Grothendieck, Murre, Oort), but in general only by an algebraic space; the obstruction lives in the relative Brauer group $Br (S)$ .
The Néron–Severi rank $ρ (X)$ (the Picard number) is computable in principle but hard in practice; bounding $ρ$ for K3 surfaces and the distribution of Picard numbers in families remain active.
Hodge / Tate conjectures ask whether $c_{1}$ surjects onto the appropriate "algebraic" classes; for divisors this is the Lefschetz $(1, 1)$ -theorem over $C$ (a theorem), but the integral and arithmetic ( $ℓ$ -adic Tate) analogues for divisors are subtle — the integral Hodge conjecture fails in codimension $\geq 2$ but holds for divisors.
Brauer–Picard interplay: the exact sequence relating $Pic$ , $Br$ , and Galois cohomology controls how Picard classes descend along field extensions; effective descent of line bundles is governed by $H^{1} (Gal, Pic)$ and the Brauer obstruction.
Positivity in higher dimensions: characterizing which classes in $NS (X)_{R}$ are ample (the ample cone) and nef (the nef cone) leads to open conjectures (e.g. the SQM/Morrison–Kawamata cone conjecture).

Divisors, Line Bundles, and the Picard Group

The Core Insight

Formal Statement

Weil Divisor and Divisor Class Group

Cartier Divisor

Line Bundle / Invertible Sheaf and the Picard Group

The Divisor–Line Bundle Dictionary

Why It Holds / Derivation

The exponential/units sequence and $\operatorname{Pic} = H^1(\mathcal{O}^\times)$

The divisor sequence and the class group

The three equivalent languages on overlaps $U_i\cap U_j$

Émile Picard | 1856–1941

Building Intuition

Worked Examples

Projective space: $\operatorname{Cl}(\mathbb{P}^n_k)\cong\mathbb{Z}$

A nodal/singular quadric cone: nontrivial torsion

Common Misconceptions

Sections do not detect the class faithfully

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also

Before this

Where this leads