English
Related papers

Related papers: Intermediate extensions of perverse constructible …

200 papers

For a regular noetherian scheme $X$ with a divisor with strict normal crossings $D$ we prove that coherent sheaves satisfy descent w.r.t. the 'covering' consisting of the open parts in the various completions of $X$ along the components of…

Algebraic Geometry · Mathematics 2016-03-08 Fritz Hörmann

We show that there is a perverse sheaf on a fine moduli space of stable sheaves on a smooth projective Calabi-Yau 3-fold, which is locally the perverse sheaf of vanishing cycles for a local Chern-Simons functional, possibly after taking an…

Algebraic Geometry · Mathematics 2016-03-22 Young-Hoon Kiem , Jun Li

We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…

Algebraic Geometry · Mathematics 2023-05-30 Tamir Hemo , Timo Richarz , Jakob Scholbach

We introduce a dynamical Mordell-Lang-type conjecture for coherent sheaves. When the sheaves are structure sheaves of closed subschemes, our conjecture becomes a statement about unlikely intersections. We prove an analogue of this…

Algebraic Geometry · Mathematics 2017-06-07 Jason P. Bell , Matthew Satriano , Susan J. Sierra

This note concerns exponential sheaves and the "universal" Fourier transform on them. Fourier invertibility and the subsequent Fourier miracle is demonstrated. Further, t-structures and realizations are constructed and shown to have…

Algebraic Geometry · Mathematics 2026-05-19 R. Virk

Let $G$ be a split connected reductive group over a finite field of characteristic $p > 2$ such that $G_\text{der}$ is absolutely almost simple. We give a geometric construction of perverse $\mathbb{F}_p$-sheaves on the Iwahori affine flag…

Algebraic Geometry · Mathematics 2021-12-23 Robert Cass

We show that the inverse Serre functor for the constructible derived category $\mathbf{D}^\mathrm{b}_\mathrm{c}(\mathbb{P}^n)$ is given by the $\mathbb{P}$-twist at the simple perverse sheaf corresponding to the open stratum. Moreover, we…

Representation Theory · Mathematics 2025-06-09 Lukas Bonfert , Alessio Cipriani

This paper is an introduction to the use of perverse sheaves with positive characteristic coefficients in modular representation theory. In the first part, we survey results relating singularities in finite and affine Schubert varieties and…

Representation Theory · Mathematics 2014-10-07 Daniel Juteau , Carl Mautner , Geordie Williamson

Given a coherent sheaf E on a scheme of finite type X over a perfect field, we introduce a category of complexes of \'etale sheaves on X with logarithmic conductors bounded by E and study its compatibilities with finite push-forward.

Algebraic Geometry · Mathematics 2026-04-15 Haoyu Hu , Jean-Baptiste Teyssier

Perverse schobers are categorical analogs of perverse sheaves. Examples arise from varieties admitting flops, determined by diagrams of derived categories of coherent sheaves associated to the flop: in this paper we construct mirror…

Algebraic Geometry · Mathematics 2019-03-28 W. Donovan , T. Kuwagaki

This note is mostly an exposition of an unpublished result of Deligne, which introduces an analogue of perverse $t$-structure on the derived category of coherent sheaves on a Noetherian scheme with a dualizing complex. Construction extends…

Algebraic Geometry · Mathematics 2010-06-24 Roman Bezrukavnikov

Let $G$ denote a possibly discrete topological group admitting an open subgroup $I$ which is pro-$p$. If $H$ denotes the corresponding Hecke algebra over a field $k$ of characteristic $p$ then we study the adjunction between $H$-modules and…

Representation Theory · Mathematics 2023-03-06 Nicolas Dupré , Jan Kohlhaase

Given a closed immersion between arbitrary smooth complex projective varieties, we prove that the two operations: (1) taking the moduli space of stable sheaves, and (2) taking the deformation to the normal cone, commute in a precise sense.…

Algebraic Geometry · Mathematics 2025-11-25 Yifan Zhao

In this paper, we prove that for any $p$-adic smooth separated formal scheme $\mathfrak X$, the category of prismatic $F$-crystals with $I$ inverted is equivalent to the category of \'etale $\mathbb Z_p$-local systems on the generic fiber…

Algebraic Geometry · Mathematics 2021-12-21 Yu Min , Yupeng Wang

We construct period sheaves for Hamiltonian spaces, as conjectured in the work of Ben-Zvi, Sakellaridis and Venkatesh, using the perverse pullback functors introduced in the authors' previous work. We prove a dimensional reduction…

Algebraic Geometry · Mathematics 2025-10-22 Adeel A. Khan , Tasuki Kinjo , Hyeonjun Park , Pavel Safronov

We prove that a large class of natural transformations (consisting roughly of those constructed via composition from the "functorial" or "base change" transformations) between two functors of the form $\cdots f^* g_* \cdots$ actually has…

Algebraic Geometry · Mathematics 2014-04-17 Ryan Cohen Reich

We consider smooth deformations of the $CR$ structure of a smooth $2$-pseudoconcave compact $CR$ submanifold $\textsf{M}$ of a reduced complex analytic variety $\textsf{X}$ outside the intersection $D\,{\cap}\,\textsf{M}$ with the support…

Complex Variables · Mathematics 2022-04-21 Judith Brinkschulte , C. Denson Hill , Mauro Nacinovich

We prove that for $X$ a quasi-compact $\mathbb{F}_p$-scheme with affine diagonal (e.g.\ $X$ quasi-compact and separated) there is a t-exact equivalence $\mathcal D(\mathrm{Frob}(\mathrm{QCoh}(X),F_*)) \to \mathrm{Frob}(\mathcal…

Algebraic Geometry · Mathematics 2025-10-28 Klaus Mattis , Timo Weiß

Given a smooth affine curve X over a field k of positive characteristic, and an overconvergent F-isocrystal on X, we prove after replacing k by a finite purely inseparable extension, there exists a finite separable cover of X, the pullback…

Number Theory · Mathematics 2007-05-23 Kiran S. Kedlaya

For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…

Algebraic Geometry · Mathematics 2014-10-07 Martin Brandenburg , Alexandru Chirvasitu