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

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Asano, Tomohiro, Ike, Yuichi, Kuo, Christopher, Li, Wenyuan
Format: Preprint
Veröffentlicht: 2025
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866908574226055168
author Asano, Tomohiro
Ike, Yuichi
Kuo, Christopher
Li, Wenyuan
author_facet Asano, Tomohiro
Ike, Yuichi
Kuo, Christopher
Li, Wenyuan
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2510_01746
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle $C^0$-rigidity of Legendrians and coisotropics via sheaf quantization
Asano, Tomohiro
Ike, Yuichi
Kuo, Christopher
Li, Wenyuan
Symplectic Geometry
53D12, 53D35, 55N31
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.
title $C^0$-rigidity of Legendrians and coisotropics via sheaf quantization
topic Symplectic Geometry
53D12, 53D35, 55N31
url https://arxiv.org/abs/2510.01746