English
Related papers

Related papers: Duality and kernels in microlocal geometry

200 papers

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…

Symplectic Geometry · Mathematics 2024-06-05 Xin Jin , David Treumann

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…

Representation Theory · Mathematics 2017-05-29 J. Asadollahi , N. Asadollahi , R. Hafezi , R. Vahed

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…

Rings and Algebras · Mathematics 2007-05-23 D. Shklyarov

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…

Symplectic Geometry · Mathematics 2023-12-12 Sheel Ganatra , John Pardon , Vivek Shende

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…

Rings and Algebras · Mathematics 2018-10-09 Xiao-Wu Chen

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

Symplectic Geometry · Mathematics 2025-05-28 Wenyuan Li

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…

Algebraic Topology · Mathematics 2018-09-10 Masaki Kashiwara , Pierre Schapira

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…

K-Theory and Homology · Mathematics 2025-08-14 Qingchong Zhu

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…

K-Theory and Homology · Mathematics 2026-04-10 Guido Arnone , Devarshi Mukherjee , Thomas Nikolaus

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…

Rings and Algebras · Mathematics 2019-04-12 M. Gehrke , S. J. v. Gool

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…

Symplectic Geometry · Mathematics 2025-08-22 Wenyuan Li

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…

Category Theory · Mathematics 2026-02-06 Sebastian Halbig , Tony Zorman

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…

Algebraic Geometry · Mathematics 2014-06-04 Masaki Kashiwara , Pierre Schapira

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…

Algebraic Geometry · Mathematics 2025-04-09 L. Göttsche , M. Kool

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…

Algebraic Geometry · Mathematics 2025-03-12 Luigi Lombardi

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…

Symplectic Geometry · Mathematics 2025-11-20 Ángel Rodríguez--López

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…

Category Theory · Mathematics 2023-02-09 Rui Soares Barbosa , Chris Heunen

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…

Algebraic Topology · Mathematics 2024-09-04 Ko Aoki

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…

Geometric Topology · Mathematics 2019-06-19 Greg Friedman

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…

General Topology · Mathematics 2007-10-02 Georgi Dobromirov Dimov