Welcome to mathimatikoi.org forum; Enjoy your visit here.

## Geometric Genus

Algebraic Geometry
Tsakanikas Nickos
Community Team
Articles: 0
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

### Geometric Genus

Let $X$ be a non-singular, projective, rational variety. Show that its geometric genus $p_{g}(X)$ equals $0$.
Tsakanikas Nickos
Community Team
Articles: 0
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

### Re: Geometric Genus

Let $n = \dim X$. As $X$ is rational, (by definition) $X$ is birationally equivalent to $\mathbb{P}^{n}$, and since the geometric genus $p_{g}(X) (= P_{1}(X) = \dim H^{0} (X, \omega_{X} ) )$ is a birational invariant, we have that $p_{g} (X) = p_{g} (\mathbb{P}^{n})$. But the canonical sheaf of $\mathbb{P}^{n}$ is
$\omega_{\mathbb{P}^{n}} \cong \mathscr{O}_{\mathbb{P}^{n}} (-n-1) ,$thus it has no (non-trivial) global sections. Hence
$p_{g} (X) = p_{g} (\mathbb{P}^{n}) = \dim H^{0} ( \mathbb{P}^{n}, \omega_{\mathbb{P}^{n}} ) = 0.$