Related papers: Duality and kernels in microlocal geometry

We identify the category Shv_{Nilp}(Bun_G) of automorphic sheaves with nilpotent singular support with its own dual, and relate this structure to the Serre functor on Shv_{Nilp}(Bun_G) and miraculous duality.

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…

For a subanalytic Legendrian $\Lambda \subseteq S^{*}M$, we prove that when $\Lambda$ is either swappable or a full Legendrian stop, the microlocalization at infinity $m_\Lambda: \operatorname{Sh}_\Lambda(M) \rightarrow \operatorname{\mu…

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…

Let $\{\Lambda^\infty_t\}$ be an isotopy of Legendrians (possibly singular) in a unit cosphere bundle $S^*M$. Let $Sh(M, \Lambda^\infty_t)$ be the differential graded (dg) derived category of constructible sheaves on $M$ with singular…

We discuss a connection between coherent duality and Verdier duality via a Gersten-type complex of sheaves on real schemes, and show that this construction gives a dualizing object in the derived category, which is compatible with the…

A causal manifold $(M,\gamma)$ is a manifold $M$ endowed with a closed proper cone $\gamma$ in the tangent bundle $TM$ such that the projection $TM\to M$ is surjective when restricted to the interior of $\gamma$. Let $\lambda$ be the…

In this paper we show that the six functor formalism for sheaves on locally compact Hausdorff topological spaces, as developed for example in Kashiwara and Schapira's book Sheaves on Manifolds, can be extended to sheaves with values in any…

Let $X$ be a finite connected simplicial complex, and let $\delta$ be a perversity (i.e., some function from integers to integers). One can consider two categories: (1) the category of perverse sheaves cohomologically constructible with…

In this paper we prove a duality for constructible sheaves on conically smooth stratified spaces. Here we consider sheaves with values in a stable and bicomplete $\infty$-category equipped with a closed symmetric monoidal structure, and in…

Here we prove a Poincar\'e-Verdier duality theorem for the o-minimal sheaf cohomology with definably compact supports of definably normal, definably locally compact spaces in an arbitrary o-minimal structure.

Let \(E\) be a finite-dimensional real vector space. We study invertible objects in the monoidal category of constructible sheaves on \(E\), endowed with the convolution product \(\star\). We show that the inverse of an invertible…

We prove the existence of the dualizing functor for a separated morphism of algebraic stacks with affine diagonal; then we explicitly develop duality for compact Deligne-Mumford stacks focusing in particular on the morphism from a stack to…

In the prequel to this paper, two versions of Le Potier's strange duality conjecture for sheaves over abelian surfaces were studied. A third version is considered here. In the current setup, the isomorphism involves moduli spaces of sheaves…

The initial motivation of this work was to give a topological interpretation of two-periodic twisted de-Rham cohomology which is generalizable to arbitrary coefficients. To this end we develop a sheaf theory in the context of locally…

This paper develops aspects of cosheaf theory on rigid analytic spaces, and demonstrates a sheaf-cosheaf Verdier duality equivalence theorem for overconvergent sheaves on separated, paracompact spaces, analogous to Jacob Lurie's treatment…

Let X be a smooth toric variety defined by the fan {\Sigma} . We consider {\Sigma} as a finite set with topology and define a natural sheaf of graded algebras A_{\Sigma} on {\Sigma} . The category of modules over A_{\Sigma} is studied…

We show that Verdier duality for certain sheaves on the moduli spaces of graphs associated to Koszul operads corresponds to Koszul duality of operads. This in particular gives a conceptual explanation of the appearance of graph cohomology…

We study monoidal categories that enjoy a certain weakening of the rigidity property, namely, the existence of a dualizing object in the sense of Grothendieck and Verdier. We call them Grothendieck-Verdier categories. Notable examples…

The purpose of this short note is to study Serre functors of categories of quasicoherent sheaves on stacks of the form $\mathcal{Y} = \mathrm{Spec} A/G$ where $G$ is a reductive group acting on $\mathrm{Spec} A$ with a unique closed orbit.…