Hermitian Holomorphic Vector Bundles
- Hermitian holomorphic vector bundles are holomorphic vector bundles equipped with smooth or singular Hermitian metrics that align complex structures with curvature properties.
- Their curvature and positivity notions, including Griffiths and Nakano conditions, are pivotal in proving vanishing theorems and L2 extension results.
- They underpin advanced applications such as quantization and stability analysis via the Donaldson–Uhlenbeck–Yau correspondence and operator-theoretic classifications.
A Hermitian holomorphic vector bundle is a holomorphic vector bundle equipped with a fiberwise Hermitian metric. This geometric structure underpins a wide array of results in complex differential and algebraic geometry, functional analysis, and mathematical physics. The theory involves both smooth and singular metrics and encompasses curvature, stability, vanishing theorems, quantization, and operator-theoretic aspects. The modern theory is shaped by the interplay between complex analytic methods, algebraic geometry, and operator theory, with key foundational results such as the Donaldson–Uhlenbeck–Yau correspondence, positivity notions (Griffiths, Nakano, Demailly, Bott–Chern), and the quantization of geometric structures.
1. Definitions and Fundamental Structures
A holomorphic vector bundle of rank over a complex manifold is a complex vector bundle whose transition functions are holomorphic. A Hermitian metric on is a smoothly varying positive-definite Hermitian inner product on each fiber (Andersson, 2019). In local holomorphic frames, is given by a Hermitian matrix with .
The unique Chern connection compatible with both the holomorphic structure and 0 splits as 1, with 2. Its curvature 3 is an 4-valued 5-form, locally expressed as 6 (Raufi, 2012).
For possibly degenerate Hermitian forms (not everywhere positive-definite), one can define a compatible connection, and the curvature is well-defined modulo terms valued in the kernel of the form (Magnússon, 2022). This formalism is crucial for studying direct image bundles, moduli problems, and singular metrics.
2. Notions of Positivity and Curvature
Griffiths and Nakano Positivity
- Griffiths positivity (resp. negativity): A Hermitian metric 7 is Griffiths-positive if for every nonzero decomposable tensor 8, 9; Griffiths-negativity reverses the inequality (Inayama, 2018, Raufi, 2012).
- Nakano positivity: 0 is Nakano-positive if for every 1, 2 (Zou, 2022).
For singular Hermitian metrics (merely measurable, possibly unbounded, positive semi-definite), the curvature is interpreted in the sense of currents; Griffiths semi-positivity is characterized by the plurisubharmonicity of 3 for any holomorphic section 4 (Raufi, 2012, Inayama, 2018, Zou, 2022).
Bott–Chern Nonnegativity
A Hermitian metric is Bott–Chern nonnegative if, in local unitary frames, the curvature matrix factors as 5 for some matrix of 6-forms 7. This implies Griffiths nonnegativity and encompasses globally generated bundles or quotients of trivial bundles (Li, 2017).
3. Singular Metrics, Regularization, and Coherence
Singular Hermitian metrics arise naturally in extension problems, vanishing theorems, and moduli theory. A singular Hermitian metric 8 on 9 is a measurable map 0, positive-definite almost everywhere, and locally approximated by smooth metrics (Raufi, 2012, Guan et al., 2022, Zou, 2022).
The Chern curvature 1 generally defines a matrix of currents. However, if 2 is uniformly bounded below (i.e., 3), the curvature matrix exists as a current with measure coefficients, retaining key analytic and geometric properties (Raufi, 2012).
Regularization results ensure that singular Hermitian metrics (with Griffiths or Nakano positivity) can be approximated by smooth metrics that preserve positivity properties in the limit, critical for analytic and cohomological applications (Raufi, 2012, Guan et al., 2022).
The sheaf of locally 4-holomorphic sections 5 is coherent on 6 if 7 is Griffiths-semi-positive and the determinant metric 8 has analytic singularities, generalizing the Nadel multiplier ideal sheaf theory to higher rank (Zou, 2022).
4. Curvature Formulas, Exact Sequences, and Associated Structures
The curvature formulas for Hermitian holomorphic vector bundles extend to potentially degenerate metrics and singular settings (Magnússon, 2022, Raufi, 2012). The Codazzi–Griffiths equations describe the transformation of curvature under exact sequences: 9 with second fundamental forms and associated terms controlling the curvature of subbundles and quotient bundles (Magnússon, 2022).
On Grassmannian bundles 0, pulling back the base metric and adding a Kähler–Einstein metric on the fibers yields a sum metric whose holomorphic sectional curvature can be made positive if the base is positively curved (Magnússon, 2022).
The interplay between curvature, subbundles, and quotients is crucial in the study of ampleness, stability, and the geometry of moduli spaces.
5. Positivity, Vanishing, and Extension Theorems
Vanishing Theorems
Hermitian holomorphic vector bundles with strictly Griffiths-positive or Nakano-positive (possibly singular) metrics support 1 estimates for 2 and vanishing theorems analogous to the Demailly–Nadel theorem for line bundles (Raufi, 2012, Inayama, 2018, Watanabe, 2022). For strictly Griffiths-positive metrics, one has 3-Hörmander estimates on compact Kähler manifolds: 4 for solutions 5 to 6 (Inayama, 2018).
Nakano semi-positivity and lower bound conditions yield optimal 7 extension theorems on Kähler manifolds, including the Ohsawa–Takegoshi theorem for vector bundles with singular metrics, with sharp constants dictated by twisted curvature (Guan et al., 2022).
Multiplier Sheaves and Cohomology
For a holomorphic vector bundle 8 with a singular Hermitian metric 9, the multiplier subsheaf 0 of 1 consists of local holomorphic sections 2 with 3 locally integrable (Watanabe, 2022). Under sufficient positivity and boundedness of determinants, vanishing theorems extend to cohomologies with values in 4 for big line bundles 5 and 6 (Watanabe, 2022).
6. Quantization and Stability
Yang–Mills Metrics and Quantization
A Hermitian–Einstein or Yang–Mills metric 7 on 8 satisfies 9, where 0 is the slope. On compact Kähler manifolds, the existence of such metrics is equivalent to slope-polystability (Donaldson–Uhlenbeck–Yau correspondence) (Andersson, 2019, Faulk, 2022).
Balanced embeddings and Toeplitz quantization link the differential geometry of 1 to operator theory: the spectrum of the approximating operators converges to that of the Bochner Laplacian 2 on 3 (Keller et al., 2015, Andersson, 2019). Quantization theorems guarantee convergence of metrics and operators, providing strong GIT-type characterizations of stability (Andersson, 2019).
Stability Conditions
Stability notions are central: slope-stability requires that every proper subsheaf has strictly smaller slope; Gieseker-stability involves the Hilbert polynomial; Jordan decomposition in operator-theoretic settings captures similarity classification and indecomposable summands (Hou et al., 5 Mar 2025).
Results for vector bundles over Kähler orbifolds generalize the Hitchin–Kobayashi correspondence: slope-stability is equivalent to the existence of Hermitian–Einstein metrics and to the properness of the Donaldson functional (Faulk, 2022).
Recent developments study nonlinear equations—4-equations, deformed Hermitian–Yang–Mills, and 5-critical equations—relating positivity conditions to Bridgeland-type stability and twisted Monge–Ampère inequalities (Takahashi, 2021, Keller et al., 2024). Existence of solutions forces algebro-geometric slope inequalities, intertwining analytic and stability-theoretic properties.
7. Homogeneous and Operator-Theoretic Aspects
Hermitian holomorphic vector bundles play a key role in representation theory and operator theory via the Cowen–Douglas class, holomorphic induction, and classification of homogeneous bundles (Koranyi et al., 2015, Koranyi et al., 2018). In bounded symmetric domains, induced bundles decompose via explicit equivariant differential operators, with composition series corresponding to irreducible subquotients and similarity classes determined by operator-theoretic invariants (Koranyi et al., 2018, Koranyi et al., 2015).
The Cowen–Douglas theory establishes a correspondence between homogeneous operator tuples and homogeneous vector bundles, enabling similarity classifications in terms of invariants (e.g., Jordan decomposition on weighted Hardy spaces) (Hou et al., 5 Mar 2025).
These themes define the present landscape of Hermitian holomorphic vector bundles, highlighting the interplay of positivity, regularity, curvature, stability, analysis, and algebraic geometry across both smooth and singular settings (Raufi, 2012, Zou, 2022, Magnússon, 2022, Guan et al., 2022, Inayama, 2018, Li, 2017, Andersson, 2019, Faulk, 2022, Keller et al., 2024, Takahashi, 2021, Hou et al., 5 Mar 2025, Keller et al., 2015, Biswas et al., 2013, Koranyi et al., 2015, Koranyi et al., 2018).