Constructible sheaves and functions up to infinity (Q6082666)

This paper introduces the category of b-analytic manifolds as a way to define constructible sheaves and functions up to infinity: \begin{itemize} \item The objects of this category are of the form \(X_\infty=(X,\widehat{X})\), where \(X\) and \(\widehat X\) are real analytic manifolds, the inclusion \(j_X:X\hookrightarrow \widehat{X}\) is an open embedding, and \(X\) is relatively compact and subanalytic in \(\widehat{X}\). \item A morphism \(f:X_\infty=(X,\widehat{X})\to Y_\infty=(Y,\widehat{Y})\) is a morphism \(f:X\to Y\) of real analytic manifolds such that its graph \(\Gamma_f\) is subanalytic in \(\widehat{X}\times\widehat{Y}\). \end{itemize} Let \(\Bbbk \) be a unital Noetherian ring of finite global dimension (e.g. \(\Bbbk\) is a field), let \(D^b(\Bbbk_X)\) be the bounded derived category of sheaves of \(\Bbbk\)-modules on \(X\), and let \(D^b_{\mathbb{R}c}(\Bbbk_X)\) be the full triangulated subcategory of \(D^b(\Bbbk_X)\) consisting of \(\mathbb R\)-constructible sheaves. The author gives equivalent definitions of the category \(D^b(\Bbbk_{X_\infty})\) of \textbf{constructible sheaves up to infinity}, one of which being the full triangulated subcategory of \(D^b\left(\Bbbk_X\right)\) consisting on the elements \(F\in D^b(\Bbbk_X)\) such that \((j_X)_! F\in D^b_{\mathbb Rc}(\Bbbk_{\widehat X})\). The six Grothendieck operations are studied in this context, and the new setup is justified by their properties: contrary to the classical constructible case, the functors \(f^!\) and \(f^*\) are exchanged by duality, and \(Rf_*\) and \(Rf_!\) of a constructible sheaf up to infinity are always constructible up to infinity (without the need of any extra properness assumptions) and also exchanged by duality (like in the classical case). \textbf{Constructible functions up to infinity} are also defined and studied, as well as the operations on such functions, providing improvements with respect to the classical case. The paper also provides some applications, and explains the relationship of these new definitions with conceps from topological data analysis.