pith. sign in

arxiv: 2510.16976 · v2 · pith:QAK6FBU7new · submitted 2025-10-19 · 🧮 math.SG · math.DS

Connectedness of fibers beyond semitoric systems II: ephemeral singular points

Daniele Sepe , Susan Tolman This is my paper

Pith reviewed 2026-05-21 21:22 UTC · model grok-4.3

classification 🧮 math.SG math.DS
keywords integrable systemsconnected fibersephemeral singular pointstorus actionsmoment mapssymplectic geometrysemitoric systemsresonances
0
0 comments X

The pith

Every 2n-dimensional integrable system extending an (n-1)-torus action with proper moment map has connected fibers if tall singular points are non-degenerate or ephemeral.

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

The paper proves connectedness of fibers for a broader family of integrable systems than earlier theorems allowed. It weakens the old demand that every tall singular point be fully non-degenerate by introducing ephemeral degenerate singular points as an acceptable alternative. If the result holds, many systems that arise in resonances or special Lagrangian fibrations now satisfy the connectedness property without extra restrictions. Readers care because connected fibers give direct control over the global topology and reduce the complexity of studying the moment map image.

Core claim

For every 2n-dimensional integrable system whose action extends an (n-1)-torus with proper moment map, the fibers are connected whenever every tall singular point is either non-degenerate or ephemeral. Ephemeral points form a new class of degenerate tall singular points that lack a hyperbolic block and possess a connected stabilizer under the torus action. The authors supply a family of concrete examples showing that this relaxed condition properly enlarges the set of systems known to have connected fibers.

What carries the argument

Ephemeral degenerate singular points: tall singular points that are degenerate yet satisfy the absence of a hyperbolic block together with a connected torus stabilizer, thereby allowing the connectedness conclusion to survive the presence of degeneracy.

If this is right

  • Connectedness of fibers now holds for systems containing p-q resonance singularities.
  • Special Lagrangian fibrations fall inside the class of systems guaranteed to have connected fibers.
  • The earlier restrictive non-degeneracy requirement on tall points can be replaced by the weaker ephemeral condition.
  • The result supplies a meaningful generalization beyond the semitoric case treated in prior work.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same relaxation might be tested on other global properties such as the simplicity of the moment map image or the existence of global action-angle coordinates.
  • Explicit constructions of systems with multiple ephemeral points could be used to map the boundary between connected and disconnected fiber regimes.
  • The definition of ephemerality may suggest analogous weakenings for non-Hamiltonian integrable systems or for actions of higher-dimensional tori.

Load-bearing premise

The (n-1)-torus action extends to the full integrable system with a proper moment map, and any degenerate tall singular point must lack a hyperbolic block and have a connected stabilizer to qualify as ephemeral.

What would settle it

Exhibit one explicit 2n-dimensional integrable system extending an (n-1)-torus action with proper moment map that contains a tall singular point which is degenerate, possesses either a hyperbolic block or a disconnected stabilizer, and whose fibers are disconnected.

read the original abstract

In an earlier paper, we proved the connectedness of the fibers of every $2n$-dimensional integrable system satisfying both: the action extends the action of an $(n-1)$-dimensional torus which has a proper moment map, and every tall singular point is non-degenerate and no such point has a hyperbolic block and connected $T$-stabilizer. Unfortunately, these criteria are fairly restrictive. Our main goal in this paper is to find a larger class of integrable systems that has connected fibers by weakening the non-degeneracy assumption above. To achieve this, we introduce ``ephemeral" degenerate singular points, examples of which have appeared in the literature in the context of both $p \! : \! -q$ resonances and special Lagrangian fibrations. Finally, we construct a family of examples that shows that our main theorem meaningfully extends previous results.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper extends a previous result on fiber connectedness for 2n-dimensional integrable systems. It introduces the notion of ephemeral degenerate singular points (degenerate points with no hyperbolic block and connected T-stabilizer) and proves that if the system admits an extension of an (n-1)-torus action with proper moment map and every tall singular point is either non-degenerate or ephemeral, then all fibers are connected. A family of examples is constructed to demonstrate that the new class properly contains the systems covered by the earlier non-degeneracy assumption.

Significance. The result meaningfully enlarges the class of integrable systems known to have connected fibers by relaxing the non-degeneracy requirement on tall singular points while retaining the (n-1)-torus extension and properness hypotheses. This is relevant for contexts such as p:q resonances and special Lagrangian fibrations where genuinely degenerate points appear. The explicit construction of examples provides concrete evidence that the extension is non-vacuous.

major comments (1)
  1. [§3] §3 (local normal forms for ephemeral points): the manuscript must explicitly verify that the local models for ephemeral points satisfy the key lemmas from Part I concerning T-orbit closures and connectedness of level sets. The global argument relies on these local properties to rule out disconnected components; without a dedicated lemma or direct comparison showing that the weaker local structure still forces the same global conclusion, the replacement of non-degeneracy by the ephemeral condition is not yet load-bearing.
minor comments (2)
  1. [Introduction / Main Theorem] The notation for the T-stabilizer and the precise meaning of 'tall singular point' should be recalled or cross-referenced at the beginning of the main theorem statement for readers who have not read Part I recently.
  2. [Examples section] Figure captions for the example family could usefully indicate which singular points are ephemeral versus non-degenerate.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive evaluation of the paper's significance and for the constructive comment on Section 3. We address the major comment below and will revise the manuscript to incorporate the requested verification.

read point-by-point responses

  1. Referee: [§3] §3 (local normal forms for ephemeral points): the manuscript must explicitly verify that the local models for ephemeral points satisfy the key lemmas from Part I concerning T-orbit closures and connectedness of level sets. The global argument relies on these local properties to rule out disconnected components; without a dedicated lemma or direct comparison showing that the weaker local structure still forces the same global conclusion, the replacement of non-degeneracy by the ephemeral condition is not yet load-bearing.

    Authors: We agree that an explicit verification is required to ensure the local-to-global argument is fully load-bearing. In the revised manuscript we will add a dedicated lemma in §3 that directly checks the local normal forms of ephemeral points against the key lemmas from Part I. The new lemma will confirm that the absence of a hyperbolic block together with connectedness of the T-stabilizer is sufficient to guarantee the same connectedness of T-orbit closures and of level sets that was used in the non-degenerate case. The proof will proceed by examining the local model coordinates and verifying that the relevant connectedness statements continue to hold under the weaker hypotheses. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper introduces a new definitional category of ephemeral degenerate singular points and states a theorem extending a connectedness result from a prior paper by the same authors. The provided abstract and context describe a mathematical proof that weakens a non-degeneracy assumption while retaining the (n-1)-torus extension and proper moment map, plus construction of examples. No equations, fitted parameters, or self-referential definitions are exhibited that would reduce the claimed result to its inputs by construction. The self-citation supports the base non-degenerate case as independent prior work; the current paper adds new content. This is a self-contained mathematical derivation against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper relies on standard background from symplectic geometry and integrable systems theory; the new concept is a mathematical definition rather than a physical postulate.

axioms (1)
  • standard math Background properties of Hamiltonian actions and moment maps in symplectic manifolds
    Invoked throughout the statement of the main theorem and comparison with prior work.
invented entities (1)
  • ephemeral degenerate singular point no independent evidence
    purpose: To classify certain degenerate tall singular points that still permit connected fibers
    New definitional category introduced to weaken the non-degeneracy hypothesis while preserving the conclusion.

pith-pipeline@v0.9.0 · 5672 in / 1078 out tokens · 62317 ms · 2026-05-21T21:22:28.588478+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

15 extracted references · 15 canonical work pages

  1. [1]

    [At] M. F. Atiyah,Convexity and Commuting Hamiltonians, Bull. London Math. Soc. 14 (1982), no. 1, 1 –

    work page 1982

  2. [2]

    Casta˜ no Bernard,Symplectic invariants of some families of La- grangianT 3-fibrations, J

    [CB] R. Casta˜ no Bernard,Symplectic invariants of some families of La- grangianT 3-fibrations, J. Symplectic Geom. 2 (2004), no. 3, 279 –

    work page 2004

  3. [3]

    [DK] J. J. Duistermaat and J. A. C. Kolk,Lie Groups, Universitext, Berlin, Springer (2000). [GS] V. Guillemin and S. Sternberg,A normal form for the moment map, Dif- ferential geometric methods in mathematical physics (Jerusalem, 1982), Math. Phys. Stud., 6, Reidel, Dordrecht, 1984, 161 –

    work page 2000

  4. [4]

    Guillemin and S

    [GS2] V. Guillemin and S. Sternberg,Convexity properties of the moment mapping, Invent. Math. 67 (1982), no. 3, 491 –

    work page 1982

  5. [5]

    Harvey and H

    [HL] R. Harvey and H. B. Lawson Jr.,Calibrated Geometries, Acta Math. 148 (1982), 47 –

    work page 1982

  6. [6]

    Hohloch, S

    [HSSS] S. Hohloch, S. Sabatini, D. Sepe and M. Symington,From Hamiltonian S1-spaces to compact semi-toric systems, in preparation. 32 DANIELE SEPE AND SUSAN TOLMAN [HSS] S. Hohloch, S. Sabatini and D. Sepe,From compact semi-toric systems to HamiltonianS 1-spaces, Discrete Contin. Dyn. Syst. 35 (2015), no. 1, 247 –

    work page 2015

  7. [7]

    Joyce,Singularities of special Lagrangian fibrations and the SYZ conjecture, Commun

    [J] D. Joyce,Singularities of special Lagrangian fibrations and the SYZ conjecture, Commun. Anal. Geom. 11 (2003), no. 5, 859 –

    work page 2003

  8. [8]

    Karshon and S

    [KT1] Y. Karshon and S. Tolman,Centered complexity one Hamiltonian torus actions, Trans. Amer. Math. Soc. 353 (2001), no. 12, 4831 –

    work page 2001

  9. [9]

    Lerman, E

    [LMTW] E. Lerman, E. Meinrenken, S. Tolman and C. Woodward,Non-abelian convexity by symplectic cuts, Topology 37 (1998), no. 2, 245 –

    work page 1998

  10. [10]

    Li,The fundamental group of symplectic manifolds with Hamil- tonian Lie group actions, J

    [Li] H. Li,The fundamental group of symplectic manifolds with Hamil- tonian Lie group actions, J. Symplectic Geom. 4 (2006), no. 3, 345 –

    work page 2006

  11. [11]

    Marle,Mod` ele d’action hamiltonienne d’un groupe de Lie sur une vari´ et´ e symplectique, Rend

    [M] C.-M. Marle,Mod` ele d’action hamiltonienne d’un groupe de Lie sur une vari´ et´ e symplectique, Rend. Sem. Mat. Univ. Politec. Torino 43 (1985), no. 2, 227 –

    work page 1985

  12. [12]

    Schmidt and H

    [SD] S. Schmidt and H. R. Dullin,Dynamics near thep:−qresonance, Physica D 239 (2010), no. 19, 1884 –

    work page 2010

  13. [13]

    Schwarz,Smooth functions invariant under the action of a com- pact Lie group, Topology 14 (1975), 63 –

    [Sch] G. Schwarz,Smooth functions invariant under the action of a com- pact Lie group, Topology 14 (1975), 63 –

    work page 1975

  14. [14]

    Sjamaar,Convexity properties of the moment mapping re- examined, Adv

    [Sja] R. Sjamaar,Convexity properties of the moment mapping re- examined, Adv. Math. 138 (1998), no. 1, 46 –

    work page 1998

  15. [15]

    Sepe and S

    [ST1] D. Sepe and S. Tolman,Connectedness of fibers beyond semitoric systems I: the non-degenerate case, preprint, arXiv:2402.05814. [VN] S. V˜ u Ngoc,Moment polytopes for symplectic manifolds with mon- odromy, Adv. Math. 208 (2007), no. 2, 909 –

    work page arXiv 2007