arXiv ScienceSearch

arXiv · 2410.04158

Weinstein exactness of nearby Lagrangians and related questions

Abstract

We address the following problem: if a Hamiltonian diffeomorphism maps a Lagrangian submanifold $L$ to a small Weinstein neighborhood of $L$, is the image necessarily Hamiltonian isotopic to $L$ inside that neighborhood? On the one hand, we show that the question can have a negative answer in any symplectic manifold of dimension at least six. On the other hand, we answer an a priori weaker form of the question in the positive in various cases when $L$ satisfies a rationality condition: we prove that the image of $L$ is often exact inside the Weinstein neighborhood. We provide applications to the Lagrangian counterpart of the $C^0$ flux conjecture, to $C^0$-rigidity phenomena of Hamiltonian diffeomorphisms, and to topological properties of spaces of Lagrangians with the same rationality constraint. Moreover, we state and prove cases of an analogue of Viterbo's spectral norm conjecture for non-exact Lagrangians; in the process, we make progress on an old question of Viterbo regarding integer difference vectors between points of Lagrangians.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Marcelo S. Atallah, Jean-Philippe Chassé, Rémi Leclercq, Egor Shelukhin. 2025-12-10. Weinstein exactness of nearby Lagrangians and related questions. https://arxiv.org/abs/2410.04158

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

KEEP EXPLORING

Related papers

New systems of log-canonical coordinates on $SL(2, \mathbb{C})$ character varieties of compact Riemann surfaces

We construct new sets of log-canonical coordinates on the $SL(2, \mathbb{C})$ character variety of compact Riemann surfaces. These are labelled by families of $1\leq m\leq 3g-3$ non-intersecting simple loops on the Riemann surface and are obtained by combining complexified shear-type with length/twist-type coordinates. In the case $m=3g-3$ the loops define a trinion decomposition of the Riemann surface, and our coordinates are closely related to the (complexified) Fenchel-Nielsen ones.

math.SG

Moment Lagrangians, unobstructedness and symplectic groupoids

Moment Lagrangian $L_μ$ is a Lagrangian in $T^*G^- \times Y^- \times Y$ associated to a Hamiltonian $G$-space $Y$ with a moment map $μ$. In this paper, we prove that $L_μ$ is tautologically unobstructed under mild assumptions on $Y$. As a key ingredient in the proof, we constructed a new symplectic groupoid structure on $T^*G^- \times Y^- \times Y$ over $G\times Y$ for which $L_μ$ is simultaneously the unit and the fixed locus of the inversion, which might be of independent interest.

math.SG

Stratifications associated to generic closed two-forms and stratified $L_\infty$ spaces

Jae-Suk Park and the second-named author introduce the deformation problem of coisotropic submanifolds of a symplectic manifold as the study of Mauer-Cartan moduli problem of an $L_\infty$ algebra attached to the foliation de-Rham complex associated to the null foliation of the corresponding presymplectic structure. The main purpose of the present paper is to extend this study of $L_\infty$ structures to the case of generic closed two-forms on arbitrary smooth manifolds as a stratified $L_\infty$ space. We first prove that there exists a residual subset of closed 2-forms, which we denote by $Z^2_{reg}(M) \subset Z^2(M)$, such that any element $ω$ therefrom admits a Whitney stratification each of whose strata is a presymplectic manifold. We then associate an $L_\infty$ space to each stratum (and to its tubular neighborhood) and glue the collection of $L_\infty$ spaces to a global stratified $L_\infty$ space by the coordinate atlas consisting of $L_\infty$ morphisms, which is a collection of $L_\infty$ morphisms, not necessarily of quasi-isomorphisms.

math.SG