Showing 1–24 of 24 results for author: Herzig, F

On the constituents of the mod $p$ cohomology of Shimura curves

Authors: Christophe Breuil, Florian Herzig, Yongquan Hu, Stefano Morra, Benjamin Schraen

Abstract: Let $p$ be a prime number and $K$ a finite unramified extension of $\mathbb{Q}_p$. When $p$ is large enough with respect to $[K:\mathbb{Q}_p]$ and under mild genericity assumptions, we proved in our previous work that the admissible smooth representations $π$ of $\mathrm{GL}_2(K)$ that occur in Hecke eigenspaces of the mod $p$ cohomology are of finite length. In this paper we obtain various re… ▽ More Let $p$ be a prime number and $K$ a finite unramified extension of $\mathbb{Q}_p$. When $p$ is large enough with respect to $[K:\mathbb{Q}_p]$ and under mild genericity assumptions, we proved in our previous work that the admissible smooth representations $π$ of $\mathrm{GL}_2(K)$ that occur in Hecke eigenspaces of the mod $p$ cohomology are of finite length. In this paper we obtain various refined results about the structure of subquotients of $π$, such as their Iwahori-socle filtrations and $K_1$-invariants, where $K_1$ is the principal congruence subgroup of $\mathrm{GL}_2(\mathcal{O}_K)$. We also determine the Hilbert series of $π$ as Iwahori-representation under these conditions. △ Less

Submitted 19 June, 2025; originally announced June 2025.

Finite length for unramified $\mathrm{GL}_2$

Authors: Christophe Breuil, Florian Herzig, Yongquan Hu, Stefano Morra, Benjamin Schraen

Abstract: Let $p$ be a prime number and $K$ a finite unramified extension of $\mathbb{Q}_p$. If $p$ is large enough with respect to $[K:\mathbb{Q}_p]$ and under mild genericity assumptions, we prove that the admissible smooth representations of $\mathrm{GL}_2(K)$ that occur in Hecke eigenspaces of the mod $p$ cohomology are of finite length. We also prove many new structural results about these representati… ▽ More Let $p$ be a prime number and $K$ a finite unramified extension of $\mathbb{Q}_p$. If $p$ is large enough with respect to $[K:\mathbb{Q}_p]$ and under mild genericity assumptions, we prove that the admissible smooth representations of $\mathrm{GL}_2(K)$ that occur in Hecke eigenspaces of the mod $p$ cohomology are of finite length. We also prove many new structural results about these representations of $\mathrm{GL}_2(K)$ and their subquotients. △ Less

Submitted 7 January, 2025; originally announced January 2025.

On the irreducibility of $p$-adic Banach principal series of $p$-adic $\mathrm{GL}_3$

Authors: Noriyuki Abe, Florian Herzig

Abstract: We establish an optimal (topological) irreducibility criterion for $p$-adic Banach principal series of $\mathrm{GL}_{n}(F)$, where $F/\mathbb{Q}_p$ is finite and $n \le 3$. This is new for $n = 3$ as well as for $n = 2$, $F \ne \mathbb{Q}_p$ and establishes a refined version of Schneider's conjecture [Sch06, Conjecture 2.5] for these groups. We establish an optimal (topological) irreducibility criterion for $p$-adic Banach principal series of $\mathrm{GL}_{n}(F)$, where $F/\mathbb{Q}_p$ is finite and $n \le 3$. This is new for $n = 3$ as well as for $n = 2$, $F \ne \mathbb{Q}_p$ and establishes a refined version of Schneider's conjecture [Sch06, Conjecture 2.5] for these groups. △ Less

Submitted 24 March, 2023; v1 submitted 23 March, 2023; originally announced March 2023.

Comments: 21 pages

Journal ref: Vietnam J. Math. 52 (2024), no. 2, 451-478

On the irreducibility of $p$-adic Banach principal series of $p$-adic reductive groups

Authors: Noriyuki Abe, Florian Herzig

Abstract: Suppose that $G$ is the group of $F$-points of a connected reductive group over $F$, where $F/\mathbb{Q}_p$ is a finite extension. We study the (topological) irreducibility of principal series of $G$ on $p$-adic Banach spaces. For unitary inducing representations we obtain an optimal irreducibility criterion, and for $G = \mathrm{GL}_n(F)$ (as well as for arbitrary split groups under slightly stro… ▽ More Suppose that $G$ is the group of $F$-points of a connected reductive group over $F$, where $F/\mathbb{Q}_p$ is a finite extension. We study the (topological) irreducibility of principal series of $G$ on $p$-adic Banach spaces. For unitary inducing representations we obtain an optimal irreducibility criterion, and for $G = \mathrm{GL}_n(F)$ (as well as for arbitrary split groups under slightly stronger conditions) we obtain a variant of Schneider's conjecture [Sch06, Conjecture 2.5]. In general we reduce the irreducibility problem to smooth inducing representations and almost simple simply-connected $G$. Our methods include locally analytic representation theory, the bifunctor of Orlik--Strauch, translation functors, as well as new results on reducibility points of smooth parabolic inductions. △ Less

Submitted 24 March, 2023; v1 submitted 23 March, 2023; originally announced March 2023.

Comments: 85 pages

Multivariable ($\varphi$,$\mathcal{O}_K^\times$)-modules and local-global compatibility

Authors: Christophe Breuil, Florian Herzig, Yongquan Hu, Stefano Morra, Benjamin Schraen

Abstract: Let $p$ be a prime number, $K$ a finite unramified extension of $\mathbb{Q}_p$ and $\mathbb{F}$ a finite extension of $\mathbb{F}_p$. Using perfectoid spaces we associate to any finite-dimensional continuous representation $\overlineρ$ of ${\rm Gal}(\overline K/K)$ over $\mathbb{F}$ an étale $(\varphi,\mathcal{O}_K^\times)$-module $D_A^\otimes(\overlineρ)$ over a completed localization $A$ of… ▽ More Let $p$ be a prime number, $K$ a finite unramified extension of $\mathbb{Q}_p$ and $\mathbb{F}$ a finite extension of $\mathbb{F}_p$. Using perfectoid spaces we associate to any finite-dimensional continuous representation $\overlineρ$ of ${\rm Gal}(\overline K/K)$ over $\mathbb{F}$ an étale $(\varphi,\mathcal{O}_K^\times)$-module $D_A^\otimes(\overlineρ)$ over a completed localization $A$ of $\mathbb{F}[\![\mathcal{O}_K]\!]$. We conjecture that one can also associate an étale $(\varphi,\mathcal{O}_K^\times)$-module $D_A(π)$ to any smooth representation $π$ of $\mathrm{GL}_2(K)$ occurring in some Hecke eigenspace of the mod $p$ cohomology of a Shimura curve, and that moreover $D_A(π)$ is isomorphic (up to twist) to $D_A^\otimes(\overlineρ)$, where $\overlineρ$ is the underlying $2$-dimensional representation of ${\rm Gal}(\overline K/K)$. Using previous work of the same authors, we prove this conjecture when $\overlineρ$ is semi-simple and sufficiently generic. △ Less

Submitted 3 December, 2024; v1 submitted 1 November, 2022; originally announced November 2022.

Comments: Minor modifications after the referee report

Journal ref: Math. Ann. 392 (2025), no. 2, 2709-2801

Conjectures and results on modular representations of $\mathrm{GL}_n(K)$ for a $p$-adic field $K$

Authors: Christophe Breuil, Florian Herzig, Yongquan Hu, Stefano Morra, Benjamin Schraen

Abstract: Let $p$ be a prime number and $K$ a finite extension of $\mathbb{Q}_p$. We state conjectures on the smooth representations of $\mathrm{GL}_n(K)$ that occur in spaces of mod $p$ automorphic forms (for compact unitary groups). In particular, when $K$ is unramified, we conjecture that they are of finite length and predict their internal structure (extensions, form of subquotients) from the structure… ▽ More Let $p$ be a prime number and $K$ a finite extension of $\mathbb{Q}_p$. We state conjectures on the smooth representations of $\mathrm{GL}_n(K)$ that occur in spaces of mod $p$ automorphic forms (for compact unitary groups). In particular, when $K$ is unramified, we conjecture that they are of finite length and predict their internal structure (extensions, form of subquotients) from the structure of a certain algebraic representation of $\mathrm{GL}_n$. When $n=2$ and $K$ is unramified, we prove several cases of our conjectures, including new finite length results. △ Less

Submitted 2 October, 2023; v1 submitted 11 February, 2021; originally announced February 2021.

Comments: Minor updates after the referee's report

Gelfand-Kirillov dimension and mod p cohomology for GL2

Authors: Christophe Breuil, Florian Herzig, Yongquan Hu, Stefano Morra, Benjamin Schraen

Abstract: Let $p$ be a prime number, $F$ a totally real number field unramified at places above $p$ and $D$ a quaternion algebra of center $F$ split at places above $p$ and at no more than one infinite place. Let $v$ be a fixed place of $F$ above $p$ and $\overline{r} : {\rm Gal}(\overline F/F)\rightarrow \mathrm{GL}_2(\overline{\mathbb{F}}_p)$ an irreducible modular continuous Galois representation which,… ▽ More Let $p$ be a prime number, $F$ a totally real number field unramified at places above $p$ and $D$ a quaternion algebra of center $F$ split at places above $p$ and at no more than one infinite place. Let $v$ be a fixed place of $F$ above $p$ and $\overline{r} : {\rm Gal}(\overline F/F)\rightarrow \mathrm{GL}_2(\overline{\mathbb{F}}_p)$ an irreducible modular continuous Galois representation which, at the place $v$, is semisimple and sufficiently generic (and satisfies some weak genericity conditions at a few other finite places). We prove that many of the admissible smooth representations of $\mathrm{GL}_2(F_v)$ over $\overline{\mathbb{F}}_p$ associated to $\overline{r}$ in the corresponding Hecke-eigenspaces of the mod $p$ cohomology have Gelfand--Kirillov dimension $[F_v:\mathbb{Q}]$, as well as several related results. △ Less

Submitted 9 June, 2023; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: Final version, to appear in Inventiones Mathematicae

Journal ref: Invent. Math. 234 (2023), no. 1, 1-128

On the existence of admissible supersingular representations of $p$-adic reductive groups

Authors: Florian Herzig, Karol Koziol, Marie-France Vignéras

Abstract: Suppose that $\mathbf{G}$ is a connected reductive group over a finite extension $F/\mathbb{Q}_p$, and that $C$ is a field of characteristic $p$. We prove that the group $\mathbf{G}(F)$ admits an irreducible admissible supercuspidal, or equivalently supersingular, representation over $C$. Suppose that $\mathbf{G}$ is a connected reductive group over a finite extension $F/\mathbb{Q}_p$, and that $C$ is a field of characteristic $p$. We prove that the group $\mathbf{G}(F)$ admits an irreducible admissible supercuspidal, or equivalently supersingular, representation over $C$. △ Less

Submitted 15 December, 2019; v1 submitted 30 April, 2019; originally announced May 2019.

Comments: 58 pages, with an appendix by Sug Woo Shin. This replaces arXiv:1712.10142 and arXiv:1808.08255. v2: Minor changes following referee report; to appear in Forum Math. Sigma

Journal ref: Forum Math. Sigma 8 (2020), e2, 73 pp

Towards the finite slope part for $\mathrm{GL}_n$

Authors: Christophe Breuil, Florian Herzig

Abstract: Let $L$ be a finite extension of $\mathbb{Q}_p$ and $n\geq 2$. We associate to a crystabelline $n$-dimensional representation of $\mathrm{Gal}(\overline L/L)$ satisfying mild genericity assumptions a finite length locally $\mathbb{Q}_p$-analytic representation of $\mathrm{GL}_n(L)$. In the crystalline case and in a global context, using the recent results on the locally analytic socle from [BHS17a… ▽ More Let $L$ be a finite extension of $\mathbb{Q}_p$ and $n\geq 2$. We associate to a crystabelline $n$-dimensional representation of $\mathrm{Gal}(\overline L/L)$ satisfying mild genericity assumptions a finite length locally $\mathbb{Q}_p$-analytic representation of $\mathrm{GL}_n(L)$. In the crystalline case and in a global context, using the recent results on the locally analytic socle from [BHS17a] we prove that this representation indeed occurs in spaces of $p$-adic automorphic forms. We then use this latter result in the ordinary case to show that certain "ordinary" $p$-adic Banach space representations constructed in our previous work appear in spaces of $p$-adic automorphic forms. This gives strong new evidence to our previous conjecture in the $p$-adic case. △ Less

Submitted 23 February, 2019; v1 submitted 7 June, 2018; originally announced June 2018.

Comments: 46 pages (revised)

Journal ref: Int. Math. Res. Not. IMRN 2020, no. 24, 7504-7550

Inverse Satake isomorphism and change of weight

Authors: Noriyuki Abe, Florian Herzig, Marie-France Vignéras

Abstract: Let $G$ be any connected reductive $p$-adic group. Let $K\subset G$ be any special parahoric subgroup and $V,V'$ be any two irreducible smooth $\overline {\mathbb F}_p[K]$-modules. The main goal of this article is to compute the image of the Hecke bi-module $\operatorname{End}_{\overline {\mathbb F}_p[K]}(\operatorname{c-Ind}_K^G V, \operatorname{c-Ind}_K^G V')$ by the generalized Satake transform… ▽ More Let $G$ be any connected reductive $p$-adic group. Let $K\subset G$ be any special parahoric subgroup and $V,V'$ be any two irreducible smooth $\overline {\mathbb F}_p[K]$-modules. The main goal of this article is to compute the image of the Hecke bi-module $\operatorname{End}_{\overline {\mathbb F}_p[K]}(\operatorname{c-Ind}_K^G V, \operatorname{c-Ind}_K^G V')$ by the generalized Satake transform and to give an explicit formula for its inverse, using the pro-$p$ Iwahori Hecke algebra of $G$. This immediately implies the "change of weight theorem" in the proof of the classification of mod $p$ irreducible admissible representations of $G$ in terms of supersingular ones. A simpler proof of the change of weight theorem, not using the pro-$p$ Iwahori Hecke algebra or the Lusztig-Kato formula, is given when $G$ is split (and in the appendix when $G$ is quasi-split, for almost all $K$). △ Less

Submitted 10 January, 2022; v1 submitted 1 May, 2018; originally announced May 2018.

Comments: 60 pages

Journal ref: Represent. Theory 26 (2022), 264-324

Questions on mod p representations of reductive p-adic groups

Authors: Noriyuki Abe, Guy Henniart, Florian Herzig, Marie-France Vigneras

Abstract: This is a list of questions raised by our joint work arXiv:1412.0737 and its sequels. This is a list of questions raised by our joint work arXiv:1412.0737 and its sequels. △ Less

Submitted 6 March, 2017; originally announced March 2017.

Comments: We compiled the questions in this note for the workshop Geometric methods in the mod p local Langlands correspondence held in June 2016 at the Centro di Ricerca Matematica Ennio de Giorgi in Pisa. We do not intend this note for publication

On mod p local-global compatibility for GL_3 in the ordinary case

Authors: Florian Herzig, Daniel Le, Stefano Morra

Abstract: Suppose that F/F+ is a CM extension of number fields in which the prime p splits completely and every other prime is unramified. Fix a place w|p of F. Suppose that rbar : Gal(F-bar/F) -> GL_3(Fp-bar) is a continuous irreducible Galois representation such that rbar|_{Gal(F_w-bar/F_w)} is upper-triangular, maximally non-split, and generic. If rbar is automorphic, and some suitable technical conditio… ▽ More Suppose that F/F+ is a CM extension of number fields in which the prime p splits completely and every other prime is unramified. Fix a place w|p of F. Suppose that rbar : Gal(F-bar/F) -> GL_3(Fp-bar) is a continuous irreducible Galois representation such that rbar|_{Gal(F_w-bar/F_w)} is upper-triangular, maximally non-split, and generic. If rbar is automorphic, and some suitable technical conditions hold, we show that rbar|_{\Gal(F_w-bar/F_w)} can be recovered from the GL_3(F_w)-action on a space of mod p automorphic forms on a compact unitary group. On the way we prove results about weights in Serre's conjecture for rbar, show the existence of an ordinary lifting of rbar, and prove the freeness of certain Taylor-Wiles patched modules in this context. We also show the existence of many Galois representations rbar to which our main theorem applies. △ Less

Submitted 18 July, 2017; v1 submitted 5 February, 2016; originally announced February 2016.

Comments: revised, 72 pages

MSC Class: 11F80 (Primary); 22E50 (Secondary)

Journal ref: Compositio Math. 153 (2017) 2215-2286

General Serre weight conjectures

Authors: Toby Gee, Florian Herzig, David Savitt

Abstract: We formulate a number of related generalisations of the weight part of Serre's conjecture to the case of GL(n) over an arbitrary number field, motivated by the formalism of the Breuil-Mézard conjecture. We give evidence for these conjectures, and discuss their relationship to previous work. We generalise one of these conjectures to the case of connected reductive groups which are unramified over Q… ▽ More We formulate a number of related generalisations of the weight part of Serre's conjecture to the case of GL(n) over an arbitrary number field, motivated by the formalism of the Breuil-Mézard conjecture. We give evidence for these conjectures, and discuss their relationship to previous work. We generalise one of these conjectures to the case of connected reductive groups which are unramified over Q_p, and we also generalise the second author's previous conjecture for GL(n)/Q to this setting, and show that the two conjectures are generically in agreement. △ Less

Submitted 21 September, 2017; v1 submitted 8 September, 2015; originally announced September 2015.

Comments: Essentially final version, to appear in J. Eur. Math. Soc. This version will not incorporate any minor changes made in proof

Journal ref: J. Eur. Math. Soc. 20 (2018), no. 12, 2859-2949

Potentially crystalline lifts of certain prescribed types

Authors: Toby Gee, Florian Herzig, Tong Liu, David Savitt

Abstract: We prove several results concerning the existence of potentially crystalline lifts with prescribed Hodge-Tate weights and inertial types of a given n-dimensional mod p representation of the absolute Galois group of K, where K/Q_p is a finite extension. Some of these results are proved by purely local methods, and are expected to be useful in the application of automorphy lifting theorems. The proo… ▽ More We prove several results concerning the existence of potentially crystalline lifts with prescribed Hodge-Tate weights and inertial types of a given n-dimensional mod p representation of the absolute Galois group of K, where K/Q_p is a finite extension. Some of these results are proved by purely local methods, and are expected to be useful in the application of automorphy lifting theorems. The proofs of the other results are global, making use of automorphy lifting theorems. △ Less

Submitted 7 February, 2017; v1 submitted 2 June, 2015; originally announced June 2015.

Comments: 22 pages; final version, to appear in Documenta

MSC Class: 11F80

Journal ref: Documenta Math. 22 (2017), 397-422

A classification of irreducible admissible mod p representations of p-adic reductive groups

Authors: Noriyuki Abe, Guy Henniart, Florian Herzig, Marie-France Vigneras

Abstract: Let F be a locally compact non-archimedean field, p its residue characteristic, and G a connected reductive group over F. Let C an algebraically closed field of characteristic p. We give a complete classification of irreducible admissible C-representations of G = G(F), in terms of supercuspidal C-representations of the Levi subgroups of G, and parabolic induction. Thus we push to their natural con… ▽ More Let F be a locally compact non-archimedean field, p its residue characteristic, and G a connected reductive group over F. Let C an algebraically closed field of characteristic p. We give a complete classification of irreducible admissible C-representations of G = G(F), in terms of supercuspidal C-representations of the Levi subgroups of G, and parabolic induction. Thus we push to their natural conclusion the ideas of the third-named author, who treated the case G = GL_m, as further expanded by the first-named author, who treated split groups G. As in the split case, we first get a classification in terms of supersingular representations of Levi subgroups, and as a consequence show that supersingularity is the same as supercuspidality. △ Less

Submitted 3 May, 2016; v1 submitted 1 December, 2014; originally announced December 2014.

Comments: 64 pages

MSC Class: 22E50

Journal ref: J. Amer. Math. Soc. 30 (2017), no. 2, 495-559

Adequate subgroups and indecomposable modules

Authors: Robert Guralnick, Florian Herzig, Pham Huu Tiep

Abstract: The notion of adequate subgroups was introduced by Jack Thorne [59]. It is a weakening of the notion of big subgroups used by Wiles and Taylor in proving automorphy lifting theorems for certain Galois representations. Using this idea, Thorne was able to strengthen many automorphy lifting theorems. It was shown in [22] and [23] that if the dimension is smaller than the characteristic then almost al… ▽ More The notion of adequate subgroups was introduced by Jack Thorne [59]. It is a weakening of the notion of big subgroups used by Wiles and Taylor in proving automorphy lifting theorems for certain Galois representations. Using this idea, Thorne was able to strengthen many automorphy lifting theorems. It was shown in [22] and [23] that if the dimension is smaller than the characteristic then almost all absolutely irreducible representations are adequate. We extend the results by considering all absolutely irreducible modules in characteristic p of dimension p. This relies on a modified definition of adequacy, provided by Thorne in [60], which allows p to divide the dimension of the module. We prove adequacy for almost all irreducible representations of SL_2(p^a) in the natural characteristic and for finite groups of Lie type as long as the field of definition is sufficiently large. We also essentially classify indecomposable modules in characteristic p of dimension less than 2p-2 and answer a question of Serre concerning complete reducibility of subgroups in classical groups of low dimension. △ Less

Submitted 6 March, 2017; v1 submitted 30 April, 2014; originally announced May 2014.

Comments: Final version. 58 pages

MSC Class: 20C20; 11F80

Journal ref: J. Eur. Math. Soc. 19 (2017), no. 4, 1231-1291

Adequate groups of low degree

Authors: Robert Guralnick, Florian Herzig, Pham Huu Tiep

Abstract: The notion of adequate subgroups was introduced by Jack Thorne [42]. It is a weakening of the notion of big subgroups used in generalizations of the Taylor-Wiles method for proving the automorphy of certain Galois representations. Using this idea, Thorne was able to strengthen many automorphy lifting theorems. It was shown in [22] that if the dimension is small compared to the characteristic then… ▽ More The notion of adequate subgroups was introduced by Jack Thorne [42]. It is a weakening of the notion of big subgroups used in generalizations of the Taylor-Wiles method for proving the automorphy of certain Galois representations. Using this idea, Thorne was able to strengthen many automorphy lifting theorems. It was shown in [22] that if the dimension is small compared to the characteristic then all absolutely irreducible representations are adequate. Here we extend the result by showing that, in almost all cases, absolutely irreducible kG-modules in characteristic p, whose irreducible G+-summands have dimension less than p (where G+ denotes the subgroup of G generated by all p-elements of G), are adequate. △ Less

Submitted 20 January, 2015; v1 submitted 7 November, 2013; originally announced November 2013.

Comments: 60 pages

MSC Class: 20C20; 11F80

Journal ref: Algebra Number Theory 9 (2015), no. 1, 77-147

Ordinary representations of G(Q_p) and fundamental algebraic representations

Authors: Christophe Breuil, Florian Herzig

Abstract: Let G be a split connected reductive algebraic group over Q_p such that both G and its dual group G-hat have connected centres. Motivated by a hypothetical p-adic Langlands correspondence for G(Q_p) we associate to an n-dimensional ordinary (i.e. Borel valued) representation rho : Gal(Q_p-bar/Q_p) to G-hat(E) a unitary Banach space representation Pi(rho)^ord of G(Q_p) over E that is built out of p… ▽ More Let G be a split connected reductive algebraic group over Q_p such that both G and its dual group G-hat have connected centres. Motivated by a hypothetical p-adic Langlands correspondence for G(Q_p) we associate to an n-dimensional ordinary (i.e. Borel valued) representation rho : Gal(Q_p-bar/Q_p) to G-hat(E) a unitary Banach space representation Pi(rho)^ord of G(Q_p) over E that is built out of principal series representations. (Here, E is a finite extension of Q_p.) Our construction is inspired by the "ordinary part" of the tensor product of all fundamental algebraic representations of G. There is an analogous construction over a finite extension of F_p. In the latter case, when G=GL_n we show under suitable hypotheses that Pi(rho)^ord occurs in the rho-part of the cohomology of a compact unitary group. We also prove a weaker version of this result in the p-adic case. △ Less

Submitted 13 March, 2015; v1 submitted 20 June, 2012; originally announced June 2012.

Comments: Revised (June 2014), 78 pages

MSC Class: 22E50; 11F80; 11F70

Journal ref: Duke Math. J. 164, no. 7 (2015), 1271-1352

Adequate subgroups

Authors: Robert Guralnick, Florian Herzig, Richard Taylor, Jack Thorne

Abstract: We study adequate subgroups of $GL_n$ over a finite field. This notion is useful in the study of automorphy lifting theorems. In particular, we give a sufficient condition for a subgroup to be adequate. We study adequate subgroups of $GL_n$ over a finite field. This notion is useful in the study of automorphy lifting theorems. In particular, we give a sufficient condition for a subgroup to be adequate. △ Less

Submitted 29 July, 2011; originally announced July 2011.

Comments: 15 pages. This is the appendix to the paper `On the automorphy of $l$-adic Galois representations with small residual image', by Jack Thorne

Journal ref: J. Inst. Math. Jussieu 11 (2012), no. 4, 907-920

Weight cycling and Serre-type conjectures for unitary groups

Authors: Matthew Emerton, Toby Gee, Florian Herzig

Abstract: We prove that for forms of U(3) which are compact at infinity and split at places dividing a prime p, in generic situations the Serre weights of a mod p modular Galois representation which is irreducible when restricted to each decomposition group above p are exactly those previously predicted by the third author. We do this by combining explicit computations in p-adic Hodge theory, based on a for… ▽ More We prove that for forms of U(3) which are compact at infinity and split at places dividing a prime p, in generic situations the Serre weights of a mod p modular Galois representation which is irreducible when restricted to each decomposition group above p are exactly those previously predicted by the third author. We do this by combining explicit computations in p-adic Hodge theory, based on a formalism of strongly divisible modules and Breuil modules with descent data which we develop in the paper, with a technique that we call "weight cycling". △ Less

Submitted 14 June, 2013; v1 submitted 22 June, 2011; originally announced June 2011.

Comments: 66 pages

MSC Class: 11F30

Journal ref: Duke Math. J. 162, no. 9 (2013), 1649-1722

The classification of irreducible admissible mod p representations of a p-adic GL_n

Authors: Florian Herzig

Abstract: Let F be a finite extension of Q_p. Using the mod p Satake transform, we define what it means for an irreducible admissible smooth representation of an F-split p-adic reductive group over \bar F_p to be supersingular. We then give the classification of irreducible admissible smooth GL_n(F)-representations over \bar F_p in terms of supersingular representations. As a consequence we deduce that supe… ▽ More Let F be a finite extension of Q_p. Using the mod p Satake transform, we define what it means for an irreducible admissible smooth representation of an F-split p-adic reductive group over \bar F_p to be supersingular. We then give the classification of irreducible admissible smooth GL_n(F)-representations over \bar F_p in terms of supersingular representations. As a consequence we deduce that supersingular is the same as supercuspidal. These results generalise the work of Barthel-Livne for n = 2. For general split reductive groups we obtain similar results under stronger hypotheses. △ Less

Submitted 4 July, 2011; v1 submitted 11 May, 2010; originally announced May 2010.

Comments: 55 pages, to appear in Inventiones Mathematicae

Journal ref: Invent. Math. 186 (2011), no. 2, 373-434

A Satake isomorphism in characteristic p

Authors: Florian Herzig

Abstract: Suppose that G is a connected reductive group over a p-adic field F, that K is a hyperspecial maximal compact subgroup of G(F), and that V is an irreducible representation of K over the algebraic closure of the residue field of F. We establish an analogue of the Satake isomorphism for the Hecke algebra of compactly supported, K-biequivariant functions f: G(F) \to End V. These Hecke algebras were f… ▽ More Suppose that G is a connected reductive group over a p-adic field F, that K is a hyperspecial maximal compact subgroup of G(F), and that V is an irreducible representation of K over the algebraic closure of the residue field of F. We establish an analogue of the Satake isomorphism for the Hecke algebra of compactly supported, K-biequivariant functions f: G(F) \to End V. These Hecke algebras were first considered by Barthel-Livne for GL_2. They play a role in the recent mod p and p-adic Langlands correspondences for GL_2(Q_p), in generalisations of Serre's conjecture on the modularity of mod p Galois representations, and in the classification of irreducible mod p representations of unramified p-adic reductive groups. △ Less

Submitted 2 February, 2011; v1 submitted 23 October, 2009; originally announced October 2009.

Comments: 24 pages, revised

MSC Class: 20C08; 22E50

Journal ref: Compositio Math. 147 (2011) 263-283

Conjecture de type de Serre et formes compagnons pour GSp_4

Authors: Florian Herzig, Jacques Tilouine

Abstract: We present a Serre-type conjecture on the modularity of four-dimensional symplectic mod p Galois representations. We assume that the Galois representation is irreducible and odd (in the symplectic sense). The modularity condition is formulated using the etale and the algebraic de Rham cohomology of Siegel modular varieties of level prime to p. We concentrate on the case when the Galois representat… ▽ More We present a Serre-type conjecture on the modularity of four-dimensional symplectic mod p Galois representations. We assume that the Galois representation is irreducible and odd (in the symplectic sense). The modularity condition is formulated using the etale and the algebraic de Rham cohomology of Siegel modular varieties of level prime to p. We concentrate on the case when the Galois representation is ordinary at p and we give a corresponding list of Serre weights. When the representation is moreover tamely ramified at p, we conjecture that all weights of this list are modular, otherwise we describe a subset of weights on the list that should be modular. We propose a construction of de Rham cohomology classes using the dual BGG complex, which should realise some of these weights. △ Less

Submitted 2 January, 2012; v1 submitted 8 December, 2008; originally announced December 2008.

Comments: 36 pages

Journal ref: J. Reine Angew. Math. (Crelle) 676 (2013), 1-32

The weight in a Serre-type conjecture for tame n-dimensional Galois representations

Authors: Florian Herzig

Abstract: We formulate a Serre-type conjecture for n-dimensional Galois representations that are tamely ramified at p. The weights are predicted using a representation-theoretic recipe. For n = 3 some of these weights were not predicted by the previous conjecture of Ash, Doud, Pollack, and Sinnott. Computational evidence for these extra weights is provided by calculations of Doud and Pollack. We obtain theo… ▽ More We formulate a Serre-type conjecture for n-dimensional Galois representations that are tamely ramified at p. The weights are predicted using a representation-theoretic recipe. For n = 3 some of these weights were not predicted by the previous conjecture of Ash, Doud, Pollack, and Sinnott. Computational evidence for these extra weights is provided by calculations of Doud and Pollack. We obtain theoretical evidence for n = 4 using automorphic inductions of Hecke characters. △ Less

Submitted 4 July, 2011; v1 submitted 3 March, 2008; originally announced March 2008.

Comments: 68 pages, revised (mainly added appendix that generalises Jantzen's theorem on the reduction modulo p of Deligne--Lusztig representations)

MSC Class: 11F80; 11F75 (Primary); 20C33 (Secondary)

Journal ref: Duke Math. J. 149, no. 1 (2009), 37-116