Geometric Genus

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

Geometric Genus

#1

Post by Tsakanikas Nickos »

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

Re: Geometric Genus

#2

Post by Tsakanikas Nickos »

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. \]
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 1 guest