skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: On the construction of tame supercuspidal representations
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.  more » « less
Award ID(s):
2055230
PAR ID:
10352176
Author(s) / Creator(s):
Date Published:
Journal Name:
Compositio Mathematica
Volume:
157
Issue:
12
ISSN:
0010-437X
Page Range / eLocation ID:
2733 to 2746
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We give a geometric construction of representations of parahoric subgroups P P of a reductive group G G over a local field which splits over an unramified extension. These representations correspond to characters θ \theta of unramified maximal tori and, when the torus is elliptic, are expected to give rise to supercuspidal representations of G G . We calculate the character of these P P -representations on a special class of regular semisimple elements of G G . Under a certain regularity condition on θ \theta , we prove that the associated P P -representations are irreducible. This generalizes a construction of Lusztig from the hyperspecial case to the setting of an arbitrary parahoric. 
    more » « less
  2. We show that, in good residual characteristic, most supercuspidal representations of a tamely ramified reductive p-adic group G arise from pairs (S,\theta), where S is a tame elliptic maximal torus of G, and \theta is a character of S satisfying a simple root-theoretic property. We then give a new expression for the roots of unity that appear in the Adler-DeBacker-Spice character formula for these supercuspidal representations and use it to show that this formula bears a striking resemblance to the character formula for discrete series representations of real reductive groups. Led by this, we explicitly construct the local Langlands correspondence for these supercuspidal representations and prove stability and endoscopic transfer in the case of toral representations. In large residual characteristic this gives a construction of the local Langlands correspondence for almost all supercuspidal representations of reductive p-adic groups. 
    more » « less
  3. 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$$ . 
    more » « less
  4. Abstract Let F be a CM number field. We generalise existing automorphy lifting theorems for regular residually irreducible p -adic Galois representations over F by relaxing the big image assumption on the residual representation. 
    more » « less
  5. Let $$p$$ be an odd  prime, $q=p^e$, $$e \geq 1$$, and $$\mathbb{F} = \mathbb{F}_q$$ denote the finite field of $$q$$ elements.  Let $$f: \mathbb{F}^2\to \mathbb{F}$$ and  $$g: \mathbb{F}^3\to \mathbb{F}$$  be functions, and  let $$P$$ and $$L$$ be two copies of the 3-dimensional vector space $$\mathbb{F}^3$$. Consider a bipartite graph $$\Gamma_\mathbb{F} (f, g)$$ with vertex partitions $$P$$ and $$L$$ and with edges defined as follows: for every $$(p)=(p_1,p_2,p_3)\in P$$ and every $$[l]= [l_1,l_2,l_3]\in L$$, $$\{(p), [l]\} = (p)[l]$$ is an edge in $$\Gamma_\mathbb{F} (f, g)$$ if $$p_2+l_2 =f(p_1,l_1) \;\;\;\text{and}\;\;\; p_3 + l_3 = g(p_1,p_2,l_1).$$The following question  appeared in Nassau: Given $$\Gamma_\mathbb{F} (f, g)$$,  is it always possible to find a function $$h:\mathbb{F}^2\to \mathbb{F}$$ such that the graph $$\Gamma_\mathbb{F} (f, h)$$  with the same vertex set as $$\Gamma_\mathbb{F} (f, g)$$ and with edges $(p)[l]$  defined in a similar way  by the system $$p_2+l_2 =f(p_1,l_1) \;\;\;\text{and}\;\;\; p_3 + l_3 = h(p_1,l_1),$$ is isomorphic to $$\Gamma_\mathbb{F} (f, g)$$ for infinitely many $$q$$?  In this paper we show that the  answer to the question is negative and the graphs $$\Gamma_{\mathbb{F}_p}(p_1\ell_1, p_1\ell_1p_2(p_1 + p_2 + p_1p_2))$$ provide such an example for $$p \equiv 1 \pmod{3}$$. Our argument is based on proving that the automorphism group of these graphs has order $$p$$, which is the smallest possible order of the automorphism group of graphs of the form $$\Gamma_{\mathbb{F}}(f, g)$$. 
    more » « less