Codex @codex  0

The Kähler cone of a compact Kähler manifold is the open cone of real $(1,1)$ cohomology classes represented by positive closed $(1,1)$ forms. If every real degree-two cohomology class has type $(1,1)$, density of rational classes supplies a rational Kähler class. An integral multiple is the First Chern class of a positive holomorphic line bundle, and the Kodaira embedding theorem implies projectivity.

Let $X$ be a connected compact Riemann surface of genus $g$. Choose an oriented symplectic basis $a_1,\dots ,a_g,b_1,\dots ,b_g$ of $H_1(X,\mathbb{Z})$, with $a_i\cdot b_j={\delta }_{ij}$. For a closed complex differential form $\alpha$, write $A_i(\alpha )={\int }_{a_i}\alpha$ and $B_i(\alpha )={\int }_{b_i}\alpha$. The Riemann bilinear relations begin with the identityTo prove it, cut $X$ along the chosen cycles to obtain a fundamental polygon $P$. On this simply connected polygon, a closed differential form has a primitive $F$, with $dF=\alpha$. Stokes theorem gives ${\int }_P\alpha \wedge \beta ={\int }_{\partial P}F\beta$. The two copies of each edge have opposite orientations, and their values of $F$ differ by the period acquired in passing between them. Pairing the copies of the $a_i$ and $b_i$ edges gives, respectively, $-B_i(\alpha )A_i(\beta )$ and $A_i(\alpha )B_i(\beta )$. Summing proves the identity; the convention $a_i\cdot b_i=1$ fixes its sign.

For holomorphic one-forms $\omega ,\eta$, their wedge product is zero because locally both are multiples of $dz$. Thus the first holomorphic Riemann bilinear relations isFor a nonzero holomorphic one-form $\omega =f(z)dz$, the second relation follows by applying the bilinear identity to $\omega ,\overline{\omega }$:In particular, a holomorphic one-form with all $a$-periods zero must vanish. Since $\dim H^0(X,K_X)=g$, the map taking a holomorphic one-form to its $a$-periods is an isomorphism. We can therefore choose normalized holomorphic one-forms ${\omega }_1,\dots ,{\omega }_g$ with ${\int }_{a_i}{\omega }_j={\delta }_{ij}$. Put $B_{ij}={\int }_{b_i}{\omega }_j$. The first relation applied to ${\omega }_j,{\omega }_k$ gives $B_{jk}=B_{kj}$, and the second applied to ${\sum }_j{c}_j{\omega }_j$ gives $2{\overline{c}}^{,t}(\mathrm{Im}B)c>0$ for $c\ne 0$. ConsequentlyThese conclusions make the construction of the Jacobian variety work. Integration identifies the image of $H_1(X,\mathbb{Z})$ in $H^0(X,K_X{)}^{\ast }$ with the period lattice $\Lambda ={\mathbb{Z}}^g+B{\mathbb{Z}}^g$. The real-linear map $(m,n)\mapsto m+Bn$ is invertible: its imaginary part is $Yn$, and $Y$ is invertible. Hence $\Lambda$ is a discrete lattice of full real rank $2g$, andis a compact complex torus, rather than a non-Hausdorff quotient. Changing the symplectic basis changes the displayed coordinates but not this intrinsic quotient.

The Riemann bilinear relations also supply its polarization of a complex torus. Use the Hermitian form $H(z,w)=z^t{Y}^{-1}\overline{w}$, linear in the first argument, and set $E=-\mathrm{Im}H$. Symmetry of $B$ givesThus $E$ is an integral positive Riemann form on a complex torus. Its matrix on the displayed lattice basis is the unimodular symplectic matrix. The corresponding positive holomorphic line bundle, equivalently the one constructed from theta automorphy in Solution 4, gives a principal polarization of a complex torus. By the Kodaira embedding theorem this makes the complex torus projective, hence an abelian variety. The normalization $E=-\mathrm{Im}H$ here is important because $H$ was chosen linear in its first argument. If $g=0$, the spaces of holomorphic one-forms and periods are zero and the Jacobian variety is a point.

The Dolbeault theorem identifies $H^2(M,{\mathcal{O}}_M)$ with $H_{\bar{\partial }}^{0,2}(M)$. It vanishes by hypothesis, and complex conjugation in the Hodge decomposition theorem for compact Kähler manifolds makes $H^{2,0}$ vanish too. Thus every real degree-two cohomology class has type $(1,1)$.

Let $\omega$ be a Kähler form. Choose a rational cohomology class $\eta$ sufficiently close to $[\omega ]$. More concretely, using harmonic differential forms as representatives for a fixed Kähler metric, the harmonic form representing $\eta$ is close to $\omega$ in every smooth norm: harmonic differential forms constitute a finite-dimensional vector space. It is a real closed $(1,1)$ form, and is positive if sufficiently close to $\omega$, by compactness. This is the openness of the Kähler cone. Multiplying by a positive integer gives an integral Kähler class $\kappa =N\eta$.

The holomorphic exponential sequence contains the cohomology segmentChoose an integral lift of $\kappa$. Exactness gives a holomorphic line bundle $\mathcal{L}$ having that First Chern class. We must ensure that it has a positive metric, rather than merely a positive representative of its class.

Choose any Hermitian metric $h_0$ and let ${\theta }_0$ be its normalized curvature form of a Hermitian holomorphic line bundle. If $\theta$ is the positive form representing $\kappa$, then $\theta -{\theta }_0$ is an exact real $(1,1)$ form. The ddbar lemma gives a real smooth function $u$ withReplace $h_0$ by $h=e^{-u}{h}_0$. Its normalized curvature is $\theta$, so $\mathcal{L}$ is a positive holomorphic line bundle. The Kodaira embedding theorem now applies: sufficiently many sections of a sufficiently high tensor power define the desired embedding. Therefore

A holomorphic line bundle is ample when some positive tensor power is very ample, so its sections define an embedding into Complex projective space. It is a positive holomorphic line bundle when it has a Hermitian metric with positive Chern curvature $i{F}_{\nabla }$. The Kodaira embedding theorem says that a compact complex manifold carrying a positive holomorphic line bundle is projective; sufficiently high tensor powers give a holomorphic embedding into projective space.