Related papers: Proper kernels in microlocal sheaf theory

For a smooth projective variety $X$ with exceptional structure sheaf, and $\operatorname{Hilb}^2X$ the Hilbert scheme of two points on $X$, we show that the Fourier-Mukai functor $\mathbf{D}^{\mathrm{b}}(X)…

We prove a general theorem which includes most notions of "exact completion". The theorem is that "k-ary exact categories" are a reflective sub-2-category of "k-ary sites", for any regular cardinal k. A k-ary exact category is an exact…

Let $M$ be a manifold and $\Lambda$ a compact exact connected Lagrangian submanifold of $T^*M$. We can associate with $\Lambda$ a conic Lagrangian submanifold $\Lambda'$ of $T^*(M\times R)$. We prove that there exists a canonical sheaf $F$…

In this article we study compact K\"ahler manifolds $X$ admitting non-singular holomorphic vector fields with the aim of extending to this setting the classical birational classification of projective varieties with tangent vector fields.…

Given a smooth projective toric variety $X_\Sigma$ of complex dimension $n$, Fang-Liu-Treumann-Zaslow \cite{FLTZ} showed that there is a quasi-embedding of the differential graded (dg) derived category of coherent sheaves $Coh(X_\Sigma)$…

Let $kG$ be the group algebra of a finite group scheme defined over a field $k$ of characteristic $p>0$. Associated to any closed subset $V$ of the projectivized prime ideal spectrum $\operatorname{Proj} \operatorname{H}^*(G,k)$ is a thick…

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…

Fine shape, as defined by Melikhov, is an extension of the strong shape category of compacta (compact metrizable topological spaces) to all metrizable spaces, notable for being compatible with both \v{C}ech cohomology and Steenrod-Sitnikov…

We show the kernel sheaf associated to a sufficiently positive torsion-free sheaf of rank 1 is slope stable. Furthermore, we are able to give an explicit bound for "sufficiently positive." This settles a conjecture of…

We show that a projective space P^\infty(Z/2) endowed with the Alexandrov topology is a classifying space for finite closed coverings of compact quantum spaces in the sense that any such a covering is functorially equivalent to a sheaf over…

Let $\mathcal{L}$ be a sub-Laplacian on a connected Lie group $G$ of polynomial growth. It is well known that, if $F : \mathbb{R} \to \mathbb{C}$ is in the Schwartz class $\mathcal{S}(\mathbb{R})$, then the convolution kernel…

For conformal geometries of Riemannian signature, we provide a comprehensive and explicit treatment of the core local theory for embedded submanifolds of arbitrary dimension. This is based in the conformal tractor calculus and includes a…

For two continuous and isotropic positive definite kernels on the same compact two-point homogeneous space, we determine necessary and sufficient conditions in order that their product be strictly positive definite. We also provide a…

we prove that if $X$ is a locally compact $\sigma$-compact space then on its quotient, $\gamma(X)$ say, determined by the algebra of all real valued bounded continuous functions on $X$, the quotient topology and the completely regular…

We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable…

We prove 2-categorical conservativity for any {0,T}-free fragment of MALL over its corresponding intuitionistic version: that is, that the universal map from a closed symmetric monoidal category to the *-autonomous category that it freely…

Let X and Y be two smooth Deligne-Mumford stacks and consider a function f, resp. g, on X, resp. Y. Assume that there exists a complex F of sheaves on the fiber product of X and Y over A^1 (induced by f and g), such that the Fourier-Mukai…

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…

A certain Grothendieck topology assigned to a metric space gives rise to a sheaf cohomology theory which sees the coarse structure of the space. Already constant coefficients produce interesting cohomology groups. In degree 0 they see the…

A concrete model of the free skew-monoidal category Fsk on a single generating object is obtained. The situation is clubbable in the sense of G.M. Kelly, so this allows a description of the free skew-monoidal category on any category. As…