Forms on Riemann Surfaces

245 Views Asked by At

I want to show that the space of smooth $(1,0)$ forms on a compact Riemann surface $X$ has the natural splitting: $\mathcal{E}^{1,0}(X)=\Omega(X) \oplus \partial\mathcal{E}^{0}(X)$, where $\Omega(X)$ is the space of holomorphic 1-forms on $X$, $\mathcal{E}^{0}(X)$ is the space of smooth 0-forms on $X$ (i.e. smooth functions), and $\partial$ comes from the splitting $d=\partial + \bar{\partial}$.

How can I show this? I am a little confused because it seems that $\Omega(X)$ is identically $\mathcal{E}^{1,0}(X)$ since the condition for a form to be holomorphic on $X$ is for it to be type $(1,0)$. So what exactly does $\partial\mathcal{E}^{0}(X)$ do?

Using this result, I want to show that $H^{1}(X,\mathcal{H}) \cong H^{1,1}(X)$ where $\mathcal{H}$ is the sheaf of complex valued harmonic functions on $X$. I can show this directly, but I'm not sure how to use the above result. Any help would be appreciated!

2

There are 2 best solutions below

2
On

Here's the point to get you started: $\Omega(X)$ is a proper subset of $\mathcal E^{1,0}(X)$, as the latter includes all forms that look like $f dz$ for any $C^\infty$ function $f$. If you start with an arbitary smooth function $g$, $dg = \partial g + \overline\partial g = \dfrac{\partial g}{\partial z}dz+\dfrac{\partial g}{\partial \bar z}d\bar z$. Of course, $\overline\partial g = 0$ if and only if $g$ is holomorphic.

0
On

Regarding the difference between $\mathcal E^{1,0}$ and $\Omega$:

$\mathcal E^{1,0}(X)$ consists of forms forms locally of the shape $f(z)dz,$ where $z$ is a holomorphic local coord., and $f$ is a smooth function of $z$.

$\Omega(X)$ consists of holomorphic $1$ forms, so of the shape $f(z) dz$ where $f$ is a holomorphic function.