arxiv: 2604.02679 · v1 · submitted 2026-04-03 · 🧮 math.DG

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

Jiaxuan Fan , Mingwei Wang , Xiaokui Yang , Shing-Tung Yau This is my paper

Pith reviewed 2026-05-13 18:38 UTC · model grok-4.3

classification 🧮 math.DG

keywords Higgs bundlesHermitian-Yang-Mills tensorsprescribed curvatureHermitian metricscompact complex manifoldsChern numberscomparison theorems

0 comments

The pith

If a Higgs bundle has an initial metric with positive definite Hermitian-Yang-Mills tensor, then any positive definite target tensor is realized by a unique metric.

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

This paper solves the prescribed Hermitian-Yang-Mills tensor problem for Higgs bundles over compact Hermitian manifolds. It proves that the existence of one smooth Hermitian metric making the Hermitian-Yang-Mills tensor positive definite implies a unique smooth Hermitian metric exists for any chosen positive definite target tensor P. The work also derives quantitative inequalities relating Chern numbers of the bundle to this curvature data. A reader would care because the result converts a nonlinear geometric PDE into a solvable existence-uniqueness statement, allowing controlled curvature on vector bundles equipped with Higgs fields.

Core claim

Suppose that there exists a smooth Hermitian metric h0 on E such that the Hermitian-Yang-Mills tensor Λ_ω_g (√-1 R^{D^{h0}}) of the Higgs connection is positive definite. Then for any Hermitian positive definite tensor P∈Γ(M,E∗⊗Ē∗), there exists a unique smooth Hermitian metric h on E such that Λ_ω_g (√-1 R^{D^h})=P. Quantitative Chern number inequalities for Higgs bundles are also established.

What carries the argument

The Hermitian-Yang-Mills tensor Λ_ω_g (√-1 R^{D^h}) of the Higgs connection together with the assumption that it is positive definite for at least one initial metric, which permits comparison and continuity arguments to reach the prescribed target.

If this is right

Any positive definite tensor can be realized uniquely as the Hermitian-Yang-Mills tensor under the initial positivity hypothesis.
Quantitative upper and lower bounds hold for the Chern numbers of Higgs bundles that admit such metrics.
Comparison theorems extend directly to the prescribed-tensor setting for Higgs bundles.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The positivity condition may supply a practical test for when Higgs bundles admit metrics of controlled curvature on specific manifolds.
Similar initial-positivity hypotheses could be tested on non-compact bases or for bundles without Higgs fields to check how far the method reaches.
The Chern-number inequalities might be used to constrain the topology of moduli spaces containing such bundles.

Load-bearing premise

There exists at least one smooth Hermitian metric on the Higgs bundle for which the Hermitian-Yang-Mills tensor is positive definite.

What would settle it

An explicit Higgs bundle on a compact complex manifold admitting a positive definite initial Hermitian-Yang-Mills tensor but for which some positive definite prescribed P has either no solution or more than one solution.

read the original abstract

In this paper, we solve the prescribed Hermitian-Yang-Mills tensor problem for Higgs bundles over compact complex manifolds. Let $ (E,\theta) $ be a Higgs bundle over a compact Hermitian manifold $(M,\omega_g) $. Suppose that there exists a smooth Hermitian metric $ h_0 $ on $E$ such that the Hermitian-Yang-Mills tensor $ \Lambda_{\omega_g}\left(\sqrt{-1} R^{D^{h_0}}\right) $ of the Higgs connection is positive definite. Then for any Hermitian positive definite tensor $ P\in \Gamma\left(M,E^*\otimes \bar E^*\right) $, there exists a unique smooth Hermitian metric $ h $ on $E$ such that $$\Lambda_{\omega_g} \left(\sqrt{-1} R^{D^h}\right)=P.$$ We also establish quantitative Chern number inequalities for Higgs bundles.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a conditional existence-uniqueness theorem for prescribed HYM tensors on Higgs bundles, assuming an initial metric with positive definite HYM tensor, plus some quantitative Chern inequalities.

read the letter

The central result is that if a Higgs bundle over a compact Hermitian manifold has one metric whose HYM tensor is positive definite, then any positive definite target tensor P can be realized by a unique metric. This is presented as a complete statement extending their earlier comparison theorems. They also extract quantitative Chern number inequalities for Higgs bundles as a byproduct. The approach follows the expected continuity-method outline: openness via the implicit function theorem on the elliptic operator, closedness from a priori estimates, and uniqueness from the maximum principle on the difference of solutions. That structure is internally consistent and matches standard techniques in the area. The positivity hypothesis on the initial metric is stated explicitly and is not claimed to be removable, so the result stays conditional as described. The abstract and stress-test note give no sign of circularity or hidden fitting; the target P is independent of the starting data. Without the full manuscript the precise error estimates and the way the Higgs field enters the bounds are not visible, but nothing in the given claim suggests a load-bearing gap. This is aimed at people working on Hermitian metrics, Higgs bundles, and curvature equations. A reader who follows comparison theorems and stability questions will find the existence statement and the Chern inequalities useful. It is a solid incremental piece that deserves referee time rather than desk rejection.

Referee Report

0 major / 3 minor

Summary. The manuscript claims to solve the prescribed Hermitian-Yang-Mills tensor problem for Higgs bundles over compact Hermitian manifolds. Assuming an initial smooth Hermitian metric h0 on the Higgs bundle (E, θ) such that the HYM tensor Λ_ω_g (√-1 R^{D^{h0}}) is positive definite, it proves existence and uniqueness of a smooth Hermitian metric h satisfying Λ_ω_g (√-1 R^{D^h}) = P for any given positive definite Hermitian tensor P in Γ(M, E* ⊗ Ē*). It additionally derives quantitative Chern number inequalities for such Higgs bundles.

Significance. If the central result holds, the conditional existence-uniqueness theorem extends classical HYM metric results to the prescribed-tensor setting for Higgs bundles and supplies new quantitative inequalities that could bound Chern numbers in terms of the initial positivity data. The approach via comparison theorems and RC-positivity appears internally consistent with standard elliptic and parabolic techniques in Hermitian geometry.

minor comments (3)

[Abstract] Abstract: the notation for the target space of P (E* ⊗ Ē*) and the precise meaning of 'Hermitian positive definite tensor' should be recalled or referenced in the introduction to aid readers who may not immediately recognize the identification with End(E)-valued (1,1)-forms.
[Main theorem statement] The statement of the main theorem (presumably Theorem 1.1 or equivalent) should explicitly indicate whether the positivity assumption on h0 is used only for the initial step of the continuity method or also to control the a priori C^0 estimates in the closedness argument.
[Chern inequalities section] The quantitative Chern inequalities are presented as consequences; it would be helpful to state explicitly in which section the constants depend on the initial metric h0 and on the lower bound of the HYM tensor of h0.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of our manuscript, including the recommendation for minor revision. No specific major comments were provided in the report, so we interpret the minor revision as pertaining to possible editorial clarifications or minor adjustments to the presentation.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained under independent positivity assumption

full rationale

The central result is a conditional existence-uniqueness theorem for the prescribed HYM tensor equation on a Higgs bundle. It explicitly requires an initial smooth metric h0 such that Λ_ω_g(√-1 R^{D^{h0}}) is positive definite; this assumption is independent of the target positive definite tensor P and is not derived from or equivalent to the conclusion. Standard continuity-method arguments (openness via implicit function theorem on the elliptic operator, closedness via a priori estimates from the paper's comparison theorems, uniqueness via maximum principle) do not reduce to self-definition, fitted inputs renamed as predictions, or load-bearing self-citations. The quantitative Chern inequalities are stated as consequences once existence is obtained. No equations or steps in the provided claim exhibit the enumerated circularity patterns; the derivation chain remains externally verifiable against the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the domain assumption that an initial metric with positive definite Hermitian-Yang-Mills tensor exists; no free parameters or invented entities are introduced in the abstract statement.

axioms (1)

domain assumption Existence of initial metric h0 with positive definite Hermitian-Yang-Mills tensor on the Higgs bundle over compact Hermitian manifold.
Invoked directly in the hypothesis of the main theorem; without it the existence and uniqueness statements do not apply.

pith-pipeline@v0.9.0 · 5462 in / 1194 out tokens · 42889 ms · 2026-05-13T18:38:00.597222+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

[1]

On K\"ahler manifolds with vanishing canonical class, Algebraic geometry and topology Symposium in honor of S

Calabi, E. On K\"ahler manifolds with vanishing canonical class, Algebraic geometry and topology Symposium in honor of S. Lefschetz, Princeton Univ. Press, 1957, 78--89

work page 1957
[2]

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

work page 1985
[3]

Infinite determinants, stable bundles and curvature, Duke Math

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

work page 1987
[4]

Partial differential equations , second edition, Amer

Evans, L.-C. Partial differential equations , second edition, Amer. Math. Soc., Providence, RI, 2010

work page 2010
[5]

and Yau, S.-T

Fu, J.-X. and Yau, S.-T. The theory of superstring with flux on non-K\"ahler manifolds and the complex Monge-Amp\`ere equation, J. Differential Geom. 78 (2008), no. 3, 369--428

work page 2008
[6]

La 1 -forme de torsion d'une vari\'et\'e hermitienne compacte, Math

Gauduchon, P. La 1 -forme de torsion d'une vari\'et\'e hermitienne compacte, Math. Ann. 267 (1984), no. 4, 495--518

work page 1984
[7]

The self-duality equations on a Riemann surface, Proc

Hitchin, N.-J. The self-duality equations on a Riemann surface, Proc. London Math. Soc. (3) 55 (1987), no. 1, 59--126

work page 1987
[8]

and Yang, X.-K

Liu, K.-F. and Yang, X.-K. Geometry of Hermitian manifolds, Internat. J. Math. 23 (2012), no. 6, 1250055, 40 pp

work page 2012
[9]

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

work page 1965
[10]

Constructing variations of Hodge structure using Yang-Mills theory and applications to uniformization, J

Simpson, C.-T. Constructing variations of Hodge structure using Yang-Mills theory and applications to uniformization, J. Amer. Math. Soc. 1 (1988), no. 4, 867--918

work page 1988
[11]

Higgs bundles and local systems, Inst

Simpson, C.-T. Higgs bundles and local systems, Inst. Hautes \'Etudes Sci. Publ. Math. No. 75 (1992), 5--95

work page 1992
[12]

Moduli of representations of the fundamental group of a smooth projective variety

Simpson, C.-T. Moduli of representations of the fundamental group of a smooth projective variety. I, Inst. Hautes \'Etudes Sci. Publ. Math. No. 79 (1994), 47--129

work page 1994
[13]

Moduli of representations of the fundamental group of a smooth projective variety

Simpson, C.-T. Moduli of representations of the fundamental group of a smooth projective variety. II, Inst. Hautes \'Etudes Sci. Publ. Math. No. 80 (1994), 5--79

work page 1994
[14]

Tosatti, V

Sz\'ekelyhidi, G. ; Tosatti, V. and Weinkove, B. Gauduchon metrics with prescribed volume form, Acta Math. 219(2017), 181--211

work page 2017
[15]

and Weinkove, B

Tosatti, V. and Weinkove, B. Estimates for the complex Monge-Amp\`ere equation on Hermitian and balanced manifolds, Asian J. Math. 14 (2010), 19--40

work page 2010
[16]

and Weinkove, B

Tosatti, V. and Weinkove, B. The complex Monge-Amp\`ere equation on compact Hermitian manifolds, J. Amer. Math. Soc. 23 (2010), 1187--1195

work page 2010
[17]

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

Wang, M.-W.; Yang, X.-K and Yau, S.-T. RC-positivity, comparison theorems and prescribed Hermitian-Yang-Mills tensors I. arXiv:2603.10611

work page arXiv
[18]

RC-positivity, Schwarz's lemma and comparison theorems

Xiong, Z.-Y.; Yang, X.-K and Yau, S.-T. RC-positivity, Schwarz's lemma and comparison theorems. arXiv:2412.02553

work page arXiv
[19]

RC-positivity, rational connectedness and Yau's conjecture, Camb

Yang, X.-K. RC-positivity, rational connectedness and Yau's conjecture, Camb. J. Math. 6 (2018), no. 2, 183--212

work page 2018
[20]

Scalar curvature on compact complex manifolds, Trans

Yang, X.-K. Scalar curvature on compact complex manifolds, Trans. Amer. Math. Soc. 371 (2019), no. 3, 2073--2087

work page 2019
[21]

A partial converse to the Andreotti-Grauert theorem, Compos

Yang, X.-K. A partial converse to the Andreotti-Grauert theorem, Compos. Math. 155 (2019), no. 1, 89--99

work page 2019
[22]

RC-positive metrics on rationally connected manifolds, Forum Math

Yang, X.-K. RC-positive metrics on rationally connected manifolds, Forum Math. Sigma 8 (2020), Paper No. e53, 19 pp

work page 2020
[23]

Compact K\"ahler manifolds with quasi-positive second Chern-Ricci curvature, Comm

Yang, X.-K. Compact K\"ahler manifolds with quasi-positive second Chern-Ricci curvature, Comm. Anal. Geom. 32 (2024), no. 10, 2717--2734

work page 2024
[24]

On the Ricci curvature of a compact K\"ahler manifold and the complex Monge-Amp\`ere equation, Comm

Yau, S.-T. On the Ricci curvature of a compact K\"ahler manifold and the complex Monge-Amp\`ere equation, Comm. Pure Appl. Math. 31 (1978), 339--411

work page 1978
[25]

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

work page 1986