On The Ellipticity of Generalised Monge-Amp\`ere Equations on Vector Bundles
Pith reviewed 2026-05-21 00:07 UTC · model grok-4.3
The pith
Generalized Monge-Ampere equations on vector bundles fail to preserve ellipticity along continuity paths when both the manifold dimension and bundle rank are at least three, with the exception of the sigma-two equation.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
When both the dimension of the manifold and the rank of the bundle are greater than or equal to three, the vector bundle versions of the Monge-Ampère, J, dHYM and σ_k-equations do not preserve ellipticity along continuity paths in the connected component of the trivial solution. However, the σ₂-equation does preserve ellipticity along continuity paths.
What carries the argument
The connected component of the trivial solution and the condition for ellipticity of the linearized operator evaluated along continuity paths in the space of sections of the vector bundle.
If this is right
- The continuity method for solving these equations may break down due to loss of ellipticity in higher dimensions and ranks.
- The sigma-two equation allows the continuity method to be applied more readily since ellipticity is preserved.
- Results for dimensions or ranks below three may differ, indicating that low-dimensional cases behave better for these equations.
- These findings highlight the need to verify ellipticity separately for each equation and setting before using deformation techniques.
Where Pith is reading between the lines
- Similar loss of ellipticity might occur in other generalized equations on bundles, prompting the development of new techniques beyond continuity methods.
- This could relate to broader questions in complex geometry about when such nonlinear equations admit solutions on higher-rank bundles.
- Explicit computations on specific manifolds like projective space with rank-three bundles could test the boundaries of these ellipticity results.
Load-bearing premise
The analysis is restricted to the connected component containing the trivial solution for these equations on a compact Kähler manifold.
What would settle it
An explicit example of a continuity path in the trivial component where the operator remains elliptic for a three-dimensional manifold and rank-three bundle would disprove the claim that ellipticity is not preserved for the Monge-Ampere and related equations.
read the original abstract
In this paper, we study the ellipticity of the vector bundle versions of the Monge-Amp\`ere, $J$, dHYM and $\sigma_{k}$-equations at a point. These are nonlinear geometric partial differential equations defined on a holomorphic vector bundle over a compact K\"ahler manifold. We show that when both the dimension of the manifold and the rank of the bundle are greater than or equal to three, these equations do not preserve ellipticity along continuity paths in the connected component of the trivial solution. However, the $\sigma_{2}$-equation does preserve ellipticity along continuity paths.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the ellipticity of vector-bundle versions of the Monge-Ampère, J, dHYM and σ_k equations on holomorphic vector bundles over compact Kähler manifolds. It claims that when both the manifold dimension and bundle rank are at least 3, these equations fail to preserve ellipticity along continuity paths lying in the connected component of the trivial solution, while the σ_2 equation does preserve ellipticity along such paths.
Significance. If the central claims are established with rigorous definitions and proofs, the result would clarify limitations of continuity methods for these nonlinear equations in the vector-bundle setting. The contrast with the σ_2 case is potentially useful for identifying which equations remain amenable to deformation arguments, and the work could inform existence theory for Hermitian metrics or connections satisfying these equations.
major comments (1)
- [Abstract and setup on compact Kähler manifolds with holomorphic vector bundles] The construction of the continuity path and the precise definition of the connected component of the trivial solution require clarification. The abstract states that the analysis occurs inside this component, yet the main claim is that ellipticity is lost at some point along the path. If ellipticity of the linearization is part of the definition of the component (as is standard for nonlinear elliptic operators), then any loss of ellipticity would place the intermediate operator outside the component by construction. The manuscript must specify whether the path is defined independently of the ellipticity condition or whether the component is taken in a larger space of operators; without this, the non-preservation statement risks being circular or inapplicable inside the stated component.
Simulated Author's Rebuttal
We thank the referee for their careful reading and for identifying the need to clarify the construction of the continuity path and the definition of the connected component. We address this point directly below and will revise the manuscript to make the setup fully rigorous and non-circular.
read point-by-point responses
-
Referee: [Abstract and setup on compact Kähler manifolds with holomorphic vector bundles] The construction of the continuity path and the precise definition of the connected component of the trivial solution require clarification. The abstract states that the analysis occurs inside this component, yet the main claim is that ellipticity is lost at some point along the path. If ellipticity of the linearization is part of the definition of the component (as is standard for nonlinear elliptic operators), then any loss of ellipticity would place the intermediate operator outside the component by construction. The manuscript must specify whether the path is defined independently of the ellipticity condition or whether the component is taken in a larger space of operators; without this, the non-preservation statement risks being circular or inapplicable inside the stated component.
Authors: We agree that the presentation requires greater precision on this point. In the manuscript the connected component is taken in the space of all smooth Hermitian metrics on the holomorphic vector bundle (equivalently, all connections of the appropriate Chern class), without any ellipticity requirement built into the definition or the topology. The continuity path is constructed explicitly as a straight-line deformation in this larger space, beginning at the trivial solution. We then show that, for the Monge-Ampère, J, dHYM and σ_k (k≥3) equations, the linearization ceases to be elliptic at some intermediate point when both manifold dimension and bundle rank are at least 3. The σ₂ equation remains elliptic along the entire path. Because the path is defined independently of ellipticity, the loss of ellipticity is a genuine obstruction rather than a circularity. We will add an explicit paragraph in the introduction and refine the setup section to state the ambient space and the independence of the path from the ellipticity condition. revision: yes
Circularity Check
No significant circularity in ellipticity analysis
full rationale
The paper's central claim concerns preservation or loss of ellipticity for specific nonlinear PDEs along continuity paths inside the connected component of the trivial solution on compact Kähler manifolds with holomorphic vector bundles. The abstract states this directly as a theorem without any visible reduction of the result to a fitted parameter, self-definition of the component via ellipticity, or load-bearing self-citation. The connected component and ellipticity condition are treated as independent geometric properties to be analyzed, with the σ₂ case distinguished separately. No equation or derivation step in the provided setup equates a prediction to its input by construction, and the analysis remains self-contained against external benchmarks for ellipticity in geometric PDEs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The base is a compact Kähler manifold and the bundle is holomorphic
- standard math Ellipticity is the standard notion for nonlinear PDEs (linearized operator elliptic)
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We show that when both the dimension of the manifold and the rank of the bundle are greater than or equal to three, these equations do not preserve ellipticity along continuity paths in the connected component of the trivial solution. However, the σ₂-equation does preserve ellipticity along continuity paths.
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Condition E for the vbMA equation: … Tr(∑ ξ ∧ (√-1 F_H)^j ∧ ξ† ∧ (√-1 F_H)^{n-1-j}) > 0
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.
Reference graph
Works this paper leans on
-
[1]
Aashirwad N. Ballal and Vamsi P. Pingali. Positivity properties of the vector bundle monge- amp` ere equation, 2024
work page 2024
-
[2]
Stability conditions on triangulated categories.Annals of Mathematics, 166(2):317–345, 2007
Tom Bridgeland. Stability conditions on triangulated categories.Annals of Mathematics, 166(2):317–345, 2007
work page 2007
-
[3]
Tristan C. Collins and Shing-Tung Yau. Moment maps, nonlinear pde, and stability in mirror symmetry, 2018
work page 2018
-
[4]
Polynomial stability conditions for vector bundles: Positivity, equivariance and blow-ups, 2025
R´ emi Delloque, Achim Napame, Carlo Scarpa, and Carl Tipler. Polynomial stability conditions for vector bundles: Positivity, equivariance and blow-ups, 2025
work page 2025
-
[5]
Ruadha´ ı Dervan, John Benjamin McCarthy, and Lars Martin Sektnan.z-critical connections and bridgeland stability conditions.Cambridge Journal of Mathematics, 12(2):253–355, 2024
work page 2024
-
[6]
S. K. Donaldson. Anti self-dual yang-mills connections over complex algebraic surfaces and stable vector bundles.Proceedings of the London Mathematical Society, s3-50(1):1–26, January 1985
work page 1985
-
[7]
S. K. Donaldson. Infinite determinants, stable bundles and curvature.Duke Mathematical Journal, 54(1):231 – 247, 1987
work page 1987
-
[8]
Donaldson and P B Kronheimer.The Geometry of Four-Manifolds
S k. Donaldson and P B Kronheimer.The Geometry of Four-Manifolds. Oxford University PressOxford, September 1990
work page 1990
-
[9]
Chao-Ming Lin. On the convexity of general inverseσ k equations.Journal of Functional Analysis, 285(7):110038, October 2023
work page 2023
-
[10]
Vamsi Pritham Pingali. A vector bundle version of the monge-amp` ere equation.Advances in Mathematics, 360:106921, January 2020
work page 2020
-
[11]
Ryosuke Takahashi. J-equation on holomorphic vector bundles.Journal of Functional Analysis, 286(4):110265, February 2024
work page 2024
-
[12]
K. Uhlenbeck and S. T. Yau. On the existence of hermitian-yang-mills connections in stable vector bundles.Communications on Pure and Applied Mathematics, 39(S1):S257–S293, 1986
work page 1986
-
[13]
Chuanjing Zhang and Xi Zhang. Generalized donaldson functionals and related nonlinear partial differential equations.Calculus of Variations and Partial Differential Equations, 61(4), May 2022. Gao Chen(chengao1@ustc.edu.cn) andKartick Ghosh(kghosh@ustc.edu.cn) Institute of Geometry and Physics, University of Science and Technology of China No.96, JinZhai ...
work page 2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.