Contents

Holomorphic Vector BundleEdit

Holomorphic vector bundles sit at a productive crossroads of complex analysis, differential geometry, and algebraic geometry. They encode linear data that varies holomorphically over a complex manifold, allowing one to study geometric and topological features of the base space through the behavior of families of complex vector spaces. At a basic level, a holomorphic vector bundle is a complex vector bundle whose transition maps are holomorphic, which is equivalent to giving a Dolbeault operator that defines the holomorphic structure on the bundle of smooth sections Dolbeault operator.

In addition to their intrinsic appeal, holomorphic vector bundles are fundamental for constructions such as sheaves of holomorphic sections, cohomology theories, and moduli problems. They also connect to physics through gauge theory and to algebraic geometry via the correspondence between analytic and algebraic vector bundles on projective varieties. The theory blends local linear algebra with global complex geometry, producing rich invariants like Chern classes and deep structure theorems about when bundles admit special metrics or decompose in controlled ways.

Formal definition and basic properties

Definition and perspective - A holomorphic vector bundle E → X consists of a smooth complex vector bundle with fiber C^r over a complex manifold X, together with holomorphic transition functions gαβ: Uαβ → GL(r, C) on overlaps of a covering {Uα}. Equivalently, E carries a holomorphic structure, often described by a Dolbeault operator ∂̄E with ∂̄E^2 = 0, making the sheaf of holomorphic sections locally free of rank r. See Dolbeault operator and Vector bundle for foundational concepts.

Examples - Trivial bundle: X × C^r with constant transition functions, a basic example of a holomorphic vector bundle. - Line bundles: rank-1 holomorphic bundles such as Line bundles; these play a central role in measuring twisting via the Picard group Picard group. - Tangent and cotangent bundles: the holomorphic tangent bundle T_X and holomorphic cotangent bundle Ω^1_X of a complex manifold X. - Tautological and other bundles on projective spaces: the canonical line bundle O(-1) on Projective space and related bundles arising from the tautological construction. - Direct sums, tensor products, duals, and hom bundles: operations that produce new holomorphic vector bundles from existing ones, e.g., the dual bundle Dual vector bundle, the tensor product Tensor product of bundles, and the bundle of holomorphic homomorphisms Hom (vector bundles).

Basic properties and operations - Local triviality with holomorphic structure: on suitable open covers, E ≅ Uα × C^r via holomorphic transition functions in GL(r, C). - Pullback: given a holomorphic map f: Y → X, one can form the pullback bundle f^*E on Y, preserving holomorphicity Pullback (mathematics). - Exact sequences: holomorphic vector bundles participate in short exact sequences 0 → F → E → G → 0, linking subbundles and quotient bundles; this is central to extension problems and moduli questions Exact sequence. - Holomorphic sections: the space of holomorphic sections H^0(X, E) consists of sections s: X → E that are holomorphic; these sections are the kernel of the Dolbeault operator acting on smooth sections.

Invariants and curvature - Chern classes: holomorphic vector bundles carry topological invariants, the Chern classes c_i(E) ∈ H^{2i}(X, Z), defined via curvature forms in Chern–Weil theory Chern class Chern-Weil theory. - Determinant line bundle: det(E) is the top exterior power of E, a line bundle carrying important information about the bundle’s twisting; its first Chern class relates to degree notions on curves and polarization data Line bundle. - Connections and curvature: a Hermitian metric on E gives a Chern connection with curvature F, and Chern classes can be computed from F via the Chern–Weil construction.

Invariants, metrics, and structure

Hermitian metrics and connections - A Hermitian metric h on E yields a unique compatible connection (the Chern connection) whose curvature form encodes geometric information about E. The interplay of h, the connection, and the complex structure is central to many results in differential geometry and gauge theory Hermitian metric Chern connection. - The curvature of the Chern connection gives differential-geometric representatives of the Chern classes through the Chern–Weil framework, linking analysis to topology.

Stability, moduli, and the geometry of families - Stability and slope: for a polarized compact complex manifold (X, ω), the slope of a holomorphic vector bundle E of rank r is μ(E) = deg(E)/r, where deg(E) is defined via ω. A bundle is stable if every proper nonzero subbundle F satisfies μ(F) < μ(E); semistability uses ≤. These notions govern the geometry of moduli spaces of bundles Stability (vector bundle). - Moduli spaces: the collection of isomorphism classes of semistable holomorphic vector bundles with fixed rank and fixed determinant (or Chern classes) forms a moduli space, reflecting how bundles can vary in families Moduli space. - Harder–Narasimhan filtration: every holomorphic vector bundle admits a canonical filtration by subbundles whose successive quotients are semistable with decreasing slopes, revealing internal instability structures Harder–Narasimhan filtration.

Correspondences and major theorems - Narasimhan–Seshadri theorem (for curves): on a compact Riemann surface, unitary representations of the fundamental group correspond to polystable holomorphic vector bundles of degree zero, tying topology to holomorphic geometry Narasimhan–Seshadri theorem. - Donaldson–Uhlenbeck–Yau theorem: on a compact Kähler manifold with a polarization, a holomorphic vector bundle is polystable if and only if it admits a Hermitian–Einstein metric (a Hermitian metric whose Chern connection satisfies a curvature condition). This is a cornerstone linking analysis, geometry, and algebraic stability Donaldson–Uhlenbeck–Yau theorem. - Non-abelian Hodge theory: in higher dimensions, there are powerful correspondences among representations of the fundamental group, Higgs bundles, and certain holomorphic bundles, providing deep links between topology and complex geometry Non-abelian Hodge theory.

Algebraic versus analytic viewpoints - On projective varieties, holomorphic vector bundles can be studied through algebraic methods as algebraic vector bundles, with cohesion between the analytic theory (via ∂̄-structures and curvature) and the algebraic theory (via sheaves of modules and cohomology). This dual perspective enriches both sides and underpins many modern results in geometry.

Connections to broader mathematical and physical ideas

Gauge theory and physics - Holomorphic vector bundles are central in gauge-theoretic formulations of physics, where connections correspond to gauge fields and curvature encodes field strength. Stability conditions and Hermitian–Einstein metrics translate into physically meaningful energy minimization problems and vacuum configurations in certain supersymmetric theories. See Gauge theory and Yang–Mills theory for broader context.

Complex geometry and topology - The study of holomorphic bundles informs the topology of the base manifold through Chern classes and characteristic classes, and it reveals how complex structure constrains linear data. The interplay of curvature, stability, and moduli leads to a rich landscape of geometric phenomena on complex manifolds like Kähler manifolds.

Historical and conceptual notes - The development of holomorphic vector bundles drew on foundational work in complex analysis, differential geometry, and algebraic geometry, with pivotal contributions from the theory of characteristic classes, the formulation of stability, and the bridge provided by non-abelian Hodge theory. The subject continues to be a vibrant area of research with deep links to representation theory, mathematical physics, and higher-dimensional geometry.

See also