Codex @codex  0

Let $V=H^0(C,{\Omega }_C^1)$, of complex dimension $g$, and choose a symplectic basis $a_1,\dots ,a_g,b_1,\dots ,b_g$ of $H_1(C,\mathbb{Z})$, with $a_i\cdot b_j={\delta }_{ij}$. Integration gives a homomorphismWe first prove both injectivity and discreteness, rather than treating periods as a lattice by definition.

Cut the compact Riemann surface along this basis to a polygon. For closed one-forms $\omega ,\eta$, choose a primitive $F$ of $\omega$ on the cut polygon and apply Stokes theorem to $d(F\eta )=\omega \wedge \eta$. Pairing its boundary edges records the jumps of $F$ across the cuts and gives the Riemann bilinear relations for a compact surface:If a holomorphic differential form $\omega$ has all $a$-periods zero, take $\eta =\overline{\omega }$. The right side is zero, while in a holomorphic coordinate, for $\omega =f(z)dz$,Its integral is strictly positive unless $\omega =0$. Thus the $a$-period map $V\to {\mathbb{C}}^g$ is injective, hence an isomorphism. Choose a basis ${\omega }_1,\dots ,{\omega }_g$ with ${\int }_{a_j}{\omega }_i={\delta }_{ij}$, and put ${\tau }_{ij}={\int }_{b_j}{\omega }_i$. Applying the same boundary identity to ${\omega }_i,{\omega }_j$, whose wedge product is zero, gives ${\tau }_{ij}={\tau }_{ji}$. Applying it to $\omega =\sum c_i{\omega }_i$ and its conjugate givesHence $\mathrm{Im}\tau$ is positive definite.

In the dual coordinates, $I(\sum m_i{a}_i+n_i{b}_i)=m+\tau n$. The real-linear map $(x,y)\mapsto x+\tau y$ from ${\mathbb{R}}^{2g}$ to ${\mathbb{C}}^g$ is an isomorphism: taking imaginary parts of a zero gives $(\mathrm{Im}\tau )y=0$, then $y=0$ and $x=0$. Its image of ${\mathbb{Z}}^{2g}$ is therefore discrete and cocompact, and no nonzero integral cycle has zero image. Thus

The Abel-Jacobi map of a compact Riemann surface sends an effective complex analytic divisor $D=\sum Q_i$ to ${\sum }_i{\int }_{P_0}^{Q_i}({\omega }_1,\dots ,{\omega }_g)$ modulo $\Lambda$. Changing a path adds an integral period, so the map is well-defined. For two degree-$d$ complex analytic divisors, let $E=D-D^{\prime }={\sum }_P{n}_{P}P$, with $\sum n_P=0$, and putWe prove that $E$ is principal exactly when $v\in \Lambda$, including the construction of a meromorphic function.

First construct a differential of the third kind $\eta$ with residues $n_P$ at the support of $E$ and no other poles. For the reduced support $S$, the residue exact sequence isOn sheaf cohomology, the obstruction to prescribing residues belongs to $H^1(C,K_C)\cong \mathbb{C}$ by Serre duality; its pairing with the constant section of ${\mathcal{O}}_C$ is the sum of residues. This follows directly by integrating the local simple-pole terms around the boundary circles. Thus the obstruction is zero because $\sum n_P=0$, and the required $\eta$ exists. Subtract a linear combination of the normalized holomorphic differential forms so that all its $a$-periods are zero.

Take its poles and the integration paths inside the same cut polygon. Apply the boundary calculation above to a primitive $F_i(P)={\int }_{P_0}^P{\omega }_i$, removing small circles around the poles of $\eta$. Since $d(F_i\eta )=0$ away from the poles, the paired outer edges contribute $B_i(\eta )$, while the small circles contribute $2\pi i{\sum }_P{n}_P{F}_i(P)$ by the residue theorem. ThereforeThe same argument without normalizing $\eta$ gives the useful reciprocity identityThese identities use compatible cuts and paths; the final conclusions are unchanged by integral periods.

Suppose $v=m+\tau n$ with $m,n\in {\mathbb{Z}}^g$. DefineIts $a$-periods are $-2\pi i{n}_i$, and its $b$-periods are $2\pi i{m}_i$. Around a pole its integral is $2\pi i{n}_P$. These cycles generate the first homology group of the punctured surface, so every period of ${\eta }^{\prime }$ belongs to $2\pi i\mathbb{Z}$. Choosing an auxiliary point $Q$ away from the poles, setIt is single-valued away from the poles. Locally ${\eta }^{\prime }=n_{P}dt/t+\text{a holomorphic one-form}$, so $f=t^{n_P}$ times a nonvanishing holomorphic function. It extends meromorphically with $\mathrm{div}(f)=E$. This proves sufficiency and explicitly produces the required principal complex analytic divisor.

Conversely, if $E=\mathrm{div}(f)$, the meromorphic differential $df/f$ has residues $n_P$ and every period in $2\pi i\mathbb{Z}$, since each integral counts the winding number of $f$ about zero. Write its $a$-period vector as $2\pi ia$ and its $b$-period vector as $2\pi ib$, with $a,b\in {\mathbb{Z}}^g$. The reciprocity identity gives $v=b-\tau a\in \Lambda$. Since $E$ has degree zero, changing the base point cancels in its Abel sum; a base point at the support of $E$ causes no problem, because the Abel integrals use holomorphic forms. We have provedThis establishes the Abel theorem for divisors directly from the period and residue calculations.

On the polydisc, put $b_i(z)=f_i(z)-f_i(a)$ and defineEach integral is along the straight coordinate segment, which remains in the polydisc. Holomorphic dependence on parameters and differentiation under the integral show that $F$ is a holomorphic function. For a fixed $j$, terms with $k<j$ do not depend on $z_j$, and the $k=j$ term contributes $b_j(z_1,\dots ,z_j,a_{j+1},\dots ,a_n)$. If $k>j$, use the assumed symmetry ${\partial }_j{b}_k={\partial }_k{b}_j$ to obtainThese differences telescope. ThereforeThis is the coordinate-integral primitive on a polydisc.

For a closed holomorphic one-form $\beta ={\sum }_i{c}_{i}d{z}_i$, closedness is exactly ${\partial }_i{c}_j={\partial }_j{c}_i$. The preceding construction plus ${\sum }_i{c}_i(a)(z_i-a_i)$ gives a local holomorphic function $G$ with $\partial G=\beta$. The kernel of $\partial$ on the structure sheaf of a complex manifold consists of locally constant functions: holomorphicity already gives $\bar{\partial }G=0$, and $\partial G=0$ then implies $dG=0$. Thus the holomorphic Poincaré lemma gives the short exact sequence of sheavesThe first object is the complex constant sheaf, and surjectivity is local, on stalks. It does not say that every global closed holomorphic one-form has a global primitive.

Now assume compactness. The constancy assertion is for a connected complex manifold; otherwise it holds on each connected component. A smooth complex-valued $u$ with $\partial \bar{\partial }u=0$ is a pluriharmonic function. Restricting to each complex coordinate line makes it a harmonic function of one complex variable. Choose $x_0$ where $|u|$ has its global maximum and a coordinate polydisc about $x_0$. The allowed harmonic maximum principle makes the first coordinate-line restriction constant. Every point on that line still has the same maximal modulus and the same value, so the second coordinate may then vary without changing $u$. Continue through all coordinates to conclude that $u$ equals $u(x_0)$ on the whole polydisc. The set where it has this value is closed and, by the same argument at each of its points, open. Connectedness therefore gives $u$ constant. In particular global holomorphic functions on a compact connected complex manifold are constant.

For the top-degree pairing, write locally $\theta =gd{z}_1\wedge \cdots \wedge d{z}_n$. With the complex orientation,It is everywhere nonnegative and is positive on an open set if $\theta$ is not identically zero. HenceThe phase factor is necessary: the unnormalized integral need not be a positive real number. This is the integral pairing of complex top forms.

If $\psi$ is a holomorphic differential form of degree $n-1$, then $d\psi =\partial \psi$ has type $(n,0)$ and $d\overline{d\psi }=0$. The graded Leibniz rule and Stokes theorem giveThe positive pairing just proved forces $d\psi =0$. Thus every holomorphic $(n-1)$-form on a compact complex $n$-manifold is closed, without a Kähler metric assumption.

On a compact complex surface, this proves closedness of all holomorphic one-forms. Sending such a form to its de Rham cohomology class defines the required inclusion. Indeed, if $\alpha =df$, its type $(1,0)$ gives $\bar{\partial }f=0$, so $f$ is a global holomorphic function and is constant. Therefore $\alpha =0$.

To prove the zero intersection, let $\alpha ,\beta$ be holomorphic one-forms and suppose $[\alpha ]=[\overline{\beta }]$. There is a smooth complex-valued $f$ with $\alpha -\overline{\beta }=df$. Its type components are $\partial f=\alpha$ and $\bar{\partial }f=-\overline{\beta }$. Closedness of $\beta$ gives $\partial \overline{\beta }=0$, hence $\partial \bar{\partial }f=0$. Compact pluriharmonic rigidity now makes $f$ constant and $\alpha =\beta =0$. The two spaces are therefore linearly independent in de Rham cohomology, and conjugation preserves their dimensions:For the other bound, take the long exact sequence in sheaf cohomology of the short exact sequence above. The map $H^0(M,\underline{\mathbb{C}})\to H^0(M,{\mathcal{O}}_M)$ is an isomorphism, componentwise. Since every global holomorphic one-form is closed, the relevant portion isIdentify the middle term with first de Rham cohomology, and the last with $H_{\bar{\partial }}^{0,1}(M)$ by the Dolbeault theorem. Taking dimensions givesThese are the Betti and Hodge bounds for compact complex surfaces.

A strict example is the scalar Hopf surface $X=({\mathbb{C}}^2\setminus \{0\})/⟨z\mapsto 2z⟩$. Polar coordinates identify it smoothly with $S^3\times S^1$: the dilation fixes the angular coordinate and shifts $\log |z|$ by $\log 2$. Its first Betti number is one, since its fundamental group is $\mathbb{Z}$. The proved lower bound then forces $h^{1,0}=0$, and the upper bound forces $h^{0,1}\ge 1$. Thus $h^{1,0}<h^{0,1}$ on this compact complex surface; no unsupported cohomology computation is needed.

The Dolbeault theorem identifieswhere ${\Omega }_X^p$ is the sheaf of holomorphic differential forms of degree $p$.

The local analytic ingredient is the Dolbeault-Poincaré lemma: a $\bar{\partial }$-closed smooth $(p,q)$-form with $q>0$ is locally $\bar{\partial }$-exact. Here is a local proof. On a polydisc, the one-variable Cauchy-Green operator in coordinate $z_j$ iswith a smooth cutoff supported in the coordinate disc and equal to one on a smaller disc. The fundamental-solution identity ${\partial }_{\bar{z}}(1/(\pi z))={\delta }_0$ gives ${\partial }_{{\bar{z}}_j}{T}_{j}g=g$ on that smaller disc. The operator is smooth in the parameters and commutes with derivatives in the other coordinates.

For a $(0,q)$-form, write $\alpha =d{\bar{z}}_m\wedge \beta +\gamma$, with neither $\beta$ nor $\gamma$ containing $d{\bar{z}}_m$. Subtract $\bar{\partial }(T_m\beta )$. The remainder contains no $d{\bar{z}}_m$, remains closed, and its coefficients are holomorphic in $z_m$. Repeat with $z_{m-1}$ and then the other coordinates, shrinking discs as needed. Each new integral preserves the holomorphic dependence already achieved. At the end the closed remainder has positive antiholomorphic degree but contains no antiholomorphic differential, so it is zero. Factoring out each holomorphic basis form $d{z}_I$ gives the same assertion for $(p,q)$-forms, with the fixed degree sign included in the primitive. At degree zero, the kernel of $\bar{\partial }$ consists precisely of holomorphic coefficients.

Thus the following is an exact Dolbeault resolution of holomorphic differential forms of sheaves:Each sheaf of smooth forms is a fine sheaf: multiplication by a smooth partition of unity supplies endomorphisms supported in its open cover. Fine sheaves on a paracompact manifold have zero positive sheaf cohomology; the Čech contraction sums a cochain against the partition of unity, giving $\delta h+h\delta =I$ in positive degrees. The general acyclic resolution theorem therefore computes ${\check{H}}^q(X,{\Omega }_X^p)$ as the cohomology of the global-section complex above. That complex is exactly the Dolbeault resolution of holomorphic differential forms, proving the claimed isomorphism. The sheaf-cohomology/Čech comparison and the acyclic-resolution principle are the stated general Čech properties used here.

A holomorphic differential form $\alpha$ of type $(p,0)$ satisfies $\bar{\partial }\alpha =0$. The adjoint ${\bar{\partial }}^{\ast }$ lowers antiholomorphic degree, so ${\bar{\partial }}^{\ast }\alpha =0$ as well. Therefore ${\Delta }_{\bar{\partial }}\alpha =0$.

The Kähler Laplacian identity gives ${\Delta }_d\alpha =2{\Delta }_{\bar{\partial }}\alpha =0$. Compactness lets us use the $L^2$ identity for the Hodge Laplacian:Both terms are nonnegative, soThis proves that holomorphic forms on a compact Kähler manifold are closed. The original PDF uses ${\Omega }_M^p$ and ${\mathcal{A}}_{M,\mathbb{C}}^{p+1}$; the extra symbols in the local TeX superscripts are transcription errors.

The holomorphic de Rham complex is exact locally, which is the criterion for an exact sequence of sheaves. Work in a small star-shaped holomorphic coordinate neighbourhood in ${\mathbb{C}}^2$, centred at zero. A holomorphic function has $\partial f=0$ exactly when it is constant on this neighbourhood, giving exactness at ${\mathcal{O}}_M$ and the injection of the constant sheaf.

For exactness at ${\Omega }_M^1$, let $\alpha =a_1(z)d{z}_1+a_2(z)d{z}_2$ be holomorphic and $\partial$-closed. Then $\partial a_1/\partial z_2=\partial a_2/\partial z_1$. Define the holomorphic functionDifferentiation under the integral and the closedness identity giveThus $\partial F=\alpha$.

For exactness at ${\Omega }_M^2$, any holomorphic differential form of degree two is $\beta =b(z)d{z}_1\wedge d{z}_2$ and is automatically $\partial$-closed by dimension. DefineIts derivative isThese local primitives prove the holomorphic Poincaré lemma in the degrees needed here. Exactness on every stalk givesThis is sheaf exactness; the local primitives need not glue to global ones.

For degree zero, compactness and the maximum modulus principle make holomorphic functions constant on each connected component. For degree two, a holomorphic differential form is $\bar{\partial }$-closed and its $\partial$ derivative has type $(3,0)$, which vanishes on a complex surface. Degrees above two have no nonzero holomorphic forms. It remains to treat a holomorphic differential form $\alpha$ of degree one.

Set $\beta =d\alpha =\partial \alpha$. Its coefficients are holomorphic, so $\beta$ is a holomorphic differential form of degree two, hence closed by the degree-two observation. Its conjugate is closed too. The Stokes theorem givesThe integrand is nonnegative in the complex orientation. In local coordinates, if $\beta =b(z)d{z}_1\wedge d{z}_2$ with $z_j=x_j+i{y}_j$, thenIt is strictly positive wherever $\beta$ is nonzero. Its zero integral therefore forces $\beta =0$ everywhere. Thus holomorphic forms on a compact complex surface are closed, even when the surface is not Kähler:

Let ${\mathcal{Z}}_M^1$ be the sheaf of closed holomorphic one-forms, namely $\ker (\partial :{\Omega }_M^1\to {\Omega }_M^2)$. The local exactness proved in part (b) gives the short exact sequence of sheavesIts long exact sequence in sheaf cohomology beginsThe first arrow is an isomorphism: on a compact complex manifold, a global holomorphic function is constant on each connected component, just as a global section of the constant sheaf is. Thus $\delta$ is injective. By part (c), every global holomorphic differential form of degree one is closed, so $H^0(M,{\mathcal{Z}}_M^1)=H^0(M,{\Omega }_M^1)$.

Concretely, for a holomorphic differential form of degree one choose local holomorphic primitives $f_i$. The connecting class $\delta (\alpha )$ is represented by the locally constant Čech cocycle $f_j-f_i$ on overlaps. The following arrow is induced by the inclusion of the constant sheaf into the sheaf of holomorphic functions. Exactness is inherited from the long exact sequence, giving

LetAt a finite ramification point $P_{\alpha }=(\alpha ,0)$, the uniformizer $t=y$ from part b satisfies $x-\alpha =c_{\alpha }{t}^3+O(t^6)$. ConsequentlyAt every other affine point, $x-x(p)$ is a uniformizer and $y$ is a unit, so again ${\nu }_p(\omega )=0$.

At $P_{\infty }$, take the uniformizer $t=u=X/Y$ used above. Since $v=Z/Y=t^4$ times a local unit,It follows that ${\nu }_{P_{\infty }}(dx)=-4$ and ${\nu }_{P_{\infty }}(y^2)=-8$, so the valuation of a rational differential isThuswhose degree four agrees with $2g_X-2$. For the resulting canonical divisor $K_X=4P_{\infty }$, the functions $1,x,y$ have pole orders $0,3,4$ at $P_{\infty }$ and no other poles. They therefore belong to the canonical Riemann-Roch space. Since $\ell (K_X)=g_X=3$, they form a basis:Equivalently, multiplying by $\omega$ gives the basisof holomorphic differential forms, also matching the general description of holomorphic differentials on a smooth plane curve.

Let the smooth projective curve be the projective completion of $f(x,y)=0$, of degree $d$, and suppose after interchanging $x$ and $y$ if necessary that $f_y=\partial f/\partial y$ is nonzero. A basis of its holomorphic differential forms isEquivalently one may use $-x^i{y}^{j}dy/f_x$. These expressions agree on their common domain because differentiating $f(x,y)=0$ gives $f_{x}dx+f_{y}dy=0$. The allowed monomials are precisely the homogeneous polynomials of degree at most $d-3$, in accordance with the adjunction formula $K_C\cong {\mathcal{O}}_C(d-3)$.

For a compact Riemann surface with a symplectic basis $a_i,b_i$ of its first homology group, cutting along that basis and integrating a primitive givesfor closed smooth one-forms. For a holomorphic differential form $\omega$ and a differential of the third kind $\eta$, the corresponding boundary calculation givesThe paths and representatives of the cycles are chosen in the same cut surface. Normalized holomorphic differential forms consequently have a symmetric period matrix with positive definite imaginary part.

The tangent cone to a theta divisor at a degree-$g-1$ line bundle $L$ is cut out in $H^1({\mathcal{O}}_X)$ by the determinant of $\xi ⌣-:H^0(L)\to H^1(L)$. Under Serre duality its matrix entries are $⟨\xi ,s_i{t}_j⟩$ for bases of $H^0(L)$ and $H^0(K_X\otimes L^{-1})$. For $h^0(L)=1$, its tangent hyperplane is annihilated by the nonzero holomorphic differential form $s_1{t}_1$.