pith. sign in

arxiv: 2402.16773 · v2 · submitted 2024-02-26 · 🧮 math.SG

Hofer geometry of A₃-configurations

Adrian Dawid This is my paper

Pith reviewed 2026-05-24 04:15 UTC · model grok-4.3

classification 🧮 math.SG
keywords Hofer metricA3-configurationLagrangian spheresquasi-flatsLiouville domainDehn twistFloer homologyHamiltonian diffeomorphisms
0
0 comments X

The pith

If three exact Lagrangian spheres form an A3-configuration in a Liouville domain with 2c1 vanishing, the Hofer-metric spaces of isotopy classes for the outer two spheres each contain quasi-isometric embeddings of infinite-dimensional sup-mu

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

The paper shows that an A3-configuration of exact Lagrangian spheres L0, L1, L2 inside a Liouville domain M with 2c1(M)=0 produces quasi-isometric embeddings of (R^∞, ||·||_∞) into the Hofer metric spaces of Lagrangians isotopic to L0 and to L2. A corollary of the same argument is that the group Ham_c(M) of compactly supported Hamiltonian diffeomorphisms itself admits an infinite-dimensional quasi-flat. The proof further establishes that the boundary depth of the Floer complex CF(τ^{2ℓ}(L0), L') grows without bound as L' ranges over the isotopy class of L2, for every natural number ℓ. These statements rely on the exact intersection pattern of the three spheres to set up the relevant Floer data and to control Hofer distances along explicit paths of isotopies.

Core claim

If L0, L1, L2 form an A3-configuration of exact Lagrangian spheres in a Liouville domain M with 2c1(M)=0, then there exist quasi-isometric embeddings of (R^∞, ||·||_∞) into the Hofer metric spacesmathscr{L}(L0) andmathscr{L}(L2); moreover Ham_c(M) contains an infinite-dimensional quasi-flat, and the boundary depth of CF(τ^{2ℓ}(L0), L') is unbounded in L' ∈mathscr{L}(L2) for each ℓ ∈ N_0.

What carries the argument

An A3-configuration of three exact Lagrangian spheres, which supplies the transverse single-point intersections between consecutive pairs and the disjointness of the outer pair that allow construction of the quasi-isometric embeddings.

If this is right

  • Ham_c(M) admits infinite-dimensional quasi-flats with respect to the Hofer metric.
  • Boundary depth of Floer complexes for Dehn-twist iterates is unbounded when the second Lagrangian varies over an entire isotopy class.
  • The Hofer metric spacesmathscr{L}(L0) andmathscr{L}(L2) each contain quasi-flats of every finite dimension.
  • The large-scale geometry of these Lagrangian spaces is at least as rich as that of infinite-dimensional Euclidean space with the sup norm.

Where Pith is reading between the lines

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

  • The same configuration technique may produce quasi-flats in the Hofer metric on the full space of all exact Lagrangians rather than on individual isotopy classes.
  • Higher A_n-configurations could be used to embed even larger or differently normed infinite-dimensional spaces.
  • The presence of these quasi-flats suggests that the Hofer metric on Hamiltonian groups is not Gromov-hyperbolic at large scales.
  • Analogous intersection patterns in other Liouville domains might yield quasi-flats detectable by different symplectic invariants such as spectral invariants.

Load-bearing premise

The three spheres must realize the exact A3 intersection pattern (one transverse intersection between each consecutive pair and none between the outer pair) inside a Liouville domain with 2c1(M)=0.

What would settle it

An explicit calculation in a concrete Liouville domain containing an A3-configuration that produces bounded Hofer distance between two sequences of Lagrangians claimed to realize an unbounded sup-norm coordinate would falsify the embedding claim.

read the original abstract

Let $L_0,L_1,L_2 \subset M$ be exact Lagrangian spheres in a Liouville domain $M$ with $2c_1(M)=0$. If $L_0,L_1,L_2$ form an $A_3$-configuration, we show that $\mathscr{L}(L_0)$ and $\mathscr{L}(L_2)$ endowed with the Hofer metric contain quasi-isometric embeddings of $(\mathbb{R}^\infty, \|\cdot\|_\infty)$, i.e. infinite-dimensional quasi-flats. A corollary of the proof presented here establishes that $\text{Ham}_c(M)$ itself contains an infinite-dimensional quasi-flat. We also show that for a Dehn twist $\tau: M \to M$ along $L_1$ the boundary depth of $CF(\tau^{2\ell}(L_0), L')$ is unbounded in $L' \in \mathscr{L}(L_2)$ for any $\ell \in \mathbb{N}_0$.

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 / 3 minor

Summary. The manuscript proves that if exact Lagrangian spheres L0, L1, L2 in a Liouville domain M with 2c1(M)=0 form an A3-configuration, then the spaces of Lagrangians isotopic to L0 and to L2, equipped with the Hofer metric, each contain quasi-isometric embeddings of (R^∞, ||·||_∞). A corollary shows that Ham_c(M) itself contains an infinite-dimensional quasi-flat. The proof also establishes that the boundary depth of the Floer complex CF(τ^{2ℓ}(L0), L') is unbounded as L' varies in the space of Lagrangians isotopic to L2, for the Dehn twist τ along L1 and any nonnegative integer ℓ.

Significance. If the central construction holds, the result supplies explicit infinite-dimensional quasi-flats in Hofer geometry arising from the simplest possible intersection pattern of three spheres. This strengthens the catalog of known large-scale features of the Hofer metric on Lagrangian spaces and on compactly supported Hamiltonian diffeomorphisms, and the boundary-depth statement furnishes a concrete, computable obstruction that may be useful in further rigidity questions.

minor comments (3)
  1. [Abstract] The notation ℒ(L0) and ℒ(L2) is introduced without an explicit definition in the abstract or early introduction; a sentence clarifying that these denote the spaces of exact Lagrangians Hamiltonian-isotopic to the given spheres would improve readability.
  2. [Introduction] The statement that the embeddings are quasi-isometric with respect to the l^∞ norm should be accompanied by an explicit statement of the constants (or at least their independence from dimension) already in the introduction, rather than only in the body of the proof.
  3. [Introduction] The corollary asserting an infinite-dimensional quasi-flat inside Ham_c(M) is stated without indicating whether the embedding factors through the Lagrangian spaces or is constructed independently; a one-sentence clarification of the route would help the reader.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading, positive summary, and recommendation of minor revision. No major comments appear in the report, so we have no specific points requiring response or revision at this stage. We are happy to address any minor comments or editorial suggestions in a revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The central claims follow from the geometric A3-configuration assumption via standard Floer-theoretic constructions (boundary depth lower bounds, continuation maps, energy estimates) applied to sequences generated by Dehn twists. No step reduces by definition or fitting to the target quasi-isometric embedding; the input geometry directly supplies the required Floer data without self-referential closure. No load-bearing self-citations or imported uniqueness theorems appear in the provided derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only; the result rests on standard background facts of symplectic geometry rather than new free parameters or invented entities.

axioms (2)
  • domain assumption M is a Liouville domain with 2c1(M)=0
    Stated in the first sentence of the abstract; required for the Floer theory and grading to be well-defined.
  • domain assumption L0, L1, L2 are exact Lagrangian spheres forming an A3-configuration
    Central geometric hypothesis invoked to obtain the quasi-flat embeddings.

pith-pipeline@v0.9.0 · 5701 in / 1440 out tokens · 18479 ms · 2026-05-24T04:15:45.951347+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

27 extracted references · 27 canonical work pages · 3 internal anchors

  1. [1]

    Bounds on the Lagrangian spectral metric in cotangent bundles

    Paul Biran and Octav Cornea. Bounds on the Lagrangian spectral metric in cotangent bundles. Commentarii Mathematici Helvetici , 96(4):631--691, January 2022

    work page 2022

  2. [2]

    J Duistermaat

    J. J Duistermaat. On the Morse index in variational calculus. Advances in Mathematics , 21(2):173--195, August 1976

    work page 1976

  3. [3]

    Lagrangian Intersection Floer Theory , Part 1: Anomaly and Obstruction , Part I , volume 46.1 of AMS / IP Studies in Advanced Mathematics

    Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, and Kaoru Ono. Lagrangian Intersection Floer Theory , Part 1: Anomaly and Obstruction , Part I , volume 46.1 of AMS / IP Studies in Advanced Mathematics . American Mathematical Society, June 2010

    work page 2010

  4. [4]

    Displacement of polydisks and Lagrangian Floer theory

    Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, and Kaoru Ono. Displacement of polydisks and Lagrangian Floer theory. arXiv:1104.4267, April 2011

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  5. [5]

    Frauenfelder and F

    U. Frauenfelder and F. Schlenk. Volume growth in the component of the Dehn -- Seidel twist. Geometric & Functional Analysis GAFA , 15(4):809--838, August 2005

    work page 2005

  6. [6]

    Spectrally-large scale geometry in cotangent bundles

    Qi Feng and Jun Zhang. Spectrally-large scale geometry in cotangent bundles. January 2024. arXiv:2401.17590

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  7. [7]

    The unbounded L agrangian spectral norm and wrapped F loer cohomology, September 2023

    Wenmin Gong. The unbounded L agrangian spectral norm and wrapped F loer cohomology, September 2023. arXiv:2307.02290

    work page arXiv 2023

  8. [8]

    Spectral invariants in L agrangian F loer theory

    R \'e mi Leclercq. Spectral invariants in L agrangian F loer theory. Journal of Modern Dynamics , 2(2):249--286, 2008

    work page 2008

  9. [9]

    John M. Lee. Introduction to Riemannian Manifolds , volume 176 of Graduate Texts in Mathematics . Springer International Publishing, 2018

    work page 2018

  10. [10]

    Introduction to S ymplectic T opology

    Dusa McDuff and Dietmar Salamon. Introduction to S ymplectic T opology . Oxford M athematical M onographs. Oxford University Press, second edition edition, 1998

    work page 1998

  11. [11]

    Floer homology and its continuity for non-compact Lagrangian submanifolds

    Yong-Geun Oh. Floer homology and its continuity for non-compact Lagrangian submanifolds. Turkish Journal of Mathematics , 25(1):103--124, January 2001

    work page 2001

  12. [12]

    Spectral invariants, analysis of the F loer moduli space, and geometry of the H amiltonian diffeomorphism group

    Yong-Geun Oh. Spectral invariants, analysis of the F loer moduli space, and geometry of the H amiltonian diffeomorphism group. Duke Math. J. , 130(2):199--295, 2005

    work page 2005

  13. [13]

    Paternain

    Gabriel P. Paternain. Geodesic Flows . Birkh \"a user, Boston, MA, 1999

    work page 1999

  14. [14]

    Topological persistence in geometry and analysis

    Leonid Polterovich, Daniel Rosen, Karina Samvelyan, and Jun Zhang. Topological persistence in geometry and analysis . University lecture series volume 74. American Mathematical Society, Providence, Rhode Island, 2020

    work page 2020

  15. [15]

    Lagrangian configurations and H amiltonian maps

    Leonid Polterovich and Egor Shelukhin. Lagrangian configurations and H amiltonian maps. Compositio Mathematica , 159(12):2483--2520, 2023

    work page 2023

  16. [16]

    Quelques plats pour la m \'e trique de H ofer

    Pierre Py. Quelques plats pour la m \'e trique de H ofer. Journal f \"u r die reine und angewandte Mathematik , 2008(620):185--193, 2008

    work page 2008

  17. [17]

    The Maslov index for paths

    Joel Robbin and Dietmar Salamon. The Maslov index for paths. Topology , 32(4):827--844, 1993

    work page 1993

  18. [18]

    The Spectral Flow and the Maslov Index

    Joel Robbin and Dietmar Salamon. The Spectral Flow and the Maslov Index . Bulletin of the London Mathematical Society , 27(1):1--33, January 1995

    work page 1995

  19. [19]

    On the action spectrum for closed symplectically aspherical manifolds

    Matthias Schwarz. On the action spectrum for closed symplectically aspherical manifolds. Pacific J. Math. , 193(2):419--461, 2000

    work page 2000

  20. [20]

    Graded lagrangian submanifolds

    Paul Seidel. Graded lagrangian submanifolds. Bulletin de la Soci\'et\'e Math\'ematique de France , 128(1):103--149, 2000

    work page 2000

  21. [21]

    Exact Lagrangian Submanifolds in T^*S^n and the Graded Kronecker Quiver , pages 349--364

    Paul Seidel. Exact Lagrangian Submanifolds in T^*S^n and the Graded Kronecker Quiver , pages 349--364. Springer US, Boston, MA, 2004

    work page 2004

  22. [22]

    A biased view of symplectic cohomology

    Paul Seidel. A biased view of symplectic cohomology. arXiv:0704.2055, 2007

    work page internal anchor Pith review Pith/arXiv arXiv 2055

  23. [23]

    Fukaya categories and Picard-Lefschetz theory

    Paul Seidel. Fukaya categories and Picard-Lefschetz theory . Zurich Lectures in Advanced Mathematics. European Mathematical Society, Z \"u rich, 2008

    work page 2008

  24. [24]

    Spectral numbers in F loer theories

    Michael Usher. Spectral numbers in F loer theories. Compositio Mathematica , 144(6):1581--1592, 2008

    work page 2008

  25. [25]

    Hofer's metrics and boundary depth

    Michael Usher. Hofer's metrics and boundary depth. Annales scientifiques de l' \'E cole Normale Sup \'e rieure , 46(1):57--129, 2013

    work page 2013

  26. [26]

    Hofer Geometry and cotangent fibers

    Michael Usher. Hofer Geometry and cotangent fibers . Journal of Symplectic Geometry , 12(3):619 -- 656, 2014

    work page 2014

  27. [27]

    On the Hofer geometry for weakly exact Lagrangian submanifolds

    Frol Zapolsky. On the Hofer geometry for weakly exact Lagrangian submanifolds. Journal of Symplectic Geometry , 11(3):475--488, August 2013

    work page 2013