Related papers: Ind-Sheaves, distributions, and microlocalization

We interpret some results of persistent homology and barcodes (in any dimension) with the language of microlocal sheaf theory. For that purpose we study the derived category of sheaves on a real finite-dimensional vector space V. By using…

We present a novel notion of stable objects in the derived category of coherent sheaves on a smooth projective variety. As one application we compactify a moduli space of stable bundles using genuine complexes.

Let $X$ be a smooth manifold and $\mathbf{k}$ be a commutative (or at least $\mathbb{E}_2$) ring spectrum. Given a smooth exact Lagrangian $L\hookrightarrow T^*X$, the microlocal sheaf theory (following Kashiwara--Schapira) naturally…

We define the notion of a trace kernel on a manifold M. Roughly speaking, it is a sheaf on M x M for which the formalism of Hochschild homology applies. We associate a microlocal Euler class to such a kernel, a cohomology class with values…

We introduce a class of causal manifolds which contains the globally hyperbolic spacetimes and we prove global propagation theorems for sheaves on such manifolds. As an application, we solve globally the Cauchy problem for hyperfunction…

Let $S$ be a projective simply connected complex surface and $\mathcal{L}$ be a line bundle on $S$. We study the moduli space of stable compactly supported 2-dimensional sheaves on the total spaces of $\mathcal{L}$. The moduli space admits…

In this article we introduce the notion of a square structure on a model category, that generalises cubical model categories. We then show that under some homotopical conditions on this square structure the induced cubical category is a…

We construct a compactification $M^{\mu ss}$ of the Uhlenbeck-Donaldson type for the moduli space of slope stable framed bundles. This is a kind of a moduli space of slope semistable framed sheaves. We show that there exists a projective…

We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the…

We introduce the semi-infinite category of sheaves on the affine Grassmannian, and construct a particular object in it, which we call the the semi-infinite intersection cohomology sheaf. We relate it to several other entities naturally…

We develop a microlocal and derived-geometric framework for index theory and analytic torsion of nonlinear PDEs. By integrating Spencer hypercohomology, microlocal sheaf theory, and factorization algebras, we establish new connections…

We generalize the construction of a moduli space of semistable pairs parametrizing isomorphism classes of morphisms from a fixed coherent sheaf to any sheaf with fixed Hilbert polynomial under a notion of stability to the case of projective…

We find locally free resolutions of length one for all semi-stable sheaves supported on curves of multiplicity five in the complex projective plane. In some cases we also find geometric descriptions of these sheaves by means of extensions.…

Microlocal sheaf theory of \cite{KS90} makes an essential use of an extension lemma for sheaves due to Kashiwara, and this lemma is based on a criterion of the same author giving conditions in order that a functor defined in $\mathbb{R}$…

For a complex manifold $X$ the ring of microdifferential operators $\E_X$ acts on the microlocalization $\mu hom(F,\O_X)$, for $F$ in the derived category of sheaves on $X$. Kashiwara, Schapira, Ivorra, Waschkies proved, as a byproduct of…

The Hom closed colocalizing subcategories of the stable module category of a finite group are classified. Along the way, the colocalizing subcategories of the homotopy category of injectives over an exterior algebra, and the derived…

Galatius, Madsen, Tillmann and Weiss have identified the homotopy type of the classifying space of the cobordism category with objects (d-1)-dimensional manifolds embedded in R^\infty. In this paper we apply the techniques of spaces of…

Let $X$ and $Y$ be real analytic manifolds and let $\Lambda \subseteq T^*X$ and $\Sigma \subseteq T^*Y$ be closed conic subanalytic singular isotropics. Given a sheaf $K \in \mathrm{Sh}_{-\Lambda \times \Sigma}(X \times Y)$ microsupported…

We study the question when a category of ind-objects is abelian. Our answer allows a further generalization of the notion of weakly Tannakian categories introduced by the author. As an application we show that, under suitable conditions,…

In [arXiv:2109.13991], the author explained a relation between enhanced ind-sheaves and enhanced subanalytic sheaves. In this paper, we shall define C-constructability for enhanced subanalytic sheaves which was announced in…