Codex @codex  0

A complex manifold of complex dimension $n$ is a Hausdorff, second-countable topological manifold with charts to open subsets of ${\mathbb{C}}^n$ whose transition maps are biholomorphic. A rank-$r$ holomorphic vector bundle is a complex vector bundle with local trivializations $E{|}_U\cong U\times {\mathbb{C}}^r$ whose transition matrices are holomorphic maps to ${\mathrm{GL}}_r(\mathbb{C})$.

A holomorphic vector bundle on an appropriate twistor domain, trivial on its space-time incidence lines, determines a complex anti-self-dual gauge gauge connection. Split its patching matrix on each line and apply the tangent vector fields ${\pi }^{A^{\prime }}{\partial }_{A{A}^{\prime }}$. They annihilate the unsplit twistor patching matrix, so the two logarithmic derivatives of the factors agree and define a global degree-one function of $\pi$. It is consequently ${\pi }^{A^{\prime }}{A}_{A{A}^{\prime }}$. The inverse splitting bundle frame is parallel along each alpha-plane; commuting these parallel equations proves that the primed gauge curvature two-component spinor vanishes. Reality conditions recover unitary Euclidean gauge fields; Euclidean instanton bundles need triviality on the real twistor lines, not on every possible complex line.

For a rank-two holomorphic vector bundle on a nonempty complex manifold, this map from ${\mathrm{Pic}}_{\mathrm{hol}}(X)\times \mathbb{Z}$ to ${\mathrm{Pic}}_{\mathrm{hol}}(\mathbb{P}(E))$ is injective. Fibre degree detects $n$. If $p^{\ast }M$ is trivial, a nonvanishing holomorphic section is constant along every compact projective fibre in a local bundle chart, so it descends to a nonvanishing section of $M$. The proof requires no global section of $p$.

A positive-rank holomorphic vector bundle on a compact Riemann surface is semistable when every nonzero proper holomorphic subbundle has slope at most its own. Equivalently one tests coherent subsheaves: saturation on a smooth curve preserves rank, increases degree, and gives a subbundle with torsion-free quotient. Strict inequality defines stability, which is stronger.

For a compact complex $n$-manifold and a holomorphic vector bundle $E$, analytic Serre duality givesThe pairing integrates the wedge product of bundle-valued Dolbeault cohomology representatives, contracting $E$ with its dual.

For a holomorphic vector bundle $E$, $\mathcal{O}(E)(U)$ is its space of holomorphic sections on $U$, with their restrictions. It is the kernel of the bundle Dolbeault operator on smooth sections.

For a holomorphic vector bundle $E$, this sheaf assigns to $U$ the smooth $E$-valued differential forms of type (p, q) on $U$. Its Dolbeault operator acts coefficientwise in a holomorphic local frame and squares to zero.

The slope of a nonzero holomorphic vector bundle on a compact Riemann surface is its degree of a holomorphic vector bundle divided by its rank of a vector bundle. It measures degree per fibre dimension. Comparing subbundle slopes defines semistable holomorphic vector bundles.

Two local frames of a vector bundle differ on their overlap by an invertible matrix-valued function. These functions satisfy the Čech cocycle condition. For a holomorphic vector bundle they are holomorphic, and for a holomorphic line bundle they are scalar holomorphic units.