04.05.10 · algebraic-geometry / divisors

Hirzebruch-Riemann-Roch theorem (general dimension)

shipped3 tiersLean: none

Anchor (Master): Hirzebruch *Topological Methods in Algebraic Geometry* (Springer Classics 1995 reprint of 1978 3rd English ed.; original *Neue topologische Methoden in der algebraischen Geometrie*, Ergebnisse 9, Springer 1956) §IV.20-§IV.21; Hartshorne Appendix A; Fulton *Intersection Theory* §15 (Grothendieck-Riemann-Roch as generalisation); Griffiths-Harris Ch. 5

Intuition [Beginner]

The Hirzebruch-Riemann-Roch theorem is one formula that computes the Euler characteristic of a holomorphic vector bundle on a smooth projective complex variety of any dimension, in terms of two characteristic classes attached to the bundle and to the variety. On a curve, the formula reduces to the classical Riemann-Roch theorem. On a surface, it reduces to the surface Riemann-Roch identity together with Noether's formula. On a threefold or higher-dimensional variety, it gives a single closed expression where direct calculation by sheaf cohomology would be very hard. The unification is the point of the theorem.

The formula reads as a balance between two pieces of data. On one side sits the alternating sum of dimensions of sheaf cohomology groups, the holomorphic Euler characteristic. On the other side sits an integral over the variety of a product of two characteristic classes: the Chern character of the bundle, which packages the Chern classes of the bundle into an exponential series, and the Todd class of the tangent bundle of the variety, a different combination of the same kind of building blocks. The integral extracts the top-dimensional part of the product and pairs it with the fundamental class of the variety.

Why bother? Because every classical dimension formula in algebraic geometry — the binomial-coefficient count for plane curves of degree $d$ , the genus formula for smooth curves, the surface Riemann-Roch identity, the arithmetic-genus formula for complete intersections in projective space — is a single specialisation of this one formula. Hirzebruch found the universal version in 1956, and the modern index theorem of Atiyah and Singer 1963 placed it inside a still wider framework where the same kind of identity governs every elliptic operator on a smooth manifold.

Visual [Beginner]

A balance diagram. On the left pan, the holomorphic Euler characteristic of a sheaf on a smooth projective variety, written as the alternating sum of cohomology dimensions. On the right pan, the integral over the variety of the product of the Chern character of the sheaf and the Todd class of the tangent bundle of the variety. The diagram emphasises that two pieces of data on the right side — one from the sheaf, one from the variety — combine to compute the single integer on the left side.

A second panel shows the same balance specialised to dimensions $1, 2, 3$ : at $n = 1$ the balance becomes the classical Riemann-Roch theorem on a curve; at $n = 2$ it becomes the surface Riemann-Roch identity together with Noether's formula; at $n = 3$ the right side acquires an extra term that contributes to the arithmetic genus of threefolds and to the classical formulae of Hirzebruch and others for smooth threefolds in projective space.

Worked example [Beginner]

Recover the classical dimension formula for sections of the line bundle of degree $d$ on the projective line, using the general theorem at $n = 1$ .

Step 1. Setup. The projective line is a smooth projective complex curve of dimension $1$ . The line bundle of degree $d$ on the projective line has Chern character $1 + d$ in the truncated form valid in dimension $1$ . The tangent bundle of the projective line has first Chern class $2$ in the standard normalisation, so the Todd class of the tangent bundle, truncated in dimension $1$ , is $1 + 1$ (the formal expansion gives the constant $1$ plus half the first Chern class, which on this curve equals $1$ ).

Step 2. Multiply and integrate. The product of the truncated Chern character and the truncated Todd class is $(1 + d) \times (1 + 1) = 1 + (1 + d) + d$ . Reading off the degree- $1$ part (the term that pairs with the fundamental class of the curve) gives $1 + d$ . The integral of this top-degree class against the fundamental class of the projective line is $d + 1$ .

Step 3. Check. The classical Riemann-Roch theorem on the projective line returns $d + 1$ as the Euler characteristic of the line bundle of degree $d$ , with the dimension of the space of sections being $d + 1$ for $d$ at least $0$ and the higher cohomology vanishing in this range. The general formula reproduces the classical answer with no surprise.

What this tells us. The general formula has a knob — the dimension $n$ — and turning it to $n = 1$ recovers the classical Riemann-Roch theorem for curves. Turning it to $n = 2$ recovers the surface Riemann-Roch identity. Turning it to any $n$ produces a closed formula whose ingredients are intersection numbers on the variety, with no separate cohomology calculation required.

Check your understanding [Beginner]

Exercise (easy, multiple choice).

The Hirzebruch-Riemann-Roch theorem on a smooth projective complex variety relates the holomorphic Euler characteristic of a holomorphic vector bundle to which of the following?

A. The dimension of the space of global sections alone
B. The first Chern class of the bundle alone
C. The integral over the variety of the product of the Chern character of the bundle and the Todd class of the tangent bundle of the variety
D. The topological Euler characteristic of the underlying smooth manifold

Hint

The theorem says one combined characteristic-class expression, integrated over the variety, equals the holomorphic Euler characteristic.

Answer

C. The theorem reads as the identity that the holomorphic Euler characteristic equals the integral over the variety of the product of two characteristic classes, the Chern character of the bundle and the Todd class of the tangent bundle of the variety. Option A is only the leading term in low dimensions and ignores higher cohomology. Option B is one piece of the Chern character, not the whole expression. Option D is the topological invariant that enters Noether's formula but is not the full identity.

Exercise (easy, true-false).

True or false: the surface Riemann-Roch identity is a special case of the general Hirzebruch-Riemann-Roch theorem at $n = 2$ .

Hint

The general theorem produces the surface identity when applied at complex dimension $2$ to the line bundle of a divisor, combined with the identification of the structure-sheaf Euler characteristic via the Todd-class expansion.

Answer

True. The surface Riemann-Roch identity, together with Noether's formula coupling the canonical-square invariant to the topological Euler characteristic, is exactly the $n = 2$ specialisation of the general theorem applied first to the line bundle of a divisor and then to the structure sheaf of the surface. The reduction is recorded in the master-tier worked computations and follows from the truncation of the Todd class on a surface to its first three pieces.

Formal definition [Intermediate+]

Let $k$ be an algebraically closed field of characteristic zero, let $X$ be a smooth projective variety over $k$ of complex dimension $n$ , and let $E$ be a holomorphic (equivalently, locally free coherent) vector bundle on $X$ of rank $r$ . Write $T_{X}$ for the holomorphic tangent bundle of $X$ , write $c_{i} (F)$ for the $i$ -th Chern class of a vector bundle $F$ in the rational Chow ring $A^{*} (X)_{Q}$ or in singular cohomology $H^{2 *} (X, Q)$ (the two coincide on a smooth projective complex variety via the cycle class map), and write $χ (X, E) = \sum_{i = 0}^{n} (- 1)^{i} dim_{k} H^{i} (X, E)$ for the holomorphic Euler characteristic of $E$ on $X$ .

Definition (Chern character). The Chern character of a holomorphic vector bundle $E$ of rank $r$ on $X$ is the class $$ \mathrm{ch}(\mathcal{E}) = \sum_{i = 1}^{r} e^{x_i} \in H^{2*}(X, \mathbb{Q}), $$ where $x_{1}, \dots, x_{r}$ are the formal Chern roots of $E$ , namely indeterminates satisfying $c_{i} (E) = σ_{i} (x_{1}, \dots, x_{r})$ with $σ_{i}$ the $i$ -th elementary symmetric polynomial. Expansion yields $ch (E) = r + c_{1} + \frac{1}{2} (c_{1}^{2} - 2 c_{2}) + \frac{1}{6} (c_{1}^{3} - 3 c_{1} c_{2} + 3 c_{3}) + \dots$ , an inhomogeneous class with one component in each even cohomological degree. The Chern character is additive ( $ch (E \oplus F) = ch (E) + ch (F)$ ) and multiplicative ( $ch (E \otimes F) = ch (E) \cdot ch (F)$ ).

Definition (Todd class). The Todd class of a holomorphic vector bundle $E$ of rank $r$ on $X$ is the class $$ \mathrm{td}(\mathcal{E}) = \prod_{i = 1}^{r} \frac{x_i}{1 - e^{-x_i}} \in H^{2*}(X, \mathbb{Q}), $$ in the formal Chern roots, the multiplicative sequence attached to the power series $Q (x) = x / (1 - e^{- x}) = 1 + x /2 + x^{2} /12 - x^{4} /720 + \dots$ . Expansion yields the first few terms $$ \mathrm{td}(\mathcal{E}) = 1 + \tfrac{c_1}{2} + \tfrac{c_1^2 + c_2}{12} + \tfrac{c_1 c_2}{24} + \tfrac{-c_1^4 + 4 c_1^2 c_2 + c_1 c_3 + 3 c_2^2 - c_4}{720} + \cdots. $$ The Todd class is multiplicative on short exact sequences of locally free sheaves: $td (F) = td (F^{'}) \cdot td (F^{''})$ for $0 \to F^{'} \to F \to F^{''} \to 0$ , see 03.06.15.

Definition (Hirzebruch-Riemann-Roch theorem, general dimension). The Hirzebruch-Riemann-Roch formula for a smooth projective variety $X$ of complex dimension $n$ over $k$ and a coherent sheaf $E$ on $X$ is the identity $$ \chi(X, \mathcal{E}) = \int_X \mathrm{ch}(\mathcal{E}) \cdot \mathrm{td}(T_X), $$ where the product $ch (E) \cdot td (T_{X}) \in H^{2 *} (X, Q)$ is multiplied in the cohomology ring, and the integral $\int_{X}$ is the pairing of the degree- $2 n$ component with the fundamental class $[X] \in H_{2 n} (X, Q)$ , returning a rational number — which the theorem asserts is the integer $χ (X, E)$ .

Counterexamples to common slips

The formula uses the Todd class of the tangent bundle of the variety, not the Todd class of the bundle $E$ . The Chern character of $E$ supplies the bundle-dependent data; the Todd class of $T_{X}$ supplies the variety-dependent data. Swapping the two gives a meaningless identity.
The integral $\int_{X}$ extracts the degree- $2 n$ piece of the product. Lower-degree pieces contribute nothing to the integral; their role is to fill out the cohomological structure of the product. The integer-valuedness of the right side is a strong constraint and reflects the fact that the Todd class is calibrated so that $\int_{P^{n}} td (T_{P^{n}}) = 1$ for every $n$ .
The formula extends to coherent sheaves that are not locally free, but only via a finite locally free resolution: every coherent sheaf $E$ on a smooth projective variety admits a finite resolution $0 \to E_{p} \to \dots \to E_{0} \to E \to 0$ by locally free sheaves, and the Chern character extends to coherent sheaves by alternating sum on the resolution. The product with $td (T_{X})$ is then defined and the identity holds.
In positive characteristic the topological side of the formula must be replaced by an $ℓ$ -adic étale Chern character and an $ℓ$ -adic étale Todd class, with the proof routing through Grothendieck-Riemann-Roch (Grothendieck 1957) and the algebraic Chow-ring framework rather than through complex cobordism. The characteristic-zero proof of Hirzebruch uses Thom's complex-cobordism theorem and is genuinely characteristic-zero.

Key theorem with proof [Intermediate+]

Theorem (Hirzebruch-Riemann-Roch; Hirzebruch 1956 §IV.21). Let $X$ be a smooth projective variety over an algebraically closed field of characteristic zero, of complex dimension $n$ , and let $E$ be a coherent sheaf on $X$ . Then $$ \chi(X, \mathcal{E}) = \int_X \mathrm{ch}(\mathcal{E}) \cdot \mathrm{td}(T_X), $$ where the integrand is the cup product in $H^{2}(X, \mathbb{Q}) $an d t h e in t e g r a l i s p ai r in g w i t h t h e f u n d am e n t a l c l a ss$ [X]$.*

Proof. Two formally equivalent strategies are recorded: the cobordism strategy of Hirzebruch, which is the originator route and works for smooth projective varieties over $C$ ; and the index-theoretic strategy of Atiyah-Singer, which identifies the integrand as the topological index of the Dolbeault complex twisted by $E$ .

The originator cobordism strategy proceeds in four steps.

Step 1: locally free reduction. Every coherent sheaf $E$ on a smooth projective variety admits a finite resolution by locally free coherent sheaves: $0 \to E_{p} \to E_{p - 1} \to \dots \to E_{0} \to E \to 0$ exact, with each $E_{i}$ locally free. Both sides of the asserted identity are additive on short exact sequences in $E$ : the left side because $χ$ is additive in long exact sequences in cohomology, the right side because the Chern character is additive on short exact sequences of locally free sheaves and the Todd-times-Chern-character product is additive in its first slot. Telescoping the resolution reduces the claim to the case where $E$ is locally free.

Step 2: additivity and multiplicativity reduce to monomial test cases. Define $$ F(X, \mathcal{E}) = \chi(X, \mathcal{E}) - \int_X \mathrm{ch}(\mathcal{E}) \cdot \mathrm{td}(T_X). $$ The function $F$ is additive in $E$ (Step 1) and multiplicative under exterior product of pairs $(X, E)$ : for two smooth projective varieties $X_{1}, X_{2}$ with locally free sheaves $E_{1}, E_{2}$ , the product variety $X_{1} \times X_{2}$ with the external tensor product $E_{1} ⊠ E_{2}$ satisfies the Künneth identity $χ (X_{1} \times X_{2}, E_{1} ⊠ E_{2}) = χ (X_{1}, E_{1}) \cdot χ (X_{2}, E_{2})$ , and the corresponding multiplicativity holds for the integrand on the right side (the Chern character and Todd class are multiplicative under exterior product, and integration over a product variety factors as a product of integrations). So $F$ vanishes on a pair $(X, E)$ if and only if it vanishes on every connected component of $X$ separately, and the value on a product variety factors. By the standard splitting principle for vector bundles, every locally free coherent sheaf $E$ is, after replacing the base by a tower of projective bundles, a direct sum of line bundles; additivity of $F$ in $E$ together with the projective-bundle formula reduces the test to the case where $E$ is a line bundle $L$ on $X$ .

Step 3: cobordism reduction to projective space. The pair $(X, L)$ defines a class in the complex cobordism ring $Ω_{*}^{U} \otimes Q$ enriched with a line-bundle class — equivalently, a class in the rationalised cobordism ring of pairs (smooth manifold, line bundle). Thom's complex-cobordism theorem (Thom 1954) identifies $Ω_{*}^{U} \otimes Q$ as the polynomial ring $Q [P^{1}, P^{2}, P^{3}, \dots]$ on the classes of the complex projective spaces in each complex dimension, and the pair-version identifies the polynomial generators as pairs $(P^{n}, O_{P^{n}} (d))$ for varying $n$ and $d$ . Both $χ (X, L)$ and $\int_{X} ch (L) \cdot td (T_{X})$ are cobordism invariants: the holomorphic Euler characteristic because it is a topological invariant on a smooth projective variety (via Hodge theory, $χ (X, L) = \sum_{p} (- 1)^{p} dim H^{p} (X, L)$ is computed from the Dolbeault complex, and this is a homotopy invariant in the cobordism class), and the integral because the integrand is a polynomial in the Chern classes of $T_{X}$ and $L$ paired with the fundamental class, manifestly cobordism-invariant. So $F$ is a rational ring homomorphism on $Ω_{*}^{U} \otimes Q [Pic]$ , and vanishing of $F$ on all polynomial generators forces $F = 0$ .

Step 4: verify on test pairs $(P^{n}, O (d))$ . On projective space, both sides are computable in closed form. The left side is the classical dimension formula $χ (P^{n}, O (d)) = (n n + d)$ for the cohomology of line bundles on projective space (see 04.03.04), valid for every integer $d$ in the polynomial-interpretation sense. The right side requires computing $\int_{P^{n}} e^{d H} \cdot td (T_{P^{n}})$ , where $H$ is the hyperplane class. The Todd class of $T_{P^{n}}$ is computed from the Euler exact sequence $$ 0 \to \mathcal{O}{\mathbb{P}^n} \to \mathcal{O}{\mathbb{P}^n}(1)^{\oplus (n+1)} \to T_{\mathbb{P}^n} \to 0, $$ which gives $td (T_{P^{n}}) = (H / (1 - e^{- H}))^{n + 1}$ by multiplicativity of the Todd class on short exact sequences and the structure-sheaf identity $td (O) = 1$ . The integral evaluates as the coefficient of $H^{n}$ in $e^{d H} \cdot (H / (1 - e^{- H}))^{n + 1}$ , paired with $\int_{P^{n}} H^{n} = 1$ . A residue calculation (the coefficient of $H^{n}$ in a formal power series at $H = 0$ equals the residue at $0$ of a contour integral) gives $$ \int_{\mathbb{P}^n} e^{d H} \cdot \mathrm{td}(T_{\mathbb{P}^n}) = \mathrm{Res}_{H = 0} \frac{e^{d H}}{(1 - e^{-H})^{n+1}} \cdot \frac{dH}{H} \cdot H^{n+1} = \binom{n + d}{n}, $$ the residue calculation expanding the geometric series and reading off the appropriate coefficient. This matches the left side. The verification on the polynomial generators $(P^{n}, O (d))$ closes the cobordism argument, and the formula propagates to every pair $(X, E)$ .

$□$

Bridge. The construction builds toward 04.05.08 (Riemann-Roch for surfaces) at the codim-zero degree-two specialisation, toward 04.04.01 (Riemann-Roch for curves) at the degree-one specialisation, toward 04.03.04 (cohomology of line bundles on projective space) as the test case driving the cobordism proof, toward 03.09.10 (Atiyah-Singer index theorem) at the index-theoretic generalisation, and toward Grothendieck-Riemann-Roch at the proper-pushforward generalisation in algebraic K-theory. The central insight is that the holomorphic Euler characteristic of any coherent sheaf on any smooth projective variety is computed by integrating a universal characteristic-class expression — the product of the Chern character of the sheaf and the Todd class of the tangent bundle of the variety — and the integer-valuedness of the integral is a strong constraint that pins down the Todd class as the unique multiplicative sequence calibrated by $\int_{P^{n}} td (T_{P^{n}}) = 1$ for every $n$ .

Three pieces of input — the Chern character, the Todd class, and the integration pairing on the fundamental class — combine into one identity, and the identity recovers every classical genus-and-dimension formula in algebraic geometry as a specialisation. The bridge to topology is the Atiyah-Singer index theorem, which identifies the integrand of HRR with the topological index of the Dolbeault complex twisted by the sheaf and asserts equality with the analytic index, the alternating sum of dimensions of cohomology groups. The bridge to scheme theory is Grothendieck-Riemann-Roch, which generalises HRR to proper morphisms of smooth schemes via the relative-pushforward identity $ch (f_{*} E) \cdot td (T_{Y}) = f_{*} (ch (E) \cdot td (T_{X}))$ in the Chow ring, with HRR the case where the target is a point.

Exercises [Intermediate+]

Exercise 3 (medium, symbolic).

Use HRR to derive the arithmetic-genus formula $χ (O_{X}) = \int_{X} td (T_{X})$ for a smooth projective variety $X$ of complex dimension $n$ . Specialise to $n = 1, 2$ and read off the genus formula for a smooth projective curve and Noether's formula for a smooth projective surface.

Hint

Apply HRR to the structure sheaf $E = O_{X}$ , whose Chern character is $ch (O_{X}) = 1$ . The integral picks out the top-degree part of $td (T_{X})$ alone.

Answer

Derivation. HRR applied to $E = O_{X}$ gives $χ (O_{X}) = \int_{X} ch (O_{X}) \cdot td (T_{X}) = \int_{X} td (T_{X})$ since $ch (O_{X}) = 1$ .

Curve specialisation ( $n = 1$ ). The Todd class truncates to $td (T_{X}) = 1 + c_{1} (T_{X}) /2 = 1 - K_{X} /2$ (using $c_{1} (T_{X}) = - K_{X}$ ). The integral picks out the degree- $1$ part: $\int_{X} (- K_{X} /2) = - de g K_{X} /2 = - (2 g - 2) /2 = 1 - g$ . So $χ (O_{X}) = 1 - g$ , the genus formula for a smooth projective curve.

Surface specialisation ( $n = 2$ ). The Todd class truncates to $td (T_{X}) = 1 + c_{1} /2 + (c_{1}^{2} + c_{2}) /12 = 1 - K_{X} /2 + (K_{X}^{2} + c_{2} (X)) /12$ . The integral picks out the degree- $2$ part: $\int_{X} (K_{X}^{2} + c_{2} (X)) /12 = (K_{X}^{2} + c_{2} (X)) /12$ . So $χ (O_{X}) = (K_{X}^{2} + c_{2} (X)) /12$ , equivalently $12 χ (O_{X}) = K_{X}^{2} + c_{2} (X)$ , Noether's formula on a smooth projective surface. Rubric: full credit for the general formula and both specialisations; partial credit for the general statement alone.

Exercise 4 (medium, symbolic).

On a K3 surface $X$ ( $K_{X} = 0$ , $χ (O_{X}) = 2$ ), and for a holomorphic vector bundle $E$ of rank $r$ , derive the Mukai-style HRR specialisation $χ (X, E) = 2 r + c_{1} (E)^{2} /2 - c_{2} (E)$ .

Hint

Apply HRR at $n = 2$ with $td (T_{X}) = 1 + (K_{X}^{2} + c_{2} (X)) /12 = 1 + c_{2} (X) /12$ (using $K_{X} = 0$ ). Use Noether's formula $c_{2} (X) /12 = χ (O_{X}) /1 = 2$ — equivalently $c_{2} (X) = 24$ — on a K3 surface, and expand the Chern character $ch (E) = r + c_{1} (E) + (c_{1} (E)^{2} - 2 c_{2} (E)) /2$ in dimension $2$ .

Answer

On a K3 surface, $K_{X} = 0$ , $χ (O_{X}) = 2$ , hence $c_{2} (X) = 24$ by Noether's formula $12 χ (O_{X}) = K_{X}^{2} + c_{2} (X) = 0 + c_{2} (X)$ . The Todd class truncates to $td (T_{X}) = 1 + 0 + 24/12 = 1 + 2$ (where the $2$ lives in degree $2$ via $c_{2} (X) /12 \cdot [X]$ ). The Chern character of $E$ truncates on a surface to $ch (E) = r + c_{1} (E) + (c_{1} (E)^{2} - 2 c_{2} (E)) /2$ . The HRR product is $$ \mathrm{ch}(E) \cdot \mathrm{td}(T_X) = (r + c_1 + \tfrac{c_1^2 - 2 c_2}{2}) \cdot (1 + 2) = r + c_1 + (\tfrac{c_1^2 - 2 c_2}{2} + 2 r). $$ Integrating picks the degree- $2$ part: $χ (X, E) = \int_{X} (\frac{c _{1} ( E ) ^{2} - 2 c _{2} ( E )}{2} + 2 r) = \frac{c _{1} ( E ) ^{2}}{2} - c_{2} (E) + 2 r$ (using $\int_{X} c_{2} (X) /12 = χ (O_{X}) = 2$ as $\int_{X} 1 = 0$ on a surface in degree $0$ , with the constant term contributing $0$ ). So $χ (X, E) = 2 r + c_{1} (E)^{2} /2 - c_{2} (E)$ , the Mukai-style formula on a K3 surface. Rubric: full credit for the formula with the explicit Todd-class truncation and Chern-character expansion.

Exercise 5 (medium, numeric).

Compute the arithmetic genus $χ (O_{X})$ of a smooth complete intersection of bidegree $(3, 3)$ in $P^{5}$ , a Calabi-Yau threefold ( $n = 3$ ).

Hint

A smooth complete intersection of bidegree $(d_{1}, \dots, d_{c})$ in $P^{n}$ has canonical bundle $ω_{X} = O_{X} (- n - 1 + \sum d_{i})$ by 04.05.07 adjunction. For the Calabi-Yau case $ω_{X} = O_{X}$ , the canonical class vanishes. The arithmetic genus $χ (O_{X})$ is computed via HRR applied to the structure sheaf, using the Todd class of the tangent bundle pulled back through the conormal sequence of the complete intersection.

Answer

The smooth $(3, 3)$ -complete intersection $X = V_{1} \cap V_{2} \subset P^{5}$ has dimension $5 - 2 = 3$ , hence is a Calabi-Yau threefold (since $- 6 + 3 + 3 = 0$ , the canonical bundle is the structure sheaf $ω_{X} ≅ O_{X}$ ). The arithmetic genus is $χ (O_{X}) = 1 - h^{1} (O_{X}) + h^{2} (O_{X}) - h^{3} (O_{X})$ , and for a simply connected Calabi-Yau threefold the Hodge diamond gives $h^{0, 0} = h^{3, 0} = 1$ , $h^{1, 0} = h^{2, 0} = 0$ , hence $χ (O_{X}) = 1 - 0 + 0 - 1 = 0$ . The HRR computation runs as follows. The tangent bundle of $X$ fits into the conormal sequence $0 \to T_{X} \to T_{P^{5}} ∣_{X} \to N_{X / P^{5}} \to 0$ with $N_{X / P^{5}} = O_{X} (3) \oplus O_{X} (3)$ . The Todd-class multiplicativity gives $td (T_{X}) = td (T_{P^{5}} ∣_{X}) / td (N_{X / P^{5}})$ . The Euler sequence on $P^{5}$ gives $td (T_{P^{5}}) = (H / (1 - e^{- H}))^{6}$ , and $td (O (3) \oplus O (3)) = (3 H / (1 - e^{- 3 H}))^{2}$ . The integral of $td (T_{X})$ over $X$ uses the projection formula and the relation $[X] = 9 H^{2} \cdot [P^{5}]$ (since $de g V_{1} \cap V_{2} = 9$ as a class in $P^{5}$ ). The arithmetic-genus integral evaluates to $0$ , matching the Hodge-diamond computation. Rubric: full credit for $χ (O_{X}) = 0$ with at least one of the two routes (Hodge diamond or HRR via conormal sequence) recorded.

Exercise 6 (medium, symbolic).

Derive the closed dimension formula $dim_{k} H^{0} (P^{n}, O (d)) = (n n + d)$ for $d \geq 0$ from HRR plus Serre vanishing.

Hint

HRR on $P^{n}$ gives $χ (P^{n}, O (d)) = (n n + d)$ for every $d$ . Serre vanishing on the projective space asserts $H^{i} (P^{n}, O (d)) = 0$ for $i > 0$ and $d \geq 0$ (via the explicit Čech computation in 04.03.04). Combining the two pinches the Euler characteristic to the dimension of global sections.

Answer

HRR on $P^{n}$ gives the closed formula $χ (P^{n}, O (d)) = \int_{P^{n}} e^{d H} \cdot (H / (1 - e^{- H}))^{n + 1} = (n n + d)$ , valid for every integer $d$ via the residue computation in the key-theorem proof. By the explicit cohomology calculation in 04.03.04, on $P^{n}$ the higher cohomology $H^{i} (P^{n}, O (d))$ vanishes for every $i$ with $0 < i < n$ and every $d$ , and the top cohomology $H^{n} (P^{n}, O (d))$ vanishes for $d \geq - n$ (equivalently is nonzero only for $d \leq - n - 1$ ). For $d \geq 0 \geq - n$ , the only contribution to the Euler characteristic is from $H^{0}$ , and $χ (P^{n}, O (d)) = dim_{k} H^{0} (P^{n}, O (d)) = (n n + d)$ . The direct interpretation of the right side as the number of degree- $d$ monomials in $n + 1$ variables confirms the count. Rubric: full credit for the HRR computation plus the Serre-vanishing reduction; partial credit for either piece alone.

Exercise 7 (hard, short-answer).

Compute the Todd class $td (T_{P^{n}})$ of the tangent bundle of complex projective space via the Euler exact sequence, and use it to verify the calibration $\int_{P^{n}} td (T_{P^{n}}) = 1$ for every $n$ .

Hint

The Euler exact sequence on $P^{n}$ is $0 \to O \to O (1)^{\oplus (n + 1)} \to T_{P^{n}} \to 0$ . Apply Todd-class multiplicativity, using $td (O) = 1$ and $td (O (1)) = H / (1 - e^{- H})$ for the hyperplane class $H$ .

Answer

Computation. The Euler exact sequence on $P^{n}$ is $0 \to O \to O (1)^{\oplus (n + 1)} \to T_{P^{n}} \to 0$ . Todd-class multiplicativity gives $$ \mathrm{td}(T_{\mathbb{P}^n}) = \frac{\mathrm{td}(\mathcal{O}(1)^{\oplus (n+1)})}{\mathrm{td}(\mathcal{O})} = \mathrm{td}(\mathcal{O}(1))^{n+1} = \left(\frac{H}{1 - e^{-H}}\right)^{n+1}, $$ using $td (O) = 1$ and $td (O (1)) = H / (1 - e^{- H})$ since $O (1)$ is a line bundle with first Chern class $H$ .

Verification of the calibration. $\int_{P^{n}} td (T_{P^{n}}) = \int_{P^{n}} (H / (1 - e^{- H}))^{n + 1}$ , the coefficient of $H^{n}$ in the expansion of $(H / (1 - e^{- H}))^{n + 1}$ — the top-degree part on $P^{n}$ — paired with $\int_{P^{n}} H^{n} = 1$ . Setting $H = 0$ and expanding by residues: the coefficient of $H^{n}$ in $(H / (1 - e^{- H}))^{n + 1}$ equals the residue at $H = 0$ of $((H / (1 - e^{- H}))^{n + 1}) / H^{n + 1}$ times $H^{n + 1}$ , equivalently the constant term of the formal series $((1) / (1 - e^{- H}) / H)^{n + 1} = (1/ ((1 - e^{- H}) / H))^{n + 1}$ . Since $(1 - e^{- H}) / H = 1 - H /2 + H^{2} /6 - \dots$ has constant term $1$ , its reciprocal has constant term $1$ , and the constant term of the $(n + 1)$ -th power is also $1$ . So $\int_{P^{n}} td (T_{P^{n}}) = 1$ for every $n$ , as asserted. This is the Hirzebruch calibration that pins down the Todd class as the unique multiplicative sequence among the candidates attached to a power series $Q (x) = 1 + a_{1} x + a_{2} x^{2} + \dots$ . Rubric: full credit for the Euler-sequence computation and the residue calibration.

Exercise 8 (hard, short-answer).

State the Grothendieck-Riemann-Roch theorem (Grothendieck 1957) as the proper-pushforward generalisation of HRR, and explain how HRR is recovered as the special case where the target is a point.

Hint

Grothendieck-Riemann-Roch reads $ch (f_{*} E) \cdot td (T_{Y}) = f_{*} (ch (E) \cdot td (T_{X}))$ in the rational Chow ring $A^{*} (Y)_{Q}$ , for a proper morphism $f : X \to Y$ of smooth projective varieties. Applying it to $Y = Spec k$ a point reduces $f_{*} E$ to the alternating sum of cohomology groups of $E$ on $X$ , and $T_{Y} = 0$ makes $td (T_{Y}) = 1$ .

Answer

Grothendieck-Riemann-Roch. Let $f : X \to Y$ be a proper morphism of smooth projective varieties over a field $k$ , and let $E$ be a coherent sheaf on $X$ . Then in the rational Chow ring of $Y$ (equivalently in rational cohomology for $k = C$ ), $$ \mathrm{ch}(f_*^{K} \mathcal{E}) \cdot \mathrm{td}(T_Y) = f_*\big(\mathrm{ch}(\mathcal{E}) \cdot \mathrm{td}(T_X)\big), $$ where $f_{*}^{K} E = \sum_{i} (- 1)^{i} R^{i} f_{*} E$ is the K-theoretic proper-pushforward and $f_{*}$ on the right is the Chow-ring proper-pushforward of cycle classes.

HRR as the case $Y = Spec k$ . When $Y$ is a single $k$ -point, the Chow ring of $Y$ is $Z$ (or $Q$ rationally), $T_{Y} = 0$ , $td (T_{Y}) = 1$ , and the K-theoretic pushforward of $E$ to $Y$ is the alternating sum of cohomology dimensions $χ (X, E) = \sum_{i} (- 1)^{i} dim_{k} H^{i} (X, E) \in Z$ . The Chow-ring pushforward $f_{*}$ from $X$ to $Y$ is the degree map $\int_{X}$ , picking out the top-degree part of a cycle class on $X$ and reading off its multiplicity. The Grothendieck-Riemann-Roch identity becomes $$ \chi(X, \mathcal{E}) \cdot 1 = \int_X \mathrm{ch}(\mathcal{E}) \cdot \mathrm{td}(T_X), $$ which is the Hirzebruch-Riemann-Roch identity. The Grothendieck framework places HRR inside the relative-Euler-characteristic formalism for proper morphisms in algebraic K-theory, generalises cleanly to positive characteristic via $ℓ$ -adic étale cohomology, and is the modern scheme-theoretic statement that subsumes Hirzebruch's complex-projective version. Rubric: full credit for the GRR statement and the specialisation argument; partial credit for the statement alone.

Lean formalization [Intermediate+]

lean_status: none — Mathlib has Euler-characteristic and partial Chern-class infrastructure but no general-dimension Hirzebruch-Riemann-Roch theorem. The intended formalisation reads schematically:

import Mathlib.AlgebraicGeometry.EulerCharacteristic
import Mathlib.AlgebraicGeometry.Divisor.Basic
import Mathlib.AlgebraicGeometry.Picard
import Mathlib.AlgebraicGeometry.RiemannRoch

namespace Codex.AlgebraicGeometry.Divisors.HirzebruchRiemannRoch

variable {k : Type*} [Field k] [IsAlgClosed k] [CharZero k]
variable (X : Scheme) [IsSmooth X k] [IsProjective X k] (n : ℕ) (hd : X.dimension = n)
variable (E : CoherentSheaf X)

/-- Chern character of a coherent sheaf on a smooth projective variety. -/
noncomputable def chernCharacter : CohomologyClass X ℚ :=
  sorry  -- via formal Chern roots and the exp series

/-- Todd class of a holomorphic vector bundle on a smooth projective variety. -/
noncomputable def toddClass : CohomologyClass X ℚ :=
  sorry  -- via formal Chern roots and the x/(1 - exp(-x)) power series

/-- Integration pairing on a smooth projective variety of complex dim n. -/
noncomputable def integrateOver : CohomologyClass X ℚ → ℚ :=
  fun α => pairingWithFundamentalClass α  -- degree-2n part paired with [X]

/-- Hirzebruch-Riemann-Roch theorem (general dimension). -/
theorem hirzebruch_riemann_roch :
    (chi E : ℚ) = integrateOver X n (chernCharacter X E * toddClass X (tangentBundle X)) := by
  -- via cobordism reduction to projective space and the Euler exact sequence
  sorry

/-- HRR specialisation: arithmetic genus of a smooth projective variety. -/
theorem arithmetic_genus_formula :
    (chi (𝒪 X) : ℚ) = integrateOver X n (toddClass X (tangentBundle X)) := by
  -- chern character of the structure sheaf is 1; apply HRR
  sorry

end Codex.AlgebraicGeometry.Divisors.HirzebruchRiemannRoch

The proof gap is substantial. Mathlib needs the Chern character as a named additive-multiplicative homomorphism out of the Grothendieck group of coherent sheaves into rational cohomology (the ring-isomorphism statement after tensoring with $Q$ is the Atiyah-Hirzebruch theorem and depends on packaging K-theory of smooth projective varieties), the Todd class as the multiplicative sequence attached to the power series $x / (1 - e^{- x})$ (depending on the multiplicative-sequence formalism of 03.06.15), the integration pairing $\int_{X}$ on a smooth projective variety of complex dimension $n$ realised as evaluation against the fundamental class in $H_{2 n} (X, Q)$ , and the cobordism identification $Ω_{*}^{U} \otimes Q ≅ Q [P^{n}]$ needed for the originator proof. Each piece is formalisable from existing Mathlib categorical and homological infrastructure but has not been packaged. The curve and surface specialisations are separate Mathlib gaps under 04.04.01 and 04.05.08; the general- $n$ formula subsumes both. An alternative Lean route uses the Grothendieck-Riemann-Roch generalisation in the Chow-ring framework of Fulton, which requires the additional packaging of proper-pushforward in algebraic K-theory and a rational Chow ring with intersection pairing on smooth projective varieties.

Advanced results [Master]

Theorem (Hirzebruch-Riemann-Roch; Hirzebruch 1956 §IV.21, full statement). Let $X$ be a smooth projective variety over an algebraically closed field of characteristic zero, of complex dimension $n$ , and let $E$ be a coherent sheaf on $X$ . The holomorphic Euler characteristic of $E$ on $X$ equals the pairing of the degree- $2 n$ component of $\mathrm{ch}(\mathcal{E}) \cdot \mathrm{td}(T_X) \in H^{2}(X, \mathbb{Q}) $w i t h t h e f u n d am e n t a l c l a ss$ [X]$:* $$ \chi(X, \mathcal{E}) = \int_X \mathrm{ch}(\mathcal{E}) \cdot \mathrm{td}(T_X). $$

The proof, recorded above in the Intermediate-tier section, runs through complex cobordism: reduction to locally free sheaves via finite resolutions, reduction to line bundles via the splitting principle and projective-bundle formulas, reduction to test cases $(P^{n}, O (d))$ via Thom's complex-cobordism theorem identifying the rationalised complex cobordism ring with a polynomial ring on the projective spaces, and verification on the test cases via the explicit residue calculation of $\int_{P^{n}} e^{d H} \cdot (H / (1 - e^{- H}))^{n + 1} = (n n + d)$ . Hirzebruch's calibration that the Todd class is the unique multiplicative sequence with $\int_{P^{n}} td (T_{P^{n}}) = 1$ for every $n$ pins down the power series $Q (x) = x / (1 - e^{- x})$ as the generator of the Todd genus, with all coefficient computations following from the Euler exact sequence on projective space.

Theorem (Atiyah-Hirzebruch ring-isomorphism; Atiyah-Hirzebruch 1959). On a finite CW complex $X$ , the Chern character $ch : K (X) \otimes Q \sim H^{ev} (X, Q)$ is a ring isomorphism between rational topological K-theory and rational even cohomology.

The ring-isomorphism statement is the structural fact that gives the Chern character its central role in HRR: any rational cohomological invariant of a vector bundle factors through the Chern character, and the Todd class is the universal correction that makes the Chern character intertwine the Euler characteristic on the cohomology side with the algebraic K-theory class on the bundle side. The proof in Atiyah-Hirzebruch 1959 uses the Atiyah-Hirzebruch spectral sequence converging from $H^{*} (X, K^{*} (pt))$ to $K^{*} (X)$ , with the rationalisation collapsing the spectral sequence at the $E_{2}$ page on simply connected spaces and producing the ring isomorphism in general after tensoring with $Q$ .

Theorem (Grothendieck-Riemann-Roch; Grothendieck 1957 / Borel-Serre 1958). Let $f : X \to Y$ be a proper morphism of smooth projective varieties over a field $k$ of characteristic zero, and let $E$ be a coherent sheaf on $X$ . Then in the rational Chow ring of $Y$ , $$ \mathrm{ch}(f_*^{K} \mathcal{E}) \cdot \mathrm{td}(T_Y) = f_*\big(\mathrm{ch}(\mathcal{E}) \cdot \mathrm{td}(T_X)\big), $$ where $f_^{K} $i s t h eK - t h eor e t i c p r o p er - p u s h f or w a r d$ \sum_i (-1)^i R^i f_* $an d$ f_*$ on the right is the Chow-ring proper-pushforward.*

The Grothendieck generalisation places HRR inside the relative-Euler-characteristic formalism for proper morphisms in algebraic K-theory and generalises to positive characteristic via $ℓ$ -adic étale cohomology with the same identity. Grothendieck's 1957 manuscript (the "GRR memoir") was written up by Borel and Serre and published in Bull. SMF 86 (1958). The Fulton-MacPherson refinement (1980s) handles singular schemes via the Riemann-Roch theorem for singular varieties (Baum-Fulton-MacPherson 1975), with the Todd class replaced by a Chow-class lift defined via resolution of singularities. The case $Y = Spec k$ recovers HRR.

Theorem (Atiyah-Singer index theorem as generalisation; Atiyah-Singer 1963). Let $M$ be a closed oriented smooth manifold and let $D : C^{\infty} (M, E) \to C^{\infty} (M, F)$ be an elliptic operator between two smooth vector bundles. Then the analytic index $ind (D) = dim ker D - dim coker D$ equals the topological index $$ \mathrm{ind}(D) = \int_{T^* M} \mathrm{ch}(\sigma(D)) \cdot \mathrm{td}(T^* M_{\mathbb{C}}), $$ where $σ (D)$ is the principal symbol of $D$ , viewed as a K-theory class on the cotangent bundle $T^ M $, an d$ T^* M_{\mathbb{C}}$ is the complexification.*

HRR is the Dolbeault specialisation. On a smooth projective complex variety $X$ , the Dolbeault complex $\overset{ˉ}{\partial} : C^{\infty} (X, Ω^{0, *} \otimes E) \to C^{\infty} (X, Ω^{0, *+ 1} \otimes E)$ is elliptic, its analytic index is $\sum_{p} (- 1)^{p} dim H^{p} (X, E)$ via the Hodge isomorphism between Dolbeault cohomology and coherent sheaf cohomology, and its topological index is computable from the principal symbol via the universal index formula. The product $ch (E) \cdot td (T_{X})$ appearing in HRR is the cotangent-bundle integrand of the universal index formula specialised to the Dolbeault complex. Atiyah-Singer 1963 announced the result; the Annals series of 1968 contains the full proof. The signature theorem of Hirzebruch 1956 is the parallel specialisation to the signature operator on a closed oriented $4 k$ -manifold, with the $L$ -genus playing the role of the Todd class.

Theorem (Hirzebruch-Mumford proportionality; Mumford 1977). On a smooth projective variety $X$ of complex dimension $n$ whose universal cover is a bounded symmetric domain $D$ with compactified quotient $X = D /Γ$ by a torsion-free arithmetic lattice $Γ$ , the Chern numbers of $X$ are proportional to the Chern numbers of the compact dual symmetric space $D^{c}$ : $$ \int_X c_{i_1} \cdots c_{i_r} = \mathrm{vol}(\Gamma \backslash D) \cdot \int_{D^c} c_{i_1} \cdots c_{i_r}, $$ for every monomial $c_{i_{1}} \dots c_{i_{r}}$ of weight $n$ in the Chern classes of the tangent bundle.

Mumford's proportionality theorem couples HRR to the arithmetic of locally symmetric varieties: every Chern-number computation on a quotient $D /Γ$ reduces to the same computation on the compact dual, with the volume of the fundamental domain as the scaling factor. Combined with HRR, this gives explicit Euler-characteristic formulae for line bundles on Hilbert modular varieties, Shimura varieties, and ball quotients, with the Chern-class data computed once on the compact dual and propagated to all arithmetic quotients.

Theorem (Bismut-Lott / Bismut-Soulé arithmetic Riemann-Roch; Bismut-Soulé 1992). On a smooth projective arithmetic variety $X$ over $Spec Z$ equipped with a Hermitian metric on a holomorphic vector bundle $E$ , the arithmetic Riemann-Roch theorem refines HRR by including analytic torsion and arithmetic Chern classes in an identity in arithmetic Chow groups $\widehat{\mathrm{CH}}^(X)$.*

The arithmetic refinement places HRR inside Arakelov geometry, where every cohomological invariant of an arithmetic variety carries an additional Green-current contribution from the metric. The Bismut-Soulé arithmetic HRR is the analogue of GRR for proper morphisms of arithmetic varieties, with the analytic-torsion correction supplying the additional metric-dependent term. The arithmetic refinement is the modern state of the Riemann-Roch programme and connects HRR to the BSD conjecture, Beilinson's conjectures on regulators, and the conjectural framework of motivic L-functions.

Synthesis. The Hirzebruch-Riemann-Roch theorem is the universal Euler-characteristic identity for coherent sheaves on smooth projective varieties of every complex dimension, and the central insight is that two characteristic-class expressions — the Chern character of the sheaf and the Todd class of the tangent bundle of the variety — combine in a single integral that recovers the holomorphic Euler characteristic as the alternating sum of cohomology dimensions on the variety. Three apparently distinct constructions — the multiplicative-sequence formalism that produces the Todd class from the power series $x / (1 - e^{- x})$ , the splitting principle that reduces vector-bundle computations to line-bundle computations on tower of projective bundles, and Thom's identification of the rationalised complex cobordism ring as a polynomial ring on the projective spaces — fit into one identity. Putting these together, HRR is what makes the classical dimension formula $χ (P^{n}, O (d)) = (n n + d)$ into a one-line corollary, what makes Noether's formula $12 χ (O_{S}) = K_{S}^{2} + c_{2} (S)$ on a surface into the $n = 2$ specialisation of $χ (O_{X}) = \int_{X} td (T_{X})$ , what makes the canonical-class identity $ω_{V} = O_{V} (- n - 1 + \sum d_{i})$ for smooth complete intersections in projective space couple to arithmetic-genus computations via adjunction and HRR, and what makes the Calabi-Yau condition $\sum d_{i} = n + 1$ on a complete intersection in projective space coincide with the vanishing of the Todd top piece on the conormal bundle.

HRR also generalises in three directions. To proper morphisms, Grothendieck-Riemann-Roch promotes HRR to a relative identity in the Chow ring, with the pushforward of the Chern character along a proper morphism related to the pushforward of the Chern-character-times-Todd-class product, and HRR is the special case where the target is a point. To elliptic operators on smooth manifolds, the Atiyah-Singer index theorem promotes HRR to a universal identity for the index of an elliptic operator, with HRR the Dolbeault specialisation and the Hirzebruch signature theorem the signature-operator specialisation. To arithmetic varieties, the Bismut-Soulé arithmetic Riemann-Roch theorem refines HRR by including analytic-torsion contributions in an identity in arithmetic Chow groups. Across all three generalisations, the structural data is the same: a Chern-character-like class on the source, a Todd-like class on the target tangent bundle, and an integration pairing that returns the relevant invariant — Euler characteristic, index, or arithmetic Euler characteristic with metric correction.

The synthesis is structural: every classical genus-and-dimension formula in algebraic geometry — Plücker's plane-curve genus formula, the bidegree count on the quadric surface, the K3 dimension formula, the Noether formula on surfaces, the arithmetic genus of smooth complete intersections in projective space, the Mukai formula $χ (X, E) = 2 r + c_{1} (E)^{2} /2 - c_{2} (E)$ on K3 surfaces — is a corollary of HRR with appropriate input data. HRR is the universal Euler-characteristic oracle on smooth projective varieties of every dimension, with the input being the Chern character of the sheaf, the Todd class of the tangent bundle of the variety, and the integration pairing on the fundamental class.

Full proof set [Master]

Theorem (Hirzebruch-Riemann-Roch), full proof. Recorded in the Intermediate-tier Key theorem section. The cobordism strategy runs in four steps: locally free reduction via finite resolutions; reduction to line bundles via the splitting principle and the projective-bundle formula; cobordism reduction to projective space using Thom's identification of the rationalised complex cobordism ring of pairs (smooth manifold, line bundle) as a polynomial ring on $(P^{n}, O (d))$ ; verification on test pairs $(P^{n}, O (d))$ via the explicit residue computation $\int_{P^{n}} e^{d H} \cdot (H / (1 - e^{- H}))^{n + 1} = (n n + d)$ , matching the classical projective-space dimension table. $□$

Theorem (Atiyah-Hirzebruch ring-isomorphism), stated without proof here — full proof in Atiyah-Hirzebruch 1959 Bull. AMS 65 ^[pending]. The Atiyah-Hirzebruch spectral sequence converging from $H^{p} (X, K^{q} (pt))$ to $K^{p + q} (X)$ collapses rationally at $E_{2}$ on a finite CW complex, yielding the ring isomorphism $ch : K (X) \otimes Q \sim H^{ev} (X, Q)$ . The proof uses the Bott-periodicity theorem and the multiplicative structure of complex K-theory.

Theorem (Grothendieck-Riemann-Roch), stated without proof here — full proof in Borel-Serre 1958 Bull. SMF 86 (writing up Grothendieck's 1957 manuscript) ^[pending]. The Grothendieck proof reduces GRR for a proper morphism $f : X \to Y$ of smooth projective varieties to the special cases of a closed immersion (handled via the deformation to the normal cone) and a projection $X = Y \times P^{n} \to Y$ (handled via the projective-bundle formula and HRR on $P^{n}$ ). Every proper morphism of smooth projective varieties factors through a closed immersion followed by a projection (Chow's lemma), and the GRR identity propagates through the composition. The Fulton-MacPherson generalisation (Fulton 1998 §15) extends the theorem to singular varieties via the Riemann-Roch theorem for singular varieties (Baum-Fulton-MacPherson 1975).

Theorem (Atiyah-Singer index theorem), stated without proof here — full proof in the Atiyah-Singer 1968 Annals series ^[pending]. The five-paper sequence proves the index theorem for elliptic operators on closed oriented smooth manifolds by embedding the manifold in a sphere, computing the topological index of the symbol via the K-theory of the cotangent bundle, and showing that the topological index equals the analytic index by a combination of K-theoretic stability and the Riemann-Roch theorem for the embedding. HRR is the Dolbeault specialisation, the Hirzebruch signature theorem is the signature-operator specialisation, and the Â-genus integrality on a spin manifold is the Dirac-operator specialisation.

Theorem (Hirzebruch-Mumford proportionality), stated without proof here — full proof in Mumford 1977 Invent. Math. 42 ^[pending]. The proof uses the de Rham complex on the compact dual symmetric space to compute Chern numbers explicitly, the Selberg trace formula to lift the computation to a lattice quotient, and the volume of the fundamental domain as the scaling factor coupling the two computations. The result is foundational for the arithmetic theory of locally symmetric varieties and Shimura varieties.

Connections [Master]

Riemann-Roch for surfaces 04.05.08. Surface Riemann-Roch is the $n = 2$ specialisation of HRR applied to the line bundle $O_{S} (D)$ of a divisor $D$ on a smooth projective surface $S$ . The Todd class on a surface truncates to $td (T_{S}) = 1 - K_{S} /2 + (K_{S}^{2} + c_{2} (S)) /12$ , and the integration of the Chern-character-times-Todd-class product against the fundamental class of the surface produces the surface Riemann-Roch identity $χ (O_{S} (D)) = χ (O_{S}) + D \cdot (D - K_{S}) /2$ together with Noether's formula $12 χ (O_{S}) = K_{S}^{2} + c_{2} (S)$ at $F = O_{S}$ . The Mukai-style formula on a K3 surface $χ (X, E) = 2 rk (E) + c_{1} (E)^{2} /2 - c_{2} (E)$ is a one-line corollary of the $n = 2$ specialisation of HRR.
Riemann-Roch for curves 04.04.01. Classical Riemann-Roch on a smooth projective curve $C$ of genus $g$ is the $n = 1$ specialisation of HRR. The Todd class on a curve truncates to $td (T_{C}) = 1 + c_{1} (T_{C}) /2 = 1 - K_{C} /2$ , and the integration of $ch (L) \cdot td (T_{C}) = (1 + c_{1} (L)) \cdot (1 - K_{C} /2)$ against the fundamental class of $C$ produces $χ (C, L) = de g L - K_{C} /2 = de g L + 1 - g$ via the degree-genus identity $de g K_{C} = 2 g - 2$ . The classical curve Riemann-Roch is exactly the HRR identity at $n = 1$ .
Cohomology of line bundles on projective space 04.03.04. The closed dimension formula $χ (P^{n}, O (d)) = (n n + d)$ is the test case driving the cobordism proof of HRR: the residue computation $\int_{P^{n}} e^{d H} \cdot (H / (1 - e^{- H}))^{n + 1} = (n n + d)$ pins down the Todd class as the unique multiplicative sequence calibrated by $\int_{P^{n}} td (T_{P^{n}}) = 1$ for every $n$ . The cohomological computation on projective space supplies the verification data; the cobordism theorem propagates the verification to every smooth projective variety.
Chern character as a ring homomorphism 03.06.18. The Chern character $ch (E) = \sum e^{x_{i}}$ in formal Chern roots is one of the two ingredients of HRR, and the Atiyah-Hirzebruch ring-isomorphism statement $ch : K (X) \otimes Q \sim H^{ev} (X, Q)$ is the structural fact that gives the Chern character its central role. The additive identity $ch (E \oplus F) = ch (E) + ch (F)$ and the multiplicative identity $ch (E \otimes F) = ch (E) \cdot ch (F)$ are what make the Chern character interact cleanly with the Todd class in the HRR product.
Multiplicative sequences and the L, Â, Todd genera 03.06.15. The Todd class is the multiplicative sequence attached to the power series $Q (x) = x / (1 - e^{- x})$ , in the same family as the $L$ -genus attached to $Q (x) = x / tanh (x)$ and the Â-genus attached to $Q (x) = (x /2) / sinh (x /2)$ . The multiplicative-sequence formalism (Hirzebruch 1956 §I.1) is the algebraic machine that makes the three genera into instances of a single graded multiplicative sequence indexed by a formal power series in one variable. The Todd class enters HRR; the $L$ -genus enters the Hirzebruch signature theorem; the Â-genus enters the Dirac operator and the Atiyah-Singer index theorem.
Hirzebruch signature theorem 03.06.11. The signature of a closed oriented smooth $4 k$ -manifold is the integral of the $L$ -genus of the tangent bundle against the fundamental class. The signature theorem is the parallel application of the multiplicative-sequence machinery to oriented $4 k$ -manifolds — with the $L$ -genus replacing the Todd class and the signature replacing the holomorphic Euler characteristic — and is proved by Hirzebruch via cobordism in the same 1956 monograph as HRR. The unification of HRR and the signature theorem under the multiplicative-sequence formalism is the central algebraic insight of Hirzebruch's Topological Methods.
Atiyah-Singer index theorem 03.09.10. HRR is the Dolbeault specialisation of the Atiyah-Singer index theorem, which generalises the identity to every elliptic operator on a closed oriented smooth manifold. The principal symbol of the $\overset{ˉ}{\partial}$ -operator twisted by $E$ has class $ch (E) \cdot td (T_{X})$ in the K-theory of the cotangent bundle, and the topological-index integral against the fundamental class of the manifold reproduces the HRR integrand. The analytic index of the Dolbeault complex is the holomorphic Euler characteristic of $E$ on $X$ , and Atiyah-Singer asserts equality with the topological index.
Adjunction formula on a surface 04.05.07. The HRR computation of the arithmetic genus of a smooth complete intersection in projective space routes through the adjunction formula $ω_{V} ≅ (ω_{P^{n}} \otimes det N_{V / P^{n}}) ∣_{V}$ , which identifies the canonical bundle of the complete intersection. The Todd class on the complete intersection is computed from the conormal sequence $0 \to T_{V} \to T_{P^{n}} ∣_{V} \to N_{V / P^{n}} \to 0$ via multiplicativity of the Todd class, and the arithmetic genus follows from $χ (O_{V}) = \int_{V} td (T_{V})$ .
Riemann-Roch on compact Riemann surfaces 06.04.01. The complex-analytic Riemann-Roch theorem on a compact Riemann surface is the $n = 1$ specialisation of HRR with the Dolbeault interpretation supplied by the Hodge isomorphism between Dolbeault cohomology and coherent sheaf cohomology. The classical Riemann-Roch theorem on a Riemann surface and the algebraic curve Riemann-Roch are two sides of the same identity, and HRR places both inside the universal complex-projective framework.

Historical & philosophical context [Master]

The Hirzebruch-Riemann-Roch theorem was first announced by Friedrich Hirzebruch in Arithmetic genera of algebraic manifolds, Proc. Nat. Acad. Sci. USA 40 (1954), 110-114 ^[pending], a four-page summary that stated the formula $χ (X, E) = \int_{X} ch (E) \cdot td (T_{X})$ for smooth projective complex varieties and outlined the cobordism proof. The full proof appeared in Hirzebruch's habilitation thesis at Münster, published as Neue topologische Methoden in der algebraischen Geometrie, Ergebnisse der Mathematik 9, Springer 1956 ^[pending]; the English translation Topological Methods in Algebraic Geometry (translated by R. L. E. Schwarzenberger with an appendix by Armand Borel, 1962/1966; Springer Classics in Mathematics reprint 1995) is the canonical reference. Hirzebruch's monograph introduced the multiplicative-sequence formalism in Chapter I, derived the Todd class as the multiplicative sequence attached to the power series $x / (1 - e^{- x})$ , proved the signature theorem in §I.8 as the parallel application of the $L$ -genus to oriented $4 k$ -manifolds, and proved the Riemann-Roch formula in §IV.21 as the central theorem of the book. The cobordism proof uses Thom's complex-cobordism theorem (Thom 1954) identifying the rationalised complex cobordism ring as a polynomial ring on the projective spaces, and pins down the Todd class via the calibration $\int_{P^{n}} td (T_{P^{n}}) = 1$ for every $n$ .

The originating thread of the Todd class traces back to John Arthur Todd's The arithmetical invariants of algebraic loci, Proc. London Math. Soc. 43 (1937), 190-225, where Todd defined the class combinatorially via intersection-theoretic invariants of subvarieties. Heinz Hopf's 1948 sketches in Sulla geometria riemanniana globale della superficie cubica generale (Atti Convegno di Geometria, Roma 1948) anticipated the Todd-class formalism for surfaces, and Hirzebruch credits Hopf as the immediate ancestor. The reformulation via the power series $x / (1 - e^{- x})$ and the multiplicative-sequence formalism is Hirzebruch's. The Chern character $ch (E) = \sum e^{x_{i}}$ is implicit in Shiing-Shen Chern's Characteristic classes of Hermitian manifolds (Ann. Math. 47, 1946), and the explicit ring-isomorphism statement $ch : K (X) \otimes Q \sim H^{ev} (X, Q)$ is due to Michael Atiyah and Hirzebruch in Riemann-Roch theorems for differentiable manifolds (Bull. AMS 65, 1959, 276-281).

Alexander Grothendieck generalised HRR in 1957 to proper morphisms of smooth projective varieties via the relative-pushforward identity $ch (f_{*} E) \cdot td (T_{Y}) = f_{*} (ch (E) \cdot td (T_{X}))$ in the Chow ring. Grothendieck's manuscript circulated informally and was written up by Armand Borel and Jean-Pierre Serre as Le théorème de Riemann-Roch (Bull. SMF 86, 1958, 97-136) ^[pending]. The Grothendieck-Riemann-Roch theorem (GRR) places HRR inside the algebraic K-theory of proper morphisms and is the modern scheme-theoretic statement that subsumes Hirzebruch's complex-projective version. The Fulton-MacPherson refinement (William Fulton, Intersection Theory, Ergebnisse 3.Folge 2, 2nd ed. 1998 §15 ^[pending]) extends GRR to singular schemes via the Baum-Fulton-MacPherson Riemann-Roch for singular varieties (1975), and places the entire Riemann-Roch programme inside the framework of bivariant intersection theory.

Atiyah and Isadore Singer announced the index theorem for elliptic operators on closed oriented smooth manifolds in The index of elliptic operators on compact manifolds, Bull. AMS 69 (1963), 422-433 ^[pending], with the full proof in the five-paper Annals of Mathematics series of 1968. The Atiyah-Singer formula $ind (D) = \int_{T^{*} M} ch (σ (D)) \cdot td (T^{*} M_{C})$ generalises HRR to every elliptic operator on a closed manifold: HRR is the Dolbeault specialisation (operator $\overset{ˉ}{\partial}$ twisted by $E$ ), the Hirzebruch signature theorem is the signature-operator specialisation, the Â-genus integrality on a spin manifold is the Dirac-operator specialisation. The Atiyah-Singer index theorem is the modern unifying framework that places HRR, GRR, and the Hirzebruch signature theorem under one identity, and is the foundational theorem connecting algebraic geometry, differential topology, and elliptic operator theory.

@book{HirzebruchTopological,
  author    = {Hirzebruch, Friedrich},
  title     = {Topological Methods in Algebraic Geometry},
  publisher = {Springer-Verlag},
  series    = {Classics in Mathematics},
  year      = {1995},
  note      = {Reprint of the 1978 3rd English ed.; original *Neue topologische Methoden in der algebraischen Geometrie*, Ergebnisse 9, Springer 1956}
}

Bibliography [Master]

@article{Hirzebruch1954PNAS,
  author  = {Hirzebruch, Friedrich},
  title   = {Arithmetic genera of algebraic manifolds},
  journal = {Proc. Nat. Acad. Sci. USA},
  volume  = {40},
  year    = {1954},
  pages   = {110--114}
}

@book{HirzebruchTopologicalMethods,
  author    = {Hirzebruch, Friedrich},
  title     = {Topological Methods in Algebraic Geometry},
  publisher = {Springer-Verlag},
  series    = {Classics in Mathematics},
  year      = {1995},
  note      = {Reprint of the 1978 3rd English ed.; original *Neue topologische Methoden in der algebraischen Geometrie*, Ergebnisse 9, Springer 1956}
}

@article{Todd1937,
  author  = {Todd, John A.},
  title   = {The arithmetical invariants of algebraic loci},
  journal = {Proc. London Math. Soc.},
  volume  = {43},
  year    = {1937},
  pages   = {190--225}
}

@article{Chern1946,
  author  = {Chern, Shiing-Shen},
  title   = {Characteristic classes of Hermitian manifolds},
  journal = {Annals of Mathematics},
  volume  = {47},
  year    = {1946},
  pages   = {85--121}
}

@article{AtiyahHirzebruch1959,
  author  = {Atiyah, Michael F. and Hirzebruch, Friedrich},
  title   = {Riemann-Roch theorems for differentiable manifolds},
  journal = {Bull. Amer. Math. Soc.},
  volume  = {65},
  year    = {1959},
  pages   = {276--281}
}

@article{BorelSerre1958,
  author  = {Borel, Armand and Serre, Jean-Pierre},
  title   = {Le th{\'e}or{\`e}me de {Riemann-Roch}},
  journal = {Bull. Soc. Math. France},
  volume  = {86},
  year    = {1958},
  pages   = {97--136}
}

@article{AtiyahSinger1963,
  author  = {Atiyah, Michael F. and Singer, Isadore M.},
  title   = {The index of elliptic operators on compact manifolds},
  journal = {Bull. Amer. Math. Soc.},
  volume  = {69},
  year    = {1963},
  pages   = {422--433}
}

@article{AtiyahSinger1968,
  author  = {Atiyah, Michael F. and Singer, Isadore M.},
  title   = {The index of elliptic operators, {I-V}},
  journal = {Annals of Mathematics},
  volume  = {87, 87, 87, 93, 93},
  year    = {1968--1971}
}

@book{HartshorneAG,
  author    = {Hartshorne, Robin},
  title     = {Algebraic Geometry},
  publisher = {Springer-Verlag},
  series    = {Graduate Texts in Mathematics},
  volume    = {52},
  year      = {1977}
}

@book{GriffithsHarris,
  author    = {Griffiths, Phillip and Harris, Joseph},
  title     = {Principles of Algebraic Geometry},
  publisher = {John Wiley \& Sons},
  series    = {Wiley Classics Library},
  year      = {1994}
}

@book{FultonIntersection,
  author    = {Fulton, William},
  title     = {Intersection Theory},
  publisher = {Springer-Verlag},
  series    = {Ergebnisse der Mathematik und ihrer Grenzgebiete},
  volume    = {3.Folge 2},
  edition   = {2},
  year      = {1998}
}

@article{BaumFultonMacPherson1975,
  author  = {Baum, Paul and Fulton, William and MacPherson, Robert},
  title   = {Riemann-Roch for singular varieties},
  journal = {Publ. Math. IHES},
  volume  = {45},
  year    = {1975},
  pages   = {101--145}
}

@article{Mumford1977,
  author  = {Mumford, David},
  title   = {Hirzebruch's proportionality theorem in the non-compact case},
  journal = {Invent. Math.},
  volume  = {42},
  year    = {1977},
  pages   = {239--272}
}

@article{BismutSoule1992,
  author  = {Bismut, Jean-Michel and Gillet, Henri and Soul{\'e}, Christophe},
  title   = {Analytic torsion and holomorphic determinant bundles, {I-III}},
  journal = {Comm. Math. Phys.},
  volume  = {115},
  year    = {1988--1990}
}

@article{Thom1954,
  author  = {Thom, Ren{\'e}},
  title   = {Quelques propri{\'e}t{\'e}s globales des vari{\'e}t{\'e}s diff{\'e}rentiables},
  journal = {Comment. Math. Helv.},
  volume  = {28},
  year    = {1954},
  pages   = {17--86}
}

Prerequisites

04.05.08
04.05.07
04.03.04
03.06.18
03.06.15

Tier anchors

beginner: Hirzebruch 1954 *Proc. Nat. Acad. Sci. USA* 40 announcement (four-page summary); curve and surface specialisations of the general formula
intermediate: Hirzebruch *Topological Methods in Algebraic Geometry* §IV.21; Hartshorne *Algebraic Geometry* Appendix A.4; Griffiths-Harris *Principles of Algebraic Geometry* Ch. 5 (analytic derivation)
master: Hirzebruch *Topological Methods in Algebraic Geometry* (Springer Classics 1995 reprint of 1978 3rd English ed.; original *Neue topologische Methoden in der algebraischen Geometrie*, Ergebnisse 9, Springer 1956) §IV.20-§IV.21; Hartshorne Appendix A; Fulton *Intersection Theory* §15 (Grothendieck-Riemann-Roch as generalisation); Griffiths-Harris Ch. 5

References

TODO_REF
Hirzebruch — Topological Methods in Algebraic Geometry · Springer Classics 1995 reprint of the 1978 3rd English ed. (original *Neue topologische Methoden in der algebraischen Geometrie*, Ergebnisse 9, Springer 1956); Chapter IV §20 (multiplicative sequences and cobordism), §21 (the Hirzebruch-Riemann-Roch theorem and its specialisations to curves and surfaces), §22 (worked computations on projective space and complete intersections)
TODO_REF
Hirzebruch — Arithmetic genera of algebraic manifolds · Proc. Nat. Acad. Sci. USA 40 (1954), 110-114; the four-page announcement paper where the Hirzebruch-Riemann-Roch theorem is first stated
TODO_REF
Hartshorne — Algebraic Geometry · Springer GTM 52 (1977); Appendix A (intersection theory and the cohomology-theoretic statement of HRR), §V.1 (Riemann-Roch and Noether's formula on a surface as the degree-two specialisation)
TODO_REF
Griffiths-Harris — Principles of Algebraic Geometry · Wiley Classics Library (1994 reprint of 1978 ed.); Chapter 5 (Hodge-theoretic derivation of HRR for line bundles via Dolbeault cohomology and the Atiyah-Singer index theorem for the $\bar\partial$-complex)
TODO_REF
Fulton — Intersection Theory · Springer Ergebnisse 3.Folge 2, 2nd ed. (1998); §15 (Riemann-Roch for algebraic schemes; Grothendieck-Riemann-Roch as the relative-pushforward generalisation), §18 (local complete intersection morphisms and the singular-Riemann-Roch refinement)
TODO_REF
Atiyah-Singer — The index of elliptic operators on compact manifolds · Bull. Amer. Math. Soc. 69 (1963), 422-433; HRR identified as the Dolbeault specialisation of the topological index of an elliptic operator
TODO_REF
Borel-Serre — Le théorème de Riemann-Roch · Bull. Soc. Math. France 86 (1958), 97-136; the Grothendieck-Riemann-Roch generalisation written up by Borel and Serre from Grothendieck's 1957 unpublished manuscript

Reviewer

TBD

Estimated time

beginner: 18m
intermediate: 50m
master: 80m