A lemma for microlocal sheaf theory in the \(\infty\)-categorical setting (Q1747518)

Microlocal sheaf theory, as presented in [\textit{M. Kashiwara} and \textit{P. Schapira}, Sheaves on manifolds. With a short history ``Les débuts de la théorie des faisceaux'' by Christian Houzel. Berlin etc.: Springer-Verlag (1990; Zbl 0709.18001)] was originally formulated for the bounded derived category \(\mathrm{D}^b(\mathbf{k}_M)\) of the category \(\mathbf{k}_M\) of sheaves of \(\mathbf{k}\)-modules on a manifold \(M\), where \(\mathbf{k}\) is a commutative unital ring. A central technical element of this theory consists of an extension lemma for sheaves, which in turn rests on a constant functor criterion. In the first part of the paper, the extension lemma is generalized to the case of the unbounded derived category \(\mathrm{D}(\mathbf{k}_M)\). In the second part, the constant functor criterion is adapted to the case of an \(\infty\)-functor, which subsequently is used to prove the extension lemma for \(\infty\)-sheaves with values in a stable compactly generated \(\infty\)-category. Finally, the authors use this to extend the definition of the micro-support of sheaves to \(\infty\)-sheaves with stable coefficients, which opens the door to developing microlocal sheaf theory in this setting.