Let $\Gamma $ be a finite group, let $\theta $ be an involution of $\Gamma $ and let $\rho $ be an irreducible complex representation of $\Gamma $. We bound ${\operatorname {dim}} \rho ^{\Gamma ^{\theta }}$ in terms of the smallest dimension of a faithful $\mathbb {F}_p$-representation of $\Gamma /\operatorname {\mathrm {Rad}}_p(\Gamma )$, where p is any odd prime and $\operatorname {\mathrm {Rad}}_p(\Gamma )$ is the maximal normal p-subgroup of $\Gamma $.

This implies, in particular, that if $\mathbf {G}$ is a group scheme over $\mathbb {Z}$ and $\theta $ is an involution of $\mathbf {G}$, then the multiplicity of any irreducible representation in $C^\infty \left( \mathbf {G}(\mathbb {Z}_p)/ \mathbf {G} ^{\theta }(\mathbb {Z}_p) \right)$ is bounded, uniformly in p.

In this paper, we prove some orthogonality relations for representations arising from deep level Deligne–Lusztig schemes of Coxeter type. This generalizes previous results of Lusztig [Lus04], and of Chan and the second author [CI21b]. Applications include the study of smooth representations of p-adic groups in the cohomology of p-adic Deligne–Lusztig spaces and their relation to the local Langlands correspondences. Also, the geometry of deep level Deligne–Lusztig schemes gets accessible, in the spirit of Lusztig’s work [Lus76].

Let $F$ be a separable integral binary form of odd degree $N \geq 5$. A result of Darmon and Granville known as ‘Faltings plus epsilon’ implies that the degree-$N$ superelliptic equation $y^2 = F(x,z)$ has finitely many primitive integer solutions. In this paper, we consider the family $\mathscr {F}_N(f_0)$ of degree-$N$ superelliptic equations with fixed leading coefficient $f_0 \in \mathbb {Z} \smallsetminus \pm \mathbb {Z}^2$, ordered by height. For every sufficiently large $N$, we prove that among equations in the family $\mathscr {F}_N(f_0)$, more than $74.9\,\%$ are insoluble, and more than $71.8\,\%$ are everywhere locally soluble but fail the Hasse principle due to the Brauer–Manin obstruction. We further show that these proportions rise to at least $99.9\,\%$ and $96.7\,\%$, respectively, when $f_0$ has sufficiently many prime divisors of odd multiplicity. Our result can be viewed as a strong asymptotic form of ‘Faltings plus epsilon’ for superelliptic equations and constitutes an analogue of Bhargava's result that most hyperelliptic curves over $\mathbb {Q}$ have no rational points.

For an unramified reductive group, we determine the connected components of affine Deligne–Lusztig varieties in the affine flag variety. Based on work of Hamacher, Kim, and Zhou, this result allows us to verify, in the unramified group case, the He–Rapoport axioms, the almost product structure of Newton strata, and the precise description of isogeny classes predicted by the Langlands–Rapoport conjecture, for the Kisin–Pappas integral models of Shimura varieties of Hodge type with parahoric level structure.

We generalize the works of Pappas–Rapoport–Zhu on twisted affine Grassmannians to the wildly ramified case under mild assumptions. This rests on a construction of certain smooth affine $\mathbb {Z}[t]$ -groups with connected fibers of parahoric type, motivated by previous work of Tits. The resulting $\mathbb {F}_p(t)$ -groups are pseudo-reductive and sometimes non-standard in the sense of Conrad–Gabber–Prasad, and their $\mathbb {F}_p [\hspace {-0,5mm}[ {t} ]\hspace {-0,5mm}] $ -models are parahoric in a generalized sense. We study their affine Grassmannians, proving normality of Schubert varieties and Zhu’s coherence theorem.

Motivated by the desire to understand the geometry of the basic loci in the reduction of Shimura varieties, we study their “group-theoretic models”—generalized affine Deligne–Lusztig varieties—in cases where they have a particularly nice description. Continuing the work of Görtz and He (2015, Cambridge Journal of Mathematics 3, 323–353) and Görtz, He, and Nie (2019, Peking Mathematical Journal 2, 99–154), we single out the class of cases of Coxeter type, give a characterization in terms of the dimension, and obtain a complete classification. We also discuss known, new, and open cases from the point of view of Shimura varieties/Rapoport–Zink spaces.

In Aizenbud et al. (2010, Annals of Mathematics 172, 1407–1434), a multiplicity one theorem is proved for general linear groups, orthogonal groups, and unitary groups ( $GL, O,$ and U) over p-adic local fields. That is to say that when we have a pair of such groups $G_n{\subseteq } G_{n+1}$ , any restriction of an irreducible smooth representation of $G_{n+1}$ to $G_n$ is multiplicity-free. This property is already known for $GL$ over a local field of positive characteristic, and in this paper, we also give a proof for $O,U$ , and $SO$ over local fields of positive odd characteristic. These theorems are shown in Gan, Gross, and Prasad (2012, Sur les Conjectures de Gross et Prasad. I, Société Mathématique de France) to imply the uniqueness of Bessel models, and in Chen and Sun (2015, International Mathematics Research Notice 2015, 5849–5873) to imply the uniqueness of Rankin–Selberg models. We also prove simultaneously the uniqueness of Fourier–Jacobi models, following the outlines of the proof in Sun (2012, American Journal of Mathematics 134, 1655–1678).

By the Gelfand–Kazhdan criterion, the multiplicity one property for a pair $H\leq G$ follows from the statement that any distribution on G invariant to conjugations by H is also invariant to some anti-involution of G preserving H. This statement for $GL, O$ , and U over p-adic local fields is proved in Aizenbud et al. (2010, Annals of Mathematics 172, 1407–1434). An adaptation of the proof for $GL$ that works over of local fields of positive odd characteristic is given in Mezer (2020, Mathematische Zeitschrift 297, 1383–1396). In this paper, we give similar adaptations of the proofs of the theorems on orthogonal and unitary groups, as well as similar theorems for special orthogonal groups and for symplectic groups. Our methods are a synergy of the methods used over characteristic 0 (Aizenbud et al. [2010, Annals of Mathematics 172, 1407–1434]; Sun [2012, American Journal of Mathematics 134, 1655–1678]; and Waldspurger [2012, Astérisque 346, 313–318]) and of those used in Mezer (2020, Mathematische Zeitschrift 297, 1383–1396).

We calculate the extension groups between simple modules of pro-p-Iwahori Hecke algebras.

Let $F$ be a non-archimedean local field of residual characteristic $p \neq 2$. Let $G$ be a (connected) reductive group over $F$ that splits over a tamely ramified field extension of $F$. We revisit Yu's construction of smooth complex representations of $G(F)$ from a slightly different perspective and provide a proof that the resulting representations are supercuspidal. We also provide a counterexample to Proposition 14.1 and Theorem 14.2 in Yu [Construction of tame supercuspidal representations, J. Amer. Math. Soc. 14 (2001), 579–622], whose proofs relied on a typo in a reference.

The affine Deligne–Lusztig variety $X_w(b)$ in the affine flag variety of a reductive group ${\mathbf G}$ depends on two parameters: the $\sigma $ -conjugacy class $[b]$ and the element w in the Iwahori–Weyl group $\tilde {W}$ of ${\mathbf G}$ . In this paper, for any given $\sigma $ -conjugacy class $[b]$ , we determine the nonemptiness pattern and the dimension formula of $X_w(b)$ for most $w \in \tilde {W}$ .

Moduli spaces of bounded local G-shtukas are a group-theoretic generalisation of the function field analogue of Rapoport and Zink’s moduli spaces of p-divisible groups. In this article we generalise some very prominent concepts in the theory of Rapoport-Zink spaces to our setting. More precisely, we define period spaces, as well as the period map from a moduli space of bounded local G-shtukas to the corresponding period space, and we determine the image of the period map. Furthermore, we define a tower of coverings of the generic fibre of the moduli space, which is equipped with a Hecke action and an action of a suitable automorphism group. Finally, we consider the $\ell $ -adic cohomology of these towers.

Les espaces de modules de G-chtoucas locaux bornés sont une généralisation des espaces de modules de groupes p-divisibles de Rapoport-Zink, au cas d’un corps de fonctions local, pour des groupes plus généraux et des copoids pas nécessairement minuscules. Dans cet article nous définissons les espaces de périodes et l’application de périodes associés à un tel espace, et nous calculons son image. Nous étudions la tour au-dessus de la fibre générique de l’espace de modules, équipée d’une action de Hecke ainsi que d’une action d’un groupe d’automorphismes. Enfin, nous définissons la cohomologie $\ell $ -adique de ces tours.

Let G be a connected reductive group over a p-adic number field F. We propose and study the notions of G- $\varphi $ -modules and G- $(\varphi ,\nabla )$ -modules over the Robba ring, which are exact faithful F-linear tensor functors from the category of G-representations on finite-dimensional F-vector spaces to the categories of $\varphi $ -modules and $(\varphi ,\nabla )$ -modules over the Robba ring, respectively, commuting with the respective fiber functors. We study Kedlaya’s slope filtration theorem in this context, and show that G- $(\varphi ,\nabla )$ -modules over the Robba ring are “G-quasi-unipotent,” which is a generalization of the p-adic local monodromy theorem proved independently by Y. André, K. S. Kedlaya, and Z. Mebkhout.

Let G be a reductive p-adic group which splits over an unramified extension of the ground field. Hiraga, Ichino and Ikeda [24] conjectured that the formal degree of a square-integrable G-representation $\pi $ can be expressed in terms of the adjoint $\gamma $ -factor of the enhanced L-parameter of $\pi $ . A similar conjecture was posed for the Plancherel densities of tempered irreducible G-representations.

We prove these conjectures for unipotent G-representations. We also derive explicit formulas for the involved adjoint $\gamma $ -factors.

Soient K un corps discrètement valué et hensélien, ${\mathcal {O}}$ son anneau d’entiers supposé excellent, $\kappa $ son corps résiduel supposé parfait et G un K-groupe quasi-réductif, c’est-à-dire lisse, affine, connexe et à radical unipotent déployé trivial. On construit l’immeuble de Bruhat-Tits ${\mathcal {I}}(G, K)$ pour $G(K)$ de façon canonique, améliorant les constructions moins canoniques de M. Solleveld sur les corps locaux, et l’on associe un ${\mathcal {O}}$ -modèle en groupes ${\mathcal {G}}_{\Omega }$ de G à chaque partie non vide et bornée $\Omega $ contenue dans un appartement de ${\mathcal {I}}(G,K)$ . On montre que les groupes parahoriques ${\mathcal {G}}_{\textbf {f}}$ attachés aux facettes peuvent être caractérisés en fonction de la géométrie de leurs grassmanniennes affines, ainsi que dans la thèse de T. Richarz. Ces résultats sont appliqués ailleurs à l’étude des grassmanniennes affines tordues entières.

We investigate qualitative properties of the underlying scheme of Rapoport–Zink formal moduli spaces of p-divisible groups (resp., shtukas). We single out those cases where the dimension of this underlying scheme is zero (resp., those where the dimension is the maximal possible). The model case for the first alternative is the Lubin–Tate moduli space, and the model case for the second alternative is the Drinfeld moduli space. We exhibit a complete list in both cases.

Let A be a two-dimensional abelian variety defined over a number field K. Fix a prime number $\ell $ and suppose $\#A({\mathbf {F}_{\mathfrak {p}}}) \equiv 0 \pmod {\ell ^2}$ for a set of primes ${\mathfrak {p}} \subset {\mathcal {O}_{K}}$ of density 1. When $\ell =2$ Serre has shown that there does not necessarily exist a K-isogenous $A'$ such that $\#A'(K)_{{tor}} \equiv 0 \pmod {4}$ . We extend those results to all odd $\ell $ and classify the abelian varieties that fail this divisibility principle for torsion in terms of the image of the mod- $\ell ^2$ representation.

Consider the action of $\operatorname{GL}(n,\mathbb{Q}_{p})$ on the $p$-adic unit sphere ${\mathcal{S}}_{n}$ arising from the linear action on $\mathbb{Q}_{p}^{n}\setminus \{0\}$. We show that for the action of a semigroup $\mathfrak{S}$ of $\operatorname{GL}(n,\mathbb{Q}_{p})$ on ${\mathcal{S}}_{n}$, the following are equivalent: (1) $\mathfrak{S}$ acts distally on ${\mathcal{S}}_{n}$; (2) the closure of the image of $\mathfrak{S}$ in $\operatorname{PGL}(n,\mathbb{Q}_{p})$ is a compact group. On ${\mathcal{S}}_{n}$, we consider the ‘affine’ maps $\overline{T}_{a}$ corresponding to $T$ in $\operatorname{GL}(n,\mathbb{Q}_{p})$ and a nonzero $a$ in $\mathbb{Q}_{p}^{n}$ satisfying $\Vert T^{-1}(a)\Vert _{p}<1$. We show that there exists a compact open subgroup $V$, which depends on $T$, such that $\overline{T}_{a}$ is distal for every nonzero $a\in V$ if and only if $T$ acts distally on ${\mathcal{S}}_{n}$. The dynamics of ‘affine’ maps on $p$-adic unit spheres is quite different from that on the real unit spheres.

Given a locally finite leafless tree $T$, various algebraic groups over local fields might appear as closed subgroups of $\operatorname{Aut}(T)$. We show that the set of closed cocompact subgroups of $\operatorname{Aut}(T)$ that are isomorphic to a quasi-split simple algebraic group is a closed subset of the Chabauty space of $\operatorname{Aut}(T)$. This is done via a study of the integral Bruhat–Tits model of $\operatorname{SL}_{2}$ and $\operatorname{SU}_{3}^{L/K}$, that we carry on over arbitrary local fields, without any restriction on the (residue) characteristic. In particular, we show that in residue characteristic $2$, the Tits index of simple algebraic subgroups of $\operatorname{Aut}(T)$ is not always preserved under Chabauty limits.

Under the local Langlands correspondence, the conductor of an irreducible representation of $\text{G}{{\text{l}}_{n}}\left( F \right)$ is greater than the Swan conductor of the corresponding Galois representation. In this paper, we establish the geometric analogue of this statement by showing that the conductor of a categorical representation of the loop group is greater than the irregularity of the corresponding meromorphic connection.

We study generalized and degenerate Whittaker models for reductive groups over local fields of characteristic zero (archimedean or non-archimedean). Our main result is the construction of epimorphisms from the generalized Whittaker model corresponding to a nilpotent orbit to any degenerate Whittaker model corresponding to the same orbit, and to certain degenerate Whittaker models corresponding to bigger orbits. We also give choice-free definitions of generalized and degenerate Whittaker models. Finally, we explain how our methods imply analogous results for Whittaker–Fourier coefficients of automorphic representations. For $\text{GL}_{n}(\mathbb{F})$ this implies that a smooth admissible representation $\unicode[STIX]{x1D70B}$ has a generalized Whittaker model ${\mathcal{W}}_{{\mathcal{O}}}(\unicode[STIX]{x1D70B})$ corresponding to a nilpotent coadjoint orbit ${\mathcal{O}}$ if and only if ${\mathcal{O}}$ lies in the (closure of) the wave-front set $\operatorname{WF}(\unicode[STIX]{x1D70B})$. Previously this was only known to hold for $\mathbb{F}$ non-archimedean and ${\mathcal{O}}$ maximal in $\operatorname{WF}(\unicode[STIX]{x1D70B})$, see Moeglin and Waldspurger [Modeles de Whittaker degeneres pour des groupes p-adiques, Math. Z. 196 (1987), 427–452]. We also express ${\mathcal{W}}_{{\mathcal{O}}}(\unicode[STIX]{x1D70B})$ as an iteration of a version of the Bernstein–Zelevinsky derivatives [Bernstein and Zelevinsky, Induced representations of reductive p-adic groups. I., Ann. Sci. Éc. Norm. Supér. (4) 10 (1977), 441–472; Aizenbud et al., Derivatives for representations of$\text{GL}(n,\mathbb{R})$and$\text{GL}(n,\mathbb{C})$, Israel J. Math. 206 (2015), 1–38]. This enables us to extend to $\text{GL}_{n}(\mathbb{R})$ and $\text{GL}_{n}(\mathbb{C})$ several further results by Moeglin and Waldspurger on the dimension of ${\mathcal{W}}_{{\mathcal{O}}}(\unicode[STIX]{x1D70B})$ and on the exactness of the generalized Whittaker functor.