Related papers: Exactness of the reduction on \'etale modules
We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3 x 3-lemma and the snake lemma. We briefly discuss exact functors,…
Let G be a connected reductive group defined over an algebraically closed field k of characteristic p > 0. The purpose of this paper is two-fold. First, when p is a good prime, we give a new proof of the ``order formula'' of D. Testerman…
Let $F$ be a complete discrete valuation field whose residue field $k$ is a global field of positive characteristic $p$. Let $D$ be a central division $F$-algebra of $p$-power degree. We prove that the subgroup of $F^*$ consisting of…
We prove that cuspidal automorphic D-modules have non-vanishing Whittaker coefficients, generalizing known results in the geometric Langlands program from GL_n to general reductive groups. The key tool is a microlocal interpretation of…
We define some rings of power series in several variables, that are attached to a Lubin-Tate formal module. We then give some examples of (\phi,\Gamma)-modules over those rings. They are the global sections of some reflexive sheaves on the…
In this paper we provide a general condition for the reducibility of the Reshetikhin-Turaev quantum representations of the mapping class groups. Namely, for any modular tensor category with a special symmetric Frobenius algebra with a…
We prove that the perfect loop functor $LX$ of a quasi-projective scheme $X$ over a local non-archimedean field $k$ satisfies arc-descent, strengthening a result of Drinfeld. Then we prove that for an unramified reductive group $G$, the map…
Let $G$ be a connected reductive algebraic group defined over an algebraically closed field %$k$ of characteristic $p > 0$. Our first aim in this note is to give concise and uniform proofs for two fundamental and deep results in the context…
We construct the reduction of an exact category with a twist functor with respect to an element of its graded center in presence of an exact-conservative forgetful functor annihilating this central element. The procedure allows, e.g., to…
In this paper we expand on previous results, studying the extent to which one can detect fusion in certain finite groups $\Gamma$, from information about the universal deformation rings of absolutely irreducible…
A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local…
We provide new proofs of two key results of p-adic Hodge theory: the Fontaine-Wintenberger isomorphism between Galois groups in characteristic 0 and characteristic p, and the Cherbonnier-Colmez theorem on decompletion of (phi,…
In "Frobenius Categories versus Brauer Blocks" we have proved some universality of the so-called localizing functor associated with a Frobenius $P$-category $F$, where $P$ is a finite $p$-group, with respect to the coherent $F$-localities…
Irreducible crystalline representations of dimension 2 of Gal(Qpbar/Qp) depend up to twist on two parameters, the weight k and the trace of frobenius a_p. We show that the reduction modulo p of such a representation is a locally constant…
For $p\in (1,\infty)$, we study representations of \'etale groupoids on $L^{p}$-spaces. Our main result is a generalization of Renault's disintegration theorem for representations of \'etale groupoids on Hilbert spaces. We establish a…
We construct stacks which algebraize Mazur's formal deformation rings of local Galois representations. More precisely, we construct Noetherian formal algebraic stacks over Spf Zp which parameterize \'etale (phi,Gamma)-modules; the formal…
Let $F$ be a finite extension of $\mathbb{Q}_p$. We determine the Lubin-Tate $(\varphi,\Gamma)$-modules associated to the absolutely irreducible mod $p$ representations of the absolute Galois group ${\rm Gal}(\bar{F}/F)$.
In this short note we explain the proof that proper surjective and faithfully flat maps are morphisms of effective descent for overconvergent isocrystals. We then show how to deduce the folklore theorem that for an arbitrary variety over a…
Consider a finite-dimensional algebra $A$ and any of its moduli spaces $\mathcal{M}(A,\mathbf{d})^{ss}_{\theta}$ of representations. We prove a decomposition theorem which relates any irreducible component of…
Let G be a commutative algebraic group over Q. Let Gamma be a subgroup of G(Q) contained in the union of the compact subgroups of G(Q_p). We formulate a guess for the dimension of the closure of Gamma in G(Q_p), and show that its…