Related papers: $\infty$-Categorical Perverse $p$-adic Differentia…
We study the connection between the category of modules over the affine Kac-Moody Lie algebra at the critical level, and the category of D-modules on the affine flag scheme G((t))/I, where I is the Iwahori subgroup. We prove a…
Let $O_D$ be the ring of integers in a division algebra of invariant $1/n$ over a p-adic local field. Drinfeld proved that the moduli problem of special formal $O_D$-modules is representable by Deligne's formal scheme version of the…
For a reductive group over an algebraically closed field of characteristic $p > 0$ we construct the abelian category of perverse $\mathbb{F}_p$-sheaves on the affine Grassmannian that are equivariant with respect to the action of the…
In this paper we prove a comparison theorem between the category of certain modules with integrable connection on the complement of a normal crossing divisor of the generic fiber of a proper semistable variety over a DVR and the category of…
Using techniques of [BKV], we construct a perverse t-structure on the infinity-category of l-adic LG-equivariant sheaves on the regular-semisimple bounded locus of the loop group LG and prove that the derived $\tau$-coinvariants of affine…
It is well-known that the W\"ustholz' analytic subgroup theorem is one of the most powerful theorems in transcendence theory. The theorem gives in a very systematic and conceptual way the transcendence of a large class of complex numbers,…
We introduce and study the category of twisted modules over a triangular differential graded bocs. We show that in this category idempotents split, that it admits a natural structure of a Frobenius category, that a twisted module is…
The p-cohomology of an algebraic variety in characteristic p lies naturally in the category $D_{c}^{b}(R)$ of coherent complexes of graded modules over the Raynaud ring (Ekedahl-Illusie-Raynaud). We study homological algebra in this…
Let X be a smooth proper curve over a finite field of characteristic p. We prove a product formula for p-adic epsilon factors of arithmetic D-modules on X. In particular we deduce the analogous formula for overconvergent F-isocrystals,…
We extend Berthelot's theory of arithmetic D-modules to a class of morphisms that are not necessarily of finite type. As an application we give a new construction of the category of convergent isocrystals on a separated scheme of finite…
In this paper, we treat $\mathscr{D}$-modules on the basic affine space $G/U$ and their global sections for a semisimple complex algebraic group $G$. Our aim is to prepare basic results about large non-irreducible modules for the branching…
We use the stacky approach to $p$-adic cohomology theories recently developed by Drinfeld and Bhatt--Lurie to generalise a comparison theorem between the rational crystalline cohomology of the special fibre and the rational $p$-adic \'etale…
For an endofunctor $F\colon\mathcal{C}\to\mathcal{C}$ on an ($\infty$-)category $\mathcal{C}$ we define the $\infty$-category $\operatorname{Cart}(\mathcal{C},F)$ of generalized Cartier modules as the lax equalizer of $F$ and the identity.…
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…
Let $G$ be a simple simply connected complex algebraic group and let $\mathfrak{g}_*$ be a $\mathbf{Z}/m$-grading on its Lie algebra $\mathfrak{g}$. In a recent series of articles, G. Lusztig and Z. Yun, studied the classification of simple…
In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…
We study the $p$-adic variation of triangulations over $p$-adic families of $(\varphi,\Gamma)$-modules. In particular, we study certain canonical sub-filtrations of the pointwise triangulations and show that they extend to affinoid…
This paper deals with the Langlands' classification for discrete series of unitary quasi-split p-adic groups. We show that such a classification follows from Arthur's work on the simple trace formula which we can use now thanks to…
The goal of this paper is to prove how Arthur's results, in the case of split odd orthogonal p-adic groups, imply the Langlands' classification of discrete series. Of course this need the validity of ''fundamental'' lemmas which are not yet…
Let $p$ be a prime number and $K$ a finite unramified extension of $\mathbb{Q}_p$. Let $\pi$ be an admissible smooth mod $p$ representation of $\mathrm{GL}_2(K)$ occurring in some Hecke eigenspaces of the mod $p$ cohomology and…