Proof of the simplicity conjecture

DOI10.4007/ANNALS.2024.199.1.3MaRDI QIDQ6181232zbMATH OpenFDO

Authors Daniel Cristofaro-Gardiner, Vincent Humiliere, Sobhan Seyfaddini

Publication date 2 January 2024

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2001.01792

zbMATH Keywords

\(C^0\) symplectic geometrygroup of area preserving homeomorphismsperiodic Floer homology

Mathematics Subject Classification ID

Symplectic aspects of Floer homology and cohomology (53D40)

Abstract: In the 1970s, Fathi, having proven that the group of compactly supported volume-preserving homeomorphisms of the $n$-ball is simple for $nge3$, asked if the same statement holds in dimension $2$. We show that the group of compactly supported area-preserving homeomorphisms of the two-disc is not simple. This settles what is known as the "simplicity conjecture" in the affirmative. In fact, we prove the a priori stronger statement that this group is not perfect. An important step in our proof involves verifying for certain smooth twist maps a conjecture of Hutchings concerning recovering the Calabi invariant from the asymptotics of spectral invariants defined using periodic Floer homology. Another key step, which builds on recent advances in continuous symplectic topology, involves proving that these spectral invariants extend continuously to area-preserving homeomorphisms of the disc. These two properties of PFH spectral invariants are potentially of independent interest. Our general strategy is partially inspired by suggestions of Fathi and the approach of Oh towards the simplicity question. In particular, we show that infinite twist maps, studied by Oh, are not finite energy homeomorphisms, which resolves the "infinite twist conjecture" in the affirmative; these twist maps are now the first examples of Hamiltonian homeomorphisms which can be said to have infinite energy. Another consequence of our work is that various forms of fragmentation for volume preserving homeomorphisms which hold for higher dimensional balls fail in dimension two.

Recommendations

• Exposé Bourbaki 1204 : Le groupe des homéomorphismes de la sphère de dimension 2 qui respectent l'aire et l'orientation n'est pas un groupe simple [d'après D. Cristofaro-Gardiner, V. Humilière et S. Seyfaddini]
• Simplicity of homeo\((\mathbb{D}^2,\partial\mathbb{D}^2\), Area) and fragmentation of symplectic diffeomorphisms
• The simplicity of surface transformation groups
• The group of Hamiltonian homeomorphisms and continuous Hamiltonian flows
• On Two Remarkable Groups of Area-Preserving Homeomorphisms

Cites work

• \(C^{0}\)-limits of Hamiltonian paths and the Oh-Schwarz spectral invariants
• A \(C^0\) counterexample to the Arnold conjecture
• A compendium of pseudoholomorphic beasts in \({\mathbf R}\times (S^1\times S^2)\)
• A theorem on the structure of wave fronts and its applications in symplectic topology
• An index inequality for embedded pseudoholomorphic curves in symplectizations
• Barcodes and area-preserving homeomorphisms
• Coisotropic rigidity and \(C^0\)-symplectic geometry
• Commutators of diffeomorphisms
• Commutators of diffeomorphisms. II
• Compactness for punctured holomorphic curves
• Compactness results in symplectic field theory
• Deformations of spaces of imbeddings
• Embedded contact homology and Seiberg-Witten Floer cohomology. V.
• Foliations and groups of diffeomorphisms
• Gluing pseudoholomorphic curves along branched covered cylinders. I
• Gluing pseudoholomorphic curves along branched covered cylinders. II.
• scientific article; zbMATH DE number 1584173 (Why is no real title available?)
• scientific article; zbMATH DE number 1002916 (Why is no real title available?)
• scientific article; zbMATH DE number 5778578 (Why is no real title available?)
• scientific article; zbMATH DE number 626754 (Why is no real title available?)
• scientific article; zbMATH DE number 776267 (Why is no real title available?)
• scientific article; zbMATH DE number 5221674 (Why is no real title available?)
• scientific article; zbMATH DE number 3326379 (Why is no real title available?)
• scientific article; zbMATH DE number 3333122 (Why is no real title available?)
• scientific article; zbMATH DE number 3091883 (Why is no real title available?)
• Introduction to symplectic topology
• Knots and dynamics
• Lagrangian configurations and Hamiltonian maps
• Lecture notes on embedded contact homology
• On \(C^0\)-continuity of the spectral norm for symplectically non-aspherical manifolds
• On cobordism maps on periodic Floer homology
• On continuity of quasimorphisms for symplectic maps
• On the action spectrum for closed symplectically aspherical manifolds
• On the Group of All Homeomorphisms of a Manifold
• On the group of symplectic homeomorphisms
• On the uniqueness of generating Hamiltonian for continuous limits of Hamiltonians flows
• On Two Remarkable Groups of Area-Preserving Homeomorphisms
• Periodic Floer homology and Seiberg-Witten-Floer cohomology
• Periodic orbits of Hamiltonian homeomorphisms of surfaces
• Pseudo holomorphic curves in symplectic manifolds
• Pseudoholomorphic punctured spheres in \(\mathbb R\times (S^1\times S^2)\)
• Pseudoholomorphic punctured spheres in R(S^1 S^2): properties and existence
• Quantitative embedded contact homology
• Quantitative Heegaard Floer cohomology and the Calabi invariant
• Reduction of symplectic homeomorphisms
• Rounding corners of polygons and the embedded contact homology of \(T^3\)
• Simplicity of certain groups of diffeomorphisms
• Simplicity of homeo\((\mathbb{D}^2,\partial\mathbb{D}^2\), Area) and fragmentation of symplectic diffeomorphisms
• Some quantitative results in \(\mathcal {C}^0\) symplectic geometry
• Structure of the group of homeomorphisms preserving a good measure on a compact manifold
• Sur la structure du groupe des difféomorphismes qui preservent une forme symplectique
• Sur le groupe des difféomorphismes du tore
• SW ⇒ Gr: From the Seiberg-Witten equations to pseudo-holomorphic curves
• Symplectic embeddings from concave toric domains into convex ones
• Symplectic embeddings into four-dimensional concave toric domains
• The action spectrum and \(C^0\) symplectic topology
• The Algebraic Simplicity of Certain Groups of Homeomorphisms
• The asymptotics of ECH capacities
• The Calabi invariant for some groups of homeomorphisms
• The displaced disks problem via symplectic topology
• The group of Hamiltonian homeomorphisms and \(C^0\)-symplectic topology
• The group of Hamiltonian homeomorphisms and continuous Hamiltonian flows
• The isoperimetric theorem for general integrands
• The periodic Floer homology of a Dehn twist
• THE SHARP ENERGY-CAPACITY INEQUALITY
• The simplicity of surface transformation groups
• The theorem of Kerékjártó on periodic homeomorphisms of the disc and the sphere
• Uniqueness of generating Hamiltonians for topological Hamiltonian flows

Cited in

(5)

• Exposé Bourbaki 1204 : Le groupe des homéomorphismes de la sphère de dimension 2 qui respectent l'aire et l'orientation n'est pas un groupe simple [d'après D. Cristofaro-Gardiner, V. Humilière et S. Seyfaddini]
• Subleading asymptotics of link spectral invariants and homeomorphism groups of surfaces
• On certain \({C}^0\)-aspects of contactomorphism groups
• Torus knotted Reeb dynamics and the Calabi invariant
• An algebraic criterion for the vanishing of bounded cohomology

This page was built for publication: Proof of the simplicity conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6181232)