Geometric genus
Template:Short description In algebraic geometry, the geometric genus is a basic birational invariant Template:Math of algebraic varieties and complex manifolds.
Definition
The geometric genus can be defined for non-singular complex projective varieties and more generally for complex manifolds as the Hodge number Template:Math (equal to Template:Math by Serre duality), that is, the dimension of the canonical linear system plus one.
In other words, for a variety Template:Mvar of complex dimension Template:Mvar it is the number of linearly independent holomorphic Template:Mvar-forms to be found on Template:Mvar.[1] This definition, as the dimension of
then carries over to any base field, when Template:Math is taken to be the sheaf of Kähler differentials and the power is the (top) exterior power, the canonical line bundle.
The geometric genus is the first invariant Template:Math of a sequence of invariants Template:Math called the plurigenera.
Case of curves
In the case of complex varieties, (the complex loci of) non-singular curves are Riemann surfaces. The algebraic definition of genus agrees with the topological notion. On a nonsingular curve, the canonical line bundle has degree Template:Math.
The notion of genus features prominently in the statement of the Riemann–Roch theorem (see also Riemann–Roch theorem for algebraic curves) and of the Riemann–Hurwitz formula. By the Riemann-Roch theorem, an irreducible plane curve of degree d has geometric genus
where s is the number of singularities when properly counted.
If Template:Mvar is an irreducible (and smooth) hypersurface in the projective plane cut out by a polynomial equation of degree Template:Mvar, then its normal line bundle is the Serre twisting sheaf Template:TmathTemplate:Math, so by the adjunction formula, the canonical line bundle of Template:Mvar is given by
Genus of singular varieties
The definition of geometric genus is carried over classically to singular curves Template:Mvar, by decreeing that
is the geometric genus of the normalization Template:Math. That is, since the mapping
is birational, the definition is extended by birational invariance.
See also
Notes
- ↑ Danilov & Shokurov (1998), [[[:Template:Google books]] p. 53]