Parabolic complex Monge-Ampere equations on compact Kahler manifolds
Pith reviewed 2026-05-25 16:54 UTC · model grok-4.3
The pith
General parabolic complex Monge-Ampère equations on compact Kähler manifolds admit long-time existence and convergence without convexity or concavity assumptions on the operator.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors prove that general parabolic complex Monge-Ampère type equations on compact Kähler manifolds have solutions that exist for all positive time and converge as time tends to infinity, even when the second-order operator is not necessarily convex or concave in the Hessian matrix of the unknown solution.
What carries the argument
The parabolic complex Monge-Ampère equation, a nonlinear parabolic PDE on the Kähler manifold that couples the unknown function to the complex Hessian and a background volume form, with a priori estimates that close without convexity assumptions.
If this is right
- Long-time solutions exist for equations previously excluded by convexity requirements.
- Asymptotic convergence to a limit solution holds as time goes to infinity.
- The result covers a wider set of equations modeling flows in Kähler geometry.
- Maximum principle and integral estimates suffice using only compactness and the Kähler structure.
Where Pith is reading between the lines
- Similar techniques might apply to equations on other compact complex manifolds beyond Kähler.
- New existence results could emerge for geometric problems where the operator lacks convexity.
- Future extensions might address non-compact cases or add boundary conditions.
Load-bearing premise
The underlying manifold must be compact and Kähler to provide the necessary complex structure and volume form for the estimates to hold.
What would settle it
A concrete counterexample would be a specific parabolic complex Monge-Ampère equation on a compact Kähler manifold where the solution blows up in finite time or fails to converge, despite satisfying the equation's assumptions.
read the original abstract
We study the long-time existence and convergence of general parabolic complex Monge-Ampere type equations whose second order operator is not necessarily convex or concave in the Hessian matrix of the unknown solution.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims long-time existence and convergence for general parabolic complex Monge-Ampère type equations on compact Kähler manifolds, where the second-order operator is not necessarily convex or concave in the Hessian of the unknown solution.
Significance. If the central claim holds, the result would extend the theory of fully nonlinear parabolic equations in complex geometry beyond the standard Evans-Krylov framework, which relies on convexity/concavity for interior C^{2,α} bounds. This could apply to a broader class of equations, provided the alternative estimates close without hidden structural assumptions equivalent to concavity.
major comments (1)
- [Abstract / missing estimates section] The abstract asserts long-time existence and convergence without the convexity/concavity hypothesis on F, but the provided text contains no derivation of the required C^{2,α} estimates. The load-bearing step is therefore the alternative argument that replaces Evans-Krylov; without seeing the specific estimates (e.g., any section deriving second-derivative bounds via maximum principle or integral identities on the compact Kähler manifold), it is impossible to verify whether the claim holds for genuinely non-convex F.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for identifying the central role of the C^{2,α} estimates. We address the major comment below.
read point-by-point responses
-
Referee: [Abstract / missing estimates section] The abstract asserts long-time existence and convergence without the convexity/concavity hypothesis on F, but the provided text contains no derivation of the required C^{2,α} estimates. The load-bearing step is therefore the alternative argument that replaces Evans-Krylov; without seeing the specific estimates (e.g., any section deriving second-derivative bounds via maximum principle or integral identities on the compact Kähler manifold), it is impossible to verify whether the claim holds for genuinely non-convex F.
Authors: The second-order estimates without convexity or concavity of F are derived in Section 3. We apply the maximum principle to a carefully chosen auxiliary function built from the trace of the Hessian with respect to the evolving Kähler metric and close the estimates via integral identities that exploit the Kähler condition and the structure of the parabolic complex Monge-Ampère operator. A brief reference to this section has been added to the introduction for clarity. revision: partial
Circularity Check
No circularity; derivation self-contained via standard parabolic estimates on compact Kähler manifolds
full rationale
The abstract states long-time existence and convergence for parabolic complex Monge-Ampère equations without convexity/concavity of the second-order operator. No equations, self-citations, fitted parameters, or ansätze are exhibited in the provided text that reduce the central claim to its inputs by construction. Compactness of the Kähler manifold supplies the background structure for maximum principles and integral identities, which is an external geometric hypothesis rather than a derived or fitted quantity. No load-bearing step is shown to collapse into self-definition or renaming of known results.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We do not assume any concavity (or convexity) condition on the speed function F... the right-hand side of (1.5), det(δij + ∇i∇ju), ... is not concave in the Hessian. Therefore, it does not fall within the scope of standard PDE methods such as those developed in [9,28,57,60].
-
IndisputableMonolith/Foundation/AlphaCoordinateFixation.leanalpha_pin_under_high_calibration unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
For the second order estimate, we will use the test function G(x,t) = log Tr h − Aϕ + B/2 F² ... The key observation is that the differentiation of the F² term will contribute good quadratic third order terms, which can be used to control the bad terms due to the lack of concavity.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
Flows of conformally coclosed $G_2$-structures with dilaton
The authors define a G2-anomaly flow that deforms conformally coclosed G2-structures, compare it to the G2-Laplacian coflow, and establish short-time existence along with fixed-point characterizations.
Reference graph
Works this paper leans on
-
[1]
Aubin, Equations du type Monge-Amp` ere sur les vari´ et´ es k¨ ahleriennes compactes, Bull
T. Aubin, Equations du type Monge-Amp` ere sur les vari´ et´ es k¨ ahleriennes compactes, Bull. Sci. Math. (2) 102 (1978), no. 1, 63-95
work page 1978
-
[2]
E. Bedford and B.A. Taylor, The Dirichlet problem for the complex Monge- Amp` ere operator, Invent. Math. 37 (1976), 1-44
work page 1976
-
[3]
E. Bedford and B.A. Taylor, A new capacity for plurisubharmonic functions , Acta Math. 149 (1982), 1-40
work page 1982
-
[4]
Blocki, On uniform estimate in Calabi-Yau theorem , Sci China Ser A 48(Supp) (2005), 244247
Z. Blocki, On uniform estimate in Calabi-Yau theorem , Sci China Ser A 48(Supp) (2005), 244247
work page 2005
- [5]
-
[6]
S. Boucksom, P. Eyssidieux, V. Guedj, and A. Zeriahi, Monge-Amp` ere equations in big cohomology classes, Acta mathematica 205, no. 2 (2010), 199-262
work page 2010
-
[7]
L. Caffarelli, L. Nirenberg and J. Spruck, The Dirichlet problem for nonlinear second order elliptic equations. I. Monge-Amp` ere equations , Comm. Pure Appl. Math. 37, 1984, 369-402
work page 1984
-
[8]
L. Caffarelli, L. Nirenberg and J. Spruck, The Dirichlet problem for non-linear second order elliptic equations. II. Complex Monge-Amp` ere and Uniformly e lliptic equations, Comm. Pure and Appl. Math. 38 (1985), 209-252
work page 1985
-
[9]
L. Caffarelli, L. Nirenberg and J. Spruck, The Dirichlet problem for nonlinear second order elliptic equations, III. Functions of the eigenvalues of the He ssian, Acta Math. 155 (1985), 261-301. 25
work page 1985
-
[10]
H.D. Cao, Deformation of K¨ ahler metrics to K¨ ahler-Einstein metrics on compact K¨ ahler manifolds, Invent. Math. Vol 81, Issue 2 (1985), 359-372
work page 1985
- [11]
-
[12]
B. Chow and D.H. Tsai, Nonhomogeneous Gauss curvature flows , Indiana Univ. Math. J., 47 (1998) 965-994
work page 1998
-
[13]
B. Chow and D.H. Tsai, Expansion of convex hypersurfaces by nonhomogeneous funct ions of curvature, Asian J. Math., Vol. 1, No. 4 (1997) 769-784
work page 1997
-
[14]
The inverse Monge-Ampere flow and applications to Kahler-Einstein metrics
T. Collins, T. Hisamoto and R. Takahashi, The inverse Monge-Amp` ere flow and applications to K¨ ahler-Einstein metrics, arXiv:1712.01685
work page internal anchor Pith review Pith/arXiv arXiv
- [15]
-
[16]
P. Eyssidieux, V. Guedj, and A. Zeriahi, Singular K¨ ahler-Einstein metrics, Journal of the American Mathematical Society 22, no. 3 (2009), 607-639
work page 2009
-
[17]
H. Fang, M. Lai, and X. Ma, On a class of fully nonlinear flows in K¨ ahler geometry , J Reine Angew. Math., no. 653 (2011), 189-220
work page 2011
-
[18]
T. Fei, Z. Huang and S. Picard, The Anomaly flow over Riemann surfaces , to appear in Int. Math. Res. Not
-
[19]
T. Fei and D.H. Phong, Unification of the K¨ ahler-Ricci and Anomaly flows, arXiv:1905.02- 274
work page 1905
- [20]
-
[21]
T. Fei, B. Guo and D.H. Phong, On convergence criteria for the coupled flow of Li-Yuan- Zhang, Math. Z., Vol 292 (2019), No. 1-2, 473-497
work page 2019
-
[22]
A. Fino and A. Tomassini, On astheno-K¨ ahler metrics, Journal of the London Mathematical Society, 83(2) (2011) 290-308
work page 2011
- [23]
-
[24]
J.X. Fu and S.T. Yau, The theory of superstring with flux on non-K¨ ahler manifolds a nd the complex Monge-Amp` ere equation, J. Differential Geom., Vol 78, No. 3 (2008), 369-428
work page 2008
-
[25]
J.X. Fu and S.T. Yau, A Monge-Amp` ere type equation motivated by string theory , Comm. Anal. Geom. 15 (2007), no. 1, 29-76
work page 2007
-
[26]
T-dual solutions of the Hull-Strominger system on non-K\"ahler threefolds
M. Garcia-Fernandez, T-dual solutions of the Hull-Strominger system on non-K¨ ahl er three- folds, arXiv:1810.04740. 26
work page internal anchor Pith review Pith/arXiv arXiv
-
[27]
M. Gill, Convergence of the parabolic complex Monge-Amp` ere equatio n on compact Hermi- tian manifolds , Comm. Anal. Geom. 19, No. 2 (2011), 277-303
work page 2011
-
[28]
B. Guan, Second order estimates and regularity for fully nonlinear e lliptic equations on Riemannian manifolds , Duke Math. J. 163 (2014), 1491-1524
work page 2014
-
[29]
B. Guan and Q. Li, Complex Monge-Amp` ere equations and totally real submanifo lds, Adv. Math., 225 (2010), 1185-1223
work page 2010
-
[30]
Guan, Extremal function associated to intrinsic norms , Annals of Mathematics, 156 (2002), 197-211
P. Guan, Extremal function associated to intrinsic norms , Annals of Mathematics, 156 (2002), 197-211
work page 2002
- [31]
-
[32]
Hamilton, Three-manifolds with positive Ricci curvature , J
R.S. Hamilton, Three-manifolds with positive Ricci curvature , J. Diff. Geom. 17 (1982), 255-306
work page 1982
-
[33]
Hull, Compactifications of the Heterotic Superstring , Phys
C. Hull, Compactifications of the Heterotic Superstring , Phys. Lett. 178 B (1986) 357-364
work page 1986
-
[34]
N. V. Krylov, Boundedly inhomogeneous elliptic and parabolic equations , Izv. Akad. Nauk SSSR Ser. Mat., 46(3) (1982), 487523
work page 1982
-
[35]
N.V. Krylov, Lectures on elliptic and parabolic equations in H¨ older spaces, Graduate Studies in Mathematics, Vol. 12. American Mathematical Society, Pr ovidence, RI, 1996
work page 1996
-
[36]
N.V. Krylov and M.V. Safonov, Certain properties of solutions of parabolic equations with measurable coefficients, Izv. Akad. Nauk 44 (1980), 161-175
work page 1980
-
[37]
Kolodziej, The complex Monge-Amp` ere equation, Acta Math
S. Kolodziej, The complex Monge-Amp` ere equation, Acta Math. 180 (1998) 69-117
work page 1998
-
[38]
Kolodziej, The Monge-Amp` ere equation on compact K¨ ahler manifolds , Indiana Univ
S. Kolodziej, The Monge-Amp` ere equation on compact K¨ ahler manifolds , Indiana Univ. Math. J. 52 (2003), no. 3, 667-686
work page 2003
-
[39]
Kolodziej, The complex Monge-Amp` ere equation and pluripotential theo ry, Memoirs of AMS, Vol
S. Kolodziej, The complex Monge-Amp` ere equation and pluripotential theo ry, Memoirs of AMS, Vol. 178, No. 840, (2005)
work page 2005
-
[40]
Lieberman, Second order parabolic differential equations , (1996), World Scientific, Sin- gapore
G. Lieberman, Second order parabolic differential equations , (1996), World Scientific, Sin- gapore
work page 1996
-
[41]
P. Li and S.-T. Yau, On the parabolic kernel of the Schr¨ odinger operator, Acta Mathematica Vol. 156 (1986), No. 1, 153-201
work page 1986
-
[42]
J. Li and S.-T. Yau, The existence of supersymmetric string theory with torsion , J. Diff. Geom. 70 no. 1 (2005), 143-181
work page 2005
-
[43]
Y. Li, Y. Yuan, and Y. Zhang, A new geometric flow over K¨ ahler manifolds , to appear in Comm. Anal. Geom. 27
-
[44]
K. Matsuo and T. Takahashi, On compact astheno-K¨ ahler manifolds, Colloquium Mathe- maticae, Vol 2 No. 89 (2001) 213-221
work page 2001
-
[45]
J. Nash, Continuity of solutions of parabolic and elliptic equations , American Journal of Mathematics, Vol. 80, No. 4. (1985), 931-954
work page 1985
- [46]
- [47]
- [48]
- [49]
- [50]
- [51]
-
[52]
The Anomaly flow on unimodular Lie groups
D.H. Phong, S. Picard, and X.W. Zhang, The Anomaly flow on unimodular Lie groups , arXiv:1705.09763, to appear in Contemp. Math
work page internal anchor Pith review Pith/arXiv arXiv
-
[53]
D.H. Phong, S. Picard, and X.W. Zhang, Fu-Yau Hessian Equations , arXiv:1801.09842, to appear in Journal of Differential Geometry
work page internal anchor Pith review Pith/arXiv arXiv
- [54]
-
[55]
A flow of conformally balanced metrics with K\"ahler fixed points
D.H. Phong, S. Picard and X.W. Zhang, A flow of conformally balanced metrics with K¨ ahler fixed points, arXiv:1805.01029, to appear in Math. Ann
work page internal anchor Pith review Pith/arXiv arXiv
-
[56]
Complex Monge Ampere Equations
D.H. Phong, J. Song and J. Sturm, Complex Monge-Amp` ere equations , arXiv:1209.2203 (2012)
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[57]
Fully non-linear parabolic equations on compact Hermitian manifolds
D.H. Phong and T.D. Tˆ o, Fully non-linear parabolic equations on compact Hermitian man- ifolds, arXiv:1711.10697
work page internal anchor Pith review Pith/arXiv arXiv
-
[58]
J. Song and B. Weinkove, An introduction to the K¨ ahler-Ricci flow, in An introduction to the K¨ ahler-Ricci flow, 89-188, Lecture Notes in Math., 2086, Springer 2013
work page 2086
-
[59]
Strominger, Superstrings with torsion , Nuclear Phys
A. Strominger, Superstrings with torsion , Nuclear Phys. B 274 (1986), no. 2, 253-284
work page 1986
-
[60]
Sz´ ekelyhidi, Fully non-linear elliptic equations on compact Hermitian m anifolds, J
G. Sz´ ekelyhidi, Fully non-linear elliptic equations on compact Hermitian m anifolds, J. Dif- ferential Geom. 109 (2018), no. 2, 337-378. 28
work page 2018
-
[61]
G. Sz´ ekelyhidi, V. Tosatti and B. Weinkove, Gauduchon metrics with prescribed volume form, Acta Math. 219 (2017), no. 1, 181-211
work page 2017
-
[62]
D.H. Tsai, C 2,α Estimate of a parabolic Monge-Amp` ere equation on Sn, Proceedings of the American Mathematical Society, Vol. 131, No.10 (2003), 306 7-3074
work page 2003
-
[63]
Tosatti, KAWA lecture notes on the K¨ ahler-Ricci flow , Ann
V. Tosatti, KAWA lecture notes on the K¨ ahler-Ricci flow , Ann. Fac. Sci. Toulouse Math. 27, no. 2 (2018), 285-376
work page 2018
-
[64]
V. Tosatti, Y. Wang, B. Weinkove and X. Yang, C 2,α estimates for nonlinear elliptic equa- tions in complex and almost complex geometry , Calc. Var. Partial Differential Equations, 54 (2015), no.1, 431-453
work page 2015
-
[65]
V. Tosatti and B. Weinkove, The complex Monge-Amp` ere equation on compact Hermitian manifolds, J. Amer. Math. Soc., 23 (2010), 1187-1195
work page 2010
-
[66]
V. Tosatti and B. Weinkove, The Monge-Amp` ere equation for (n-1)-plurisubharmonic fun c- tions on a compact K¨ ahler manifold, J. Amer. Math. Soc. 30 (2017), no. 2, 311-346
work page 2017
-
[67]
V. Tosatti and B. Weinkove, Hermitian metrics, (n-1, n-1) forms and Monge-Amp` ere equa - tions, arXiv:1310.6326, to appear in J. Reine Angew. Math
-
[68]
Urbas, An expansion of convex hypersurfaces , J
J. Urbas, An expansion of convex hypersurfaces , J. Differential Geom. 33 (1991), no. 1, 91-125; Correction to ibid. 35 (1992) 763-765
work page 1991
-
[69]
Wang, A remark on C 2,α -regularity of the complex Monge-Amp` ere equation , Math
Y. Wang, A remark on C 2,α -regularity of the complex Monge-Amp` ere equation , Math. Res. Lett. 19 (2012), no. 04, 939-946
work page 2012
-
[70]
Yau, On the Ricci curvature of a compact K¨ ahler manifold and the c omplex Monge- Amp` ere equation
S.T. Yau, On the Ricci curvature of a compact K¨ ahler manifold and the c omplex Monge- Amp` ere equation. I, Comm. Pure Appl. Math. 31 (1978) 339-411
work page 1978
-
[71]
X. Zhang and X.W. Zhang, Regularity estimates of solutions to complex Monge-Amp` er e equations on Hermitian manifolds , J. Funct. Anal., 260 (2011), 2004-2026
work page 2011
-
[72]
Zhang, A priori estimates for complex Monge-Amp` ere equation on He rmitian mani- folds, Int
X.W. Zhang, A priori estimates for complex Monge-Amp` ere equation on He rmitian mani- folds, Int. Math. Res. Not., 19 (2010), 3814-3836. Department of Mathematics, Harvard University, Cambridge, MA 0 2138, USA spicard@math.harvard.edu Department of Mathematics, University of California, Irvine, CA 92 697, USA xiangwen@math.uci.edu 29
work page 2010
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.