REVIEW 4 major objections 5 minor 13 references
Bounded-energy equivariant Allen–Cahn solutions converge to minimal hypersurfaces—embedded for cohomogeneity ≥3, immersed for cohomogeneity 2 without exceptional orbits.
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 →
G-invariant Allen–Cahn solutions with bounded energy and index converge to G-invariant minimal hypersurfaces with codimension-7 singular set; cohomogeneity-2 manifolds without exceptional orbits admit such minimal hypersurfaces (immersed in general).
T0 review reviewed 2026-08-01 challenge →
load-bearing objection Real and interesting paper; the advertised cohomogeneity-2 existence theorem depends on a key drift-regularity estimate that is only sketched, so that part is not yet proven as written. the 4 major comments →
Equivariant Allen--Cahn Solutions and the Existence of Cohomogeneity $2$ Minimal Surfaces
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
Core claim
The central claim is Theorem 1.1: for a closed Riemannian manifold with an isometric Lie group action of cohomogeneity 2 to 7, any sequence of G-invariant Allen–Cahn solutions with uniformly bounded energy and bounded equivariant index has a subsequence whose associated varifolds converge to a minimal G-invariant hypersurface, possibly with integer multiplicity. The limit is embedded when the cohomogeneity is at least 3, and smoothly immersed when the cohomogeneity is exactly 2 and the action has no exceptional orbits; in both cases the singular set has finite (n−7)-dimensional Hausdorff measure and is contained in the complement of the principal orbits. The paper derives the corollary that
What carries the argument
The load-bearing object is the Allen–Cahn equation with a drift Laplacian. When a G-invariant function is pushed down to the quotient M/G, the orbit-volume function V enters as an extra first-order term, so the projected solutions are critical points of the weighted energy ∫ V(ε|∇u|²/2 + W(u)/ε). In cohomogeneity 2 this is a two-dimensional problem, and the paper shows the drift term is a higher-order perturbation after blow-up, with derivatives of ln V bounded by powers of ε. That lets the two-dimensional sine-Gordon regularity theory for the ordinary Allen–Cahn equation carry over: the limit is a union of geodesics for the conformal quotient metric V^{2/ℓ} g_{M/G}, and lifting these geodes
Load-bearing premise
The cohomogeneity-2 regularity conclusion rests on the appendix's assertion that after blow-up the drift term is a higher-order perturbation—derivatives of ln V of order α are bounded by a constant times ε^{|α|}—an estimate that holds on the principal-orbit locus where the orbit-volume function is smooth and nondegenerate, and whose stability estimates are presented as a sketched adaptation; if this estimate fails at an exceptional orbit (which is why exceptional orbits are e
What would settle it
The central claim would be falsified if one found a closed manifold with a cohomogeneity-2 action without exceptional orbits and a bounded-energy, bounded-index sequence of equivariant Allen–Cahn solutions whose limit interface is not a smoothly immersed minimal hypersurface away from a codimension-7 singular set. A more direct computational check is the drift estimate itself: in Fermi coordinates about a principal orbit, any derivative of ln V of order α that fails the asserted |∂^α ln V| ≲ ε^{|α|} bound would break the stability estimates and, with them, the immersed-regularity conclusion.
If this is right
- Every closed Riemannian manifold with a cohomogeneity-2 Lie group action and no exceptional orbits contains a G-invariant minimal hypersurface, possibly immersed, smooth away from a codimension-7 singular set in the non-principal orbits.
- For cohomogeneity 3 to 7, the same bounded-energy, bounded-index convergence produces embedded G-invariant minimal hypersurfaces, with the singular set contained in the union of non-principal orbits.
- The equivariant Allen–Cahn p-widths, after the 1/(2σ) normalization, coincide in the ε → 0 limit with the equivariant geometric-measure-theoretic p-widths, so the phase-field and geometric-measure min-max spectra agree.
- The sum of the equivariant indices of the regular parts of the limiting hypersurfaces is at most the index bound p used in the approximation, giving quantitative control on the limit's complexity.
- In positive Ricci curvature, the first equivariant width is achieved with multiplicity one by an embedded G-invariant minimal hypersurface when cohomogeneity ≥3, and by an embedded one in the cohomogeneity-2 case when the quotient is smooth with positive Ricci.
Where Pith is reading between the lines
- The paper's analysis suggests a sharper principle: in equivariant Allen–Cahn limits, the quotient-side object is the drift Laplacian sourced by the orbit-volume function, so any quotient singularity, including orbifold cone points, could in principle be handled by the same machinery if the drift estimates can be extended there.
- A concrete testable prediction: for Seifert-fibered three-manifolds with nonconstant fiber length, the equivariant widths of M should equal the p-widths of the quotient surface with the conformal metric V^{2/ℓ} g_{M/G}; explicit geodesic computations on such quotients would verify the width-convergence theorem beyond the constant-fiber examples.
- If the drift bound |∂^α ln V| ≲ ε^{|α|} can be verified near exceptional orbits, the immersed regularity conclusion would likely extend to all cohomogeneity-2 actions, and the paper's conjectured multiplicity-one result in cohomogeneity 2 would follow from the same drift equation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops an equivariant Allen–Cahn min-max theory for isometric Lie group actions of cohomogeneity 2–7. The main analytic result (Theorem 1.1) asserts that a sequence of G-invariant Allen–Cahn solutions with uniformly bounded energy and G-equivariant index converges, up to subsequence, to a minimal G-invariant hypersurface with a singular set of codimension at least 7 contained in the non-principal orbits; for cohomogeneity at least 3 the limit is embedded, and for cohomogeneity 2 with no exceptional orbits it is smoothly immersed away from the singular set. Corollary 1.1.1 derives the existence of such a minimal hypersurface on every closed manifold with a cohomogeneity-2 action without exceptional orbits. The paper also defines equivariant Allen–Cahn p-widths, proves their convergence to Wang's equivariant volume spectrum (Theorems 1.4–1.6), establishes index bounds for limit interfaces (Theorem 1.5/7.1), and gives multiplicity-one results in positive Ricci curvature (Theorem 1.7 and §8). A central new tool is Theorem 6.2, a stability estimate for the Allen–Cahn equation with drift on a surface, whose proof is presented in §9.2 as a section-by-section adaptation of Wang–Wei [WW19a] and Mantoulidis [Man21].
Significance. If the main results hold, the paper would be a substantial advance: it provides a general existence theorem for equivariant minimal hypersurfaces in cohomogeneity 2, a setting where the quotient is an orbifold with a drift equation, and it extends the Allen–Cahn/Almgren–Pitts comparison to the equivariant setting. The width computations in §4.4 (S^1 on S^3, O(2) on SO(3), and Seifert-type examples) are concrete and useful. The manuscript is also commendably explicit about assumptions, such as the exclusion of exceptional orbits in cohomogeneity 2. However, the load-bearing analytic tool Theorem 6.2 is not fully proved in the manuscript: the proof in §9.2 consists of listed 'adjustments' to prior work, with the key higher-order bound on the drift term asserted rather than derived, and several error terms declared 'compatible' without a complete estimate. Since the cohomogeneity-2 regularity conclusion of Theorem 1.1 and Corollary 1.1.1 rests directly on this theorem, the central existence claim is not yet fully supported.
major comments (4)
- [§9.2, Eq. (24)] The proof of Theorem 6.2 depends on the asserted bound |∂^α R| ≲ ε^{|α|} for R = ln V after blow-up. This is not derived, and the constant is required to be uniform over the geodesic and over the sequence of concentration points. In the application R is the log of the orbit-volume function, which is smooth and non-degenerate only on M^reg; no argument shows the required uniformity. If any derivative of the drift term is of order ε^β with β < 1, the subsequent error estimates in §§10–20 may fail. This is load-bearing because the ε^{1/7} bound (15), and hence the immersed regularity in Theorem 1.1, depends on it.
- [§9.2, Eq. (30)] After Eq. (30), an extra O(sup_y |∇_0 h_α|²) term is introduced and then absorbed using [WW19a, Eq. 9.8]. The absorption is not shown. One must verify that Eq. 9.8 remains valid in the drift setting and that the constant and the domain of dependence are compatible with the C^{2,θ} norms that appear in the desired estimate. Without this verification, the analogue of [WW19a, Eq. 10.3] does not follow.
- [§9.2, §19.2 and Eq. (33)] In the vertical-part integration by parts, the error term R from the drift is bounded by (ε² + ε/L)e^{-...} and declared 'compatible' with the final bound, but the full inequality is not displayed. In particular, the treatment of V_z, V_zz, the boundary terms, and the use of |∇χ|≲L^{-1}, |∇λ|=O(ε) are omitted. Similarly, the O(ε^{4/3}) error in Eq. (34) relies on the C^2 bound ||φ||_{C²}≲ε^{1−σ}, which is imported from [WW19a] without checking the drift modifications. Since the proof aims for a sharp ε^{1/7} exponent, each of these error terms must be explicitly controlled rather than asserted.
- [§6, Proposition 12] The transition from the local estimates of Theorem 6.2 to the global conclusion 'the analogous statement of [CM23, Theorem 3.1, Proposition 3.8] holds' is not a proof. In particular, the second bullet says that [CM23, Proposition C.1] can be replaced by 'using the same proposition on U·G', but the manuscript does not show that the projected varifold is stationary with respect to the Hsiang–Lawson conformal metric, nor that the drift-stability estimates imply the Chodosh–Mantoulidis regularity in the quotient. The exclusion of exceptional orbits is used only through the dimension condition in Proposition 13, but the principal-orbit argument in Proposition 12 also requires a detailed treatment of the conformal factor V and its derivatives.
minor comments (5)
- [Abstract and §1] Typo: 'Riemmanian' should be 'Riemannian'. Also, the notation Λ is used both for the energy bound and for the singular set in Theorem 1.1; please use distinct symbols.
- [§2.1 and References] 'Hutchison–Tonegawa' should be 'Hutchinson–Tonegawa' throughout; the reference list has the correct spelling.
- [§6, proof of Proposition 12] The quotient function is written as u_ϵ(x) = u_ϵ(x) with x denoting both a point in M/G and a representative in M. This notation is confusing; introduce ar u_ϵ for the descended function.
- [§2.2, Lemma 2.1] The norm F is used without definition; it should be identified as the flat norm (or the appropriate metric on integral currents) for clarity.
- [§8, Theorem 8.7] The statement uses 'K_g > 0' while the surrounding text and Theorem 1.7 refer to Ric_{ar g} > 0 for the Hsiang–Lawson conformal metric. The notation should be aligned.
Circularity Check
No significant circularity: the central derivation compares independent theories and adapts external regularity results; the drift-estimate gap is a proof issue, not a circular reduction.
full rationale
The paper's main claims are not derived by defining their conclusion into their hypotheses or by fitting parameters and renaming them as predictions. Theorem 1.1 is a regularity statement for equivariant Allen–Cahn solutions, proved by combining external regularity theories (Tonegawa–Wickramasekera, Chodosh–Mantoulidis, Wang–Wei, Mantoulidis) with a new adaptation to a drift equation. The critical analytic input, Theorem 6.2, is presented as an adaptation of Wang–Wei and Mantoulidis; its proof in §9.2 relies on the scaling estimate |∂^α R| ≲ ε^{|α|} for R = ln V. That estimate is asserted rather than fully justified, and the proof sketch leaves several error terms to be checked, but this is a completeness or correctness concern, not circularity: the estimate is not obtained from the regularity conclusion it is used to prove. The width-comparison Theorem 4.1 is a two-sided inequality between the Allen–Cahn equivariant spectrum and Wang's equivariant volume spectrum, established through independent interpolation and min-max arguments from Wang and Dey; it is not a renaming of a known result. Self-citations, such as Gaspar's index-bound paper and Marx-Kuo's p-width computations, are used as external inputs or as templates for proofs, and the paper does not invoke a self-citation to forbid alternatives or to force its central choice. No load-bearing step reduces, by the paper's own equations, to its inputs. The identified weaknesses are genuine gaps in the drift-regularity proof, but they do not constitute circularity.
Axiom & Free-Parameter Ledger
axioms (8)
- domain assumption Tonegawa–Wickramasekera compactness/regularity for stable Allen–Cahn solutions (Theorem 5.1).
- domain assumption Wickramasekera's α-structural-hypothesis regularity for stable codimension-1 varifolds (Corollary 5.1.1).
- domain assumption Chodosh–Mantoulidis geodesic-regularity theorem for Allen–Cahn on surfaces (Theorem 6.1).
- domain assumption Wang–Wei finite-index classification and curvature estimates for Allen–Cahn in R^2 [WW19a] and its Riemannian adaptation [Man21].
- standard math Palais' Principle of Symmetric Criticality.
- standard math Equivariant triangulations of compact Lie group actions (Verona–Illman) and existence of G-equivariant Morse functions (Wasserman).
- domain assumption Wang's equivariant min-max theory and equivariant volume spectrum [Wan25, Wan22b].
- domain assumption On M^reg, the orbit-volume function V is smooth and positive, and projected solutions satisfy the drift equation (13).
Cite this review
Pith. "Pith review of Equivariant Allen--Cahn Solutions and the Existence of Cohomogeneity $2$ Minimal Surfaces." pith.science (2026). https://pith.science/paper/M43J2OAE
@misc{pith2026260721789,
author = {Pith},
title = {Pith review of: Equivariant Allen--Cahn Solutions and the Existence of Cohomogeneity $2$ Minimal Surfaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/M43J2OAE}},
note = {Machine review of arXiv:2607.21789}
}
abstract
We develop a regularity theory for equivariant Allen--Cahn solutions on closed Riemannian manifolds with a Lie group acting isometrically. When the cohomogeneity of the action is between $3$ and $7$, we show that a sequence of equivariant Allen--Cahn solutions with uniformly bounded energy and equivariant index converge to embedded minimal hypersurfaces with optimal regularity, meaning that the singular set is at least codimension $7$ and lies in the union of all non-principal orbits. When the cohomogeneity is $2$ and the action has no exceptional orbits, we show the same result but the minimal hypersurfaces may be immersed. As a result, any closed Riemmanian manifold with cohomogeneity $2$ Lie group action and no exceptional orbits admits a minimal hypersurface with optimal regularity. A key tool is the regularity theory of Chodosh--Mantoulidis, building on the work of Wang--Wei. However, we adapt their arguments to a modified Allen--Cahn equation with a drift Laplacian. We also show that appropriate index bounds hold for the limiting minimal hypersurface when it is smooth. We also extend the variational constructions of solutions of the Allen--Cahn equation of Guaraco and Gaspar--Guaraco by defining an equivariant mountain pass invariant, as well as the equivariant Allen--Cahn $p$-widths. This builds on the work of Gromov and is the Allen--Cahn parallel to Wang's equivariant volume spectrum in the Almgren-Pitts setting. We show that in the limit as $\epsilon$ tends to $0$, the equivariant Allen--Cahn $p$-widths converge to the equivariant $p$-widths, as defined by Wang.
Figures
Reference graph
Works this paper leans on
-
[12]
[Wan24] ,Equivariant Morse index of min-maxG-invariant minimal hypersurfaces, Math. Ann. 389(2024), no. 2, 1599–1637. [Wan25] ,Generic density of equivariant min-max hypersurfaces, J. Funct. Anal.289(2025), no. 5, Paper No. 110979,
2024
-
[21]
Marques, and Andr´ e Neves,Weyl law for the volume spec- trum, Ann
[LMN18] Yevgeny Liokumovich, Fernando C. Marques, and Andr´ e Neves,Weyl law for the volume spec- trum, Ann. of Math. (2)187(2018), no. 3, 933–961. [L W21] Yong Liu and Juncheng Wei,Classification of finite morse index solutions to the elliptic sine- gordon equation in the plane, Revista Matem´ atica Iberoamericana38(2021), no. 2, 355–432. [L W26] Xingzhe...
Pith/arXiv arXiv 2018
-
[36]
[Liu21b] ,The existence of embeddedG-invariant minimal hypersurface, Calc. Var. Partial Differ- ential Equations60(2021), no. 1, Paper No. 36,
2021
-
[39]
Wasserman,Equivariant differential topology, Topology8(1969), 127–150
[Was69] Arthur G. Wasserman,Equivariant differential topology, Topology8(1969), 127–150. [Wic14] Neshan Wickramasekera,A general regularity theory for stable codimension 1 integral varifolds, Ann. of Math. (2)179(2014), no. 3, 843–1007. [WW19a] Kelei Wang and Juncheng Wei,Finite morse index implies finite ends, Communications on Pure and Applied Mathemati...
arXiv 1969
-
[42]
[GG19] ,The Weyl law for the phase transition spectrum and density of limit interfaces, Geom. Funct. Anal.29(2019), no. 2, 382–410. [Gho93] Nassif Ghoussoub,Duality and perturbation methods in critical point theory, Cambridge Tracts in Mathematics, vol. 107, Cambridge University Press, Cambridge, 1993, With appendices by David Robinson. [GL25] Larry Guth ...
Pith/arXiv arXiv 2019
-
[53]
Math.425 (2023), Paper No
47 [Wan23] ,Min-max theory for free boundaryG-invariant minimal hypersurfaces, Adv. Math.425 (2023), Paper No. 109087,
2023
-
[58]
[Wan22a] Tongrui Wang,Min–max theory for g-invariant minimal hypersurfaces, The Journal of Geometric Analysis32(2022), no. 9,
2022
-
[233]
[Wan22b] ,Min-max theory forG-invariant minimal hypersurfaces, J. Geom. Anal.32(2022), no. 9, Paper No. 233,
2022
-
[1972]
Palais,The principle of symmetric criticality, Comm
[Pal79] Richard S. Palais,The principle of symmetric criticality, Comm. Math. Phys.69(1979), no. 1, 19–30. [Pit74] Jon T. Pitts,Regularity and singularity of one dimensional stationary integral varifolds on mani- folds arising from variational methods in the large, Symposia Mathematica, Vol. XIV (Convegno di Geometria Simplettica e Fisica Matematica & Con...
1979
-
[1981]
Pitts and J
[PR88] Jon T. Pitts and J. H. Rubinstein,Equivariant minimax and minimal surfaces in geometric three-manifolds, Bull. Amer. Math. Soc. (N.S.)19(1988), no. 1, 303–309. [PT98] Pablo Padilla and Yoshihiro Tonegawa,On the convergence of stable phase transitions, Comm. Pure Appl. Math.51(1998), no. 6, 551–579. [Sak96] Takashi Sakai,Riemannian geometry, Transla...
1988
-
[1982]
[AMN25] Lucas Ambrozio, Fernando C
[Alm62] Frederick Justin Almgren, Jr.,The homotopy groups of the integral cycle groups, Topology1 (1962), 257–299. [AMN25] Lucas Ambrozio, Fernando C. Marques, and Andr´ e Neves,Riemannian metrics on the sphere with Zoll families of minimal hypersurfaces, J. Differential Geom.130(2025), no. 2, 269–341. [Bel24] Costante Bellettini,Multiplicity-1 minmax min...
Pith/arXiv arXiv 1962
-
[2016]
[Wan17] Kelei Wang,Some remarks on the structure of finite Morse index solutions to the Allen–Cahn equation inR 2, Nonlinear Differential Equations and Applications NoDEA24(2017), no. 5,
2017
-
[2025]
[Fet52] Abram Il’ich Fet,Variational problems on closed manifolds, Matematicheskii Sbornik72(1952), no. 2, 271–316. [FR78] Edward R. Fadell and Paul H. Rabinowitz,Generalized cohomological index theories for Lie group actions with an application to bifurcation questions for Hamiltonian systems, Invent. Math.45 (1978), no. 2, 139–174. [FS24] Enric Florit-S...
arXiv 1952
This paper was first reviewed by deepseek-v4-flash on August 1, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.