In mathematics, the Riemann–Roch theorem for surfaces describes the dimension of linear systems on an algebraic surface. The classical form of it was first given by Castelnuovo (1896, 1897), after preliminary versions of it were found by Max Noether (1886) and Enriques (1894). The sheaf-theoretic version is due to Hirzebruch.
Statement One form of the Riemann–Roch theorem states that if D {\displaystyle D} is a divisor on a non-singular projective surface then
χ ( D ) = χ ( 0 ) + 1 2 D . ( D − K ) {\displaystyle \chi (D)=\chi (0)+{\tfrac {1}{2}}D.(D-K)\,}
where χ {\displaystyle \chi } is the holomorphic Euler characteristic, the dot . {\displaystyle .} is the intersection number, and K {\displaystyle K} is the canonical divisor. The constant χ ( 0 ) {\displaystyle \chi (0)} is the holomorphic Euler characteristic of the trivial bundle, and is equal to 1 + p a {\displaystyle 1+p_{a}} , where p a {\displaystyle p_{a}} is the arithmetic genus of the surface. For comparison, the Riemann–Roch theorem for a curve states that χ ( D ) = χ ( 0 ) + deg ( D ) {\displaystyle \chi (D)=\chi (0)+\operatorname {deg} (D)} .
Noether's formula Noether's formula states that
χ = c 1 2 + c 2 12 = ( K . K ) + e 12 {\displaystyle \chi ={\frac {c_{1}^{2}+c_{2}}{12}}={\frac {(K.K)+e}{12}}}
where χ=χ(0) is the holomorphic Euler characteristic, c12 = (K.K) is a Chern number and the self-intersection number of the canonical class K, and e = c2 is the topological Euler characteristic. It can be used to replace the term χ(0) in the Riemann–Roch theorem with topological terms; this gives the Hirzebruch–Riemann–Roch theorem for surfaces.
Relation to the Hirzebruch–Riemann–Roch theorem For surfaces, the Hirzebruch–Riemann–Roch theorem is essentially the Riemann–Roch theorem for surfaces combined with the Noether formula. To see this, recall that for each divisor D on a surface there is an invertible sheaf L = O(D) such that the linear system of D is more or less the space of sections of L. For surfaces the Todd class is 1 + c 1 ( X ) / 2 + ( c 1 ( X ) 2 + c 2 ( X ) ) / 12 {\displaystyle 1+c_{1}(X)/2+(c_{1}(X)^{2}+c_{2}(X))/12} , and the Chern character of the sheaf L is just 1 + c 1 ( L ) + c 1 ( L ) 2 / 2 {\displaystyle 1+c_{1}(L)+c_{1}(L)^{2}/2} , so the Hirzebruch–Riemann–Roch theorem states that
… excerpt ends here. Continue reading the full article.
