This articlemay be too technical for most readers to understand. Pleasehelp improve it tomake it understandable to non-experts, without removing the technical details.(August 2023) (Learn how and when to remove this message) |
Inmathematics, thearithmetic genus of analgebraic variety is one of a few possible generalizations of thegenus of an algebraic curve orRiemann surface.
LetX be aprojective scheme of dimensionr over a fieldk, thearithmetic genus ofX is defined asHere is theEuler characteristic of the structure sheaf.[1]
The arithmetic genus of acomplex projective manifold of dimensionn can be defined as a combination ofHodge numbers, namely
Whenn=1, the formula becomes. According to theHodge theorem,. Consequently, whereg is the usual (topological) meaning of genus of a surface, so the definitions are compatible.
WhenX is a compactKähler manifold, applyinghp,q =hq,p recovers the earlier definition for projective varieties.
By usinghp,q =hq,p for compact Kähler manifolds this can be reformulated as theEuler characteristic incoherent cohomology for thestructure sheaf:
This definition therefore can be applied to some otherlocally ringed spaces.