Why do the first Chern classes of these line bundles span the Dolbeault cohomology group $H^{1,1}(X;\mathbb{R})$

algebraic-geometrycharacteristic-classescomplex-geometryvector-bundles

Forgive me for what is probably a simple question, I am new to this field. I am studying the Hirzebruch surfaces and their higher dimensional analogues $M_{n,k}$, defined to be the projective line bundles

\begin{equation}
M_{n,k}=\mathbb{P}(\mathcal{O}(-k)\oplus\mathcal{O}(0))
\end{equation}
over $\mathbb{CP}^{n-1}$. Here, $\mathcal{O}(-1)$ is the tautological line bundle, and $\mathcal{O}(0)$ the trivial line bundle, both over $\mathbb{CP}^{n-1}$. We can define two divisors on $M_{n,k}$, namely $D_0$ to be the section with zero $\mathcal{O}(-k)$ component and $D_\infty$ to be the section with zero $\mathcal{O}(0)$ component. These two divisors then determine holomorphic line bundles $[D_0]$ and $[D_\infty]$ in the usual way.

But to a line bundle $L$ on a complex manifold $X$, we can associate its first Chern class $c_1(L)$, which I understand to be the cohomology class in $H^{1,1}(X;\mathbb{R})$ determined by the curvature form $R_h$ of any Hermitian metric $h$ on $L$ (this is independent of $h$).

I am then told that the cohomology classes $c_1([D_0])$ and $c_1([D_\infty])$ span $H^{1,1}(M_{n,k};\mathbb{R})$, and that for any Kahler class $\alpha\in H^{1,1}(M_{n,k};\mathbb{R})$ (i.e. any class for which a Kahler metric/form can be chosen as a representative), one can find constants $0<a<b$ such that
\begin{equation}
\alpha=\frac{b}{k}[D_\infty]-\frac{a}{k}[D_0].
\end{equation}

I'm afraid that I have absolutely no idea as to how one can show this, or why it may be obvious. I'm aware that there are other ways of defining the 1st Chern class of a line bundle, and perhaps one of these may be more useful. Any help would be much appreciated!

Best Answer

Note that $c_1$ in fact lies in $H^{1,1}(X,\mathbb{Z}):=H^2(X,\mathbb{Z})\cap H^{1,1}(X)$. Then, this is precisely the content of Lefschetz' (1,1)-theorem. See the Wikipedia article on it: https://en.wikipedia.org/wiki/Lefschetz_theorem_on_(1,1)-classes

A great reference for this subject is Huybrechts' book "Complex geometry".