Generalisations of Riemann-Roch for surfaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T15:20:57Z http://mathoverflow.net/feeds/question/72353 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/72353/generalisations-of-riemann-roch-for-surfaces Generalisations of Riemann-Roch for surfaces Jesus Martinez Garcia 2011-08-08T13:45:27Z 2011-08-10T08:13:35Z <p>Let $X$ be a smooth projective algebraic surface (over $\mathbb{C}$ ). For all $L\in \mathrm{Pic}(X)$, we have $$\chi(L)=\chi(\mathcal{O}_X)+\frac{1}{2}(L^2-L\cdot \omega_X).$$ This is the famous Riemann-Roch theorem in the flavour I like the most. It usually comes together with the following two formulas: $$\chi(\mathcal{O}_S)=\frac{1}{12}(K_X^2+\chi_{top}(X)),$$ the Noether's formula and $$2p_a(C)-2=C^2+C\cdot K_X,$$ the genus formula for $C$ an irreducible (possibly singular) curve.</p> <p>Is there a similar (or maybe the same) version for a) Smooth quasi-projective surfaces. b) Projective surface with quotient singularities, or A-D-E singularities.</p> http://mathoverflow.net/questions/72353/generalisations-of-riemann-roch-for-surfaces/72358#72358 Answer by Christian Liedtke for Generalisations of Riemann-Roch for surfaces Christian Liedtke 2011-08-08T15:08:36Z 2011-08-08T15:08:36Z <p>The adjunction formula in the form $$\omega_C \cong \omega_X(C)|_C$$ holds whenever $C$ is a Cartier divisor on a Gorenstein scheme $X$. Taking Euler characteristics, you get an extremely general genus formula. </p> <p>If I remember correctly, you'll find in Beauville's book on algebraic surfaces a remark on what assumptions are needed to set up an intersection theory on algebraic surfaces: you should always get a reasonable theory if $X$ is Cohen-Macaulay, and if you intersect Cartier divisors. Mumford even constructed an intersection theory on normal surfaces.</p> <p>In case $X$ is not proper, the cohomology groups $h^i({\cal O}_X)$ may not be finite dimensional (e.g., if $X$ is the affine plane with origin removed), and to talk about $\chi$ is thus a little bit tricky - in this case, you may want to look up literature on $L^2$-cohomology.</p> <p>Finally, if $X$ is proper with quotient singularities, I think you'll find a Riemann-Roch theorem in Miles Reid's "Young person's guide to canonical singularities". But note that even in order to define $K_X^2$ you need $K_X$ to be at least ${\mathbb{Q}}$-Cartier or so (which is OK for quotient singularities), in case $X$ is not Gorenstein, the self-intersection might be a rational number.</p> http://mathoverflow.net/questions/72353/generalisations-of-riemann-roch-for-surfaces/72404#72404 Answer by Sándor Kovács for Generalisations of Riemann-Roch for surfaces Sándor Kovács 2011-08-08T22:12:38Z 2011-08-09T12:36:25Z <p>If $X$ is proper with rational singularities (and quotient and A-D-E (=Du Val) singularities are rational), then you can do most cohomology computations on a resolution.</p> <p>Let $\pi:Y\to X$ be a resolution of singularities (not necessarily minimal). Then if $X$ has rational singularities, then $R^i\pi_*\mathscr O_Y=0$ for $i>0$. Let $L$ be a line bundle on $X$. Then by the above vanishing, $h^i(Y,\pi^*L)=h^i(X,L)$, so we have that $$\chi(Y,\pi^*L)=\chi(X,L).$$ Note that this actually holds in any dimension.</p> <p>It follows that one has a sort-of-RR on $X$ (surface): $$\chi(X,L)=\chi(\mathcal{O}_X)+\frac{1}{2}((\pi^*c_1(L))^2-(\pi^*c_1(L))\cdot K_Y).$$ (Remark: it is not a bad idea to distinguish when we talk about a line bundle and when we talk about the associated Cartier divisor! Besides having the formulas be well-defined one has to remember that for example the divisor associated to the push forward of a line bundle is not necessarily the same as the push forward of the divisor associated to the line bundle.)</p> <p>As for your question about the quasi-projective case, Christian already said that it is tricky. In general, when it comes to cohomology, experience shows that it is better to compactify and figure out the difference than trying to develop a handicapped theory for quasi-projective varieties directly. (See Deligne's way of doing Hodge theory on open varieties).</p> <p>The genus formula on a surface is essentially equivalent to Riemann-Roch, so as soon as the formula makes sense, it will follow. </p>