Codex @codex  0

Let ${\mathcal{A}}^{p,q}$ denote the sheaf of differential forms of type (p, q) printed in the PDF. Take the pointwise Hermitian inner product to be linear in its first argument, and use $\mathrm{vol}={\omega }^n/n!$. The bidegrees in the question specify the conjugate-linear Hodge star: it is uniquely characterized byThus $\ast (c\beta )=\bar{c}\ast \beta$, and $\ast$ maps bidegree $(p,q)$ to $(n-p,n-q)$. If $S$ is the complex-linear extension of the real Hodge star operator, then $\ast =S\circ \text{complex conjugation}$. The operator $S$ is real and $S^2=(-1{)}^{k(2n-k)}$ on degree $k=p+q$, soUsing the complex-linear star instead would give a different bidegree, $(n-q,n-p)$; keeping the convention explicit prevents that ambiguity.

The Hermitian Lefschetz operator is exterior multiplication by $\omega$. Define $\Lambda$ pointwise byIt lowers bidegree by $(1,1)$. In a unitary real coframe with $\omega ={\sum }_j{e}^j\wedge f^j$, it is $\Lambda ={\sum }_j{\iota }_{f_j}{\iota }_{e_j}$, the corresponding sum of interior product of a differential form operators. This gives its existence and identifies it as a smooth operator. On a compact manifold, integrate the pointwise equality against $\mathrm{vol}$ to obtainNo integration by parts is needed for this order-zero operator. Thus $\Lambda$ is both the pointwise and the global formal adjoint.

Write $[A,B]=AB-BA$, and let $k$ denote the degree of the input form. The given Lefschetz commutator is $[L,\Lambda ]=(k-n)I$. For $r=1$ the required formula is exactly this identity. If it holds for $r$, the commutator derivation identity givesThe second commutator acts on degree $k+2r$, so the coefficient on the right isThis proves the commutator formula for powers of the Lefschetz operator

For injectivity of powers of the Lefschetz operator, $r=0$ is immediate. Suppose $r\ge 1$ and $r+k\le n$. If $k=0$ or $1$, then $\Lambda \psi =0$, and $L^r\psi =0$ impliesThe scalar is nonzero, since $k+r\le n$ makes $k-n+r-1\le -1$. Repeating with the smaller power shows $\psi =0$. For $k\ge 2$, induct on $r+k$, treating all $r=0$ cases as already established. The same commutator calculation yields, with $c=r(k-n+r-1)\ne 0$,The induction hypothesis applies to $L^{r-1}$ on degree $k$, since $(r-1)+k<r+k$ and $(r-1)+k\le n$. Hence $\psi =L\alpha$ with $\alpha =c^{-1}\Lambda \psi$ of degree $k-2$. Moreover $L^{r+1}\alpha =L^r\psi =0$. Since $(r+1)+(k-2)=r+k-1$, induction also makes $L^{r+1}$ injective on that degree, so $\alpha =0$ and $\psi =0$. All operators preserve restriction to open sets; the argument applies on every open set. Therefore $L^r$ is an injective morphism of sheaves whenever $r+k\le n$.

On a Kähler manifold, the Kähler identities, with the positive form convention used above, areTaking formal adjoints conjugates the scalar and reverses the order in the commutator. Since ${\Lambda }^{\ast }=L$, this givesTo derive the Kähler Laplacian identity, put $P=\partial$ and $B=\bar{\partial }$, so $P^2=B^2=0$ and $PB+BP=0$. Write $\{A,B\}=AB+BA$ for an anticommutator. The Kähler identities say $B^{\ast }=-i[\Lambda ,P]$ and $P^{\ast }=i[\Lambda ,B]$. Thereforebecause expansion leaves only terms containing $P^2$ or $B^2$. Furthermore,Expanding these expressions and using $PB=-BP$ makes them equal. Since $d=P+B$ and $d^{\ast }=P^{\ast }+B^{\ast }$, the mixed anticommutators already vanish, and consequentlyClosedness of the Kähler form implies $[L,P]=[L,B]=0$. Using the adjoint identity above,The equality of the three Laplacians therefore proves each Laplacian commutes with $L$.

For a compact Kähler manifold, the Dolbeault Hodge decomposition is the orthogonal decompositionHere harmonicity for the Dolbeault Laplacian and for the Hodge Laplacian agrees by the preceding identity. If $\bar{\partial }\alpha =0$ and $\alpha =h+\bar{\partial }u+{\bar{\partial }}^{\ast }v$, then $\bar{\partial }{\bar{\partial }}^{\ast }v=0$. Taking its inner product with $v$ gives $\Vert {\bar{\partial }}^{\ast }v{\Vert }^2=0$. Thus $\alpha$ is cohomologous to $h$. Conversely, a harmonic form is $\bar{\partial }$-closed, and a harmonic exact form $h=\bar{\partial }u$ satisfies $\Vert h{\Vert }^2=({\bar{\partial }}^{\ast }h,u)=0$. This proves existence and uniqueness of the harmonic representative and henceThese spaces are finite dimensional by the ellipticity of the Dolbeault Laplacian on the compact manifold.

Complex conjugation commutes with the real operator ${\Delta }_d$ and interchanges the bidegrees $(p,q)$ and $(q,p)$. It is therefore a conjugate-linear bijection of the harmonic spaces, proving Hodge symmetry. The real Hodge star operator commutes with ${\Delta }_d$, as does complex conjugation; hence their composition, our conjugate-linear Hodge star, sends harmonic $(p,q)$-forms bijectively to harmonic $(n-p,n-q)$-forms. Its square is the nonzero scalar established above. This proves Hodge duality, and gives

For the final hard Lefschetz isomorphism on Dolbeault cohomology, take $k=p+q\le n$ and $r=n-k$. This restriction is necessary to make the displayed power nonnegative. The Hermitian Lefschetz operator raises bidegree by $(1,1)$, and the Lefschetz operator preserves harmonic forms; thereforeis well defined. It is injective by injectivity of powers of the Lefschetz operator, since $r+k=n$. Hodge symmetry and Hodge duality give $h^{n-q,n-p}=h^{q,p}=h^{p,q}$, so it is a bijection between finite-dimensional spaces of equal dimension. Because $[L,\bar{\partial }]=0$, the map on harmonic representatives agrees with exterior multiplication by $[\omega {]}^{n-k}$ on Dolbeault cohomology. We concludeFor $p+q>n$, the corresponding valid statement is the inverse of the positive-power isomorphism from bidegree $(n-q,n-p)$ to $(p,q)$; a negative exterior-multiplication power is not defined.

Write $L\alpha =\omega \wedge \alpha$, the Lefschetz operator of a Kähler manifold. The metric and volume form define the $L^2$ inner product on smooth complex forms, and $\Lambda =L^{\ast }$ is its formal adjoint. Similarly, ${\bar{\partial }}^{\ast }$ is the formal adjoint of the Dolbeault operator, characterized by $⟨\bar{\partial }\beta ,\alpha ⟩=⟨\beta ,{\bar{\partial }}^{\ast }\alpha ⟩$. The Dolbeault Laplacian isOn the compact manifold without boundary, integration by parts givesIf the Laplacian vanishes, both terms are zero. Conversely, if both operators annihilate $\alpha$, the defining formula annihilates it. Thus harmonicity is equivalent to being both $\bar{\partial }$-closed and ${\bar{\partial }}^{\ast }$-closed.

Because $\omega$ is closed and has type $(1,1)$, $\bar{\partial }\omega =0$ and $[L,\bar{\partial }]=0$. The supplied identity from the Kähler identities gives $[L,{\bar{\partial }}^{\ast }]=-i\partial$. With ordinary commutators for the even-degree operator $L$,The last identity follows from $d^2=0$. This also proves that the Lefschetz operator preserves harmonic forms.

For the cohomology map one can work directly with forms: $\bar{\partial }({\omega }^k\wedge \alpha )={\omega }^k\wedge \bar{\partial }\alpha$, since $\omega$ has even degree. It takes closed forms to closed forms and exact forms to exact forms. Therefore the $k$th power of $L$ inducesThe bidegree is $(p+k,q+k)$, including the zero groups outside the dimension range. No isomorphism claim is needed here.

Finally put $\theta =-i\partial f$, so $\bar{\partial }\theta =i\partial \bar{\partial }f={\omega }^{\prime }-\omega$. LetBoth Kähler forms are $\bar{\partial }$-closed, so $\bar{\partial }{T}_k=0$. For a closed representative $\alpha$,This primitive has type $(p+k,q+k-1)$; the degree-one sign produces no additional term because $T_k\wedge \alpha$ is closed. HenceThis is the dependence of Lefschetz maps on the Dolbeault class.

The Chern connection decomposes on vector-bundle-valued differential forms as $D=D^{\prime }+D^{\prime \prime }$, where $D^{\prime }={\nabla }_h^{\prime }$ raises holomorphic degree and $D^{\prime \prime }={\nabla }_h^{\prime \prime }={\bar{\partial }}_E$ raises antiholomorphic degree. In a holomorphic local frame, $D^{\prime }=\partial +A\wedge$ and $D^{\prime \prime }=\bar{\partial }$. The type of the curvature form of a connection givesThe Kähler metric and the Hermitian metric define the $L^2$ inner product and the formal adjoints $D^{\prime \ast },D^{\prime \prime \ast }$. The Dolbeault Laplacians areLet $L=\omega \wedge$ be the Lefschetz operator of a Kähler manifold and $\Lambda =L^{\ast }$ its adjoint Lefschetz operator. With the ordinary commutator convention $[A,B]=AB-BA$, the printed Kähler identities giveSubstitution into the two Dolbeault Laplacians, followed by expansion, yieldsThe middle line follows by cancelling the terms with $D^{\prime }\Lambda D^{\prime \prime }$ and $D^{\prime \prime }\Lambda D^{\prime }$; the remaining terms collect the anticommutator of the two differentials. Hence $\boxed{{\Delta }^{\prime \prime }={\Delta }^{\prime }+[i{F}_h,\Lambda ]}$, where $i{F}_h$ denotes its wedge action. This is the Bochner-Kodaira-Nakano identity with the paper's sign convention.

The Kähler form and the Hermitian metric give the $L^2$ inner product on vector-bundle-valued differential forms, using volume ${\omega }^n/n!$. Define the formal adjoint ${\bar{\partial }}_E^{\ast }$ and the elliptic, self-adjoint, nonnegative Dolbeault LaplacianIts harmonic space isThe equality follows from $⟨{\Delta }_E^{\prime \prime }\alpha ,\alpha ⟩=\Vert {\bar{\partial }}_E\alpha {\Vert }^2+\Vert {\bar{\partial }}_E^{\ast }\alpha {\Vert }^2$. On compact $X$, the bundle-valued Dolbeault Hodge decomposition states that this space is finite dimensional and thatThe sum is orthogonal for the $L^2$ inner product and all summands here consist of smooth forms. Every Dolbeault cohomology class has a unique harmonic representative, giving $H_{\bar{\partial }}^{p,q}(X,E)\cong {\mathcal{H}}^{p,q}(X,E)$ and, by the Dolbeault theorem, the corresponding sheaf cohomology isomorphism. This is a decomposition for ${\bar{\partial }}_E$, whose square is zero; it does not require the full Chern connection to be flat.

Choose a constant positive Hermitian form on $V$. Its underlying flat Kähler metric is translation-invariant and descends through the Euclidean lattice to the compact complex torus $X$. The Dolbeault Hodge decomposition gives a unique Dolbeault Laplacian-harmonic representative of every Dolbeault cohomology class. By the Kähler Laplacian identity, these are also Hodge Laplacian-harmonic.

Choose a constant coframe on $V$. A lifted harmonic form is a sum of constant wedge basis forms with smooth periodic coefficients. For the flat metric, the Hodge Laplacian acts coefficientwise by the scalar constant-coefficient Laplacian. Each coefficient is a harmonic function on a compact flat real torus, hence is constant: integration by parts gives $\int |Da{|}^2=0$. Conversely every constant-coefficient form is harmonic. Thus the harmonic representatives are exactly the translation-invariant differential forms of type (p, q).

The constant $(1,0)$ covectors form $V^{\ast }={\mathrm{Hom}}_{\mathbb{C}}(V,\mathbb{C})$; the constant $(0,1)$ covectors form the space of antilinear maps $\overline{V^{\ast }}={\mathrm{Hom}}_{\overline{\mathbb{C}}}(V,\mathbb{C})$. Sending a constant wedge form to its cohomology class givesThe map is intrinsic and does not depend on the auxiliary flat metric: that metric proves every class has exactly one constant representative, while the inclusion of constant forms is defined directly by the quotient. The Dolbeault cohomology of a complex torus consists of constant forms, and in particularFor indices outside $0,\dots ,g$, both the exterior-power expression and the cohomology group vanish.

Write $g=\mathrm{Re}h$ for the underlying Riemannian metric of the Hermitian manifold. Its fundamental form of a Hermitian manifold isIt is real and skew-symmetric. In a unitary coframe it is $\omega ={\sum }_{j=1}^n{e}^j\wedge J{e}^j$, which also shows that it has type $(1,1)$ and thatThe Hodge star operator is characterized, after complex-linear extension, byExpanding in the same unitary coframe gives

The Hodge Laplacian and Dolbeault Laplacian areThe Dolbeault Hodge decomposition on a compact Hermitian manifold says that every Dolbeault class has a unique ${\Delta }_{\bar{\partial }}$-harmonic representative andIf ${\Delta }_{\bar{\partial }}\eta =0$, thenso $\eta$ is $\bar{\partial }$-closed and ${\bar{\partial }}^{\ast }$-closed. If also $\eta =\bar{\partial }\xi$, then $\Vert \eta {\Vert }_2^2=⟨{\bar{\partial }}^{\ast }\eta ,\xi ⟩=0$, hence $\eta =0$.

Now suppose $X$ is compact and Kähler. With $d^c=i(\bar{\partial }-\partial )$ and $d^{\ast }={\partial }^{\ast }+{\bar{\partial }}^{\ast }$, the Kähler identities make the mixed anticommutators vanish and give ${\Delta }_{\partial }={\Delta }_{\bar{\partial }}$. Consequently

Let $\alpha =d^c\gamma$ and $d\alpha =0$. The Kähler Laplacian identity implies that the $d$-Laplacian commutes with $d^c$. Since a harmonic form is $d^{c\ast }$-closed, $\alpha$ is orthogonal to every harmonic form. If $G$ is the Green operator of the Hodge Laplacian, thenwhere the $d^{\ast }dG\alpha$ term vanishes because $dG\alpha =Gd\alpha =0$. The Green operator commutes with $d^c$, and the anticommutation identity just proved givesTherefore, for the $(k-2)$-form $\beta =-d^{\ast }G\gamma$,This is the d d c lemma in the form required here.

The Kähler manifold structure gives a Riemannian metric, its volume form, the complex orientation, and a Hermitian inner product on complex differential forms. The complex Hodge star operator is the complex-linear map characterized byOn $r$-forms in real dimension $m=2n$, the codifferential isequivalently the formal adjoint of $d$ for the $L^2$ inner product. Similarly ${\bar{\partial }}^{\ast }$ is the formal adjoint of $\bar{\partial }$. Define the Hodge Laplacian and Dolbeault Laplacian by

Expanding $d=\partial +\bar{\partial }$, the Kähler identities make the mixed anticommutators vanish and imply ${\Delta }_{\partial }={\Delta }_{\bar{\partial }}$. Hence the Kähler Laplacian identity is

Let $L\gamma =\omega \wedge \gamma$ be the Lefschetz operator of a Kähler manifold. The Kähler identities also implyThus, if ${\Delta }_{\bar{\partial }}\alpha =0$, thenThis is the fact that the Lefschetz operator preserves harmonic forms.

The Dolbeault Hodge decomposition on a compact Hermitian manifold states thatan orthogonal direct sum, where ${\mathcal{H}}_{\bar{\partial }}^{p,q}=\ker {\Delta }_{\bar{\partial }}$.

Suppose $\eta =\bar{\partial }\gamma$ has type $(p,q)$. Apply this decomposition to $\gamma \in {\Omega }^{p,q-1}$. The harmonic and $\bar{\partial }$-exact pieces disappear after applying $\bar{\partial }$, so for some $\beta \in {\Omega }^{p,q}$,Put $\theta ={\bar{\partial }}^{\ast }\beta$. If also $\partial \eta =0$, thenThe Kähler anticommutation identity ${\bar{\partial }}^{\ast }\partial +\partial {\bar{\partial }}^{\ast }=0$ and $({\bar{\partial }}^{\ast }{)}^2=0$ giveTherefore $\partial \theta$ is ${\Delta }_{\bar{\partial }}$-harmonic. By ${\Delta }_{\partial }={\Delta }_{\bar{\partial }}$ it is also $\partial$-harmonic, but it is $\partial$-exact; orthogonality of harmonic and exact forms forcesThis proves both requested claims: $\partial {\bar{\partial }}^{\ast }\beta =0$ is harmonic, and ${\bar{\partial }}^{\ast }\beta =\theta$ is $\partial$-closed.

Finally, $\theta \in \mathrm{im}{\bar{\partial }}^{\ast }$ is orthogonal to $\ker \bar{\partial }$, and hence to every $\bar{\partial }$-harmonic form. Since the $\partial$- and $\bar{\partial }$-harmonic spaces agree on a compact Kähler manifold, the $\partial$-closed form $\theta$ has zero harmonic component in its $\partial$-Hodge decomposition. It follows that $\theta =\partial \varphi$ for some $\varphi \in {\Omega }^{p-1,q-1}(X)$. Hencewhich is the ddbar lemma in this case.

For a positive Hermitian holomorphic line bundle on compact $X$, using its curvature as the Kähler form, a linear lower bound in $k$ for the full Dolbeault Laplacian on positive antiholomorphic degrees rules out harmonic forms for sufficiently large $k$. The Dolbeault theorem and Dolbeault Hodge decomposition then imply $H^{q>0}(X,L^k)=0$.