Pith. sign in

REVIEW 2 major objections 4 minor 23 references

Explicit Hamiltonian Classification in the $F_4(0)$ Toric Degeneration of $CP^2$

T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read For every regular fiber of the $F_4(0)$ toric degeneration of $\mathbb{C}P^2$, this paper determines the Hamiltonian isotopy class: off-wall fibers become explicit standard toric fibers, and wall fibers form a continuum of pairwise…

desk verdict A concrete and mostly checkable classification of regular fibers in the F4(0) degeneration, with a real but repairable gap in the wall-fiber argument. read the letter →

arxiv 2608.04535 v1 pith:6U7QJ2TZ submitted 2026-08-05 math.SG

Han Lou , Shuo Zhang This is my paper · ORCID
classification math.SG MSC 53D1253D20
keywords LagrangiantorusHamiltonianisotopytoricdegenerationsymplecticreductiondisplacement-energygermCP^2standardfiberwallfibers
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

The paper proves a complete Hamiltonian isotopy classification of the regular Lagrangian torus fibers of the smoothing of the $F_4(0)$ toric degeneration of $\mathbb{C}P^2$. Off the wall $x+2y=1$, each fiber $L(x,y)$ is shown to be Hamiltonian isotopic to a specific standard toric fiber, given by $T(y,1-x-y)$ for $x+2y<1$ and $T(x+3y-1,y)$ for $x+2y>1$. On the wall, no fiber is Hamiltonian isotopic to any standard toric fiber, and distinct wall fibers are pairwise non-isotopic. The upshot is that every regular fiber of this degeneration is now explicitly located in the Hamiltonian classification of tori in $\mathbb{C}P^2$, and the wall contributes a continuum of exotic classes.

What carries the argument

The central invariant is the displacement-energy germ: for a Lagrangian $L$, it is the function germ sending a small class $\xi\in H^1(L;\mathbb{R})$ to the displacement energy of the exact deformation $L_\xi$, and under a Hamiltonian isotopy it transforms by the induced linear map on $H^1$. The paper combines this with Lemma 2.1, a support-localized lifting statement that promotes a Hamiltonian isotopy of circles in a symplectic reduced surface to a Hamiltonian isotopy of the corresponding preimage tori. In the off-wall computation, the reduction sends each $L(p,q)$ to a circle in a reduced disk, and the circle is identified by its enclosed area; the area equality selects a standard circle whose lift is a standard toric fiber, with the target identified by the facet-distance classification of standard toric fibers (Theorem 2.6). In the wall computation, the germ formulas of Propositions 4.2 and 4.3 are compared, and the shape mismatch proves non-isotopy.

What would settle it

Compute the displacement energy of the explicit fibers $L(\epsilon,q)$ just off the wall for a fixed $q<1/3$ and $\epsilon\to 0$; Proposition 4.2 predicts $e(L(\epsilon,q))=q-|\epsilon|$ in the $\epsilon_2=0$ direction, so a direct probe or holomorphic-disk computation giving a different slope would refute the central claim. Exhibiting a Hamiltonian isotopy from $L(0,q)$ to $T((1-q)/2,(1-q)/2)$, or from $L(0,q)$ to $L(0,q')$ with $q\neq q'$, would likewise contradict the Main Theorem.

Watch

Extended reading notes

Core claim

Using the Oakley–Usher symplectomorphism to $\mathbb{C}P^2(\sqrt{2})$, the fibers are written as $L(p,q)=\{[z]: |z_0^2+z_1^2+z_2^2|=2\sqrt{1-q^2},\ \operatorname{Im}(\bar z_1 z_2)=p\}$. For $p\neq 0$, symplectic reduction to a disk sends the fiber to an embedded circle, and the paper shows that any circle of the same enclosed area is Hamiltonian isotopic in the reduced surface; lifting the isotopy gives a Hamiltonian isotopy from $L(p,q)$ to a standard toric fiber, yielding the two off-wall formulas. For $p=0$, the paper compares displacement-energy germs to rule out every standard toric fiber and to separate the wall fibers from each other. The germ of $L(0,q)$ is a piecewise-linear function of the small cohomology class $(\epsilon_1,\epsilon_2)$ whose shape depends on whether $q<1/3$, $q=1/3$, or $q>1/3$; no linear coordinate change can convert it into the germ of any standard toric fiber, and the constant term of the germ recovers $q$. The $q=1/3$ fiber is Wu's monotone torus, so the comparison also recovers the known non-isotopy of the Chekanov–Schlenk torus from the Clifford torus.

Load-bearing premise

The proof assumes, without an explicit derivation, that the nearby off-wall fibers $L(\epsilon_1,q+\epsilon_2)$ are exact deformations of the wall fiber $L(0,q)$ whose cohomology class is $(\epsilon_1,\epsilon_2)$ in a fixed basis of $H^1(L(0,q);\mathbb{R})$; if that identification fails, the energy-germ formulas and the non-isotopy conclusions do not follow.

Editorial extensions

If this is right

  • Every regular fiber of the $F_4(0)$ smoothing is assigned a definite Hamiltonian isotopy class: the two off-wall formulas cover all points with $x+2y\neq 1$, and the wall is a separate continuum.
  • No wall fiber is Hamiltonian isotopic to a standard toric fiber, so the regular-fiber classification genuinely contains non-toric classes.
  • Distinct wall fibers are pairwise non-isotopic, giving a continuum of distinct Hamiltonian isotopy classes among the fibers of this degeneration.
  • The classification is independent of the choice of symplectomorphism from the smoothing to $\mathbb{C}P^2(\sqrt2)$, because every symplectic isotopy of $\mathbb{C}P^2$ is Hamiltonian.
  • At $q=1/3$ the wall fiber is Wu's monotone torus, so the germ computation gives a direct proof that the Chekanov–Schlenk torus is not Hamiltonian isotopic to the Clifford torus.

Reading between the lines

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

  • The same reduction-to-a-disk method should apply to other $F_k(0)$ degenerations of $\mathbb{C}P^2$ and to higher-dimensional toric degenerations, where wall fibers would be distinguished by analogous displacement-energy germs; the paper does not pursue this.
  • Because the wall fibers are given by explicit equations, one can use them as test cases for stronger invariants (such as quantum or pearl homology) to see whether the continuum of energy-germ classes collapses under more refined equivalence relations; the paper does not compute those invariants.
  • The piecewise-linear off-wall map suggests a tropical or almost-toric reading of the classification: the two affine formulas could be the two charts of a piecewise-linear homeomorphism between $\Delta_W$ and $\Delta_{\mathrm{std}}$, and checking whether this extends to a full fibration is a natural next step.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper studies the regular Lagrangian torus fibers L(x,y) of the smoothing \widehat{F}_4(0) of the F_4(0) toric degeneration, expressed in the Oakley--Usher coordinates on CP^2(\sqrt{2}). The main theorem claims an explicit Hamiltonian isotopy classification: for off-wall points with x+2y<1 the fiber is Hamiltonian isotopic to T(y,1-x-y), for x+2y>1 to T(x+3y-1,y), and for wall points x+2y=1 the fibers are not Hamiltonian isotopic to any standard toric fiber and are pairwise non-Hamiltonian-isotopic. The off-wall proof is a reduction computation: each fiber descends to a circle in a reduced disk, and an equal-area circle is lifted and identified with a standard toric fiber. The wall proof uses displacement-energy germs of nearby off-wall fibers and compares them with the germs of the candidate standard toric fiber.

Significance. If the wall argument is completed, the paper gives a complete, explicit classification of Hamiltonian isotopy classes of all regular fibers in this model, including a continuum of pairwise non-isotopic wall tori. The off-wall computation in Section 3 is detailed and internally consistent, and the formulas for the standard toric fibers check out. The displacement-energy-germ method is well chosen, and the linear-algebra comparisons in Theorem 4.4 are robust: they allow an arbitrary A in GL(2,R), so only the nondegeneracy of the period map, not the specific coordinate system, is needed. The result would complement Vianna's infinite family and the Brendel classification of toric fibers, and it recovers the known monotone case at q=1/3. The main obstruction to accepting the wall results as stated is a missing identification between the parameter family in Proposition 4.2 and the cohomology of the wall fiber.

major comments (2)
  1. [Section 4, proof of Proposition 4.2] The proof begins by applying Theorem 3.4 to the nearby fibers \tilde L(\epsilon_1,q+\epsilon_2) and then writes down quantities called the displacement-energy germ of \tilde L(0,q). This silently identifies the parameter pair (\epsilon_1,\epsilon_2) with a cohomology class in H^1(\tilde L(0,q);R) via the Weinstein neighborhood theorem. No such identification is stated or proved: the paper neither fixes a basis of H^1(\tilde L(0,q);R) nor computes the periods of the closed 1-forms describing \tilde L(\epsilon_1,q+\epsilon_2) over \tilde L(0,q). If the period map from the parameter domain to H^1 has rank less than 2, then the formulas of Proposition 4.2 are only a curve in the germ, and the comparisons with the two-dimensional germ of T((1-q)/2,(1-q)/2) in Theorem 4.4 and Corollary 4.5 do not follow. Since the later arguments allow an arbitrary A in GL(2,R), it suffices to prove that this period map is a local isomorphism; please supply the explicit period computation or an equivalent argument.
  2. [Section 4, Proposition 4.2 and Theorem 4.4] Proposition 4.2 states a displacement-energy germ but gives formulas only for \epsilon_1\neq 0. A displacement-energy germ should be a function on a full neighborhood of 0 in H^1, so the line \epsilon_1=0 is not covered by the stated formulas. The proofs of Theorem 4.4 and Corollary 4.5 use limits or values away from that line and implicitly rely on continuity of the germ or on equality on a dense punctured subset. Please state how the germ is extended to the missing line, or explain explicitly why equality on the punctured domain is sufficient for the non-isotopy conclusions.
minor comments (4)
  1. [Section 3, Theorem 3.4] The assertion that the circles S^1(r) and \Gamma_{p,q} in the reduced disk D_p are Hamiltonian isotopic because they enclose the same area is stated without proof or reference. Since this is a standard fact for equal-area embedded circles in a disk, a citation or a short direct argument should be added.
  2. [Section 3, equations (3.1) and (3.2)] The displayed formulas contain badly broken radical notation; please typeset them correctly so that the defining equations are readable.
  3. [Section 3, Proposition 3.2] In the last sentence of the proof, 'an submersion' should be 'a submersion', and the conclusion that W is a symplectomorphism should be phrased directly as 'an immersion of equal dimension, hence a local symplectomorphism' before invoking bijectivity.
  4. [Section 4, Remark 4.6] The notation 'the fiber Lt' in Remark 4.6 is undefined; it should be \tilde L(0,1/3), the monotone wall fiber.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: off-wall classification is independent; wall non-isotopy uses displacement-energy germs computed from that independent result.

full rationale

The central claim splits into off-wall and wall statements. The off-wall classification (Theorem 3.4) is derived in the paper from an explicit Oakley-Usher symplectomorphism, a reduction to the EP97 model, and Lemma 2.1; it does not quote the Main Theorem. The wall results (Theorem 4.4 and Corollary 4.5) compare displacement-energy germs. Proposition 4.2 computes these germs by evaluating displacement energies of the nearby fibers ~L(epsilon1,q+epsilon2) via Theorem 3.4 and the standard toric-fiber formula Proposition 2.5, both inputs that are independent of the wall conclusion. The comparison in Theorem 4.4 even allows an arbitrary GL(2,R) change of coordinates before ruling out equality of germs, so the argument is not protected by a convenient coordinate choice. No parameter is fitted to the target statement and no standard fiber is assumed non-isotopic. The paper's only self-citation, [Lou, Section 3], is a pointer to a Weinstein-neighborhood technique; the proof of Proposition 4.1 is written out, so the citation is not load-bearing. A genuine gap is the unproved identification of the deformation parameters (epsilon1,epsilon2) with H^1(~L(0,q);R) in Proposition 4.2; if the period map were degenerate, the wall comparison would fail. But this is a missing lemma, not a circular reduction: the displacement-energy values used are computed from the independently established off-wall theorem. Hence no step of the claimed derivation is equivalent to its own input by construction.

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

No fitted parameters and no invented entities. The central claim rests on standard symplectic-topology tools and on the Oakley-Usher and Brendel results, plus one unproved local identification of the deformation family with the cohomology coordinates.

assumptions (5)
  • domain assumption The smoothing of F4(0) is symplectomorphic to CP^2(sqrt2) via the Oakley-Usher symplectomorphism, with L(x,y) given by equations (3.1)-(3.2).
    Taken from OU16, Proposition 3.3; all coordinate calculations are performed in this model.
  • domain assumption Two standard toric fibers in CP^2(sqrt2) are Hamiltonian isotopic if and only if their facet-distance multisets agree.
    Imported from Brendel's Proposition 5.4 and restated as Theorem 2.6; used in Proposition 4.1 and Corollary 4.5.
  • domain assumption The displacement energy of a standard toric fiber T(a,b), with (a,b) not the Clifford point, equals min(a,b,1-a-b).
    Imported from Bre23 and reproved in Proposition 2.5; used throughout Section 4.
  • ad hoc to paper The off-wall fibers L(epsilon1,q+epsilon2) realize the displacement-energy germ of L(0,q) with cohomology class (epsilon1,epsilon2).
    This is asserted without proof in Proposition 4.2; it is standard Weinstein-neighborhood and action-coordinate behavior but should be stated and justified.
  • standard math Weinstein's Lagrangian neighborhood theorem and Marsden-Weinstein-Meyer reduction are available for the constructions used.
    Used throughout for lifting isotopies, for the displacement-energy germ definition, and for the reduction in Proposition 3.2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Explicit Hamiltonian Classification in the $F_4(0)$ Toric Degeneration of $CP^2$." pith.science (2026). https://pith.science/paper/6U7QJ2TZ

@misc{pith2026260804535,
  author       = {Pith},
  title        = {Pith review of: Explicit Hamiltonian Classification in the $F_4(0)$ Toric Degeneration of $CP^2$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6U7QJ2TZ}},
  note         = {Machine review of arXiv:2608.04535}
}
abstract

We give an explicit coordinate description of the Hamiltonian isotopy classes of the regular Lagrangian torus fibers of the smoothing \(\widehat{F}_4(0)\) of the \(F_4(0)\) toric degeneration, expressed in the explicit Oakley--Usher coordinates on \(\CP^2(\sqrt2)\). For the wall fibers, they are not Hamiltonian isotopic to standard toric fibers, and no two distinct wall fibers are Hamiltonian isotopic. For the off-wall fibers, we find the standard toric fibers they are Hamiltonian isotopic to.

Figures

Figures reproduced from arXiv: 2608.04535 by the authors.

Figure 1
Figure 1. The moment polytope ∆W of Fb 4(0) We have the following result. Main Theorem. For every (x, y) ∈ Int ∆W , the following hold. (1) If x + 2y < 1, then L(x, y) is Hamiltonian isotopic to T (y, 1 − x − y). (2) If x + 2y > 1, then L(x, y) is Hamiltonian isotopic to T (x + 3y − 1, y). (3) If x + 2y = 1, then L(x, y) is not Hamiltonian isotopic to any standard toric fiber. Remark 1.1. We think it is also possible to use a… view at source ↗
Figure 2
Figure 2. An illustration of the symmetric probe x = a We will also use the following complete classification. Theorem 2.6 (Brendel). Two standard toric fibers in CP2 ( √ 2), with facet-distance triples (A, B, C) and (A′ , B′ , C′ ), are Hamiltonian isotopic if and only if {{A, B, C}} = {{A ′ , B′ , C′ }}. Proof. This is an equivalent formulation of [Bre25, Proposition 5.4] and the fact that an integral symmetry of ∆std is a … view at source ↗
Figure 3
Figure 3. The moment polytope ∆W under the (p, q) coordinates and ψ −1 : U0 → B 4 ( √ 2) [z0 : z1 : z2] 7→  z1|z0| z0 , z2|z0| z0  Then by a routine computation we have ψ : B 4 ( √ 2) → CP2 ( √ 2) (w1, w2) 7→ q 2 − |w1| 2 − |w2| 2 : w1 : w2  Lemma 3.1 (Ball containment). Every fiber Le(p, q) with (p, q) ∈ Int ∆W is contained in the standard symplectic ball chart ψ(B4 ( √ 2)) = {z0 ̸= 0}. Proof. Suppose a point of the fibe… view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: An illustration of the Hamiltonian isotopic Lagrangian tori. Take p = p0 > 0. Then the fibers over the line p = p0 are Hamiltonian isotopic to those over the line x − y = p0. Changing the variables back to x and y, we have L(x, y) is Hamiltonian isotopic to the toric f…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 22 canonical work pages

  1. [1]

    Agnes Gadbled , title =. J. Symplectic Geom , volume =

    work page

  2. [2]

    Paul Biran and Octav Cornea , title =. Geom. Topol. , volume =

    work page

  3. [3]

    Peter Albers and Urs Frauenfelder , title =. Comm. Pure Appl. Math. , volume =

    work page

  4. [4]

    Weiwei Wu , title =. Compos. Math. , volume =

    work page

  5. [5]

    Renato Vianna , title =. J. Topol. , volume =

    work page

  6. [6]

    Egor Shelukhin and Dmitry Tonkonog and Renato Vianna , title =. J. Topol. , volume =

    work page

  7. [7]

    Joel Oakley and Michael Usher , title =. Algebr. Geom. Topol. , volume =

    work page

  8. [8]

    Low-dimensional and symplectic topology, Proc

    Dusa McDuff , title =. Low-dimensional and symplectic topology, Proc. Sympos. Pure Math., Amer. Math. Soc. , volume =

    work page

Show all 23 references
  1. [9]

    Miguel Abreu and Leonardo Macarini , title =. Trans. Amer. Math. Soc. , volume =

  2. [10]

    Meike Akveld and Dietmar Salamon , title =. Geom. Funct. Anal. , volume =

  3. [11]

    Joé Brendel , title =. Algebr. Geom. Topol. , volume =

  4. [12]

    Joé Brendel , title =. Trans. Amer. Math. Soc. , volume =

  5. [13]

    Joé Brendel , title =. J. Symplectic Geom. , volume =

  6. [14]

    Duke Math

    Yuri Chekanov , title =. Duke Math. J. , volume =

  7. [15]

    Electron

    Yuri Chekanov and Felix Schlenk , title =. Electron. Res. Announc. Math. Sci. , volume =

  8. [16]

    Cheol-Hyun Cho and Yong-Geun Oh , title =. Asian J. Math. , volume =

  9. [17]

    Georgios Dimitroglou Rizell and Elizabeth Goodman and Alexander Ivrii , title =. Geom. Funct. Anal. , volume =

  10. [18]

    Geometric topology (Athens, GA, 1993), AMS/IP Stud

    Yakov Eliashberg and Leonid Polterovich , title =. Geometric topology (Athens, GA, 1993), AMS/IP Stud. Adv. Math., Amer. Math. Soc. , volume =

    1993

  11. [19]

    Kenji Fukaya and Yong Geun Oh and Hiroshi Ohta and Kaoru Ono , title =. Int. Math. Res. Not. IMRN , volume =

  12. [20]

    Misha Gromov , title =. Invent. Math. , volume =

  13. [21]

    Yanki Lekili and Maksim Maydanskiy , title =. Comment. Math. Helv. , volume =

  14. [22]

    arXiv: 2412.16356 , volume =

    Han Lou , title =. arXiv: 2412.16356 , volume =

    arXiv

  15. [23]

    Miguel Abreu and Matthew Storm Borman and Dusa McDuff , title =. Algebr. Geom. Topol. , volume =

Pith tools

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