The \(\gamma\)-support as a micro-support (Q6122514)

Let \(M\)\ be a closed \(C^{\infty}\)-manifold. The space \(\mathfrak{L}\left( T^{\ast}M\right) \)\ of smooth compact exact Lagrangian submanifolds of \(M\) carries a distance \(\gamma\), called the spectral distance [\textit{C. Viterbo}, Math. Ann. 292, No. 4, 685--710 (1992; Zbl 0735.58019)]. The metric space \(\left( \mathfrak{L}\left( T^{\ast}M\right) ,\gamma\right) \)\ is not complete, and this paper is concerned with its completion \(\widehat{\mathfrak{L}}\left( T^{\ast}M\right) \), which admits a geometric incarnation first introduced in [\textit{V. Humilière}, Bull. Soc. Math. Fr. 136, No. 3, 373--404 (2008; Zbl 1169.53059)] and in a different version called \(\gamma\)\textit{-support} in [\textit{C. Viterbo}, ``On the supports in the Humilière completion and $\gamma$-coisotropic sets (with an Appendix joint with Vincent Humilière)'', Preprint, \url{arXiv:2204.04133}]. For a smooth Lagrangian \(L\in\mathfrak{L}\left( T^{\ast}M\right) \)\ we have \[ \gamma\text{-}\mathrm{supp}\left( L\right) =L \] To each element \(L\)\ of \(\mathfrak{L}\left( T^{\ast}M\right) \), it is possible [\textit{S. Guillermou} et al., Duke Math. J. 161, No. 2, 201--245 (2012; Zbl 1242.53108); \textit{S. Guillermou}, ``Quantization of conic Lagrangian submanifolds of cotangent bundles'', Preprint, \url{arXiv:1212.5818}; \textit{C. Viterbo}, ``Sheaf Quantization of Lagrangians and Floer cohomology'', Preprint, \url{arXiv:1901.09440}] to associate an object \(F_{L}\), called the sheaf quantization of \(L\), \ in the derived category of sheaves \(\mathsf{D}\left( k_{M\times\mathbb{R}}\right) \)\ or, more precisely, in the so-called Tamarkin category [\textit{D. Tamarkin}, Springer Proc. Math. Stat. 269, 99--223 (2018; Zbl 1416.35019)]. Conversely, to an object \(F\)\ in the Tamarkin category, one can associate a closed subset of \(T^{\ast}M\), which is called the reduced micro-support and denoted by \(\mathrm{RS}\left( F\right) \). The correspondence \(L\mapsto F_{L}\)\ was recently extended in [\textit{S. Guillermou} and \textit{C. Viterbo}, ``The singular support of sheaves is $\gamma$-coisotropic'', Preprint, \url{arXiv:2203.12977}] to the completion of \(\mathfrak{L}\left( T^{\ast}M\right) \). The main result of this paper is the following theorem. Theorem. For any \(L\in\widehat{\mathfrak{L}}\left( T^{\ast}M\right) \), one has \[ \gamma\text{-}\mathrm{supp}\left( L\right) =\mathrm{RS}\left( F_{L}\right) \] The theorem is established in \S 3, while \S 4 is devoted to an application of this result to a characterization of the Vichery subdifferential [\textit{N. Vichery}, ``Homological differential calculus'', Preprint, \url{arXiv:1310.4845}].