View source for Geometric genus

{{TEX|done}}
A numerical invariant of non-singular algebraic varieties. In the case of algebraic curves the geometric genus becomes identical with the genus of the curve (cf. [[Genus of a curve|Genus of a curve]]). The geometric genus for algebraic surfaces was first defined from different points of view by A. Clebsch and M. Noether in the second half of the 19th century. Noether also demonstrated the birational invariance of the geometric genus. The geometric genus of a non-singular projective algebraic variety $X$ over an algebraically closed field $k$ is, by definition, the dimension of the space of regular differential forms (cf. [[Differential form|Differential form]]) of degree $n=\dim X$. In such a case the geometric genus of $X$ is denoted by $p_g(X)$. In accordance with Serre's duality theorem

$$p_g(X)=\dim_kH^n(X,\mathcal O_X),$$

where $\mathcal O_X$ is the structure sheaf of $X$. The number $p_g(X)-1$ coincides with the dimension of the canonical system of $X$ (cf. also [[Divisor|Divisor]]). The geometric genus plays an important role in the criterium of rationality of algebraic surfaces (cf. [[Rational surface|Rational surface]]) and also in the general classification of algebraic surfaces. The geometric genera of birationally-isomorphic smooth projective varieties coincide.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> M. Baldassarri, "Algebraic varieties" , Springer (1956) {{MR|0082172}} {{ZBL|0995.14003}} {{ZBL|0075.15902}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) {{MR|0447223}} {{ZBL|0362.14001}} </TD></TR></table>



====Comments====
See also [[Arithmetic genus|Arithmetic genus]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Hartshorne, "Algebraic geometry" , Springer (1977) {{MR|0463157}} {{ZBL|0367.14001}} </TD></TR></table>