Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2510.01746

$C^0$-rigidity of Legendrians and coisotropics via sheaf quantization

Tomohiro Asano·Yuichi Ike·Christopher Kuo·Wenyuan Li
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that in the standard cosphere bundle, for any contact homeomorphism in the closure of the compactly supported contactomorphism group, when the image of a coisotropic submanifold (not necessarily properly embedded) is smooth, it is still coisotropic. Moreover, when contactomorphisms in the sequence are in the identity component and the image of a Legendrian is smooth, the Maslov data is preserved, and the category of sheaves with singular support on the Legendrian and the microstalk corepresentative are also preserved (and thus so is the wrapped Floer cochains of the linking disks). The main ingredients are the result of Guillermou--Viterbo, a new sheaf quantization result for $C^0$-small contactomorphisms (not necessarily in the identity component) different from Guillermou--Kashiwara--Schapira, and continuity of the interleaving distance of sheaves with respect to the Hofer--Shelukhin distance and the $C^0$-distance. The appendix contains different arguments for local $C^0$-limits and certain Hausdorff limits of Legendrians without appealing to the interleaving distance.

Explore related subjects

math.SG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tomohiro Asano, Yuichi Ike, Christopher Kuo, Wenyuan Li. 2025-10-02. $C^0$-rigidity of Legendrians and coisotropics via sheaf quantization. https://arxiv.org/abs/2510.01746

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

KEEP EXPLORING

Related papers

arXiv2026

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↗
arXiv2026

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↗
arXiv2026

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↗