Regularity of a Geodesic equation in the space of mixed Volume Forms on Hermitian Manifolds
Pith reviewed 2026-07-03 09:13 UTC · model grok-4.3
The pith
A degenerate geodesic equation for mixed volume forms has C^{1,1} solutions on Hermitian manifolds under ellipticity conditions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under conditions for ellipticity, the geodesic equation in the space of mixed volume forms on Hermitian manifolds admitting a balanced metric has a C^{1,1} solution; the same holds for the Donaldson equation, which therefore possesses a unique C^{1,1} solution on such manifolds. The proof rests on uniform Laplacian estimates for the perturbed equation and the construction of explicit subsolutions.
What carries the argument
The perturbed equation together with its uniform Laplacian estimates and explicit subsolutions, which together upgrade weak solutions of the original degenerate equation to C^{1,1} regularity.
If this is right
- Existence of C^{1,1} geodesics between mixed volume forms on balanced Hermitian manifolds.
- Unique C^{1,1} solution to the Donaldson equation on the same class of manifolds.
- The space of mixed volume forms carries a well-defined C^{1,1} geodesic structure under the ellipticity hypotheses.
Where Pith is reading between the lines
- The result may allow one to define a length functional or distance on the space of mixed volume forms that is realized by these C^{1,1} paths.
- It is natural to ask whether the same regularity persists when the ellipticity conditions are weakened or when the manifold is only almost Hermitian.
- The technique of constructing explicit subsolutions could be tested on other fully nonlinear equations that arise from geometric flows on Hermitian manifolds.
Load-bearing premise
The manifold must admit a balanced metric and the equation must satisfy the stated ellipticity conditions.
What would settle it
An explicit Hermitian manifold without a balanced metric on which the geodesic equation fails to possess any C^{1,1} solution.
read the original abstract
We prove regularity of a fully nonlinear equation that arises from the study of geodesics in the space of mixed volume forms on Hermitian manifolds admitting a balanced metric. Under conditions for ellipticity, we prove that this degenerate equation has a $C^{1,1}$ solution on Hermitian manifolds. We derive uniform Laplacian estimates for the perturbed equation, and also construct explicit subsolutions. In particular, this shows the existence of a unique $C^{1,1}$ solution to the Donaldson equation on Hermitian manifolds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves C^{1,1} regularity for a degenerate fully nonlinear equation on Hermitian manifolds admitting a balanced metric. The equation is the geodesic equation in the space of mixed volume forms. Under stated ellipticity conditions the proof proceeds by perturbing the equation, deriving uniform Laplacian estimates, constructing explicit subsolutions, and passing to the limit; as a corollary the Donaldson equation admits a unique C^{1,1} solution.
Significance. If the claimed uniformity holds, the result would extend regularity theory for fully nonlinear equations from the Kähler to the Hermitian setting and supply a new tool for studying geodesics in infinite-dimensional spaces of volume forms. The explicit subsolution construction is a concrete strength.
major comments (1)
- [Perturbation and Laplacian estimates] The uniformity (with respect to the perturbation parameter) of the Laplacian estimates on the perturbed family is load-bearing for the C^{1,1} claim. The abstract states that uniform estimates are derived, yet the ellipticity modulus of the target degenerate equation vanishes; without an explicit argument showing that the constants remain bounded independently of the degeneracy parameter, the passage to the limit does not automatically yield a C^{1,1} solution for the original equation.
minor comments (1)
- The precise ellipticity conditions (e.g., the admissible cone or the lower bound on the eigenvalues) should be stated explicitly in the introduction rather than deferred to later sections.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive feedback on our manuscript. We address the major comment point by point below.
read point-by-point responses
-
Referee: [Perturbation and Laplacian estimates] The uniformity (with respect to the perturbation parameter) of the Laplacian estimates on the perturbed family is load-bearing for the C^{1,1} claim. The abstract states that uniform estimates are derived, yet the ellipticity modulus of the target degenerate equation vanishes; without an explicit argument showing that the constants remain bounded independently of the degeneracy parameter, the passage to the limit does not automatically yield a C^{1,1} solution for the original equation.
Authors: We thank the referee for highlighting this crucial aspect of the argument. The Laplacian estimates appear in Section 3 (specifically the proof of the main a priori estimate), where the maximum principle is applied to a suitably chosen auxiliary function. The resulting constants depend only on the background balanced Hermitian metric, the C^0 bound on the solution (which is uniform by the explicit subsolution construction), and the lower bound on the ellipticity modulus of the perturbed operator. The perturbation is constructed so that this lower bound remains positive and independent of the degeneracy parameter; this is recorded in the paragraph following equation (3.4). We nevertheless agree that the independence from the degeneracy parameter is not stated in a single dedicated sentence and could be made more transparent. We will add such a clarifying paragraph in the revised version. revision: yes
Circularity Check
No circularity; regularity via standard elliptic estimates and subsolutions on independent assumptions
full rationale
The paper's central claim is a C^{1,1} regularity result for a degenerate fully nonlinear geodesic equation on Hermitian manifolds with balanced metrics, obtained by perturbing the equation, deriving uniform Laplacian estimates, constructing explicit subsolutions, and passing to the limit. These steps rely on analytic estimates and constructions that are not defined in terms of the target solution or fitted to the output data. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations appear in the derivation chain. The ellipticity conditions and balanced metric assumption are external to the result and do not reduce the claimed existence/uniqueness to a tautology. The derivation is therefore self-contained against external PDE techniques.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Complex analysis and geometry (
Alessandrini, Lucia and Bassanelli, Giovanni , TITLE =. Complex analysis and geometry (. 1996 , ISBN =
1996
-
[2]
Angella, Daniele , TITLE =. 2014 , PAGES =. doi:10.1007/978-3-319-02441-7 , URL =
-
[3]
B ocki, Zbigniew , TITLE =. Sci. China Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1007/s11425-011-4197-6 , URL =
-
[4]
Cao, Huai Dong , TITLE =. Invent. Math. , FJOURNAL =. 1985 , NUMBER =. doi:10.1007/BF01389058 , URL =
-
[5]
Caffarelli, L. and Nirenberg, L. and Spruck, J. , TITLE =. Acta Math. , FJOURNAL =. 1985 , NUMBER =. doi:10.1007/BF02392544 , URL =
-
[6]
Chen, Xiuxiong , TITLE =. J. Differential Geom. , FJOURNAL =. 2000 , NUMBER =
2000
-
[7]
Chen, Xiuxiong , TITLE =. Internat. Math. Res. Notices , FJOURNAL =. 2000 , NUMBER =. doi:10.1155/S1073792800000337 , URL =
-
[8]
Chen, Xiuxiong and He, Weiyong , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2011 , NUMBER =. doi:10.1093/imrn/rnq099 , URL =
-
[9]
Chen, Xiuxiong and He, Weiyong , TITLE =. Pure Appl. Math. Q. , FJOURNAL =. 2019 , NUMBER =. doi:10.4310/PAMQ.2019.v15.n4.a3 , URL =
-
[10]
Chen, Xiuxiong and Donaldson, Simon and Sun, Song , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2014 , NUMBER =. doi:10.1093/imrn/rns279 , URL =
-
[11]
Cherrier, Pascal , TITLE =. Bull. Sci. Math. (2) , FJOURNAL =. 1987 , NUMBER =
1987
-
[12]
Chern, Shiing-shen , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1946 , PAGES =. doi:10.2307/1969037 , URL =
-
[13]
Chu, Jianchun , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00526-019-1648-3 , URL =
-
[14]
Chu, Jianchun and Tosatti, Valentino and Weinkove, Ben , TITLE =. Ann. PDE , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s40818-017-0034-8 , URL =
-
[15]
Chu, Jianchun and Tosatti, Valentino and Weinkove, Ben , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2019 , NUMBER =. doi:10.4171/JEMS/878 , URL =
-
[16]
and Picard, Sebastien , TITLE =
Collins, Tristan C. and Picard, Sebastien , TITLE =. Amer. J. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.1353/ajm.2022.0040 , URL =
-
[17]
and Ishii, Hitoshi and Lions, Pierre-Louis , TITLE =
Crandall, Michael G. and Ishii, Hitoshi and Lions, Pierre-Louis , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1992 , NUMBER =. doi:10.1090/S0273-0979-1992-00266-5 , URL =
-
[18]
2012 , url =
Jean-Pierre Demailly , title =. 2012 , url =
2012
-
[19]
Dinew, S awomir and Ko odziej, S awomir , TITLE =. Amer. J. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1353/ajm.2017.0009 , URL =
-
[20]
Dinew, S awomir and Picard, Sebastien and Teleman, Andrei and Verjovsky, Alberto , TITLE =. [2019] 2019 , PAGES =. doi:10.1007/978-3-030-25883-2 , URL =
-
[21]
Donaldson, Simon K. , TITLE =. The many facets of geometry , PAGES =. 2010 , ISBN =. doi:10.1093/acprof:oso/9780199534920.003.0005 , URL =
work page doi:10.1093/acprof:oso/9780199534920.003.0005 2010
-
[22]
Donaldson, S. K. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1985 , NUMBER =. doi:10.1112/plms/s3-50.1.1 , URL =
-
[23]
Donaldson, S. K. , TITLE =. Asian J. Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.4310/AJM.1999.v3.n1.a1 , URL =
-
[24]
Pierre Deligne , title =
-
[25]
Dong, Guang Chang , TITLE =. 1991 , PAGES =. doi:10.1090/mmono/095 , URL =
-
[26]
Evans, Lawrence C. , TITLE =. 1998 , PAGES =. doi:10.1090/gsm/019 , URL =
-
[27]
Evans, Lawrence C. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1982 , NUMBER =. doi:10.1002/cpa.3160350303 , URL =
-
[28]
Geometry and topology of manifolds , SERIES =
Fu, Jixiang , TITLE =. Geometry and topology of manifolds , SERIES =. 2016 , ISBN =. doi:10.1007/978-4-431-56021-0\_6 , URL =
-
[29]
Fu, Ji-Xiang and Yau, Shing-Tung , TITLE =. Comm. Anal. Geom. , FJOURNAL =. 2007 , NUMBER =
2007
-
[30]
Fu, Ji-Xiang and Yau, Shing-Tung , TITLE =. J. Differential Geom. , FJOURNAL =. 2008 , NUMBER =
2008
-
[31]
Fu, Jixiang and Wang, Zhizhang and Wu, Damin , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00526-014-0714-0 , URL =
-
[32]
Fu, Jixiang and Wang, Zhizhang and Wu, Damin , TITLE =. Math. Res. Lett. , FJOURNAL =. 2010 , NUMBER =. doi:10.4310/MRL.2010.v17.n5.a7 , URL =
-
[33]
Gauduchon, Paul , TITLE =. Math. Ann. , FJOURNAL =. 1984 , NUMBER =. doi:10.1007/BF01455968 , URL =
- [34]
-
[35]
George, Mathew , TITLE =
- [36]
-
[37]
George, Mathew and Guan, Bo , TITLE =. arXiv:2411.10946 , YEAR =
-
[38]
George, Mathew and Guan, Bo and Qiu, Chunhui , TITLE =. J. Geom. Anal. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s12220-022-00918-y , URL =
-
[39]
Gerhardt, Claus , TITLE =. J. Differential Geom. , FJOURNAL =. 1996 , NUMBER =
1996
-
[40]
Gilbarg, David and Trudinger, Neil S. , TITLE =. 1983 , PAGES =. doi:10.1007/978-3-642-61798-0 , URL =
-
[41]
Gill, Matt , TITLE =. Comm. Anal. Geom. , FJOURNAL =. 2011 , NUMBER =. doi:10.4310/CAG.2011.v19.n2.a2 , URL =
-
[42]
2014 , JOURNAL =
Gill, Matt , TITLE =. 2014 , JOURNAL =
2014
-
[43]
Guan, Bo , TITLE =. Duke Math. J. , FJOURNAL =. 2014 , NUMBER =. doi:10.1215/00127094-2713591 , URL =
-
[44]
Guan, Bo and Li, Qun , TITLE =. Adv. Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.aim.2010.03.019 , URL =
-
[45]
Guan, Bo and Nie, Xiaolan , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2023 , NUMBER =. doi:10.1093/imrn/rnac219 , URL =
-
[46]
Guan, Bo and Qiu, Chunhui and Yuan, Rirong , TITLE =. Adv. Math. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.aim.2018.11.008 , URL =
-
[47]
Guan, Pengfei and Wang, Guofang , TITLE =. Int. Math. Res. Not. , FJOURNAL =. 2003 , NUMBER =. doi:10.1155/S1073792803212034 , URL =
-
[48]
Gunning, Robert C. and Rossi, Hugo , TITLE =. 2009 , PAGES =. doi:10.1090/chel/368 , URL =
-
[49]
, TITLE =
Guo, Bin and Phong, Duong H. , TITLE =. ICCM Not. , FJOURNAL =. 2023 , NUMBER =
2023
-
[50]
Guo, Bin and Phong, Duong H. and Tong, Freid , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2023 , NUMBER =. doi:10.4007/annals.2023.198.1.4 , URL =
-
[51]
and Streets, Jeffrey , TITLE =
Gursky, Matthew J. and Streets, Jeffrey , TITLE =. Geom. Flows , FJOURNAL =. 2019 , NUMBER =. doi:10.1515/geofl-2019-0003 , URL =
-
[52]
Griffiths, Phillip and Harris, Joseph , TITLE =. 1994 , PAGES =. doi:10.1002/9781118032527 , URL =
-
[53]
, TITLE =
Hamilton, Richard S. , TITLE =. J. Differential Geometry , FJOURNAL =. 1982 , NUMBER =
1982
-
[54]
Harvey, F. Reese and Lawson, Jr., H. Blaine , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2013 , NUMBER =. doi:10.1512/iumj.2013.62.4886 , URL =
-
[55]
He, Weiyong , TITLE =. Math. Ann. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00208-020-02021-5 , URL =
-
[56]
2008 , eprint=
The Donaldson equation , author=. 2008 , eprint=
2008
-
[57]
Hodge, W. V. D. , TITLE =. Proceedings of the. 1952 , MRCLASS =
1952
-
[58]
Huang, Liding and Zhang, Jiaogen , TITLE =. Math. Z. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00209-022-03202-5 , URL =
-
[59]
2005 , PAGES =
Huybrechts, Daniel , TITLE =. 2005 , PAGES =
2005
-
[60]
Kung, Joseph P. S. and Rota, Gian-Carlo and Yan, Catherine H. , TITLE =. 2009 , PAGES =. doi:10.1017/CBO9780511803895 , URL =
-
[61]
Krylov, N. V. , TITLE =. Izv. Akad. Nauk SSSR Ser. Mat. , FJOURNAL =. 1983 , NUMBER =
1983
-
[62]
Latorre, Adela and Ugarte, Luis , TITLE =. C. R. Math. Acad. Sci. Paris , FJOURNAL =. 2017 , NUMBER =. doi:10.1016/j.crma.2016.11.004 , URL =
-
[63]
, TITLE =
Lefschetz, S. , TITLE =. 1950 , PAGES =
1950
-
[64]
Lieberman, Gary M. , TITLE =. 1996 , PAGES =. doi:10.1142/3302 , URL =
-
[65]
Lin, Mi and Trudinger, Neil S. , TITLE =. Bull. Austral. Math. Soc. , FJOURNAL =. 1994 , NUMBER =. doi:10.1017/S0004972700013770 , URL =
-
[66]
Liu, Kefeng and Yang, Xiaokui , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2017 , NUMBER =. doi:10.1090/tran/7000 , URL =
-
[67]
Li, Peter and Yau, Shing-Tung , TITLE =. Acta Math. , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF02399203 , URL =
-
[68]
Mabuchi, Toshiki , TITLE =. Osaka J. Math. , FJOURNAL =. 1987 , NUMBER =
1987
-
[69]
and Stasheff, James D
Milnor, John W. and Stasheff, James D. , TITLE =. 1974 , PAGES =
1974
-
[70]
Michelsohn, M. L. , TITLE =. Acta Math. , FJOURNAL =. 1982 , NUMBER =. doi:10.1007/BF02392356 , URL =
-
[71]
Moroianu, Andrei , TITLE =. 2007 , PAGES =. doi:10.1017/CBO9780511618666 , URL =
-
[72]
, TITLE =
Nirenberg, L. , TITLE =. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) , FJOURNAL =. 1959 , PAGES =
1959
-
[73]
, TITLE =
Nirenberg, L. , TITLE =. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) , FJOURNAL =. 1966 , PAGES =
1966
-
[74]
Phong, Duong H. and T\^. Fully non-linear parabolic equations on compact. Ann. Sci. \'. 2021 , NUMBER =. doi:10.24033/asens.2471 , URL =
-
[75]
Semmes, Stephen , TITLE =. Amer. J. Math. , FJOURNAL =. 1992 , NUMBER =. doi:10.2307/2374768 , URL =
-
[76]
and Yau, S.-T
Schoen, R. and Yau, S.-T. , TITLE =. 1994 , PAGES =
1994
-
[77]
Song, Jian and Weinkove, Ben , TITLE =. An introduction to the. 2013 , ISBN =. doi:10.1007/978-3-319-00819-6\_3 , URL =
-
[78]
Song, Jian and Tian, Gang , TITLE =. Amer. J. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1353/ajm.2016.0025 , URL =
-
[79]
Streets, Jeffrey and Tian, Gang , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2011 , NUMBER =. doi:10.4171/JEMS/262 , URL =
-
[80]
Strominger, Andrew , TITLE =. Nuclear Phys. B , FJOURNAL =. 1986 , NUMBER =. doi:10.1016/0550-3213(86)90286-5 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.