Tamarkin's separation theorem for non-compact objects in cotangent bundles
Let \(M\) be a manifold and denote by \(\pi:T^{\ast}M\rightarrow M\) its cotangent bundle. Let \(\mathbb{K}\) be a unital commutative ring. Let \(\mathbb{G}\) be a subgroup of the discrete additive group \(\mathbb{R}\) of the real numbers and denote by \(\Lambda_{0}^{\mathbb{G}}\) the Novikov ring associated with \(\mathbb{G}\). This paper considers the action of \(\mathbb{G}\) on \(M\times\mathbb{R}_{u<c}\times\mathbb{R}_{t}\) given by the additive action on the rightmost factor and the trivial action on the other factors.\N\NFor \(c\in(0,\infty]\), \(\mu^{\mathbb{G}}\left(T^{\ast}M;u<c\right)\) denotes the microlocal category introduced in the authors' paper [``Microlocal categories over Novikov rings, Preprint, \url{arXiv:2307.01561}]. A closed subset \(A^{\prime}\) of \(T^{\ast}M\) is said to be end-conic if there exists a disk bundle \(D^{\ast}M\) in \(T^{\ast}M\) cut out by some fiber metric such that \(A^{\prime}\backslash D^{\ast}M\) is conic. This paper establishes the following separation theorem, which is a slight generalization of the separation theorem for the original Tamarkin category [\textit{S. Guillermou} and \textit{P. Schapira}, Lect. Notes Unione Mat. Ital. 15, 43--85 (2014; Zbl 1319.32006); Springer Proc. Math. Stat. 269, 99--223 (2018; Zbl 1416.35019)].\N\NTheorem. Let \(A^{\prime}\) and \(B^{\prime}\) be end-conic closed subsets of \(T^{\ast}M\). Suppose that \(\pi\left( A^{\prime}\right)\cap\pi\left(B^{\prime}\right)\) is compact and \(A^{\prime}\cap B^{\prime}=\phi\). Then, for any \(\mathcal{E}\in\mu_{A^{\prime}}^{\mathbb{G}}\left(T^{\ast}M;u<c\right)\) and \(\mathcal{F}\in\mu_{B^{\prime\prime}}^{\mathbb{G}}\left(T^{\ast}M;u<c\right)\), one has\N\[\N\Hom_{\mu^{\mathbb{G}}\left(T^{\ast}M;u<c\right)}\left(\mathcal{E},\mathcal{F}\right)=0.\N\]
This page was built for publication: Tamarkin's separation theorem for non-compact objects in cotangent bundles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6967220)
