Related papers: Microlocal sheaf categories and the $J$-homomorphi…

In the preprint arXiv:2511.07900 we proved that there exists a localizing ring $A_M$ for $A$ an associative ring with unit, and $M=\oplus_{i=1}^rM_i$ a direct sum of $r\geq 1$ simple right $A$-modules. For a homomorphism of associative…

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…

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}$…

Mishchenko-Oliveira proved the piecewise smooth cohomology and Lie algebroid cohomology of a Lie algebroid on a combinatorial compact manifold are isomorphic. In this paper, we describe an application of that result locally trivial Lie…

The Gromov-Eliashberg theorem says that the group of symplectomorphisms of a symplectic manifold is C^0-closed in the group of diffeomorphisms. This can be translated into a statement about the Lagrangian submanifolds which are graphs of…

We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…

Cohomology of a compatible family of Lie algebroids defined on a family of transverse manifolds is defined. A sheaf of differential forms on a compatible family of Lie algebroids defined over regular open subsets of a simplicial complex is…

Motivated by applications to the categorical and geometric local Langlands correspondences, we establish an equivalence between the category of filtered $\mathcal{D}$-modules on a smooth stack $X$ and the category of $S^1$-equivariant…

We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category…

We apply the technique of S^1-equivariant localization to sheaves on loop spaces in derived algebraic geometry, and obtain a fundamental link between two families of categories at the heart of geometric representation theory. Namely, we…

We study locally standard $T^k$-manifolds $M$. In particular, we study the case where there is a continuous section to the orbit map $\pi : M \rightarrow M/T$. We give a classification of $T^k$-manifolds satisfying these conditions up to…

For a $(-1)$-shifted Lagrangian in a critical locus, we construct a homomorphism from the $K$-group of matrix factorisations of the critical locus to the $K$-group of the Lagrangian, partially answering the Joyce-Safronov conjecture. The…

Let $f:\mathcal{X}\to S$ be a proper holomorphic submersion of complex manifolds and $G$ a complex reductive linear algebraic group with Lie algebra $\mathfrak{g}$. Assume also given a holomorphic principal $G$-bundle $\mathcal{P}$ over…

For a smooth morphism $f: X \longrightarrow \Sigma$ of real analytic manifolds and an $\mathbb{R}$-constructible sheaf $F$ on $X$ satisfying some condition, we define a family of Lagrangian cycles parameterized by $\Sigma$ that we call the…

Let $\mathcal{F}$ be a foliation with a "singular" submanifold $B$ on a smooth manifold $M$ and $p:E \to B$ be a regular neighborhood of $B$ in $M$. Under certain "homogeneity" assumptions on $\mathcal{F}$ near $B$ we prove that every leaf…

Let $X$ be a compact normal K\"ahler space whose canonical sheaf is a rank-one free $\mathcal O_X$ module and whose singularities are isolated, rational and quasi-homogeneous. We prove then that under a topological hypothesis the…

We determine the L-S category of Sp(3) by showing that the 5-fold reduced diagonal $\widebar{\Delta}_5$ is given by $\nu^2$, using a Toda bracket and a generalised cohomology theory $h^*$ given by $h^*(X,A) = \{X/A,{\mathbb S}[0,2]\}$,…

We study smooth foliations of arbitrary codimension on homogeneous compact K\"ahler manifolds. We prove that smooth foliations on rational compact homogeneous manifolds are locally trivial fibrations and classify the smooth foliations with…

We compute the value of finitary localizing invariants, including algebraic $K$-theory, on categories of sheaves over stably locally compact spaces $X$. Our formula simultaneously generalizes the cases of locally compact Hausdorff and…

We prove that, for any smooth and projective scheme $X$ over a field $k$ of char. $0$, the set of maps from Spec $k$ to $X$ in the $\mathbf{A}^1$-homotopy category of schemes $\mathcal{H}_{\mathbf{A}^1}(k)$ is in bijection with the quotient…