REVIEW 1 major objections 6 minor 1 cited by
Deformed Hermitian-Yang-Mills equation on the manifold of full flags
T0 review · 1 major / 6 minor · reviewed 2026-07-10 · glm-5.2
Pith's one-line read First irreducible higher-rank dHYM connection built in small-radius regime
desk verdict First irreducible higher-rank dHYM connections, plus useful counterexamples to stability conjectures read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The homogeneous space F₂ = SU(3)/T² admits invariant (1,1)-forms parametrized by three real constants. For rank-two homogeneous U(2)-bundles, Wang's theorem and Schur's lemma classify invariant connections up to gauge, leaving a single free parameter a. The curvature decomposes into components F_0,...,F_3 valued in the basis {ξ₀,ξ₁,ξ₂,ξ₃} of u(2), and the dHYM equation Im(e^{-iθ}(ω⊗id+FA)³)=0 collapses, via vanishing of the ξ₂ and ξ₃ components, to the condition Im(E₀)Im(E₁) = -Re(E₀)Re(E₁), which is a quadratic in 2a². Asymptotic analysis of the coefficients A, B, C as the Kähler scaling t→0 (small radius) or t→∞ (large radius) determines when a positive root exists.
What would settle it
If the quadratic equation (2a²)²A + 2a²B + C = 0 fails to have a positive real root for some Kähler class in the small-radius regime — for instance if the asymptotic sign analysis of the coefficients A, B, C breaks down for a non-symmetric Kähler metric not covered by the Weyl group reduction — then the irreducible dHYM connection would not exist for that class, contradicting the universality claim of Theorem 59.
Extended reading notes
Core claim
The dHYM equation for SU(3)-invariant rank-two connections on F₂ reduces to a quadratic equation in a single real parameter. In the small-radius limit, the coefficients of this quadratic have opposite signs, forcing a positive root and thus an irreducible dHYM connection. This is the first construction of an irreducible higher-rank dHYM connection in the small-radius regime.
Load-bearing premise
The reduction to a single case via the Weyl group action assumes that the Weyl group element preserving the complex structure also preserves the Kähler class and the dHYM equation simultaneously. For symmetric (Kähler-Einstein) metrics this is automatic, but for a general Kähler class the reduction may not cover all cases, potentially narrowing the claimed generality.
Editorial extensions
If this is right
- The small-radius construction provides a template for finding irreducible dHYM connections on other homogeneous Kähler manifolds where invariant connections reduce to a finite-dimensional system.
- The rank-one counterexamples to the Collins-Jacob-Yau and hypercritical conjectures on F₂ show that the supercritical hypothesis is genuinely necessary, not merely technical, for the conjectured numerical stability criterion to characterize existence.
- The explicit central-charge sign computations for curves C₁, C₂, C₃ demonstrate that the Jacob-Sheu sign condition from the one-point blowup of CPⁿ does not generalize to arbitrary threefolds, constraining the search for a universal non-supercritical stability condition.
- The large-radius existence criterion (slope inequality µ(L₁)<µ(V)<µ(L₂)) connects dHYM existence to Bridgeland-type Z-stability, suggesting that the small-radius regime may admit an analogous stability interpretation via the J-equation.
Reading between the lines
- The Weyl group reduction to the case i(ρ₁-ρ₂)=+r₁ with a₂=a₃=0 may not cover all Kähler classes, since a Weyl group element mapping r₃→r₁ need not preserve a non-symmetric Kähler class. The small-radius existence claim is therefore unambiguous for Kähler-Einstein metrics (which are Weyl-symmetric) but may require separate verification for general Kähler classes.
- The quadratic structure of the reduced dHYM equation suggests that on other flag manifolds G/T, similar reductions via Wang's theorem could yield algebraic (rather than PDE-analytic) existence criteria, potentially extending the construction to higher-rank groups.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the deformed Hermitian-Yang-Mills (dHYM) equation on the full flag manifold F_2 = SU(3)/T^2, in both rank one and rank two. The authors exploit the homogeneous structure of F_2 to reduce the dHYM PDE to explicit algebraic equations via Wang's theorem on invariant connections and the Maurer-Cartan equations. The main results are: (1) in rank one, explicit dHYM solutions exist for every (1,1)-class and every possible phase angle, yielding counterexamples to the Collins-Jacob-Yau and Collins-Yau stability conjectures outside the supercritical/hypercritical regimes; (2) in rank two, the first irreducible dHYM connections are constructed in both the small radius regime (Theorem 59) and the large radius regime (Theorem 57), the former being the paper's headline contribution. The computations are lengthy but self-contained, reducing ultimately to sign analysis of a quadratic equation in the connection parameter 2a^2.
Significance. The construction of the first irreducible higher-rank dHYM connection in the small radius regime (Theorem 10/Theorem 59) is a genuine first and addresses a clear gap in the literature, where most prior work on higher-rank dHYM has been confined to the large radius regime or reducible connections. The rank-one counterexamples to stability conjectures outside the supercritical regime are also valuable, complementing prior work of Zhang and Chu-Lee. The use of homogeneous geometry to obtain fully explicit solutions is an effective strategy that could be exported to other flag-type manifolds. The computations are falsifiable and checkable: the reduction to a quadratic equation (Proposition 55, Eq. 4.16) and the asymptotic sign analyses (Lemmas 56, 58) are concrete and verifiable.
major comments (1)
- [Theorem 10 (§1.2) vs Theorem 59 (§4.6)] The introduction states 'for any Kähler form ω on F_2' while the proof of Theorem 59 operates with homogeneous (SU(3)-invariant) Kähler forms parametrized by (A_1, A_2, A_3). Since homogeneous Kähler forms do parametrize the full Kähler cone of F_2, the result does cover every Kähler class. However, the phrasing 'for any Kähler form' in the introduction is misleading because the proof produces a dHYM connection only for the homogeneous representative within each class, not for an arbitrary representative. The body of Theorem 59 correctly says 'for any Kähler class [ω]'. The introduction should be brought in line with the body to avoid confusion. This is a phrasing issue, not a mathematical gap, but it affects the precision of the central claim.
minor comments (6)
- [Remark 50 (§4.3)] The reduction to the case i(ρ_1−ρ_2)=+r_1 with a_2=a_3=0 uses the Weyl group action. The argument that the reflection p_2 preserves the integrable complex structure J_i while swapping r_1↔r_3, and that the sign ambiguity r_1 vs −r_1 is absorbed by the a^2-symmetry of the quadratic (Eq. 4.16), is correct but stated very tersely. A sentence or two spelling out why no generality is lost—especially the point that Eq. 4.16 depends only on a^2—would help the reader.
- [§4.4] The vanishing identities R_{23}∧ω_2=0, R_{23}∧dβ_p∧ω=0, etc., are stated without proof. While these follow from α_2 appearing twice in the wedge product, a brief parenthetical justification would improve readability.
- [Notation (§3 onward)] The cyclic sum notation P_{⟳i,j,k} is introduced in Eq. (2.14) but used heavily throughout §3–4. A reminder at the start of §3 or in a notation index would be helpful.
- [Figures (§3.3, §3.4)] The figures (1a–c, 2, 3, 4a–c) are referenced extensively and are essential for understanding the sign analyses. The manuscript should confirm that publication-quality versions are included in the submission.
- [§3.4, Corollary 37] The counterexample to [CY18, Conjecture 8.5] is stated clearly, but the relationship to Chu-Lee's prior counterexample [CL23] (mentioned in Remark 38) could be more precisely delineated—e.g., what does the 3-dimensional counterexample add beyond the 2-dimensional one?
- [Lemma 19 (§2.3.1)] The constant c in the expression μ_i = c/(A_j^2 A_k^2) is stated to be independent of i but its value or interpretation is not given. Specifying it (even as a topological constant) would clarify the normalization.
Circularity Check
No significant circularity found.
full rationale
The paper's derivation chain is self-contained and does not exhibit circularity. The main results (Theorems 10/59 and 11/57) reduce the dHYM equation on homogeneous U(2)-bundles over F_2 = SU(3)/T^2 to an explicit algebraic quadratic equation (Proposition 55, Eq. 4.16) in the parameter 2a^2. This reduction uses Wang's theorem (Theorem 40, an external result from 1958) and the Maurer-Cartan equations (Eq. 2.3) to compute curvature components (Lemma 51), which are then substituted into the dHYM equation (Lemma 52) to obtain the quadratic. The existence of solutions is then established by sign analysis of the coefficients A, B, C in the small and large radius limits (Lemmas 56, 58), which is a direct asymptotic computation. No parameter is fitted to data and then presented as a prediction. The rank-one results (Theorem 23) follow because invariant (1,1)-forms have constant eigenvalues, making the dHYM equation trivially satisfied. The counterexamples to the Collins-Jacob-Yau and Collins-Yau conjectures (Theorems 7, 9, Corollaries 31, 37) are computed directly from the central charge formulas (Lemma 26) without assuming the conjectures they refute. Self-citations (e.g., to [Oli22] for Wang's theorem exposition) are expository, not load-bearing for the mathematical argument. The derivation is genuinely independent of its conclusions.
Assumptions & free parameters
free parameters (1)
- a (connection parameter) =
2a² = (-B + √(B²-4AC))/(2A)
assumptions (4)
- standard math Wang's theorem for invariant connections on homogeneous bundles
- domain assumption Collins-Jacob-Yau conjecture (Conjecture 4) and Collins-Yau conjecture (Conjecture 5)
- domain assumption Existence of lifted angle and non-emptiness of H_Ω (Definition 1)
- standard math Maurer-Cartan equations for SU(3)
Cite this review
Pith. "Pith review of Deformed Hermitian-Yang-Mills equation on the manifold of full flags." pith.science (2026). https://pith.science/paper/WYANAQ7J
@misc{pith2026260708622,
author = {Pith},
title = {Pith review of: Deformed Hermitian-Yang-Mills equation on the manifold of full flags},
year = {2026},
howpublished = {\url{https://pith.science/paper/WYANAQ7J}},
note = {Machine review of arXiv:2607.08622}
}
read the original abstract
We construct the first example of a higher rank, irreducible deformed Hermitian-Yang-Mills (dHYM) connection in the small radius regime. We also construct these in the large radius regime on infinitely many different bundles and make some contributions to the rank one equation as well. In particular, we investigate solutions away from the supercritical regime, showing the existence of solutions with any possible angle, and rule out some possible stability conditions.
Figures
Figures from the paper (1 more)
Forward citations
Cited by 1 Pith paper
-
The deformed Vortex equations and equivariant stability conditions
On vortex-type SU(2)-equivariant bundles over a product of a curve with P¹, solvability of the deformed Hermitian–Yang–Mills system is equivalent to Z-stability, and Bridgeland stability implies Z-stability.
Reference graph
Works this paper leans on
-
[1]
Twistor geometry of the flag manifold
[ABBS23] Amedeo Altavilla, Edoardo Ballico, Maria Chiara Brambilla, and Simon Salamon. Twistor geometry of the flag manifold . Math. Z. 303 (2023), no. 1, Paper No. 24,
work page 2023
-
[2]
Twistor geometry of the Flag manifold
doi:10.1007/s00209-022-03161-x. arXiv:2112.11100 ↑14. [Bal23] Aashirwad Ballal. The supercritical deformed Hermitian Yang–Mills equation on compact projective manifolds. Illinois J. Math. 67 (2023), no. 1, pp. 73–99. doi:10.1215/00192082-10417484. arXiv:2108.00876 ↑2. [BH58] A. Borel and F. Hirzebruch. Characteristic classes and homogeneous spaces. I . Am...
work page Pith review arXiv doi:10.1007/s00209-022-03161-x 2023
-
[3]
44 REFERENCES [Bry06] Robert L. Bryant. On the geometry of almost complex 6-manifolds . Asian J. Math. 10 (2006), no. 3, pp. 561–605. doi: 10 . 4310 / AJM . 2006 . v10 . n3 . a4. arXiv:math/0508428 ↑7. [BT82] Raoul Bott and Loring W. Tu. Differential forms in algebraic topology. Graduate Texts in Mathematics 82 (1982), pp. xiv+331 ↑11. [Che04] X. X. Chen....
work page Pith review arXiv doi:10.4310/cag.2004.v12.n4.a4 2006
-
[4]
The J-equation and the supercritical deformed Hermitian–Yang–Mills equation
[Che21] Gao Chen. The J-equation and the supercritical deformed Hermitian–Yang–Mills equation. Invent. Math. 225 (2021), no. 2, pp. 529–602. doi: 10.1007/s00222- 021-01035-3 ↑2–4. [CJY20] Tristan C. Collins, Adam Jacob, and Shing-Tung Yau. (1,
-
[5]
forms with specified Lagrangian phase: a priori estimates and algebraic obstructions . Camb. J. Math. 8 (2020), no. 2, pp. 407–452. doi: 10.4310/cjm.2020.v8.n2.a4 ↑2,
-
[6]
[CL23] Jianchun Chu and Man-Chun Lee.Hypercritical deformed Hermitian–Yang–Mills equation revisited. J. Reine Angew. Math. 801 (2023), pp. 161–172. doi:10.1515/ crelle-2023-0034. arXiv:2206.00387 ↑4,
work page Pith review arXiv 2023
-
[7]
Stability for Line Bundles and Deformed Hermitian-Yang-Mills Equation on Some Elliptic Surfaces
arXiv: 2306.05620 ↑2. [CLT24] Jianchun Chu, Man-Chun Lee, and Ryosuke Takahashi. A Nakai–Moishezon type criterion for supercritical deformed Hermitian–Yang–Mills equation . J. Differential Geom. 126 (2024), no. 2, pp. 583–632. doi:10.4310/jdg/1712344220. arXiv:2105.10725 ↑3. [Cor24] Eder M. Correa. DHYM instantons on higher rank holomorphic vector bundles...
-
[8]
Stability and the deformed Hermitian–Yang– Mills equation
doi: 10.1007/s00209- 024-03592-8. arXiv:2307.05787 ↑5. [CS17] Tristan C. Collins and G´ abor Sz´ ekelyhidi.Convergence of the J-flow on toric manifolds. J. Differential Geom. 107 (2017), no. 1, pp. 47–81. doi: 10.4310/jdg/ 1505268029. arXiv:1412.4809 ↑3. [CS22] Tristan C. Collins and Yun Shi. “Stability and the deformed Hermitian–Yang– Mills equation”. In...
Show all 34 references
-
[9]
The deformed Hermitian– Yang–Mills equation in geometry and physics
Surv. Differ. Geom. Int. Press, Boston, MA, 2022, pp. 1–38 ↑2. [CXY18] Tristan C. Collins, Dan Xie, and Shing-Tung Yau. “The deformed Hermitian– Yang–Mills equation in geometry and physics”. In: Geometry and physics. Vol. I: A Festschrift in honour of Nigel Hitchin . Oxford Un...
2022 arXiv
-
[10]
[DMS24] Ruadha´ ı Dervan, John Benjamin McCarthy, and Lars Martin Sektnan.Z-critical connections and Bridgeland stability conditions
doi: 10.1007/s40818-021-00100-7 ↑2. [DMS24] Ruadha´ ı Dervan, John Benjamin McCarthy, and Lars Martin Sektnan.Z-critical connections and Bridgeland stability conditions . Camb. J. Math. 12 (2024), no. 2, pp. 253–355. doi: 10.4310/cjm.2024.v12.n2.a1 . arXiv:2012.10426 ↑5, 6,
-
[11]
Minimal slopes and bubbling for complex Hessian equations
REFERENCES 45 [DMS26] Ved Datar, Ramesh Mete, and Jian Song. Minimal slopes and bubbling for complex Hessian equations . Adv. Math. 491 (2026), Paper No. 110865,
2026
-
[12]
Moment maps and diffeomorphisms
doi:10.1016/j.aim.2026.110865. arXiv:2312.03370 ↑5. [DNST25] R´ emi Delloque, Achim Napame, Carlo Scarpa, and Carl Tipler. Polynomial Stability Conditions for Vector Bundles: Positivity, Equivariance and Blow-Ups (2025). arXiv:2506.23842 ↑5. [Don99] S. K. Donaldson. “Moment ma...
2026 doi
-
[13]
1999, pp
Sir Michael Atiyah: a great mathematician of the twentieth century. 1999, pp. 1–15. doi:
1999
-
[14]
[DP21] Ved V
4310/AJM.1999.v3.n1.a1 ↑2. [DP21] Ved V. Datar and Vamsi Pritham Pingali. A numerical criterion for generalised Monge–Amp` ere equations on projective manifolds. Geom. Funct. Anal. 31 (2021), no. 4, pp. 767–814. doi: 10.1007/s00039-021-00577-1. arXiv:2006.01530 ↑3. [Fan26] Yu-...
- [15]
-
[16]
arXiv:2311.11794 ↑6
1007/s00220-024-05060-0. arXiv:2311.11794 ↑6. [Fow24b] Udhav Fowdar. Explicit abelian instantons on S1-invariant K ¨ahler Einstein 6-manifolds. J. Geom. Phys. 203 (2024), Paper No. 105269,
2024 arXiv
-
[17]
geomphys.2024.105269
doi: 10.1016/j. geomphys.2024.105269. arXiv:2207.02940 ↑6. [FYZ24] Jixiang Fu, Shing-Tung Yau, and Dekai Zhang. A new flow solving the LYZ equation in K¨ahler geometry. J. Differential Geom. 128 (2024), no. 1, pp. 153–192. doi:10.4310/jdg/1721075261. arXiv:2105.13576 ↑3. [FYZ2...
2024 doi
-
[18]
arXiv:1909.08871 ↑2
doi: 10.1007/s00526-020-01880-9. arXiv:1909.08871 ↑2. [HJ24] Xiaoli Han and Xishen Jin. Chern number inequalities of deformed Hermitian- Yang-Mills metrics on four dimensional K ¨ahler manifolds. Manuscripta Math. 174 (2024), no. 3-4, pp. 963–972. doi:10.1007/s00229-023-01531-...
-
[19]
A special Lagrangian type equation for holomorphic line bundles
[JY17] Adam Jacob and Shing-Tung Yau. A special Lagrangian type equation for holomorphic line bundles . Math. Ann. 369 (2017), no. 1-2, pp. 869–898. doi:
2017
-
[20]
Z-critical equations for holomorphic vector bundles on K ¨ahler surfaces
[KS26] Julien Keller and Carlo Scarpa. Z-critical equations for holomorphic vector bundles on K ¨ahler surfaces. Math. Ann. 395 (2026), no. 1, Paper No. 10,
2026
-
[21]
arXiv:2405.03312 ↑5
doi:10.1007/s00208-026-03441-5. arXiv:2405.03312 ↑5. [LE26] Luiz Lara and Henrique N. S´ a Earp. Asymptotically Z-stable bundles over projective surfaces (2026). arXiv:2604.20264 ↑5. [Lin23] Chao-Ming Lin. The deformed Hermitian–Yang–Mills equation, the Positivstel- lensatz, a...
-
[22]
Stability conditions and canonical metrics
1016/j.aim.2023.109312 ↑2. [Lin24] Chao-Ming Lin. Deformed Hermitian–Yang–Mills equation on compact Hermit- ian manifolds. Math. Res. Lett. 31 (2024), no. 1, pp. 207–254. doi: 10.4310/mrl. 240904213410 ↑2. [LS15] Mehdi Lejmi and G´ abor Sz´ ekelyhidi. The J-flow and stability ...
2023 doi
-
[23]
[Met26] Ramesh Mete
arXiv: 2302.04966 ↑2. [Met26] Ramesh Mete. Singularity formation in co-dimension one of the dHYM cotangent flow on blow up of CP3 at a point (2026). arXiv:2409.14404 ↑5. [MMMS00] Marcos Mari˜ no, Ruben Minasian, Gregory Moore, and Andrew Strominger. Nonlinear instantons from s...
2026 arXiv
-
[24]
arXiv: hep- th/ 9911206 ↑2
doi: 10.1088/1126- 6708/2000/01/005 . arXiv: hep- th/ 9911206 ↑2. [Mur26a] Rei Murakami. J-equations and deformed Hermitian–Yang–Mills equations on holomorphic submersions . Math. Z. 312 (2026), no. 3, Paper No. 91,
2026 doi
-
[25]
[Mur26b] Rei Murakami
doi:10.1007/s00209-026-03981-1 ↑2. [Mur26b] Rei Murakami. Weak limits of the J-flow and the deformed Hermitian–Yang– Mills flow on K ¨ahler surfaces: boundary cases . Ann. Global Anal. Geom. 69 (2026), no. 2, Paper No. 7,
2026 doi
-
[26]
doi: 10.1007/s10455-026-10032-9 ↑3,
-
[27]
Some useful facts on invariant connections
[Oli22] Gon¸ calo Oliveira. “Some useful facts on invariant connections”. In: Current trends in analysis, its applications and computation . Trends Math. Res. Perspect. Birkh¨auser/Springer, Cham, 2022, pp. 483–493. doi: 10 . 1007 / 978 - 3 - 030 - 87502-2\_49 ↑27. [Pin19] Vam...
2022 doi
-
[28]
[SW08] Jian Song and Ben Weinkove
doi: 10.1007/ s12220-024-01636-3 ↑2. [SW08] Jian Song and Ben Weinkove. On the convergence and singularities of the J-flow with applications to the Mabuchi energy . Comm. Pure Appl. Math. 61 (2008), no. 2, pp. 210–229. doi: 10.1002/cpa.20182. arXiv:math/0410418 ↑2,
-
[29]
[Sz´ e18] G´ abor Sz´ ekelyhidi.Fully non-linear elliptic equations on compact Hermitian manifolds. J. Differential Geom. 109 (2018), no. 2, pp. 337–378. doi: 10.4310/ jdg/1527040875 ↑3. [Tak20] R. Takahashi. Tan-concavity property for Lagrangian phase operators and appli- cat...
2018
-
[30]
[Tak24] Ryosuke Takahashi
doi: 10.1142/S0129167X20501165 ↑3. [Tak24] Ryosuke Takahashi. J-equation on holomorphic vector bundles . J. Funct. Anal. 286 (2024), no. 4, Paper No. 110265,
2024 doi
-
[31]
[Wan58] Hsien-chung Wang
doi: 10.1016/j.jfa.2023.110265 ↑5. [Wan58] Hsien-chung Wang. On invariant connections over a principal fibre bundle . Nagoya Math. J. 13 (1958), pp. 1–19 ↑14, 26,
2023 doi
-
[32]
Convergence of the J-flow on K ¨ahler surfaces
[Wei04] Ben Weinkove. Convergence of the J-flow on K ¨ahler surfaces. Comm. Anal. Geom. 12 (2004), no. 4, pp. 949–965. doi: 10 . 4310 / cag . 2004 . v12 . n4 . a8. arXiv:math/0306012 ↑2,
2004 arXiv
-
[33]
On the J-flow in higher dimensions and the lower boundedness of the Mabuchi energy
[Wei06] Ben Weinkove. On the J-flow in higher dimensions and the lower boundedness of the Mabuchi energy . J. Differential Geom. 73 (2006), no. 2, pp. 351–358. arXiv:math/0309404 ↑2,
2006 arXiv
-
[34]
Special Lagrangian and deformed Hermitian Yang–Mills on tropical manifold
[Yam18] Hikaru Yamamoto. Special Lagrangian and deformed Hermitian Yang–Mills on tropical manifold. Math. Z. 290 (2018), no. 3-4, pp. 1023–1040. doi: 10.1007/ s00209-018-2050-0 ↑2. [Zha23] Junsheng Zhang. A note on the supercritical deformed Hermitian–Yang–Mills equation (2023...
2018 arXiv
Reviewed July 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.