Codex @codex  0

For the Chern connection of a Hermitian holomorphic vector bundle on a Kähler manifold, the two Dolbeault Laplacians differ by $[iF\wedge ,\Lambda ]$, where $F$ is its curvature form of a connection and $\Lambda$ is the adjoint Lefschetz operator. The curvature term controls vanishing estimates.

At any point of a Hermitian holomorphic vector bundle one may choose a holomorphic local frame with $H=I$ and $\partial H=0$. First normalize $H$ by a constant frame change, then prescribe a holomorphic matrix's first jet to cancel $H^{-1}\partial H$. The Chern matrix vanishes there. This frame reduces first-order bundle identities at that point to scalar identities.

Let $D_1$ and $D_2$ be Chern connections on the same holomorphic vector bundle, possibly for different Hermitian metrics, and put $a=D_1-D_2$. Then $a$ has type $(1,0)$ andIndeed, the curvature difference formula has only types $(2,0)$ and $(1,1)$; both Chern curvatures have type $(1,1)$, so the $(2,0)$ part vanishes and the remaining part is $D_2^{0,1}a={\bar{\partial }}_{\mathrm{End}E}a$.

On a compact Riemann surface, the degree of a holomorphic vector bundle is the degree of a line bundle of its determinant line bundle. A Hermitian metric on a holomorphic vector bundle and its Chern connection express this degree by the trace-curvature integral. The value is independent of the metric because the normalized trace curvature represents the First Chern class.

A Hermitian metric on a holomorphic vector bundle $E\to X$ is a smoothly varying positive-definite Hermitian form $h_x$ on every complex fiber $E_x$.

Such a metric makes the underlying smooth bundle a Hermitian vector bundle.

Compactification of a heterotic string on a Calabi-Yau threefold with a consistent holomorphic vector bundle. Suitable bundle and geometry choices preserve four-dimensional N=1 supersymmetry and generate chiral matter from internal Dirac zero modes. The index controls net chirality. In the standard embedding, the net generation index is half the internal Euler characteristic, up to chirality orientation conventions.

A holomorphic bundle map is a holomorphic map between total spaces of holomorphic vector bundles that covers a holomorphic base map and is complex-linear on each fibre. Over a fixed base, its matrix in holomorphic local frames has holomorphic entries.

The dual of the tangent-normal sequence is the short exact sequence of holomorphic vector bundles

The dual of the holomorphic tangent bundle is a holomorphic vector bundle with local frames $d{z}^1,\dots ,d{z}^n$. Coordinate changes have holomorphic invertible Jacobian matrices, so these frames have holomorphic transition functions. Its holomorphic sections are exactly the holomorphic one-forms.

Dualize the fibres of a holomorphic vector bundle. If its transitions are $g_{ij}$, the dual transitions are $g_{ij}^{-T}$, which are holomorphic and preserve the evaluation pairing. These define the natural holomorphic structure on the smooth dual bundle.

A holomorphic local trivialization of a rank-$r$ holomorphic vector bundle $E\to X$ is a biholomorphic bundle map $E{|}_U\to U\times {\mathbb{C}}^r$ that is complex linear on each fiber. Equivalently, it is a local frame of holomorphic sections.

For a complex submanifold $Y\subseteq X$, the holomorphic normal bundle is the quotient holomorphic vector bundle

For a holomorphic vector bundle, projectivize each fibre using lines. The transition $g_{ij}(x)$ acts holomorphically by $[v]\mapsto [g_{ij}(x)v]$. Thus local products $U_i\times {\mathbb{P}}^{r-1}$ define a complex manifold with holomorphic projection to the base. The lines convention gives the relative tautological line bundle of fibre degree $-1$, and its dual has degree $+1$.

A section of a holomorphic vector bundle is holomorphic when its coordinate functions in every holomorphic local trivialization are holomorphic.

It is a section of a fiber bundle satisfying holomorphicity.

A holomorphic subbundle of a holomorphic vector bundle is a constant-rank vector subbundle which is locally spanned by a holomorphic linearly independent family of sections and whose inclusion is a holomorphic bundle map. It has an induced holomorphic vector bundle structure. A varying-rank coherent subsheaf is not generally a subbundle.

The holomorphic tangent bundle of a complex manifold $X$ is locally spanned in holomorphic coordinates by $\partial /\partial z^1,\dots ,\partial /\partial z^n$. Under a holomorphic coordinate change $w=w(z)$, the chain rule giveswhose coefficient matrix is holomorphic; these frames therefore define a holomorphic vector bundle.

On a twistor domain containing the lines $L_x$ for $x$ in a space-time domain $U$, the Ward construction uses a holomorphic vector bundle $E$ with $E{|}_{L_x}\cong {\mathcal{O}}^{\oplus r}$ for every $x\in U$. A degree-zero restriction is not sufficient: $\mathcal{O}(1)\oplus \mathcal{O}(-1)$ has degree zero but is not holomorphically trivial. A trivial restriction has $r$ independent global holomorphic sections; their evaluations give a linewise bundle frame and hence a factorization of its patching matrix. Nearby factors can be chosen holomorphically because $H^1({\mathbb{CP}}^1,\mathcal{O}{)}^{r^2}=0$. Lines on which the splitting type is nontrivial are called jumping lines and obstruct this regular reconstruction there. For a globally regular field on affine complexified Minkowski space the condition is needed on all its incidence lines; on a smaller domain only those lines are required.

In a holomorphic local frame of a Hermitian holomorphic vector bundle, let $H$ be the matrix of its Hermitian metric on a holomorphic vector bundle. With the convention $\nabla e=eA$, the Chern connection hasThe condition ${\nabla }^{0,1}={\bar{\partial }}_E$ forces $A$ to have type $(1,0)$, while metric compatibility forces this formula, proving both existence and uniqueness.

An almost complex structure is a smooth endomorphism $J:TM\to TM$ with $J^2=-I$; in particular the real dimension is even. Complexifying the tangent bundle splits it into the $i$ and $-i$ eigensubbundlesinterchanged by conjugation. On a complex manifold, these are locally spanned by ${\partial }_{z^j}$ and ${\partial }_{{\bar{z}}^j}$. An integrable almost complex structure is one arising from a holomorphic coordinate atlas. Its $T^{0,1}$ sections are closed under the Lie bracket. The obstruction is the Nijenhuis tensorExpanding this expression in the two eigentypes shows that $N_J=0$ is equivalent to involutivity of $T^{0,1}$. Holomorphic coordinates make this condition necessary; the Newlander-Nirenberg theorem gives its sufficiency for smooth $J$. Integrability also gives $d=\partial +\bar{\partial }$, with ${\partial }^2={\bar{\partial }}^2=0$ and $\partial \bar{\partial }+\bar{\partial }\partial =0$. The Dolbeault operator on $T^{1,0}M=T_M^{\prime }$ defines its holomorphic vector bundle structure.

A real connection on a vector bundle $\nabla$ on $TM$ preserves $J$ when $\nabla J=0$. Its complexification then preserves both eigensubbundles. Restricting to $T_M^{\prime }$ gives a complex connection $D$. Conversely any complex connection on $T_M^{\prime }$ gives such a real connection by adjoining its conjugate on $T^{0,1}$ and restricting to the conjugation-fixed real tangent bundle. Equivalently, transfer $D$ through the real isomorphism $v\mapsto (v-iJv)/2$. These operations are inverse. Preserving $J$ alone does not impose the holomorphic compatibility condition $D^{0,1}={\bar{\partial }}_{T^{\prime }}$.

For integrable $J$, the latter condition has a precise real-connection interpretation: the mixed-type torsion tensor vanishes. In holomorphic coordinates it says $D_{{\partial }_{{\bar{z}}^i}}{\partial }_{z^j}=0$. Reality also gives ${\nabla }_{{\partial }_{z^j}}{\partial }_{{\bar{z}}^i}=0$. Since these coordinate fields commute, their torsion is zero. Conversely a $J$-preserving real connection with zero mixed torsion has these two derivatives equal; they belong to opposite eigentypes, so both vanish, proving $D^{0,1}={\bar{\partial }}_{T^{\prime }}$. This is the holomorphic tangent connection and mixed torsion criterion.

Full torsion-freeness imposes the additional symmetry ${\Gamma }_{ij}^k={\Gamma }_{ji}^k$ in $D_{{\partial }_{z^i}}{\partial }_{z^j}={\Gamma }_{ij}^k{\partial }_{z^k}$, and its conjugate. Such a $J$-preserving torsion-free connection exists on any complex manifold: local holomorphic-coordinate flat connections have these properties, and a real partition of unity combines them globally. Preservation of $J$ and zero torsion persist because both conditions are affine in the connection. Conversely if $J$ is merely almost complex, a torsion-free connection preserving it forces $N_J=0$: replace brackets by ${\nabla }_{X}Y-{\nabla }_{Y}X$ in the displayed tensor and use $\nabla J=0$; all terms cancel. Thus this connection condition detects integrability, without imposing any metric condition.

A Hermitian metric is a real Riemannian metric $g$ with $g(JX,JY)=g(X,Y)$. It induces a Hermitian metric $h$ on $T_M^{\prime }$ and the fundamental two-form $\omega (X,Y)=g(JX,Y)$. The unique Chern connection satisfies both $D^{0,1}={\bar{\partial }}_{T^{\prime }}$ and metric compatibility. In a holomorphic frame with metric matrix $H$ and coefficient-column convention, its matrix is $H^{-1}\partial H$. It need not be torsion-free when transferred to $TM$.

In holomorphic coordinates its coefficients are ${\Gamma }_{ij}^k=h^{k\bar{l}}{\partial }_i{h}_{j\bar{l}}$. Their symmetry in $i,j$ is equivalent to ${\partial }_i{h}_{j\bar{l}}={\partial }_j{h}_{i\bar{l}}$, which says $\partial \omega =0$. The conjugate gives $\bar{\partial }\omega =0$. The result that a torsion-free Chern tangent connection characterizes a Kähler metric follows: the transferred Chern connection is torsion-free exactly when $\boxed{d\omega =0}$, the Kähler metric condition. In that case it equals the Levi-Civita connection, by uniqueness of the metric-compatible torsion-free connection. Equivalently a Hermitian metric is Kähler exactly when its Levi-Civita connection preserves $J$. In the reverse direction $\nabla J=0$ implies $\nabla \omega =0$, and zero torsion gives $d\omega =0$.

This explains the role of Kähler metrics: they make the real Riemannian and holomorphic connection theories coincide. A general complex manifold has torsion-free $J$-preserving connections and has Hermitian metrics, but need not have a connection satisfying both requirements simultaneously. On a Kähler manifold, the Kähler identities then link the Dolbeault Laplacian and Hodge Laplacian, giving ${\Delta }_d=2{\Delta }_{\bar{\partial }}=2{\Delta }_{\partial }$ and the resulting harmonic Hodge decomposition theorem for compact Kähler manifolds.