相关论文: A lemma for microlocal sheaf theory in the $\infty…

Let $G$ be a compact connected Lie group. We show that the category $\mathbf{Loc}_{\infty}(BG)$ of $\infty$-local systems on the classifying space of $G$, can be described infinitesimally as the category…

We introduce the notion of strong regularity for subanalytic sheaves and establish estimates for the supports and microsupports of their multi-microlocalizations. As applications, we study subanalytic sheaves of Whit- ney and temperate…

As data grows in size and complexity, finding frameworks which aid in interpretation and analysis has become critical. This is particularly true when data comes from complex systems where extensive structure is available, but must be drawn…

This thesis develops the theory of sheaves and cosheaves with an eye towards applications in science and engineering. To provide a theory that is computable, we focus on a combinatorial version of sheaves and cosheaves called cellular…

We prove the Derived Mapping Space Lemma, which generalizes the central theorem of Cisinski's work on calculus of fractions for $\infty$-categories, and allows us to provide a unified framework for analyzing mapping spaces in localizations…

If a Quillen model category can be specified using a certain logical syntax (intuitively, ``is algebraic/combinatorial enough''), so that it can be defined in any category of sheaves, then the satisfaction of Quillen's axioms over any site…

We develop Weiss's manifold calculus in the setting of $\infty$-categories, where we allow the target $\infty$-category to be any $\infty$-category with small limits. We will establish the connection between polynomial functors, Kan…

We give a detailed account of the theory of enrichment over a bicategory and show that it establishes a two-fold generalization of enrichment over both quantaloids and monoidal categories. We define complete B-categories, a generalization…

We study the dualizability of sheaves on manifolds with isotropic singular supports $\operatorname{Sh}_\Lambda(M)$ and microsheaves with isotropic supports $\operatorname{\mu sh}_\Lambda(\Lambda)$ and obtain a classification result 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…

This paper demystifies the notion of the smashing spectrum of a stable presentably symmetric monoidal $\infty$-category, defined as a locale whose opens correspond to smashing localizations. Previously, this concept was studied in…

We construct a sheaf-theoretic analogue of the wrapped Fukaya category in Lagrangian Floer theory, by localizing a category of sheaves microsupported away from some given $\Lambda \subset S^*M$ along continuation maps constructed using the…

We establish several results combining discrete Morse theory and microlocal sheaf theory in the setting of finite posets and simplicial complexes. Our primary tool is a computationally tractable description of the bounded derived category…

Persistent homology has been recently studied with the tools of sheaf theory in the derived setting by Kashiwara and Schapira, after J. Curry has made the first link between persistent homology and sheaves. We prove the isometry theorem in…

On a Weinstein manifold, we define a constructible co/sheaf of categories on the skeleton. The construction works with arbitrary coefficients, and depends only on the homotopy class of a section of the Lagrangian Grassmannian of the stable…

We define extension $\infty$-categories for exact $\infty$-categories in terms of bifibrations. Extension $\infty$-categories are invariant when passing to the stable hull, and consequently we show that they form an $\Omega$-spectrum,…

Kashiwara-Schapira style sheaf theory is used to justify analytic continuability of solutions of a Laplace transformed Schroedinger equation with a small parameter. This partially proves the description of the Stokes phenomenon for WKB…

We show how one may establish proof-theoretic results for constructive Zermelo-Fraenkel set theory, such as the compactness rule for Cantor space and the Bar Induction rule for Baire space, by constructing sheaf models and using their…

We study locally constant coefficients. We first study the theory of homotopy Kan extensions with locally constant coefficients in model categories, and explain how it characterizes the homotopy theory of small categories. We explain how to…

Interpreting the syzygy theorem for tame modules over posets in the setting of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning the existence of stratifications of…