Misplaced Pages

Arithmetic genus

Article snapshot taken from[REDACTED] with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (August 2023) (Learn how and when to remove this message)

In mathematics, the arithmetic genus of an algebraic variety is one of a few possible generalizations of the genus of an algebraic curve or Riemann surface.

Projective varieties

Let X be a projective scheme of dimension r over a field k, the arithmetic genus p a {\displaystyle p_{a}} of X is defined as p a ( X ) = ( 1 ) r ( χ ( O X ) 1 ) . {\displaystyle p_{a}(X)=(-1)^{r}(\chi ({\mathcal {O}}_{X})-1).} Here χ ( O X ) {\displaystyle \chi ({\mathcal {O}}_{X})} is the Euler characteristic of the structure sheaf O X {\displaystyle {\mathcal {O}}_{X}} .

Complex projective manifolds

The arithmetic genus of a complex projective manifold of dimension n can be defined as a combination of Hodge numbers, namely

p a = j = 0 n 1 ( 1 ) j h n j , 0 . {\displaystyle p_{a}=\sum _{j=0}^{n-1}(-1)^{j}h^{n-j,0}.}

When n=1, the formula becomes p a = h 1 , 0 {\displaystyle p_{a}=h^{1,0}} . According to the Hodge theorem, h 0 , 1 = h 1 , 0 {\displaystyle h^{0,1}=h^{1,0}} . Consequently h 0 , 1 = h 1 ( X ) / 2 = g {\displaystyle h^{0,1}=h^{1}(X)/2=g} , where g is the usual (topological) meaning of genus of a surface, so the definitions are compatible.

When X is a compact Kähler manifold, applying h = h recovers the earlier definition for projective varieties.

Kähler manifolds

By using h = h for compact Kähler manifolds this can be reformulated as the Euler characteristic in coherent cohomology for the structure sheaf O M {\displaystyle {\mathcal {O}}_{M}} :

p a = ( 1 ) n ( χ ( O M ) 1 ) . {\displaystyle p_{a}=(-1)^{n}(\chi ({\mathcal {O}}_{M})-1).\,}

This definition therefore can be applied to some other locally ringed spaces.

See also

References

  1. Hartshorne, Robin (1977). Algebraic Geometry. Graduate Texts in Mathematics. Vol. 52. New York, NY: Springer New York. p. 230. doi:10.1007/978-1-4757-3849-0. ISBN 978-1-4419-2807-8. S2CID 197660097.

Further reading

Category:
Arithmetic genus Add topic