Related papers: Duality and kernels in microlocal geometry
Let $L$ be an exact Lagrangian submanifold of a cotangent bundle $T^* M$, asymptotic to a Legendrian submanifold $\Lambda \subset T^{\infty} M$. We study a locally constant sheaf of $\infty$-categories on $L$, called the sheaf of brane…
For a (right and left) coherent ring $A$, we show that there exists a duality between homotopy categories ${\mathbb{K}}^{{\rm{b}}}({\rm mod}{\mbox{-}}A^{{\rm op}})$ and ${\mathbb{K}}^{{\rm{b}}}({\rm mod}{\mbox{-}}A)$. If $A=\Lambda$ is an…
The bounded derived category of coherent sheaves on a smooth projective variety is known to be equivalent to the triangulated category of perfect modules over a DG algebra. DG algebras, arising in this way, have to satisfy some compactness…
The Nadler--Zaslow correspondence famously identifies the finite-dimensional Floer homology groups between Lagrangians in cotangent bundles with the finite-dimensional Hom spaces between corresponding constructible sheaves. We generalize…
For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…
Given a Lagrangian cobordism $L$ of Legendrian submanifolds from $\Lambda_-$ to $\Lambda_+$, we construct a functor $\Phi_L^*: Sh^c_{\Lambda_+}(M) \rightarrow Sh^c_{\Lambda_-}(M) \otimes_{C_{-*}(\Omega_*\Lambda_-)} C_{-*}(\Omega_*L)$…
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 show that the functor sending a locally compact Hausdorff space $X$ to the $\infty$-category of spectral sheaves $\mathrm{Shv}(X; \mathrm{Sp})$ is initial among all continuous six-functor formalisms on the category of locally compact…
For a finite group $G$, we compute the algebraic $K$-theory of the category of equivariant sheaves on a locally compact Hausdorff $G$-space, generalizing a result of Efimov, and determine the equivariant $E$-theory of the $C^*$-algebra of…
It has long been known in universal algebra that any distributive sublattice of congruences of an algebra which consists entirely of commuting congruences yields a sheaf representation of the algebra. In this paper we provide a…
We show that for a closed Legendrian submanifold in a 1-jet bundle, if there is a sheaf with compact support, perfect stalk and singular support on that Legendrian, then (1) the number of Reeb chords has a lower bound by half of the sum of…
We compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the…
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…
Moduli spaces of stable sheaves on smooth projective surfaces are in general singular. Nonetheless, they carry a virtual class, which -- in analogy with the classical case of Hilbert schemes of points -- can be used to define intersection…
We show that any equivalence of bounded derived categories of coherent sheaves on a smooth projective complex variety supported in a closed algebraic subset preserves the dimension of the support in two cases: (i) the restriction of the…
For any Legendrian link in $\displaystyle \mathbb{R}^{3}$ given by the rainbow closure of a positive braid word, we develop an explicit and computable description of a Legendrian isotopy invariant associated with it, namely the…
Every small monoidal category with universal finite joins of central idempotents is monoidally equivalent to the category of global sections of a sheaf of local monoidal categories on a topological space. Every small stiff monoidal category…
We discuss two known sheaf-cosheaf duality theorems: Curry's for the face posets of finite regular CW complexes and Lurie's for compact Hausdorff spaces, i.e., covariant Verdier duality. We provide a uniform formulation for them and prove…
We provide a generalization of the Deligne sheaf construction of intersection homology theory, and a corresponding generalization of Poincar\'e duality on pseudomanifolds, such that the Goresky-MacPherson, Goresky-Siegel, and…
As it was shown in the first part of this paper, there exists a duality between the category DSkeLC (introduced there) and the category SkeLC of locally compact Hausdorff spaces and continuous skeletal maps. We describe here the…