Pith. sign in

REVIEW 2 major objections 3 minor 17 references

Sp(2)-invariant expanders and shrinkers in Laplacian flow

T0 review · 2 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Complete Sp(2)-invariant Laplacian expanders form a one-parameter family, all asymptotically conical, with the cone determining the expander.

desk verdict Genuine full classification of Sp(2)-invariant expanders, solidly derived; the end-behavior existence claims rest partly on a deferred singular-IVP theory. read the letter →

arxiv 2501.05437 v2 pith:KZN3KFF4 submitted 2025-01-09 math.DG

Mark Haskins , Rowan Juneman , Johannes Nordström This is my paper · ORCID
classification math.DG MSC 53C2553C29
keywords LaplacianflowG2solitonsSp(2)-invariantasymptoticallyconicalexpanderscohomogeneity-oneODEanalysissolitonendclassificationsingularinitialvalueproblems
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper aims to give a complete description of all expanding solitons of Laplacian flow that are invariant under $\mathrm{Sp}(2)$ on the anti-self-dual bundle over the 4-sphere. It claims that, up to scaling, there is exactly a one-parameter family of complete gradient expanders, parametrised by $q=\lambda\sqrt{\operatorname{Vol}(S^4)}>0$, and that every member is asymptotically conical with convergence rate $-2$ to a unique closed $G_2$-cone. The paper further claims that the asymptotic limit map $L(q)$ is a strictly increasing bijection from $(0,\infty)$ to $(1,\infty)$, so the cone determines the expander and exactly the cones with warping $\ell>1$ occur. It also classifies all possible forward end behaviours of $\mathrm{Sp}(2)$-invariant expanders and shrinkers, including new forward-complete ends with faster-than-Euclidean volume growth. If true, this is a complete classification of one family of noncompact Laplacian solitons and gives sharp constraints on which cones can be smoothed out by Laplacian flow.

What carries the argument

The argument is carried by the cohomogeneity-one reduction of the Laplacian soliton PDEs to a first-order ODE system (2.14) for $(x,y,\tau_2)$, where $x$ and $y$ are the fibre and base scale functions of the twistor fibration $S^2\to CP^3\to S^4$ and $\tau_2$ is a torsion coefficient. The quantity $S=y^2-x^2-\frac{3}{2}x\tau_2$ controls the logarithmic derivative of the warping $y/x$ (Lemma 2.8), so controlling $S$ and the warping governs end behaviour. The adjusted torsion components $\tilde\tau_1,\tilde\tau_2$ exhibit monotonicity and characterise AC expander ends; the quantity $M/g^3$ with $M=3x+\tilde\tau_1$ is strictly decreasing and distinguishes the three end types. For shrinker ends a rescaling limit system (8.3) in the ratios $\alpha=\tau_2/x$, $\beta=y^2/x$ describes the phase portrait and yields the essentially unique exponential forward-complete non-AC shrinker end. A singular initial value problem in $u=t^{-2}$ with irregular singularity at $u=0$ is used to construct AC and non-AC ends for any cone.

What would settle it

Numerically integrate the Sp(2)-invariant soliton ODEs (2.14) from the smoothly-closing initial conditions of Theorem 3.1 over a range of q=$λb^{2}$; if any forward-complete solution has asymptotic warping ℓ≤1, or if L(q) is not strictly increasing, Theorem B is false. Equivalently, constructing a complete Sp(2)-invariant expander asymptotic to the ℓ=1/2 shrinker cone of Example 1.9 would directly contradict Corollary C.

Watch

Extended reading notes

Core claim

The central result is Theorem A combined with Theorem B: the complete $\mathrm{Sp}(2)$-invariant gradient Laplacian expanders on $\Lambda^2_-S^4$ form, up to scaling, a one-parameter family; every one is asymptotic with rate $-2$ to a unique closed $\mathrm{Sp}(2)$-invariant $G_2$-cone; and the asymptotic limit map $L:\mathbb{R}_{>0}\to(1,\infty)$ sending $q=\lambda\sqrt{\operatorname{Vol}(S^4)}$ to the cone warping $\ell=c_2/c_1$ is a strictly increasing continuous bijection. Consequently the asymptotic cone determines the expander up to scale, every closed cone with $\ell>1$ is realised, and neither the torsion-free cone ($\ell=1$) nor the shrinker cone from the explicit Example 1.9 ($\ell=1/2$) is realised. Along the way the paper proves a regularity theorem: any non-steady $\mathrm{Sp}(2)$-invariant end with bounded $\log(y/x)$ is $C^0$-asymptotic with rate $-2$ to a closed cone (Theorem D), and a complete trichotomy of all possible $\mathrm{Sp}(2)$-invariant non-steady soliton ends (Theorem E): AC with rate $-2$, forward-complete non-AC with exponential or quadratic-exponential volume growth, or finite-time singularity with $y/x\to\infty$.

Load-bearing premise

The classification presupposes that the reduction from the Sp(2)-invariant Laplacian soliton PDEs to the explicit first-order ODE system (2.14), taken from the authors' earlier work, captures every Sp(2)-invariant soliton, and that every complete closed Sp(2)-invariant G2-structure is of the normal form on $Lambda^{2}$_-$S^{4}$ with a unique singular orbit; if any soliton is missed by that ansatz, the one-parameter classification and the asymptotic-cone map would be incomplete.

Editorial extensions

If this is right

  • The complete $\mathrm{Sp}(2)$-invariant expander classification is closed: up to scaling there is exactly one complete expander for each $q=\lambda\sqrt{\operatorname{Vol}(S^4)}>0$, and no others exist.
  • The map $L:q\mapsto\ell$ is a strictly increasing bijection to $(1,\infty)$, so an asymptotic cone with $\ell>1$ determines a unique expander up to scale; cones with $\ell\le 1$, including the torsion-free cone and the shrinker cone $\ell=1/2$, cannot occur.
  • Since the shrinker cone $\ell=1/2$ is excluded, no $\mathrm{Sp}(2)$-invariant flow-through solution can shrink to the explicit shrinker cone and then expand smoothly out of it; any such resolution must break the symmetry or be non-solitonic.
  • Any non-steady $\mathrm{Sp}(2)$-invariant soliton end falls into exactly one of three behaviours: AC with rate $-2$, forward-complete with faster-than-Euclidean volume growth, or finite-time singularity; AC expander ends are stable, while AC shrinker ends are codimension-one and hence non-generic.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If Theorems D and G extend to $\mathrm{SU}(3)$-invariant solitons as the paper's closing section anticipates, then the boundary of the set of $\mathrm{SU}(3)$-invariant expander asymptotic cones should consist of cones with an approximate $\mathbb{Z}_2$ symmetry, and the explicit $\mathrm{SU}(3)\times\mathbb{Z}_2$ shrinker cone should be matched by expanders only after changing the topological fil
  • The sharpness of the bound $L(q)^2 \gtrsim q/3 - 1/2$ as $q\to\infty$ is not settled by the paper; numerical integration of the ODE system (2.14) for large $q$ could test whether $L(q)^2/(q/3)$ tends to $1$, locating the true asymptotic shape of the asymptotic-limit map.
  • The stability dichotomy (AC expander ends open, AC shrinker ends codimension-one) predicts by dimension counting that complete $\mathrm{SU}(3)$-invariant AC shrinkers are finite in number while complete AC expanders form an open set; if true, singularity formation in Laplacian flow would typically not be smoothable by a symmetric AC expander with the same cone.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper studies cohomogeneity-one Sp(2)-invariant Laplacian solitons on the anti-self-dual 2-form bundle of S^4 and derives a complete classification of the expanding ones. The main results are: Theorem A, that complete Sp(2)-invariant gradient Laplacian expanders form, up to scale, a one-parameter family, all asymptotically conical with decay rate -2; Theorem B, that the map L from the scale-invariant parameter to the asymptotic cone parameter is a strictly increasing continuous bijection from R_{>0} to (1,\infty), so in particular the torsion-free cone and the explicit shrinker cone of Example 1.9 are not realized as asymptotic cones of complete expanders; and Theorems D, E and G, which establish a trichotomy of end behaviours for all non-steady Sp(2)-invariant solitons, including stability of AC expander ends and nongenericity of AC shrinker ends. The paper also constructs (or outlines constructions of) forward-complete non-AC ends with faster-than-Euclidean volume growth, and formulates three conjectures about SU(3)-invariant expanders and shrinkers related to a G_2 analogue of a conifold transition.

Significance. If Theorems A and B are correct, they give the first complete classification in a nontrivial symmetry class of Laplacian-flow solitons, with a full determination of the possible asymptotic cones and a clean no-go statement for flow-through solutions matching the known Sp(2)-invariant shrinker. The proof strategy is substantial and largely self-contained after the reduction to ODEs: it introduces a strictly monotone quantity M/g^3, a comparison principle for expanders, a detailed analysis of the quantity S, and a stability theorem (Theorem G, restated as Theorem 5.18) showing that the asymptotic cone depends continuously on initial data. The paper is also unusually explicit about its own limits, notably the dependence on the prior reduction of [13] and the deferral of the irregular singular initial value problem analysis in §7.2. The concrete asymptotic expansions and the bijectivity statement for L are falsifiable, precise claims that considerably advance the subject.

major comments (2)
  1. [§2.3, §3.1] The classification claims in Theorems A(i) and B(ii) are exactly as strong as the cited reduction of the Sp(2)-invariant soliton system to the ODE system (2.14) and the smoothly-closing classification of Theorem 3.1 (from [13, Prop. 5.24] and [13, Thm. B]). The manuscript does not prove that every complete Sp(2)-invariant soliton is captured by the normal form (1.2), nor that every such structure has a unique singular orbit S^4, nor that the smooth-extension analysis in [13] has no missing branches. If any branch were omitted by the [13] ansatz, Theorem A(i) and the surjectivity part of Theorem B would fail even though the internal ODE estimates in §§3–6 are correct. This is a standard citation dependency, but because the advertised contribution is a complete classification, the dependency is load-bearing; the paper should either include a proof or a precise statement of the relevant completeness result from [13], or explicitly label these theorems as conditional on that result.
  2. [§7.2–7.3] The claimed constructions of end solutions are not proved in this manuscript. In §7.2 the uniqueness of AC shrinker ends and the 1-parameter family of AC expander ends sharing a given asymptotic cone are asserted with the statement 'We intend to present the details of this analysis elsewhere', and the same is true for the forward-complete non-AC ends in §7.3, whose existence for each parameter A is asserted after 'we find a unique'. These claims are the basis for the paper's advertised identification of novel forward-complete end solutions and for the dimension counts in §7.1, even though they are not needed for Theorems A–C. As written, the conclusions of §§7.2–7.3 are conditional on a not-yet-supplied irregular singular initial value problem theory; the manuscript should either provide the proof or clearly separate these constructions from the proven trichotomy theorems.
minor comments (3)
  1. [§8.3, proof of Theorem 8.22] In the derivation after Lemma 8.20, the printed inequality 'α > 2/3(-1 - C/β + y^2/x^2)' is not equivalent to the bound S/x^2 < C/β that precedes it; the corrected form should be α > 2/3(β - 1 - C/β). The subsequent use of the inequality to get α > -17/24 for large β relies on the corrected version, so this is a typographical or algebraic slip that should be fixed.
  2. [Definition 1.8] The definition of L is introduced before the existence and uniqueness of the asymptotic cone limit have been established; the sentence 'this asymptotic limit map L is well-defined' would be clearer if it explicitly said 'well-defined once Theorem 3.14 is proved, since the cone is invariant under rescaling'.
  3. [§7.2] The illustrative scalar problem dz/du = λz/u^2 is helpful, but for λ<0 the phrase 'the unique solution which remains bounded at u=0 is z≡0' is correct, while for λ>0 the solutions z=C exp(-λ/u) have a flat limit at u=0; the contrast is exactly the point, but it would be worth stating explicitly that both statements refer to solutions defined up to the singular point u=0.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central expander classification and asymptotic-cone bijection are derived from the ODE system (2.14), not from the cited inputs. Reliance on the authors' prior [13] is ordinary theory-building, and the deferred irregular-SIVP analysis is a proof gap, not a circular step.

full rationale

The paper's central claims (Theorems A and B) are not obtained by renaming or fitting their inputs. The reduction of the Sp(2)-invariant soliton PDEs to the first-order system (2.14) is imported from the authors' earlier work as Proposition 2.13, and the existence/uniqueness of smoothly-closing local solitons is imported as Theorem 3.1 from [13]. This is load-bearing, but it is not circular: those cited statements are parameter-free structural theorems whose assumptions do not include the target conclusions. In particular, the asymptotic limit map L is a derived quantity; its strict monotonicity, continuity, and bijectivity are proved in Section 6 from the ODE system via comparison arguments, the large-t expansions of Proposition 5.11, the monotone quantity M/g^3, and convergence to the Bryant-Salamon steady soliton. No fitted parameter is relabeled as a prediction, and no equation in the paper is equivalent to its own input by construction. The manuscript itself notes that the irregular singular initial value problem analysis for constructing AC and exotic ends is deferred (§7.2: 'We intend to present the details of this analysis elsewhere'); that is an omitted proof affecting existence claims for prescribed end constructions, not a circular dependency of the main complete-expander classification. Self-citation to [13] is substantial, but under the stated rules it counts as independent support because it consists of stated theorems with explicit assumptions separate from the results being derived here. Hence the appropriate finding is no significant circularity, score 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The analysis introduces no fitted constants: λ, b and the scale-invariant parameter q = λ√Vol(S⁴) index genuine degrees of freedom, ℓ is the derived asymptotic warping, and A in the exotic end ansatz (7.6) is a construction parameter. The technical quantity M = 3x + τ̃₁ (Lemma 4.1) is introduced with a proof of monotonicity, not as a postulate. The paper's axioms are the [13]-based structural reduction to the ODE system and standard ODE/dynamical-systems background; no new physical or geometric entities are postulated.

assumptions (4)
  • domain assumption The mixed-order soliton system (2.10) is equivalent to the first-order ODE system (2.14) for (x, y, τ₂) via the type-14 condition (2.5) and algebraic reconstruction (2.15)
    Taken from [13, Prop 5.24]; every later theorem is proved inside this ODE reduction.
  • domain assumption Every complete closed Sp(2)-invariant G₂-structure is noncompact with a unique singular orbit S⁴ and lives on Λ²₋S⁴; the normal form (1.2) with ∂/∂t of unit length covers all such structures
    Structural classification from [13, §2.2]; restricts the problem to the cohomogeneity-one setting.
  • standard math Standard ODE and dynamical systems background: real-analytic dependence on initial data, uniqueness (Picard-Lindelöf), Poincaré-Bendixson in the planar limit system (8.3), stable manifold theorem at the fixed point (−3/4, β*, 0) of (8.2)
    Invoked in Sections 4, 7, 8 (e.g., Theorem 8.7, Theorem 8.22).
  • standard math Malgrange's theorem (cited as [16, Théorème 7.1]) guarantees a smooth solution with prescribed formal power series at the singular point u = 0 of the AC end system (7.4)
    Used in §7.2 for existence of AC ends; the convergence and regularity theory of the irregular SIVP is deferred by the authors.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Sp(2)-invariant expanders and shrinkers in Laplacian flow." pith.science (2026). https://pith.science/paper/KZN3KFF4

@misc{pith2026250105437,
  author       = {Pith},
  title        = {Pith review of: Sp(2)-invariant expanders and shrinkers in Laplacian flow},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KZN3KFF4}},
  note         = {Machine review of arXiv:2501.05437}
}
read the original abstract

We show that the complete Sp(2)-invariant expanding solitons for Bryant's Laplacian flow on the anti-self-dual bundle of the 4-sphere form a 1-parameter family, and that they are all asymptotically conical (AC). We determine their asymptotic cones, and prove that this cone determines the complete expander (up to scale). Neither the unique Sp(2)-invariant torsion-free G_2-cone nor the asymptotic cone of the explicit AC Sp(2)-invariant shrinker from arxiv:2112.09095 occurs as the asymptotic cone of a complete AC Sp(2)-invariant expander. We determine all possible end behaviours of Sp(2)-invariant solitons, identifying novel forward-complete end solutions for both expanders and shrinkers with faster-than-Euclidean volume growth. We conjecture that there exists a 1-parameter family of complete SU(3)-invariant expanders on the anti-self-dual bundle of the complex projective plane CP^2 with such asymptotic behaviour. We also conjecture that, in contrast to the Sp(2)-invariant case, there exist complete SU(3)-invariant AC expanders with asymptotic cone matching that of the explicit AC SU(3)-invariant shrinker from arxiv:2112.09095. The latter conjecture suggests that Laplacian flow may naturally implement a type of surgery in which a CP^2 shrinks to a conically singular point, but after which the flow can be continued smoothly, expanding a topologically different CP^2 from the singularity.

Figures

Figures reproduced from arXiv: 2501.05437 by the authors.

Figure 1
Figure 1. Phase diagram of the shrinker limit system (8.3) Proof. First note that β < β∗ implies d dβ  −2λβ(α + 2 3 ) + α(1 + 2α) 2β  = −2λ(α + 2 3 ) − α(1 + 2α) 2β 2 < −2λ(α + 2 3 ) + 4λ 9 α(1 + 2α) = − 2λ 9 (−4α 2 + 7α + 6). Because −4α 2 + 7α + 6 is increasing for all negative α its value on the interval [− 2 3 , − 21 32 ] is bounded above by its value at − 21 32 , which is − 81 256 . Thus dα′ dβ < 0 in this region, so α… view at source ↗
Figure 2
Figure 2. Closed SU(3)-invariant cones The centre of the triangle corresponds to the torsion-free cone with c1 = c2 = c3 = 1 2 . The three lines of symmetry (where two of the ci are equal) correspond to cones that are invariant under one of the three involutions σk. The shaded region, bounded by the segments c1 = c2 > c3 and c1 = c3 > c2, is what we conjecture arises as asymptotic cones of the AC members of the family of smoo… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 16 canonical work pages

  1. [13]

    Haskins and J

    M. Haskins and J. Nordström,Cohomogeneity-one solitons in Laplacian flow: local, smoothly-closing and steady solitons, arXiv:2112.09095v3, 2025

    arXiv 2025

  2. [1]

    S. B. Angenent and D. Knopf,Ricci solitons, conical singularities, and nonuniqueness, Geom. Funct. Anal.32 (2022), no. 3, 411–489

    work page 2022

  3. [2]

    Atiyah and E

    M. Atiyah and E. Witten,M-theory dynamics on a manifold ofG2 holonomy, Adv. Theor. Math. Phys.6 (2002), no. 1, 1–106

    work page 2002

  4. [3]

    Ball,Quadratic closedG2-structures, Journal of the London Mathematical Society107 (2023), no

    G. Ball,Quadratic closedG2-structures, Journal of the London Mathematical Society107 (2023), no. 3, 1110–1171

    work page 2023

  5. [4]

    R. L. Bryant,Ricci flow solitons in dimension three withSO(3)-symmetries, 2005

    work page 2005

  6. [5]

    , The generality of closedG2 solitons, Pure and Applied Mathematics Quarterly19 (2024), 2827–2840

    work page 2024

  7. [6]

    R. L. Bryant and S. M. Salamon,On the construction of some complete metrics with exceptional holonomy, Duke Math. J. 58 (1989), no. 3, 829–850

    work page 1989

  8. [7]

    Chen,Rotational symmetry of solutions of mean curvature flow coming out of a double cone, J

    L. Chen,Rotational symmetry of solutions of mean curvature flow coming out of a double cone, J. Geom. Anal. 32 (2022), no. 10, Paper No. 250, 11

    work page 2022

Show all 17 references
  1. [8]

    Chodosh,Expanding Ricci solitons asymptotic to cones, Calc

    O. Chodosh,Expanding Ricci solitons asymptotic to cones, Calc. Var. Partial Differential Equations51 (2014), no. 1-2, 1–15

    2014

  2. [9]

    R. J. Conlon, A. Deruelle, and S. Sun,Classification results for expanding and shrinking gradient Kähler-Ricci solitons, Geom. Topol.28 (2024), no. 1, 267–351

    2024

  3. [10]

    Eschenburg and M

    J.-H. Eschenburg and M. Y. Wang,The initial value problem for cohomogeneity one Einstein metrics, J. Geom. Anal. 10 (2000), no. 1, 109–137

    2000

  4. [11]

    Fowdar,S1-Invariant Laplacian Flow, The Journal of Geometric Analysis32 (2021), no

    U. Fowdar,S1-Invariant Laplacian Flow, The Journal of Geometric Analysis32 (2021), no. 1

    2021

  5. [12]

    Haskins, I

    M. Haskins, I. Khan, and A. Payne,Uniqueness of asymptotically conical gradient shrinking solitons inG2- Laplacian flow, Math. Annalen391 (2025), 5033–5116

    2025

  6. [14]

    Joyce,Compact manifolds with special holonomy, Oxford Mathematical Monographs, Oxford University Press, Oxford, 2000

    D. Joyce,Compact manifolds with special holonomy, Oxford Mathematical Monographs, Oxford University Press, Oxford, 2000

    2000

  7. [15]

    Karigiannis and J

    S. Karigiannis and J. D. Lotay,Deformation theory of G2 conifolds, Comm. Anal. Geom. 28 (2020), no. 5, 1057–1210

    2020

  8. [16]

    Malgrange,Sur les points singuliers des équations différentielles linéaires, Enseign

    B. Malgrange,Sur les points singuliers des équations différentielles linéaires, Enseign. Math.20 (1974), 147–176

    1974

  9. [17]

    Stein and M

    J. Stein and M. Turner,G2-instantons on the ALC members of theB7 family, arXiv:2409.03886, 2025

    2025 arXiv

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.