Related papers: Perverse pullbacks

We prove that various morphisms related to the six Grothendieck operations on sheaves become isomorphisms when restricted to (weakly) constructible sheaves. To this end, we first study some properties of weakly cohomologically constructible…

Given a not necessarily semisimple modular tensor category C, we use the corresponding 3d TFT defined in [arXiv:1912.02063] to explicitly describe a modular functor as a symmetric monoidal 2-functor from a 2-category of oriented bordisms to…

We generalize the construction of a moduli space of semistable pairs parametrizing isomorphism classes of morphisms from a fixed coherent sheaf to any sheaf with fixed Hilbert polynomial under a notion of stability to the case of projective…

We develop a full 6-functor formalism for $p$-torsion \'etale sheaves in rigid-analytic geometry. More concretely, we use the recently developed condensed mathematics by Clausen--Scholze to associate to every small v-stack (e.g.…

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…

Let $X$ be a (-1)-shifted symplectic derived Deligne--Mumford stack. In this paper we introduce the Darboux stack of $X$, parametrizing local presentations of $X$ as a derived critical locus of a function $f$ on a smooth formal scheme $U$.…

We give an explicit formula to express the cohomological pullback functors of Hodge modules under closed immersions of smooth varieties using Verdier specializations and $V$-filtrations of Kashiwara and Malgrange. This was locally obtained…

Let K be an algebraically closed field, X a K-scheme, and X(K) the set of closed points in X. A constructible set C in X(K) is a finite union of subsets Y(K) for finite type subschemes Y in X. A constructible function f : X(K) --> Q has…

Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $\mathcal{P}$ a separated smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $X$ a smooth closed subscheme of $P$, $T$ a divisor in $P$ such that…

We define the equivariant Chern-Schwartz-MacPherson class of a possibly singular algebraic variety with a group action over the complex number field (or a field of characteristic 0). In fact, we construct a natural transformation from the…

Flops are birational transformations which, conjecturally, induce derived equivalences. In many cases an equivalence can be produced as pull-push via a resolution of the birational transformation; when this happens, we have a non-trivial…

Associated to a Thurston map $f: S^2 \to S^2$ with postcritical set $P$ are several different invariants obtained via pullback: a relation on the set of free homotopy classes of curves in $S^2- P$, a linear operator on the free $\R$-module…

In this paper we provide several results regarding the structure of derived categories of (nested) Hilbert schemes of points. We show that the criteria of Krug-Sosna and Addington for the universal ideal sheaf functor to be fully faithful…

We extend the dimension and strong linearity results of generic vanishing theory to bundles of holomorphic forms and rank one local systems, and more generally to certain coherent sheaves of Hodge-theoretic origin associated to irregular…

Let $G$ be a $\mathbb{Q}_p$-split reductive group with connected centre and Borel subgroup $B=TN$. We construct a right exact functor $D^\vee_\Delta$ from the category of smooth modulo $p^n$ representations of $B$ to the category of…

In this article we propose a geometric description of Arthur packets for $p$-adic groups using vanishing cycles of perverse sheaves. Our approach is inspired by the 1992 book by Adams, Barbasch and Vogan on the Langlands classification of…

For an exact dg category $\mathcal A$, we introduce its bounded dg derived category $\mathcal{D}^b_{dg}(\mathcal A)$ and establish the universal exact morphism from $\mathcal A$ to $\mathcal{D}^b_{dg}(\mathcal A)$. We prove that the dg…

We prove the first nontrivial reconstruction theorem for modular tensor categories: the category associated to any twisted Drinfeld double of any finite group, can be realised as the representation category of a completely rational…

We outline an algorithm for construction of functional bases of absolute invariants under the rotation group for sets of rank 2 tensors and vectors in the Euclidean space of arbitrary dimension. We will use our earlier results for symmetric…

We characterize adjoint ideal sheaves via ultraproducts and, utilizing this characterization, study their behavior under pure morphisms. In particular, given a pure morphism $f:Y \to X$ between normal quasi-projective complex varieties, a…