Hermitian–Yang–Mills Flow: Geometry & Analysis

• Hermitian–Yang–Mills flow is a geometric evolution that decreases the HYM functional to drive holomorphic bundles toward canonical metrics and analytic Harder–Narasimhan filtrations.
• It provides analytic control over curvature evolution with convergence results on both Kähler and non-Kähler manifolds, ensuring uniform bounds and smooth limits away from singularities.
• The flow extends naturally to Higgs bundles, integrating gauge theory, complex geometry, and algebraic stability through rigorous methods to capture both stability criteria and bubbling phenomena.

The Hermitian-Yang-Mills flow is a geometric evolution equation for Hermitian structures on holomorphic vector bundles over complex manifolds, encoding deep relations between gauge theory, complex geometry, and algebraic stability. It governs the evolution of Hermitian metrics so as to decrease the Hermitian-Yang-Mills (HYM) functional and leads, in the stable and semistable cases, to canonical structures (Hermite-Einstein metrics) or, more generally, to an analytic realization of the Harder-Narasimhan filtration when the bundle is unstable. The flow has been extensively studied on Kähler and non-Kähler manifolds, for both vector bundles and Higgs bundles, and its asymptotic behavior provides a powerful bridge from analysis to algebraic geometry.

1. Definitions, Setup, and Equations

Let $X$ be a compact complex manifold of complex dimension $n$, equipped with a Hermitian (typically Kähler) metric $\omega$. Let $E \to X$ be a holomorphic vector bundle of rank $r$ with a Hermitian metric $H$. The unique unitary Chern connection $A$ on $(E, H)$ defines curvature $F_A \in \Omega^{1,1}(\mathrm{End}\,E)$.

The Hermitian-Yang-Mills (HYM) functional is

$$\mathrm{HYM}(A) = \|i\Lambda F(A) - \mu(E)I_E\|_{L^2}^2 = \int_X |i\Lambda F(A) - \mu(E) I|^2\,\omega^n,$$

where $\Lambda$ denotes contraction with $\omega$ and the slope $\mu(E) = \deg(E)/r$ is determined by the first Chern class and volume of $X$ (Jacob, 2011).

The HYM flow evolves the metric $H(t)$ via the Donaldson heat flow: $H^{-1}\frac{dH}{dt} = -2(i\Lambda F_H - \mu(E) I),$ or equivalently, evolves the connection $A_t$ via

$\frac{dA_t}{dt} = i D_{A_t}(\Lambda F_{A_t}).$

This negative $L^2$-gradient flow decreases the HYM functional, seeking critical points that solve the Hermitian-Einstein equation $i\Lambda F_H = \mu(E) I$.

On non-Kähler manifolds, let $\omega$ be a Gauduchon metric. The HYM flow retains similar analytic structure, with the mean curvature endomorphism $\theta_H = i\Lambda_\omega F_H$ entering as the principal geometric object (Chen et al., 9 Jan 2026, Nie et al., 2018).

2. Harder–Narasimhan Filtration and Limiting Behaviour

Every torsion-free coherent sheaf $E$ admits a unique Harder–Narasimhan (HN) filtration

$$0 = S_0 \subset S_1 \subset \cdots \subset S_p = E,$$

with semistable quotients $Q_i = S_i / S_{i-1}$ of strictly decreasing slopes $\mu(Q_1) > \mu(Q_2) > \cdots$ (Jacob, 2011).

The endomorphism

$Y_H = \sum_{i=1}^{p} \mu(Q_i) (\Pi_i - \Pi_{i-1}),$

where $\Pi_j$ projects onto $S_j$, encapsulates algebro-geometric data relevant to the flow. The eigenvalues of $Y_H$ correspond (with multiplicities) to HN-type slopes.

As $t \to \infty$, the Hermitian-Yang-Mills flow causes $i\Lambda F(A_t)$ to converge in $L^2$ to $Y_H$, a piecewise constant endomorphism whose plateaux are given by the limiting HN-slopes (Jacob, 2011, Chen et al., 9 Jan 2026). Thus, even for unstable bundles, the flow "detects" the HN-filtration through the asymptotics of the curvature.

3. Main Analytical Results: Convergence, Bounds, and Singularities

On a compact Kähler manifold, the HYM (or Yang–Mills) flow admits unique global smooth solutions. In the stable case, $H(t)$ converges to a Hermitian–Einstein metric (Li et al., 2016).

If $E$ is unstable, curvature may concentrate, and bubbling can occur along an analytic subvariety determined by the algebraic singularities of the HN filtration. Away from this subvariety, uniform curvature bounds are obtained; recent results give complete control for bundles with length-one HN filtration, and analogous bounds are achieved under inductive assumptions in greater generality (Li et al., 2016, Collins et al., 2012).

Asymptotically, after gauge, the connections $A_t$ (or metrics $H_t$) converge in $C^\infty$ on the complement of a subset of (real) codimension at least $4$ to a limiting Yang–Mills connection $A_\infty$ on a bundle $E_\infty$, which orthogonally splits according to HN-type. The limiting connection is Hermitian–Einstein on each stable summand (Jacob, 2011, Chen et al., 9 Jan 2026, Nie et al., 2018).

The limiting reflexive sheaf $\mathcal{E}_\infty$ is always isomorphic to the double dual of the graded HN–Seshadri sheaf: $$\mathcal{E}_\infty \cong \big(\mathrm{Gr}_{\mathrm{hns}}(E)\big)^{\ast\ast}$$ (Li et al., 2017, Jacob, 2011, Li et al., 2014). This analytic identification confirms predictions of Bando–Siu and generalizes the Atiyah–Bott formula to higher dimensions and more general backgrounds.

4. Extensions to Non-Kähler Manifolds and Monotonicity

On compact Hermitian manifolds with a Gauduchon metric ($\partial\bar\partial \omega^{n-1}=0$), the HYM flow exists globally, and the mean curvature eigenvalues admit monotonicity properties. Specifically, for extremal eigenvalue sums $U_k$ and $L_k$, the supremum of $U_k$ is nonincreasing and infimum of $L_k$ is nondecreasing along the flow, converging to sums of HN-slopes. In particular, the $L^2$ limits of the mean curvature eigenvalues match the HN data (Chen et al., 9 Jan 2026).

In this setting, the Uhlenbeck limit of the flow provides a reflexive sheaf isomorphic to the double dual of the HNS-graded object, thus extending the analytic classification of the asymptotics to non-Kähler geometries (Chen et al., 9 Jan 2026, Nie et al., 2018). The flow thus provides a geometric tool for identifying and constructing canonical filtrations in arbitrary Hermitian backgrounds.

5. Generalizations: Higgs Bundles and Deformations

The Hermitian-Yang-Mills flow extends naturally to Higgs bundles. For a Higgs pair $(E, \phi)$, the Hitchin–Simpson connection and mean curvature $K = i\Lambda(R_h + [\phi,\phi^{*h}])$ enter the flow equation: $$\frac{\partial h}{\partial t} = - i \Lambda(F_h + [\phi, \phi^{*h}]) h.$$ Here, the Hermitian–Yang–Mills equation becomes $i\Lambda(F_h + [\phi, \phi^{*h}]) = cI$. The flow decreases the Donaldson functional and produces approximate Hermitian-Yang-Mills structures on semistable Higgs bundles; stability criteria are strictly tied to analytic behavior of the flow (Saini, 2013, Zhang, 2012, Li et al., 2014).

The limiting object under the Yang–Mills–Higgs flow is again a reflexive Higgs sheaf isomorphic to the double dual of the graded HNS sheaf of the initial data (Li et al., 2014, Zhang, 2012). The convergence, regularity, and splitting phenomena mirror those of the pure bundle case.

For certain deformed equations (e.g., deformed Hermitian–Yang–Mills), rigidity theorems show that under curvature and bisectional conditions, solutions are forced to be parallel, and tangent flows are always quadratic (Berger-type) (Han et al., 2019).

6. Technical Methods: Barrier Techniques, Regularization, and Functionals

A key analytic device in understanding singularity formation along the HYM flow is the use of algebraically constructed barriers—functions vanishing precisely along the algebraic singular set of the HNS filtration. Evolution of metrics and various block splittings, combined with elliptic and parabolic Moser-type iteration, establish control on curvature and second fundamental forms (Collins et al., 2012, Li et al., 2016).

The P-functional of Donaldson (and its variants for the flow) plays a central role. Along the HYM flow, the derivative of the P-functional monitors the $L^2$ gap between the evolving curvature and the HN-type endomorphism. Uniform lower bounds for this functional, proved via blow-up and regularization of coherent sheaf filtrations, yield $L^2$-approximate Hermitian–Einstein structure and lead to identification of the limiting objects (Jacob, 2011, Li et al., 2017).

Resolution of singular filtrations through a finite sequence of blow-ups converts sheaves to bundles on higher spaces, permitting controlled analytic estimates and lower bounds on functionals (Li et al., 2017, Li et al., 2014).

7. Geometric Significance and Applications

The Hermitian-Yang-Mills flow provides a canonical analytic pathway from an arbitrary initial metric to structures reflecting the algebraic geometry of the underlying sheaf. In the stable case, it achieves the Hermitian–Einstein metric, while for arbitrary holomorphic vector bundles or sheaves, it identifies and realizes the Harder-Narasimhan–Seshadri filtration analytically, even producing canonical polystable replacements in reflexive classes (Jacob, 2011, Li et al., 2017, Li et al., 2014, Chen et al., 9 Jan 2026).

Applications include:

• The analytic approach to the sharp Atiyah–Bott formula and energy bounds on arbitrary dimension (Jacob, 2011).
• Analytic proof and generalization of the Bando–Siu and Donaldson–Uhlenbeck–Yau correspondence to non-Kähler geometry (Chen et al., 9 Jan 2026, Nie et al., 2018).
• Construction and explicit description of bubbling sets and singularities in gauge-theoretic moduli problems (Collins et al., 2012, Li et al., 2016).
• Realization of the Hitchin–Kobayashi correspondence for semistable Higgs bundles through flow convergence (Saini, 2013, Li et al., 2014).

The flow thus occupies a central position at the interface of complex differential geometry, gauge theory, and algebraic geometry, providing a bridge between analytic evolution equations and canonical algebraic structures.