pith. sign in

arxiv: 2604.20628 · v1 · submitted 2026-04-22 · 🧮 math.SG

A note on the cardinality of Lagrangian packings

Jo\'e Brendel , Jean-Philippe Chass\'e , Laurent C\^ot\'e This is my paper

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

classification 🧮 math.SG
keywords givenlagrangianmanifoldsymplecticaddresscardinalityclasshamiltonian
0
0 comments X

The pith

The authors address whether uncountably many Lagrangian submanifolds can be packed inside a single Hamiltonian isotopy class of a symplectic manifold in both C^∞ and C^0 categories.

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

Symplectic manifolds are spaces with a special structure that keeps areas and volumes in a rigid way, much like the phase space of a physical system. Lagrangian submanifolds are half-dimensional slices inside these spaces on which the structure vanishes, generalizing the idea of position space in mechanics. Hamiltonian isotopy means a continuous deformation of one Lagrangian into another that respects the symplectic structure at every step. The paper asks whether a single isotopy class can contain uncountably many distinct such submanifolds. It treats the question in two levels of regularity: infinitely differentiable (C^∞) and merely continuous (C^0). The C^∞ case concerns smooth geometry while the C^0 case is closer to topology. Answering this tells us how large or flexible the collection of Lagrangians inside one class can be. If the answer is yes, isotopy classes can be very large; if no, there is a cardinality restriction that might be useful for classification or construction problems in the field.

Core claim

We address C^∞ and C^0 versions of this question [whether one can pack uncountably many Lagrangian submanifolds in a given Hamiltonian isotopy class of a symplectic manifold].

Load-bearing premise

That the given symplectic manifold possesses Hamiltonian isotopy classes of Lagrangian submanifolds for which the cardinality question is meaningful and non-vacuous.

read the original abstract

Given a symplectic manifold, can one pack uncountably many Lagrangian submanifolds in a given Hamiltonian isotopy class of this symplectic manifold? We address $C^\infty$ and $C^0$ versions of this question.

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

0 major / 2 minor

Summary. The manuscript addresses the question of whether uncountably many Lagrangian submanifolds can be packed into a given Hamiltonian isotopy class of a symplectic manifold. It considers both the C^∞ and C^0 versions of this cardinality question.

Significance. If the arguments hold, the note clarifies possible cardinalities of Lagrangian packings within fixed Hamiltonian isotopy classes. A strength is its reliance on standard symplectic invariants and isotopy criteria without introducing ad-hoc assumptions about boundedness or flux.

minor comments (2)
  1. The abstract states the question but does not summarize the main conclusions (e.g., existence or non-existence results for each regularity class). Adding one sentence on the outcomes would improve readability.
  2. The introduction should explicitly state the precise symplectic manifolds or classes under consideration to make the scope of the cardinality statements clear.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. No specific major comments were raised in the report, so we have no points to address point-by-point. We will incorporate any minor editorial improvements in the revised version.

Circularity Check

0 steps flagged

No circularity: short note with no derivations or self-referential steps

full rationale

The manuscript is a brief note posing and addressing cardinality questions for uncountable Lagrangian packings in fixed Hamiltonian isotopy classes, in both C^∞ and C^0 settings. No equations, fitted parameters, ansatzes, or derivation chains appear. All arguments invoke standard, externally established symplectic invariants and isotopy criteria whose validity does not depend on the paper's own conclusions. The weakest assumption (existence of at least one non-empty Hamiltonian isotopy class) is an explicit setup hypothesis rather than a derived claim, and no self-citation is used to close any logical loop. Consequently the internal logic is self-contained and non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract relies entirely on the standard definitions and basic properties of symplectic manifolds, Lagrangian submanifolds, and Hamiltonian isotopy that are part of the ambient field; no new parameters, axioms, or entities are introduced or fitted.

axioms (2)
  • domain assumption Symplectic manifolds are equipped with a closed non-degenerate 2-form and Lagrangian submanifolds are isotropic submanifolds of half dimension.
    Invoked implicitly by the statement of the question; standard background in symplectic geometry.
  • domain assumption Hamiltonian isotopy classes are well-defined equivalence relations on the space of Lagrangian submanifolds.
    Used to formulate the packing question; part of the standard toolkit.

pith-pipeline@v0.9.0 · 5325 in / 1394 out tokens · 26939 ms · 2026-05-09T22:42:52.289641+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    Marcelo Atallah, Jean-Philippe Chass´ e, R´ emi Leclercq, and Egor Shelukhin,Wein- stein exactness of nearby Lagrangians and related questions, arxiv:2410.04158 (2025)

    work page arXiv 2025

  2. [2]

    Jo´ e Brendel,Hamiltonian classification of toric fibres and symmetric probes, Algebr. Geom. Topol.25(2025), no. 3, 1839–1876, DOI 10.2140/agt.2025.25.1839

    work page doi:10.2140/agt.2025.25.1839 2025

  3. [3]

    (N.S.)31(2025), no

    Jo´ e Brendel and Joontae Kim,Lagrangian split tori inS 2 ×S 2 and billiards, Selecta Math. (N.S.)31(2025), no. 4, Paper No. 68, DOI 10.1007/s00029-025-01068-z

    work page doi:10.1007/s00029-025-01068-z 2025

  4. [4]

    6, 3493–3508

    Lev Buhovsky,Towards theC 0 flux conjecture, Algebraic & Geometric Topology14 (2015), no. 6, 3493–3508

    work page 2015

  5. [5]

    1, 293–316

    Lev Buhovsky, Vincent Humili` ere, and Sobhan Seyfaddini,The action spectrum and C 0 symplectic topology, Mathematische Annalen380(2021), no. 1, 293–316

    work page 2021

  6. [6]

    1, 213–226

    Yuri Chekanov,Lagrangian intersections, symplectic energy, and areas of holomorphic curves, Duke Mathematical Journal95(1998), no. 1, 213–226

    work page 1998

  7. [7]

    3, 445–475

    Yuri Chekanov and Felix Schlenk,Lagrangian product tori in symplectic manifolds, Commentarii Mathematici Helvetici91(2016), no. 3, 445–475

    work page 2016

  8. [8]

    3, 227–232

    Yasha Eliashberg,A theorem on the structure of wave fronts and its applications in symplectic topology, Functional Analysis and Its Applications21(1987), no. 3, 227–232

    work page 1987

  9. [9]

    14, Springer, 2012

    Martin Golubitsky and Victor Guillemin,Stable mappings and their singularities, Graduate Texts in Mathematics, vol. 14, Springer, 2012

    work page 2012

  10. [10]

    Folge, vol

    Misha Gromov,Partial differential relations, Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, vol. 9, Springer, 1986

    work page 1986

  11. [11]

    06, 1103– 1128

    Ba¸ sak G¨ urel,Totally non-coisotropic displacement and its applications to Hamiltonian dynamics, Communications in Contemporary Mathematics10(2008), no. 06, 1103– 1128

    work page 2008

  12. [12]

    33, Springer, 2012

    Morris W Hirsch,Differential topology, Vol. 33, Springer, 2012

    work page 2012

  13. [13]

    4, 767–799

    Vincent Humili` ere, R´ emi Leclercq, and Sobhan Seyfaddini,Coisotropic rigidity and C 0-symplectic geometry, Duke Mathematical Journal164(2015), no. 4, 767–799

    work page 2015

  14. [14]

    Fran¸ cois Lalonde, Dusa McDuff, and Leonid Polterovich,On the flux conjectures, Geometry, topology, and dynamics, 1998, pp. 69–85

    work page 1998

  15. [15]

    4, 161–168

    Fran¸ cois Laudenbach and Jean-Claude Sikorav,Hamiltonian disjunction and limits of Lagrangian submanifolds, International Mathematics Research Notices1994(1994), no. 4, 161–168

    work page 1994

  16. [16]

    11, 2433–2493

    Cedric Membrez and Emmanuel Opshtein,C 0-rigidity of Lagrangian submanifolds and punctured holomorphic disks in the cotangent bundle, Compositio Mathematica 157(2021), no. 11, 2433–2493

    work page 2021

  17. [17]

    5, 981–1020

    Kaoru Ono,Floer–Novikov cohomology and the flux conjecture, Geometric & Func- tional Analysis GAFA16(2006), no. 5, 981–1020

    work page 2006

  18. [18]

    12, 2483–2520

    Leonid Polterovich and Egor Shelukhin,Lagrangian configurations and Hamiltonian maps, Compositio Mathematica159(2023), no. 12, 2483–2520. 12 JO ´E BRENDEL∗, JEAN-PHILIPPE CHASS ´E†, AND LAURENT C ˆOT´E‡

    work page 2023

  19. [19]

    21, 4920– 4960

    Sobhan Seyfaddini,C 0-limits of Hamiltonian paths and the Oh–Schwarz spectral in- variants, International Mathematics Research Notices2013(2013), no. 21, 4920– 4960. ETH Z ¨urich, Zurich, Switzerland Email address:joe.brendel@math.ethz.ch CRM, Montreal, Canada Email address:jean-philippe.chasse@umontreal.ca Universit¨at Bonn, Mathematical Institute, Bonn,...

    work page 2013