Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.21076

A Proof of the Area Vanishing Square Peg Conjecture

Lorenzo Valerio
View original source ↗Read source document ↗Export metadata ↓

Abstract

We resolve an open problem posed by Tao related to the Toeplitz square peg conjecture. We prove that four simple closed polygonal curves in the cylinder, each winding once in the positive direction, jointly inscribe a square whenever the alternating sum of their $\int y\, dx$ integrals vanishes. The proof reduces the problem to the non-displaceability of a pair of Lagrangian tori, which we establish using Lagrangian Floer homology.

Explore related subjects

math.SG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lorenzo Valerio. 2026-10-15. A Proof of the Area Vanishing Square Peg Conjecture. https://arxiv.org/abs/2610.21076

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Bott-integrable contact forms with large systolic ratio

We show that there is no universal upper bound for the systolic ratio of Bott-integrable contact forms on closed 3-manifolds, thus providing further evidence for the relative flexibility of integrable contact forms. For the proof, we study piecewise linear approximations of Lutz forms and establish integrability of a `plug' constructed by Abbondandolo, Bramham, Hryniewicz and Salomão for pushing up the systolic ratio.

math.SG↗
arXiv2026

Relative symplectic cohomology in complex projective spaces

Relative symplectic cohomology is an invariant of compact subsets of a closed symplectic manifold, introduced by Varolgunes. There are many examples of computations of this invariant over the Novikov field, but the collection of computed examples over the Novikov ring is still quite limited. One reason for this is that such computations require determining the relevant Floer complexes for Hamiltonians that are not necessarily $C^2$-small Morse functions. In this work, we present a computation of relative symplectic cohomology over the Novikov ring for balls and their complements in $\mathbb{C}P^n$. Our computation relies on explicit descriptions of Floer complexes, in the Morse--Bott setting with cascades, for J-shaped Hamiltonians on $\mathbb{C}P^n$. This allows us to deduce new estimates for the stable displacement energy of the boundaries of balls in $\mathbb{C}P^n$.

math.SG↗
arXiv2026

A counterexample to the generalized Viterbo conjecture on the spectral distance in a disc cotangent bundle

We prove the unboundedness of the spectral distance on the space of Lagrangians Hamiltonian isotopic to the zero section within the disc cotangent bundle of a closed manifold satisfying some topological assumptions. This disproves the generalization of a conjecture due to Claude Viterbo. The proof relies on a direct computation of the spectral distance between the zero section and its image by a magnetic Hamiltonian diffeomorphism via generating functions. We also classify all surfaces for which the conjecture holds over $\mathbb{Z}_2$ via a Floer-theoretic argument for covering spaces.

math.SG↗