7
$\begingroup$

Let $X=\mathbb{CP}^n$. We proved using the hodge decomposition that $H^0(X,\Omega^p)=0$ if $p\neq 0$. But I do not understand why I cannot have global holomorphic differential p-forms not even constants.

  1. I want to understand why $H^0(X,\Omega^p)=0$ without using the Hodge decomposition.
  2. And without using GAGA I would like to see a proof of $H^0(Proj(\mathbb{C}[x_0,..,x_n]),\Omega_{X/\mathbb{C}}^p)=0$ for $p\neq 0$
  • 0
    The first sentence is good, all forms on $\mathbb{C}^{n+1} \setminus \{ 0 \}$ are given by $\sum f_i (z_0, \ldots, z_n) d z_i$ (using Hartog's lemma). I think you are going in the wrong direction after that though. For example, is $z_0 dz_1$ pulled back from $\mathbb{P}^1$? Why not?2012-07-16

1 Answers 1

6

I'll flesh out my hint. Suppose that $\alpha$ is a global holomorphic $p$-form on $\mathbb{P}^{n-1}$. Pullback $\alpha$ along the map $\mathbb{C}^{n} \setminus \{ 0 \} \to \mathbb{P}^{n-1}$; let the pulled back form be $\beta = \sum f_I(x_1, \ldots, x_n) d x_{i_1} \wedge \cdots d x_{i_p}$. The functions $f_I$ are holmorphic functions on $\mathbb{C}^{n} \setminus \{ 0 \}$; by Hartog's Lemma, they extend to holomorphic functions on $\mathbb{C}^n$.

The fact that $\beta$ is pulled back from $\mathbb{P}^{n-1}$ means that $\beta$ must be invariant under dilation. I.e. $\delta_t^{\ast} \beta = \beta$ where $\delta_t$ is the map $(x_1, \ldots, x_n) \mapsto (t x_1, \ldots, t x_n)$. Translating into specific equations, this shows that $f_I(t x_1, \ldots, t x_n) = t^{-p} f_I(x_1, \ldots, x_n)$.

If $f_I(x_1, \ldots, x_n)$ is nonzero, this implies that $\lim_{t \to 0} f_I(t x_1, \ldots, t x_n) = \infty$. This contradicts that $f_I$ extends to a homolorphic function at $0$.