Geometric Genus
-
- Community Team
- 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$.
-
- Community Team
- 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. \]
\[ \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. \]
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
Sign in
Who is online
Users browsing this forum: Majestic-12 [Bot] and 2 guests