REVIEW 2 major objections 5 minor 299 references
Deformed Chern scalar curvature yields canonical metrics in Hermitian geometry
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-01 11:01 UTC pith:TALCYHDL
load-bearing objection A lecture-note survey of the author's own Hermitian-curvature program: no new theorems, but the deformed-Yamabe proof is written out fully and the central computation verifies. the 2 major comments →
Almost-Hermitian and Hermitian metrics
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is Theorem 5.8: on a compact complex manifold of dimension n≥3 with Hermitian metric ω and t>0, the t-deformed Yamabe invariant satisfies λ^t_X({ω}) ≤ tΛ_n, where Λ_n is the sharp constant of the Euclidean Sobolev inequality; if the inequality is strict, the t-deformed Yamabe equation has a positive smooth minimizer; and the pointwise condition (t−2n+1)μ_0(ω)(p)>0 at some point p guarantees the strict inequality. Here μ_t(ω)=scal^Ch(ω)+((t−n)/(n−1))d*θ+((t−2n)/4)|T|², built so that its conformal transformation law has no gradient term, making the associated Einstein–Hilbert functional bounded below and variational. The paper also proves the momentum-map theorem 4.2: under t
What carries the argument
The carrying object is the t-deformed scalar curvature μ_t(ω)=scal^Ch(ω)+(t−n)/(n−1)d*θ+(t−2n)/4|T|². The coefficients are chosen so that under a conformal change ω→e^fω the term linear in ∇f cancels; this makes the deformed Yamabe equation the Euler–Lagrange equation of the deformed Einstein–Hilbert functional, whose energy is bounded below. The proof of existence combines the sharp Sobolev inequality with bubble test functions built from holomorphic normal coordinates; the Taylor expansion of the metric at a point is used to compute the leading correction, and the sign of (t−2n+1)μ_0 decides whether the energy drops below the universal constant tΛ_n.
Load-bearing premise
The momentum-map half of the paper assumes a compact connected Lie group of symmetries of a special Lee-type twisted-Hamiltonian kind; without such a group, the momentum-map picture for locally conformally Kähler manifolds is not established.
What would settle it
Compute the t-deformed Yamabe invariant on a compact Hermitian manifold of dimension n≥3 where the pointwise condition (t−2n+1)μ_0(p)>0 holds, and exhibit that it equals tΛ_n (so no minimizer exists). The paper leaves open whether equality can occur, so a single such example would refute the sufficiency claim.
If this is right
- For any compact Kähler manifold of dimension n≥3 and any t>2n−1, there exists a Hermitian metric conformal to the Kähler one with constant t-deformed scalar curvature (Corollary 5.13).
- The deformed Yamabe invariant is always bounded above by tΛ_n, a universal constant depending only on dimension and t; this reduces existence questions to establishing a strict inequality.
- The momentum-map picture gives a Futaki-type obstruction: if the invariant F(Y) is nonzero, no K-invariant locally conformally Kähler structure can have constant momentum-map curvature.
- The constancy of the momentum map, rather than of Chern scalar curvature itself, is proposed as the natural canonical-metric equation in the locally conformally Kähler setting.
- The family interpolates between the classical Riemannian Yamabe problem (t=2n−1) and the locally conformally Kähler momentum-map equation (t=2n), so results apply to both settings at once.
Where Pith is reading between the lines
- If the momentum-map theorem extends beyond the assumed Lie-group symmetry, the Futaki-type obstruction would likely yield stability conditions for locally conformally Kähler manifolds analogous to K-stability — a direction the paper itself flags as open.
- Because equality λ^t_X({ω})=tΛ_n seems unrealized for n≥3 (the paper notes only CP^1 realizes it), a plausible conjecture is that strict inequality always holds in complex dimension at least 3; testing this on explicit manifolds like Hopf or Calabi-Eckmann would be informative.
- The paper's Hirzebruch-surface construction shows the existence result is not limited to locally homogeneous metrics; this suggests cohomogeneity-one ansätze could produce constant deformed scalar curvature metrics on many other ruled manifolds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper is a set of lecture notes surveying three problems in Hermitian geometry centered on the Chern scalar curvature: the Chern-Yamabe problem, the momentum-map interpretation of a deformed Chern scalar curvature in locally conformally Kähler geometry, and the variational theory of t-deformed Yamabe equations. It contains proofs of existence and uniqueness in the non-positive Gauduchon degree case, a conditional momentum-map theorem under a Lie-symmetry assumption, and an Aubin-type existence theorem for the deformed Yamabe problem. The exposition combines PDE, moment-map, and variational methods, with emphasis on the author's prior joint work.
Significance. As a survey, the paper is useful for bringing together three techniques and for presenting the deformed Yamabe generalization with explicit conformal formulas and a pointwise curvature condition. The classical parts are mostly self-contained and the momentum-map computation is coherent under its stated assumptions. However, the sharp Sobolev constant is stated with a wrong exponent, creating an internal inconsistency that directly affects the main existence theorem. The final numerical values of the deformed Yamabe constant appear to be correct, and the overall framework is promising, but the manuscript needs a careful correction of the constant formulas before it can be accepted.
major comments (2)
- [Theorem 5.5 and Remark 5.6] The sharp Sobolev inequality in Theorem 5.5 is misstated: the optimal constant for ||u||^2_{L^{2*}} ≤ σ_m ||∇u||^2 is σ_m = 4/(m(m-2)) Vol(S^m)^{-2/m}, not Vol(S^m)^{2/m}. As written, for m=4 the claimed σ_m is 2.565, while the bubble (19) gives ratio ≈0.0975; the equality statement is then false. The same sign error appears in Remark 5.6 ('σ_{2n}=1/(n(n-1))Vol(S^{2n})^{1/n}'). The table values and the final Λ_n=2n Vol^{1/n} are consistent with the corrected negative exponent, so the rest of the proof can be repaired, but Theorem 5.5 and Remark 5.6 must be corrected and checked.
- [Theorem 5.7 proof] The displayed computation of ∂_i \tilde{h}_{j\bar{ℓ}} + ∂_j \tilde{h}_{i\bar{ℓ}} is not correct. The derivative of the anti-holomorphic factor \overline{∂z^ℓ/∂w^j} with respect to w_i vanishes, so the term with complex conjugates in the displayed formula should not be present. With C^k_{rs}=1/4(∂_s h_{\bar{k}r}+∂_r h_{\bar{k}s}), the correct second derivative is ∂^2 z^ℓ/∂w_i∂w_j(0)=-2C^ℓ_{ij}=-1/2(∂_i h_{j\bar{ℓ}}+∂_j h_{i\bar{ℓ}}), which cancels the first-order terms and yields (20). As written, the proof does not justify the conclusion; please correct the computation.
minor comments (5)
- [Theorem 5.8 statement] Theorem 5.8 is labeled '([Aub76, Heb03])' but the deformed scalar curvature and the torsion-dependent pointwise criterion are from [APS+26]; [Aub76, Heb03] support the method. Please adjust the attribution.
- [Section 4.3] The momentum-map theorem is conditional on an assumed compact Lie group K; the text mentions Vaisman metrics as a model case but does not prove existence of such K in general. Please state explicitly in the main text that the momentum-map picture is established only under this extra symmetry, and discuss whether it holds for all Vaisman metrics or only a subclass.
- [Theorem 5.8, Step 11] The passage from subcritical minimizers to the critical equation is compressed: the case λ^t_{2*}<0 and the left-continuity of λ^t_s are only implicit. A remark with the standard splitting would improve readability.
- [Section 5.1, Eq. (12)] The phrase 'the coefficient of the gradient term' for n-(n-1)a+4b should read 'the coefficient of the first-order drift term g(∇f,θ^♯)'.
- [Remark 5.6] The numerical values of Λ_n in the table are correct, but the displayed formula for σ_{2n} must be fixed as indicated in the major comment above.
Circularity Check
No significant circularity: Theorem 5.8 and the momentum-map picture are internally derived; self-citations are survey-level, not load-bearing reductions.
full rationale
I examined the central existence theorem (Theorem 5.8). The deformed scalar curvature μ_t is defined in (11) with coefficients chosen so the conformal law (14) has no gradient term; this is a definition, not a fitted prediction. The Euler-Lagrange equivalence (Theorem 5.1) and the lower bound/invariant (17) follow directly from (14)-(16) and Hölder. The bubble computation in Steps 1-10 uses only the sharp Sobolev inequality (Theorem 5.5), holomorphic normal coordinates (Theorem 5.7), and the algebraic identities in Step 8 and Step 10; the strict-inequality criterion is derived from the expansion, not assumed. Step 11 is a standard Aubin-type subcritical argument with explicit estimates. The theorem is credited to [Aub76, Heb03], and the proof is largely self-contained, so [APS+26] is a description source, not a reduction. Section 4's momentum-map theorem is explicitly conditional on the existence of a compact Lee-type twisted-Hamiltonian group K (Section 4.3); this is an honest scope limitation rather than circularity. The proof uses linearization formulas and Weyl-connection computations, with technical lemmas cited from the authors' published [ACPS25]; those citations are not equivalent to assuming the target identity. The Chern-Yamabe results of Section 3 are proven by standard continuity/bifurcation methods and do not reduce to a fit. Overall the lecture notes are a self-survey, but no equation-level prediction is an input by construction.
Axiom & Free-Parameter Ledger
free parameters (2)
- deformation parameter t
- deformation coefficients a,b =
a=(t−n)/(n−1), b=(t−2n)/4
axioms (5)
- domain assumption Compact connected complex manifold, smooth tensors, non-Kähler in general
- standard math Sharp Sobolev inequality with optimal constant and bubble functions (Aubin–Talenti)
- standard math Elliptic regularity tools: Fredholm alternative, maximum principle, Calderón–Zygmund and Schauder estimates
- ad hoc to paper Existence of a compact Lie group K of Lee-type twisted-Hamiltonian symmetries with central V
- domain assumption For LCK metrics, |T^Ch|² = 2/(n−1)|θ|²
invented entities (2)
-
t-deformed scalar curvature μₜ
no independent evidence
-
t-deformed Yamabe invariant λᵗ_X({ω})
no independent evidence
read the original abstract
We describe three problems in Hermitian geometry related to the scalar curvature of the Chern connection, aimed at identifying and constructing canonical metrics. They are chosen as toy examples where different techniques naturally interact: analytic methods for partial differential equations, the notion of momentum map, and variational methods.
Reference graph
Works this paper leans on
-
[1]
de Bartolomeis, Paolo , Title =. Riv. Mat. Univ. Parma, V. Ser. , ISSN =. 1994 , Language =
1994
-
[2]
H. Calabi-. 1992 , Publisher =
1992
-
[3]
and Nirenberg, Louis , Title =
Newlander, A. and Nirenberg, Louis , Title =. Ann. Math. (2) , ISSN =. 1957 , Language =. doi:10.2307/1970051 , zbMATH =
doi:10.2307/1970051 1957
-
[4]
Schouten, J. A. and van Dantzig, D. , Title =. Math. Ann. , ISSN =. 1930 , Language =. doi:10.1007/BF01455698 , URL =
-
[5]
Introduction
Weil, Andr. Introduction. 1958 , Language =
1958
-
[6]
, Title =
Fubini, G. , Title =. 1904 , Language =
1904
-
[7]
Study, E. , Title =. Math. Ann. , ISSN =. 1905 , Language =. doi:10.1007/BF01457616 , URL =
-
[8]
Kodaira, Kunihiko , Title =. Ann. Math. (2) , ISSN =. 1954 , Language =. doi:10.2307/1969701 , zbMATH =
-
[9]
2012 , Publisher =
Demailly, Jean-Pierre , Title =. 2012 , Publisher =
2012
-
[10]
De Bartolomeis, Paolo and Tomassini, Adriano , Title =. Ann. Inst. Fourier , ISSN =. 2013 , Language =. doi:10.5802/aif.2764 , Keywords =
-
[11]
, Title =
Besse, Arthur L. , Title =. 2008 , Publisher =
2008
-
[12]
Gauduchon, Paul , title =
-
[13]
B. Non-compact. J. Am. Math. Soc. , ISSN =. 2023 , Language =. doi:10.1090/jams/1022 , Keywords =
-
[14]
, Title =
Wang, McKenzie Y. , Title =. Surveys in differential geometry. Vol. VI: Essays on Einstein manifolds. Lectures on geometry and topology, sponsored by Lehigh University's Journal of Differential Geometry , ISBN =. 1999 , Publisher =
1999
-
[15]
, Title =
Wang, McKenzie Y.-K. , Title =. Differential geometry: Under the influence of S.-S. Chern , ISBN =. 2012 , Publisher =
2012
-
[16]
New developments in Lie theory and geometry
Lauret, Jorge , Title =. New developments in Lie theory and geometry. Proceedings of the 6th workshop on Lie theory and geometry, Cruz Chica, C\'ordoba, Argentina, November 13--17, 2007 , ISBN =. 2009 , Publisher =
2007
-
[17]
2021 , HowPublished =
Jablonski, Michael , Title =. 2021 , HowPublished =
2021
-
[18]
Page, Don N. and Pope, C. N. , Title =. Classical Quantum Gravity , ISSN =. 1987 , Language =. doi:10.1088/0264-9381/4/2/005 , Keywords =
-
[19]
A compact rotating gravitational instanton
Page, Don N. A compact rotating gravitational instanton. Phys. Lett. B. 1978. doi:10.1016/0370-2693(78)90231-9
-
[20]
Sur de nouvelles vari
B. Sur de nouvelles vari. Inst. 1983 , Language =
1983
- [21]
-
[22]
Yau, Shing-Tung , Title =. Commun. Pure Appl. Math. , ISSN =. 1978 , Language =. doi:10.1002/cpa.3160310304 , Keywords =
-
[23]
Aubin, Thierry , Title =. Bull. Sci. Math., II. S. 1978 , Language =
1978
-
[24]
Chen, Xiuxiong and Donaldson, Simon and Sun, Song , Title =. J. Am. Math. Soc. , ISSN =. 2015 , Language =. doi:10.1090/S0894-0347-2014-00799-2 , Keywords =
-
[25]
Chen, Xiuxiong and Donaldson, Simon and Sun, Song , Title =. J. Am. Math. Soc. , ISSN =. 2015 , Language =. doi:10.1090/S0894-0347-2014-00800-6 , Keywords =
-
[26]
Chen, Xiuxiong and Donaldson, Simon and Sun, Song , Title =. J. Am. Math. Soc. , ISSN =. 2015 , Language =. doi:10.1090/S0894-0347-2014-00801-8 , Keywords =
-
[27]
Tian, Gang , Title =. Commun. Pure Appl. Math. , ISSN =. 2015 , Language =. doi:10.1002/cpa.21578 , Keywords =
-
[28]
Cao, Huai-Dong , Title =. Invent. Math. , ISSN =. 1985 , Language =. doi:10.1007/BF01389058 , Keywords =
- [29]
-
[30]
Osaka Math
Yamabe, Hidehiko , Title =. Osaka Math. J. , ISSN =. 1960 , Language =
1960
-
[31]
Trudinger, N. S. , Title =. Ann. Sc. Norm. Super. Pisa, Sci. Fis. Mat., III. Ser. , ISSN =. 1968 , Language =
1968
-
[32]
Schoen, Richard , Title =. J. Differ. Geom. , ISSN =. 1984 , Language =. doi:10.4310/jdg/1214439291 , Keywords =
arXiv 1984
-
[33]
Schoen, Richard and Yau, Shing-Tung , Title =. Commun. Math. Phys. , ISSN =. 1979 , Language =. doi:10.1007/BF01940959 , Keywords =
-
[35]
Gauduchon, Paul , Title =. Boll. Unione Mat. Ital., VII. Ser., B , ISSN =. 1997 , Language =
1997
-
[36]
Gray, Alfred and Hervella, Luis M. , Title =. Ann. Mat. Pura Appl. (4) , ISSN =. 1980 , Language =. doi:10.1007/BF01796539 , Keywords =
-
[37]
Balas, Andrew and Gauduchon, Paul , Title =. Math. Z. , ISSN =. 1985 , Language =. doi:10.1007/BF01159161 , Keywords =
-
[38]
Liu, Kefeng and Yang, Xiaokui , Title =. Trans. Am. Math. Soc. , ISSN =. 2017 , Language =. doi:10.1090/tran/7000 , Keywords =
-
[39]
Liu, Ke-Feng and Yang, Xiao-Kui , Title =. Int. J. Math. , ISSN =. 2012 , Language =. doi:10.1142/S0129167X12500553 , Keywords =
-
[40]
del Rio, Heberto and Simanca, Santiago R. , Title =. J. Geom. Anal. , ISSN =. 2003 , Language =. doi:10.1007/BF02931004 , Keywords =
-
[41]
Gauduchon, Paul , Title =. C. R. Acad. Sci., Paris, S. 1977 , Language =
1977
-
[42]
Gauduchon, Paul , Title =. C. R. Acad. Sci., Paris, S. 1981 , Language =
1981
-
[43]
Gauduchon, Paul , Title =. Math. Ann. , ISSN =. 1984 , Language =. doi:10.1007/BF01455968 , Keywords =
-
[44]
Angella, Daniele and Calamai, Simone and Spotti, Cristiano , Title =. Math. Res. Lett. , ISSN =. 2017 , Language =. doi:10.4310/MRL.2017.v24.n3.a3 , Keywords =
-
[45]
Gauduchon, P. and Ivanov, S. , Title =. Math. Z. , ISSN =. 1997 , Language =. doi:10.1007/PL00004342 , Keywords =
-
[46]
de Lima, L. L. and Piccione, P. and Zedda, M. , Title =. Ann. Inst. Henri Poincar. 2012 , Language =. doi:10.1016/j.anihpc.2011.10.005 , Keywords =
-
[47]
Lejmi, Mehdi and Maalaoui, Ali , Title =. J. Geom. Anal. , ISSN =. 2018 , Language =. doi:10.1007/s12220-017-9929-6 , Keywords =
-
[48]
Calamai, Simone and Zou, Fangyu , Title =. Differ. Geom. Appl. , ISSN =. 2020 , Language =. doi:10.1016/j.difgeo.2020.101612 , Keywords =
arXiv 2020
-
[49]
Fusi, Elia , Title =. J. Geom. Anal. , ISSN =. 2022 , Language =. doi:10.1007/s12220-022-00920-4 , Keywords =
-
[50]
Lejmi, Mehdi and Upmeier, Markus , Title =. Commun. Anal. Geom. , ISSN =. 2020 , Language =. doi:10.4310/CAG.2020.v28.n7.a4 , Keywords =
-
[51]
Barbaro, Giuseppe , Title =. J. Geom. Anal. , ISSN =. 2023 , Language =. doi:10.1007/s12220-023-01203-2 , Keywords =
-
[52]
Angella, Daniele and Calamai, Simone and Pediconi, Francesco and Spotti, Cristiano , title =. Transform. Groups , issn =. 2025 , language =. doi:10.1007/s00031-023-09815-2 , keywords =
-
[53]
Analysis, complex geometry, and mathematical physics: in honor of Duong H
Tosatti, Valentino , Title =. Analysis, complex geometry, and mathematical physics: in honor of Duong H. Phong. Proceedings of the conference, Columbia University, New York, NY, USA, May 7--11, 2013 , ISBN =. 2015 , Publisher =
2013
-
[54]
Tosatti, Valentino and Weinkove, Ben , Title =. J. Am. Math. Soc. , ISSN =. 2010 , Language =. doi:10.1090/S0894-0347-2010-00673-X , Keywords =
-
[55]
Angella, Daniele and Calamai, Simone and Spotti, Cristiano , Title =. Math. Z. , ISSN =. 2020 , Language =. doi:10.1007/s00209-019-02424-4 , Keywords =
-
[56]
Gauduchon metrics with prescribed volume form , FJournal =
Sz. Gauduchon metrics with prescribed volume form , FJournal =. Acta Math. , ISSN =. 2017 , Language =. doi:10.4310/ACTA.2017.v219.n1.a6 , Keywords =
-
[57]
Gauduchon, Paul , Title =. C. R. Acad. Sci., Paris, S. 1980 , Language =
1980
-
[58]
Teleman, Andrei , Title =. Math. Ann. , ISSN =. 2006 , Language =. doi:10.1007/s00208-006-0782-3 , Keywords =
-
[59]
Yang, Xiaokui , Title =. Trans. Am. Math. Soc. , ISSN =. 2019 , Language =. doi:10.1090/tran/7409 , Keywords =
-
[60]
Gauduchon, Paul , Title =. Bull. Soc. Math. Fr. , ISSN =. 1977 , Language =. doi:10.24033/bsmf.1846 , Keywords =
-
[61]
L. The universal. 2006 , Publisher =. doi:10.1090/memo/0863 , Keywords =
-
[62]
Bogomolov, F. A. , Title =. 1980 , Language =
1980
-
[63]
Luebke, Martin , Title =. Math. Ann. , ISSN =. 1982 , Language =. doi:10.1007/BF01475761 , Keywords =
-
[64]
Kobayashi, Shoshichi , Title =. Proc. Japan Acad., Ser. A , ISSN =. 1982 , Language =. doi:10.3792/pjaa.58.158 , Keywords =
-
[65]
L. Stability of. Manuscr. Math. , ISSN =. 1983 , Language =. doi:10.1007/BF01169586 , Keywords =
-
[66]
Podest. Homogeneous. Transform. Groups , ISSN =. 2018 , Language =. doi:10.1007/s00031-017-9450-9 , Keywords =
- [67]
-
[68]
Alekseevsky, Dmitri V. and Podest. Homogeneous almost-. Math. Z. , ISSN =. 2020 , Language =. doi:10.1007/s00209-019-02446-y , Keywords =
-
[69]
Angella, Daniele and Pediconi, Francesco , Title =. Proc. R. Soc. Edinb., Sect. A, Math. , ISSN =. 2023 , Language =. doi:10.1017/prm.2022.5 , Keywords =
-
[70]
The curvature and the integrability of almost-
Apostolov, Vestislav and Dr. The curvature and the integrability of almost-. Symplectic and contact topology: Interactions and perspectives. Papers of the workshop on symplectic and contact topology, quantum cohomology, and symplectic field theory, Montreal and Toronto, Canada, March--April 2001 , ISBN =. 2003 , Publisher =
2001
-
[71]
Della Vedova, Alberto , Title =. J. Symplectic Geom. , ISSN =. 2019 , Language =. doi:10.4310/JSG.2019.v17.n5.a1 , Keywords =
-
[72]
2023 , HowPublished =
Barbaro, Giuseppe , Title =. 2023 , HowPublished =
2023
-
[73]
Barbaro, Giuseppe and Lejmi, Mehdi , Title =. Complex Manifolds , ISSN =. 2023 , Language =. doi:10.1515/coma-2022-0150 , Keywords =
-
[74]
2024 , HowPublished =
Angella, Daniele and Miceli, Marco and Placini, Giovanni , Title =. 2024 , HowPublished =
2024
-
[75]
Tian, Gang , Title =. J. Differ. Geom. , ISSN =. 1990 , Language =. doi:10.4310/jdg/1214445039 , Keywords =
arXiv 1990
-
[76]
Zelditch, Steve , Title =. Int. Math. Res. Not. , ISSN =. 1998 , Language =. doi:10.1155/S107379289800021X , Keywords =
-
[77]
Ruan, Wei-Dong , Title =. Commun. Anal. Geom. , ISSN =. 1998 , Language =. doi:10.4310/CAG.1998.v6.n3.a5 , Keywords =
-
[78]
Balas, Andrew , Title =. Math. Z. , ISSN =. 1985 , Language =. doi:10.1007/BF01175044 , Keywords =
-
[79]
Sato, Takuji and Sekigawa, Kouei , Title =. Math. Z. , ISSN =. 1990 , Language =. doi:10.1007/BF02571270 , Keywords =
-
[80]
Apostolov, Vestislav and Davidov, Johann and Mu. Compact self-dual. Trans. Am. Math. Soc. , ISSN =. 1996 , Language =. doi:10.1090/S0002-9947-96-01585-1 , Keywords =
-
[81]
Davidov, Johann and Grantcharov, Gueo and Mu. Curvature properties of the. Rocky Mt. J. Math. , ISSN =. 2009 , Language =. doi:10.1216/RMJ-2009-39-1-27 , Keywords =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.