English
Related papers

Related papers: Smoothness of the truncated display functor

200 papers

The Geometrical Lemma is a classical result in the theory of (complex) smooth representations of $p$-adic reductive groups, which helps to analyze the parabolic restriction of a parabolically induced representation by providing a filtration…

Representation Theory · Mathematics 2024-01-19 Claudius Heyer

We introduce a notion of permutation presentations of modules over finite groups, and completely determine finite groups over which every module has a permutation presentation. To get this result, we prove that every coflasque module over a…

Group Theory · Mathematics 2007-05-23 Takeshi Katsura

Let $S$ be the spectrum of a complete discrete valuation ring with fraction field of characteristic 0 and perfect residue field of characteristic $p\geq 3$. Let $G$ be a truncated Barsotti-Tate group of level 1 over $S$. If ``$G$ is not too…

Number Theory · Mathematics 2008-08-19 Yichao Tian

Let $K$ be a finite unramified extension of $\mathbb{Q}_p$, where $p>2$. [CEGS22b] and [EG23] construct a moduli stack of two dimensional mod $p$ representations of the absolute Galois group of $K$. We show that most irreducible components…

Number Theory · Mathematics 2023-11-10 Anthony Guzman , Kalyani Kansal , Iason Kountouridis , Ben Savoie , Xiyuan Wang

We prove that the Jacquet restriction functor for a parabolic subgroup of a reductive group over a non-Archimedean local field is right adjoint to the parabolic induction functor for the opposite parabolic subgroup, in the generality of…

Representation Theory · Mathematics 2010-05-28 Ralf Meyer , Maarten Solleveld

We prove for $n\geq c-1$ that the functor taking an animated ring $R$ to its mod $(p^c,v_1^{p^n})$ syntomic cohomology factors through the functor $R \mapsto R/p^{c(n+2)}$, a phenomenon we term crystallinity for mod $(p^c,v_1^{p^n})$…

K-Theory and Homology · Mathematics 2026-01-21 Jeremy Hahn , Ishan Levy , Andrew Senger

Let k be any field. J-P. Serre proved that the spectrum of the Grothendieck ring of the k-representation category of a group is connected, and that the same holds in characteristic zero for the representation category of a Lie algebra over…

Quantum Algebra · Mathematics 2011-02-08 Shlomo Gelaki

We show that, for a pseudo-proper smooth noetherian formal scheme $\mathfrak{X}$ over a positive characteristic $p$ field, its truncated De Rham complex up to the characteristic $p$ is decomposable. Moreover, if the dimension of…

Algebraic Geometry · Mathematics 2021-11-11 Leovigildo Alonso , Ana Jeremias , Marta Perez

We study the category of Sp-equivariant modules over the infinite variable polynomial ring, where Sp denotes the infinite symplectic group. We establish a number of results about this category: for instance, we show that every finitely…

Commutative Algebra · Mathematics 2022-03-15 Steven V Sam , Andrew Snowden

We develop the basic theory of smooth representations of locally compact groups on bornological vector spaces. In this setup, we are able to formulate better general theorems than in the topological case. Still, smooth representations of…

Functional Analysis · Mathematics 2015-10-23 Ralf Meyer

Let G be a profinite group which is topologically finitely generated, p a prime number and d an integer. We show that the functor from rigid analytic spaces over Q_p to sets, which associates to a rigid space Y the set of continuous…

Number Theory · Mathematics 2013-07-22 Gaetan Chenevier

We develop topological dynamics for the group of automorphisms of a monster model of any given theory. In particular, we find strong relationships between objects from topological dynamics (such as the generalized Bohr compactification…

Logic · Mathematics 2025-12-10 Krzysztof Krupiński , Anand Pillay , Tomasz Rzepecki

We define pullback and separated presentations of modules over pullback rings, and, if the ring is a pullback of epimorphisms over a semisimple ring, an algorithm reducing such a presentation of a module to an $R$-diagram. The latter is the…

Commutative Algebra · Mathematics 2013-12-17 Krzysztof K. Putyra

Chevalley's theorem and it's converse, the Sheppard-Todd theorem, assert that finite reflection groups are distinguished by the fact that the ring of invariant polynomials is freely generated. We show that in the Euclidean case, a weaker…

Differential Geometry · Mathematics 2007-05-23 Robert Milson

We discuss topological theories, arising from the general $\mathcal{N}=2$ twisted gauge theories. We initiate a program of their study in the Gromov-Witten paradigm. We re-examine the low-energy effective abelian theory in the presence of…

High Energy Physics - Theory · Physics 2017-09-07 Andrei Losev , Nikita Nekrasov , Samson Shatashvili

This continues recent work in a paper by Corner, Gobel and Goldsmith. A particular question was left open: Is it possible to carry over the results concerning the undecidability of torsion--free Crawley groups to modules over the ring of…

Logic · Mathematics 2007-05-23 Rüdiger Göbel , Saharon Shelah

Let $\mathcal{D}$ be a Hom-finite, Krull-Schmidt, 2-Calabi-Yau triangulated category with a rigid object $R$. Let $\Lambda=\operatorname{End}_{\mathcal{D}}R$ be the endomorphism algebra of $R$. We introduce the notion of mutation of maximal…

Representation Theory · Mathematics 2022-12-22 Ping He , Yu Zhou , Bin Zhu

We generalise a theorem on the existence of Frobenius isocrystal and Fontaine-Laffaille module structures on rigid flat connections to the non-proper setting. The proof is based on a new strategy of a point-set topological flavour, which…

Algebraic Geometry · Mathematics 2023-11-23 Hélène Esnault , Michael Groechenig

We prove a portion of a conjecture of B. Conrad, F. Diamond, and R. Taylor, yielding some new cases of the Fontaine-Mazur conjectures, specifically, the modularity of certain potentially Barsotti-Tate Galois representations. The proof…

Number Theory · Mathematics 2007-05-23 David Savitt

Let A be a commutative noetherian ring. Call a functor <<commutative A-algebras>> --> <<sets>> coherent if it can be built up (via iterated finite limits) from functors of the form B \mapsto M tensor_A B, where M is a f.g. A-module. When…

alg-geom · Mathematics 2015-06-30 David B. Jaffe