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.
Let X be a projective scheme of dimension r over a field k, the arithmetic genus [math]\displaystyle{ p_a }[/math] of X is defined as[math]\displaystyle{ p_a(X)=(-1)^r (\chi(\mathcal{O}_X)-1). }[/math]Here [math]\displaystyle{ \chi(\mathcal{O}_X) }[/math] is the Euler characteristic of the structure sheaf [math]\displaystyle{ \mathcal{O}_X }[/math].[1]
The arithmetic genus of a complex projective manifold of dimension n can be defined as a combination of Hodge numbers, namely
When n=1, the formula becomes [math]\displaystyle{ p_a=h^{1,0} }[/math]. According to the Hodge theorem, [math]\displaystyle{ h^{0,1}=h^{1,0} }[/math]. Consequently [math]\displaystyle{ h^{0,1}=h^1(X)/2=g }[/math], 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 hp,q = hq,p recovers the earlier definition for projective varieties.
By using hp,q = hq,p for compact Kähler manifolds this can be reformulated as the Euler characteristic in coherent cohomology for the structure sheaf [math]\displaystyle{ \mathcal{O}_M }[/math]:
This definition therefore can be applied to some other locally ringed spaces.
Original source: https://en.wikipedia.org/wiki/Arithmetic genus.
Read more |