Iterative construction of Hermitian-Einstein metrics on stable bundles

Jiaxuan Fan; Shing-Tung Yau; Xiaokui Yang; Zhiyao Xiong

REVIEW 2 major objections 1 minor 16 references

Iterative construction of Hermitian-Einstein metrics on stable bundles

T0 review · 2 major / 1 minor · reviewed 2026-06-30 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Stable holomorphic vector bundles over compact Kähler or Gauduchon manifolds admit Hermitian-Einstein metrics via a convergent iteration from any initial metric.

desk verdict The paper gives an iterative construction of Hermitian-Einstein metrics that avoids Donaldson's method and reaches Gauduchon manifolds, but each step's nonlinear elliptic solvability is the part that needs checking. read the letter →

arxiv 2606.30121 v1 pith:V5PEFLRZ submitted 2026-06-29 math.DG

Jiaxuan Fan , Zhiyao Xiong , Xiaokui Yang , Shing-Tung Yau This is my paper · ORCID

classification math.DG

keywords stableholomorphicvectorbundleHermitian-EinsteinmetriciterativeconstructionKählermanifoldGauduchoncurvatureequation

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper shows that an explicit iteration produces the Hermitian-Einstein metric on any stable bundle. Given any positive number μ and any starting Hermitian metric, each step solves a linear equation for the next metric and the whole sequence converges smoothly to the metric whose curvature satisfies the Einstein condition. The argument works on Gauduchon manifolds as well as Kähler ones and never uses a variational functional. A reader would care because the method supplies a direct, constructive proof that extends beyond the Kähler case.

What carries the argument

The recursive linear equation that determines each successive metric h_{m+1} from the previous one, forcing the curvature operator toward the constant multiple of the metric.

What would settle it

A stable bundle together with some μ>0 and initial metric for which the iteration either fails to produce a unique smooth solution at some step or the limit fails to satisfy the Hermitian-Einstein equation.

Watch

Extended reading notes

Core claim

For any stable holomorphic vector bundle E over a compact Kähler or Gauduchon manifold, any μ>0 and any initial Hermitian metric h0, the iteration defined by Λ(√-1 R^{h_{m+1}}) = (λ_E - μ) h_{m+1} + μ h_m admits a unique solution sequence that converges smoothly to a Hermitian-Einstein metric satisfying Λ(√-1 R^{h_∞}) = λ_E h_∞.

Load-bearing premise

Each successive linear elliptic equation on the manifold admits a unique smooth solution.

Editorial extensions

If this is right

Every stable holomorphic vector bundle on these manifolds carries a Hermitian-Einstein metric.
The construction applies verbatim to Gauduchon manifolds.
Convergence holds for every choice of initial metric and every μ>0.
The existence proof does not depend on Donaldson's energy functional or variational methods.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The iteration may supply a practical numerical scheme for computing the metrics approximately.
Because the method avoids variational structure it could extend to other curvature equations where no energy decreases.
Smooth convergence of the sequence might be used to study the moduli space of stable bundles by tracking the limit metric explicitly.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The main point is a new iterative scheme for Hermitian-Einstein metrics on stable bundles over compact Kähler or Gauduchon manifolds. For any μ > 0 and any starting metric h0, the sequence is defined by solving Λ(√-1 R^{h_{m+1}}) = (λ_E - μ) h_{m+1} + μ h_m at each step, and the claim is that it converges smoothly to a metric satisfying the unperturbed Hermitian-Einstein equation.

This iteration and its claimed independence from Donaldson's variational framework are new relative to the literature referenced in the abstract. The underlying existence theorem is classical, so the contribution is the proof technique rather than a new theorem. The paper does well by stating the result uniformly for both Kähler and Gauduchon cases and by making the iteration explicit.

The soft spot is the solvability of the nonlinear elliptic equation at each step. Stability of the bundle ensures that any limit point satisfies the target equation, but it does not automatically supply existence or uniqueness for the perturbed intermediate equations. On Gauduchon manifolds the usual continuity-method or maximum-principle tools for the unperturbed case do not transfer directly, so the paper must supply adapted estimates. If those estimates are present and correct, the argument is fine; if they are only sketched or rely on unstated reductions, that is the load-bearing gap.

The work is for readers who want alternative analytic constructions in complex geometry. It is worth a serious referee to verify the elliptic estimates and the convergence details.

Referee Report

2 major / 1 minor

Summary. The manuscript claims that for any stable holomorphic vector bundle E over a compact Kähler or Gauduchon manifold (M, ω_g), any μ > 0, and any initial Hermitian metric h_0, there exists a unique sequence {h_m} satisfying Λ_ω_g(√-1 R^{h_{m+1}}) = (λ_E - μ) h_{m+1} + μ h_m that converges smoothly to a Hermitian-Einstein metric h_∞ with Λ_ω_g(√-1 R^{h_∞}) = λ_E h_∞. The construction is presented as independent of Donaldson's variational framework and valid on non-Kähler manifolds.

Significance. If the central claims hold, the result would supply a direct iterative construction of Hermitian-Einstein metrics on stable bundles that bypasses variational methods and extends to Gauduchon manifolds, providing a potentially useful alternative approach in the study of holomorphic vector bundles and their metrics.

major comments (2)

[Main iteration (abstract equation and proof of well-definedness)] The existence and uniqueness of a smooth positive Hermitian solution h_{m+1} to the nonlinear elliptic equation Λ_ω_g(√-1 R^{h_{m+1}}) = (λ_E - μ) h_{m+1} + μ h_m, for arbitrary fixed h_m, is invoked at the start of the iteration but is not derived from the stability assumption on E. Stability controls the limit but supplies no a-priori solvability for the intermediate steps; on Gauduchon manifolds the standard continuity or maximum-principle arguments for the unperturbed Hermitian-Einstein equation do not automatically extend to this μ-perturbed right-hand side.
[Convergence proof (Gauduchon case)] The elliptic estimates and convergence argument for the sequence on Gauduchon (non-Kähler) manifolds are not shown to carry over from the Kähler case without additional controls on the curvature term or references to prior results for perturbed equations; this step is load-bearing for the claim that the iteration converges smoothly for arbitrary initial h_0.

minor comments (1)

[Notation and estimates] Clarify the precise dependence of the constants in the elliptic estimates on μ and on the initial metric h_0.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the two major points below and will incorporate clarifications and additional details in a revised version.

read point-by-point responses

Referee: [Main iteration (abstract equation and proof of well-definedness)] The existence and uniqueness of a smooth positive Hermitian solution h_{m+1} to the nonlinear elliptic equation Λ_ω_g(√-1 R^{h_{m+1}}) = (λ_E - μ) h_{m+1} + μ h_m, for arbitrary fixed h_m, is invoked at the start of the iteration but is not derived from the stability assumption on E. Stability controls the limit but supplies no a-priori solvability for the intermediate steps; on Gauduchon manifolds the standard continuity or maximum-principle arguments for the unperturbed Hermitian-Einstein equation do not automatically extend to this μ-perturbed right-hand side.

Authors: We agree that the solvability of each intermediate step must be established explicitly rather than invoked. In the revision we will insert a new subsection proving existence and uniqueness of a smooth positive definite solution h_{m+1} to the perturbed equation. The argument adapts the continuity method to the Gauduchon setting by treating the μ-perturbation as a lower-order term, obtaining uniform C^0 bounds via a maximum-principle argument that exploits the Gauduchon condition on the torsion, and using the stability of E only to guarantee that the limiting metric (not the intermediates) satisfies the unperturbed equation. We will also record the a-priori estimates that ensure positivity at each finite step. revision: yes
Referee: [Convergence proof (Gauduchon case)] The elliptic estimates and convergence argument for the sequence on Gauduchon (non-Kähler) manifolds are not shown to carry over from the Kähler case without additional controls on the curvature term or references to prior results for perturbed equations; this step is load-bearing for the claim that the iteration converges smoothly for arbitrary initial h_0.

Authors: We acknowledge that the passage from the Kähler to the Gauduchon case requires additional justification. The revised manuscript will contain an expanded convergence section that derives the necessary elliptic estimates directly for the perturbed equation on a Gauduchon manifold. In particular, we will obtain uniform bounds on the curvature of the sequence by combining the iteration relation with the Gauduchon condition, and we will cite or adapt existing results on Hermitian metrics satisfying perturbed Hermitian-Einstein equations in the non-Kähler setting. These controls suffice to pass to the smooth limit for any initial h_0, independent of Donaldson's variational approach. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected in derivation chain

full rationale

The paper defines an explicit iteration equation directly from the curvature operator Λ(√-1 R^h) and the stability constant λ_E, then claims to prove existence of each successive h_{m+1} and smooth convergence to the Hermitian-Einstein limit. No step reduces a prediction to a fitted input by construction, renames a known result, or relies on a load-bearing self-citation whose content is itself unverified; the solvability of the intermediate nonlinear elliptic equation is asserted as part of the new proof rather than presupposed via prior author work. The derivation is therefore self-contained relative to the stability hypothesis and the stated PDE theory on Kähler/Gauduchon manifolds.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The construction rests on the classical definition of stability, the existence of the stability constant λ_E, and the solvability of a linear elliptic equation on a compact Gauduchon manifold; no free parameters or new entities are introduced in the abstract.

assumptions (2)

domain assumption A stable holomorphic vector bundle admits a well-defined real stability constant λ_E.
Invoked in the target equation for the Hermitian-Einstein metric.
domain assumption The linear operator defining the iteration is elliptic and invertible on the space of Hermitian metrics.
Required for the unique solvability of each step; location implicit in the statement that the sequence exists.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Iterative construction of Hermitian-Einstein metrics on stable bundles." pith.science (2026). https://pith.science/paper/V5PEFLRZ

@misc{pith2026260630121,
  author       = {Pith},
  title        = {Pith review of: Iterative construction of Hermitian-Einstein metrics on stable bundles},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/V5PEFLRZ}},
  note         = {Machine review of arXiv:2606.30121}
}

abstract

Let $E$ be a stable holomorphic vector bundle over a compact K\"ahler (or Gauduchon) manifold $(M,\omega_g)$. We show that for any real number $\mu>0$ and any initial Hermitian metric $h_0$ on $E$, there exists a unique iteration sequence $\{h_m\}$ satisfying $$ \Lambda_{\omega_g}\left(\sqrt{-1}R^{h_{m+1}}\right) =(\lambda_E-\mu)h_{m+1}+\mu h_m, $$ and $\{h_m\}$ converges smoothly to a Hermitian-Einstein metric $h_\infty$ on $E$ satisfying $$ \Lambda_{\omega_g}\left(\sqrt{-1}R^{h_{\infty}}\right) =\lambda_Eh_\infty, $$ where $\lambda_E\in \mathbb R$ is the stability constant. A key feature of this proof is that it is independent of Donaldson's variational framework and applies to non-K\"ahler manifolds.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 6 canonical work pages

[1]

The Hermitian-Yang-Mills Iteration on Stable Bundles

Cao, H.-D.; Sun, X.-F.; Zhang, Y.-Y. The Hermitian-Yang-Mills iteration on stable bundles. arXiv:2606.20307 (v2)

work page Pith review arXiv
[2]

Rubinstein, Y

Darvas, T. ; Rubinstein, Y. A. Convergence of the K\"ahler-Ricci iteration, Anal. PDE 12 (2019), no. 3, 721--735

2019
[3]

Anti self-dual Yang-Mills connections over complex algebraic surfaces and stable vector bundles, Proc

Donaldson, S. Anti self-dual Yang-Mills connections over complex algebraic surfaces and stable vector bundles, Proc. London Math. Soc. 50 (1985), 1--26

1985
[4]

Infinite determinants, stable bundles and curvature, Duke Math

Donaldson, S. Infinite determinants, stable bundles and curvature, Duke Math. J. 54 (1987), 231--247

1987
[5]

RC-positivity, comparison theorems and prescribed Hermitian-Yang-Mills tensors II

Fan, J.-X.; Wang, M.-W.; Yang, X.-K. and Yau, S.-T. Existence of Hermitian metrics with prescribed Hermitian-Yang-Mills tensors II. arXiv:2604.02679

work page Pith review arXiv
[6]

Ricci iterations on K\"ahler classes, J

Keller, J. Ricci iterations on K\"ahler classes, J. Inst. Math. Jussieu 8 (2009), no. 4, 743--768

2009
[7]

and Yau, S.-T

Li, J. and Yau, S.-T. Hermitian-Yang-Mills connection on non-K\"ahler manifolds, in Mathematical aspects of string theory , 560--573, 1986

1986
[8]

and Seshadri, C.-S

Narasimhan, M.-S. and Seshadri, C.-S. Stable and unitary vector bundles on a compact Riemann surface, Ann. of Math. (2) 82 (1965), 540--567

1965

Show all 16 references

[9]

Rubinstein, Y. A. The Ricci iteration and its applications, C. R. Math. Acad. Sci. Paris 345 (2007), no. 8, 445--448

2007
[10]

Rubinstein, Y. A. Some discretizations of geometric evolution equations and the Ricci iteration on the space of K\"ahler metrics, Adv. Math. 218 (2008), no. 5, 1526--1565

2008
[11]

and Yau, S.-T

Uhlenbeck, K. and Yau, S.-T. On the existence of Hermitian-Yang-Mills connections in stable vector bundles, Comm. Pure Appl. Math. 39 (1986), 257--293

1986
[12]

and Yau, S.-T

Wang, M.-W.; Yang, X.-K. and Yau, S.-T. Existence of Hermitian metrics with prescribed Hermitian-Yang-Mills tensors I. arXiv:2603.10611
[13]

and Yau, S.-T

Wang, M.-W.; Yang, X.-K. and Yau, S.-T. Existence of twisted Hermitian-Einstein metrics on unstable vector bundles. arXiv: 2606.15102
[14]

and Yau, S.-T

Xiong, Z.-Y.; Yang, X.-K. and Yau, S.-T. The prescribed Hermitian-Yang-Mills flow I. arXiv: 2606.21062

arXiv
[15]

and Yau, S.-T

Xiong, Z.-Y.; Yang, X.-K. and Yau, S.-T. The prescribed Hermitian-Yang-Mills flow II. arXiv: 2606.21073

arXiv
[16]

The Ricci iteration towards cscK metrics, Adv

Zhang, K.-W. The Ricci iteration towards cscK metrics, Adv. Math. 475 (2025), Paper No. 110340, 29 pp

2025

Pith tools

Reviewed June 30, 2026 · model on record in the stance chip above.

[1] [1]

The Hermitian-Yang-Mills Iteration on Stable Bundles

Cao, H.-D.; Sun, X.-F.; Zhang, Y.-Y. The Hermitian-Yang-Mills iteration on stable bundles. arXiv:2606.20307 (v2)

work page Pith review arXiv

[2] [2]

Rubinstein, Y

Darvas, T. ; Rubinstein, Y. A. Convergence of the K\"ahler-Ricci iteration, Anal. PDE 12 (2019), no. 3, 721--735

2019

[3] [3]

Anti self-dual Yang-Mills connections over complex algebraic surfaces and stable vector bundles, Proc

Donaldson, S. Anti self-dual Yang-Mills connections over complex algebraic surfaces and stable vector bundles, Proc. London Math. Soc. 50 (1985), 1--26

1985

[4] [4]

Infinite determinants, stable bundles and curvature, Duke Math

Donaldson, S. Infinite determinants, stable bundles and curvature, Duke Math. J. 54 (1987), 231--247

1987

[5] [5]

RC-positivity, comparison theorems and prescribed Hermitian-Yang-Mills tensors II

Fan, J.-X.; Wang, M.-W.; Yang, X.-K. and Yau, S.-T. Existence of Hermitian metrics with prescribed Hermitian-Yang-Mills tensors II. arXiv:2604.02679

work page Pith review arXiv

[6] [6]

Ricci iterations on K\"ahler classes, J

Keller, J. Ricci iterations on K\"ahler classes, J. Inst. Math. Jussieu 8 (2009), no. 4, 743--768

2009

[7] [7]

and Yau, S.-T

Li, J. and Yau, S.-T. Hermitian-Yang-Mills connection on non-K\"ahler manifolds, in Mathematical aspects of string theory , 560--573, 1986

1986

[8] [8]

and Seshadri, C.-S

Narasimhan, M.-S. and Seshadri, C.-S. Stable and unitary vector bundles on a compact Riemann surface, Ann. of Math. (2) 82 (1965), 540--567

1965