8
$\begingroup$

I am currently reading Shalika's article "Representation of the two by two unimodular group over local fields" and various other related articles, which deal with the classification of complex representation of reductive groups over local rings. It is cumbersome, that some authors consider only local rings with residue fields of characteric $p \neq 2$.

Why is $p=2$ special here?

Perhaps some words about the strategy, which one should use - at least from my perspective: Consider a finite extension $K$ of $\mathbb{Q}_p$. Let $\mathfrak{o}$ be the ring of integers in $K$ and $\mathscr{p}$ its maximal ideal. We want to classify all representation of $\mathrm{GL}_2( \mathfrak{o})$. Since we deal with a pro-$p$-group, the representations live on $\mathrm{GL}_2( \mathfrak{o}/\mathfrak{p}^n)$ for some $n>0$. We proceed by induction over $n$:

1) Classify all representation of $\mathrm{GL}_2(\mathbb{F}_q)$, where $\mathbb{F}_q$ is the residue field.

2) Use Mackey's formalism for the group extension (non split) $$ 0 \rightarrow M_{2\times2}(\mathbb{F}_q) \rightarrow \mathrm{GL}_2( \mathfrak{o}/\mathfrak{p}^n) \rightarrow \mathrm{GL}_2( \mathfrak{o}/\mathfrak{p}^{n-1}) \rightarrow 0.$$

Apparently the difficulties do already arise in step 1, since Piatesko-Shapiro in his lecture "Complex representations of $\mathrm{GL}_2$ over a finite field" only considers characteristic $\neq 2$.

$\endgroup$
3
  • 3
    $\begingroup$ This is getting outside of my representation-theoretic comfort zone, but I think that it's also worth mentioning that the 2 in "$p=2$" is the same as the 2 in $GL_2$. I understand that there are similar difficulties for $GL_n$ whenever $p|n$. I think that the buzz term here is "the wild case." $\endgroup$
    – Ramsey
    Commented Mar 23, 2011 at 18:30
  • 3
    $\begingroup$ Maybe it helps to give references to the non-journal papers mentioned: J.A. Shalika, Representation of the two by two unimodular group over local fields, Contributions to automorphic forms, geometry, and number theory, 1–38, Johns Hopkins Univ. Press, Baltimore, MD, 2004. Ilya Piatetski-Shapiro, Complex representations of GL(2, K) for finite fields K, Contemporary Mathematics, 16. American Mathematical Society, Providence, R.I., 1983. (The MR review of the latter makes clear his interest in ideas that carry over to local fields. That probably motivates $p > 2$.) $\endgroup$ Commented Mar 23, 2011 at 21:31
  • $\begingroup$ Nick, I believe that another buzz term for why it's bad to have $p \mid n$ in $\GL_n(\mathbb Q_p)$ is 'bad prime'. See, e.g., books.google.com/…. $\endgroup$
    – LSpice
    Commented May 10, 2011 at 2:24

5 Answers 5

12
$\begingroup$

Shalika's paper that you mention deals not with $\mathrm{GL}_2(\mathfrak{o})$, but with $\mathrm{SL}_2(\mathfrak{o})$. The representation theory of $\mathrm{GL}_2(\mathfrak{o})$ is uniform in the residue characteristic $p$, in the sense that for any $r,n\in\mathbb{N}$, there exist polynomials $f_{r,n}(X)\in\mathbb{Z}[X]$ such that the number of irreducible representations of $\mathrm{GL}_2(\mathfrak{o}/\mathfrak{p}^r)$ of dimension $n$, is given by $f_{r,n}(q)$, where $q$ is the residue cardinality of $\mathfrak{o}$ (see U. Onn: Representations of automorphism groups of finite $\mathfrak{o}$-modules of rank two). Moreover, Onn gives a construction of the representations of $\mathrm{GL}_2(\mathfrak{o})$ which works uniformly for any residue characteristic $p$.

In contrast, the representation theory of $\mathrm{SL}_2(\mathfrak{o})$ depends dramatically on the parity of the residue characteristic $p$. The case when $p$ is odd has been known for a long time, but the case when $p=2$ has so far only been done when $\mathfrak{o}=\mathbb{Z}_2$ by Nobs and Wohlfart, and is very different. There are several reasons for this difference, ranging from the trivial to the less so. Some of these are:

  1. Every element in $\mathbb{F}_{2^m}$ is a square, while this is not the case for $\mathbb{F}_{q}$ when $q$ is odd.
  2. Two by two scalar matrices over $\mathbb{F}_{2^m}$ have trace zero,
  3. The presence of wild ramification,
  4. The fact that Hensel's lemma cannot be applied in the same way as when $p$ is odd to obtain the number of solutions in $\mathfrak{o}/\mathfrak{p}^r$ of equations of the form $x^2+sxy+\Delta y^2 = 1$, where $s,\Delta\in \mathfrak{p}$.

Of course, wild ramification is present also for $\mathrm{GL}_2(\mathfrak{o})$, so one cannot say that this plays a role in itself, but rather it seems that it is the combination of the above factors (and possibly others), which accounts for the dependence on the parity mentioned above.

$\endgroup$
10
$\begingroup$

Shalika constructs a bunch of representations of $p$-adic $SL_2$ using the Weil representation. In order to get genuine (non-projective) representations he needs to work with an even-dimensional vector space in this construction, so one is naturally led to look at quadratic extensions of the $p$-adic field. If the residue characteristic $p$ is not $2$, then these are quite simple to understand (there are three of the them, they're easy to write down in a pretty uniform way independent of the field, etc.). If $p=2$ there can be gobs of quadratic extensions (if I recall correctly the number grows exponentially with the degree over $\mathbb{Q}_2$), so the situation is more complicated.

I don't know if this is really a direct obstruction to the construction of these representations, but I do know that Shalika and Sally did many calculations with the explicit realizations of these representations associated to the three easy-to-write-down quadratic extensions when $p\neq 2$. In the handful of these that I've looked at or carried out, the analysis is greatly simplified by the assumption that $p\neq 2$.

$\endgroup$
2
  • 4
    $\begingroup$ "Grows exponentially": sure, in the $p=2$ case, $K^*/(K^*)^2$ has dimension $n+2$ over $\mathbb{Z}/(2)$, so there are $2^{n+2}-1$ quadratic extensions over a field of degree $n$ over $\mathbb{Q}_2$ $\endgroup$
    – Lubin
    Commented Mar 23, 2011 at 16:38
  • $\begingroup$ @Lubin. Thanks - that's the formula I had in the back of my mind, but didn't think it through. I suppose I should have been a little more specific and a little less lazy... $\endgroup$
    – Ramsey
    Commented Mar 23, 2011 at 18:22
6
$\begingroup$

All supercuspidals of GL(2,K) can be realized using the Weil representation along the lines of Shalika if and only if p is odd. The supercuspidals that can be realized are dihedral. In the case p even not all supercuspidals are dihedral. A good introduction to all of this is the book of Bushnell and Henniart.

While quadratic extensions are more subtle when p=2 that is not at all the most important issue.

$\endgroup$
4
  • $\begingroup$ Do Bushnell and Henniart consider also $GL_2$ of the ring of integers? How can I apply this result to my question about local rings? $\endgroup$
    – Marc Palm
    Commented Mar 23, 2011 at 18:58
  • 1
    $\begingroup$ Sort of. Supercuspidals for GL(2,K) can be realized as reps induced from Gl(2) over the integers direct product the center. The inducing reps are then reps of GL(2) over the local ring. But you don't need all the reps, just certain reps called types. As far as I know no one has written down all reps of GL(2) over the local rings in the case p even. Hansen, a student of Kutzko, did it in the case p odd. $\endgroup$
    – mander
    Commented Mar 23, 2011 at 19:08
  • 1
    $\begingroup$ @mander: Hansen considered restrictions of supercuspidal reps, which do not contain all the irreps of $\mathrm{GL}_2(\mathfrak{o})$. The latter have indeed been described; see for example the paper by U. Onn mentioned in my answer. $\endgroup$ Commented Mar 23, 2011 at 21:52
  • $\begingroup$ Thanks for the correction. It has been a while since I considered the local ring case. I'll have to bring myself up to speed on that case or just stick to local fields! $\endgroup$
    – mander
    Commented Mar 24, 2011 at 14:20
4
$\begingroup$

A few more reasons/repetitions of reasons above in addition to the answers above :

  1. For $p = 2$, two different quadratic extensions can give rise to the same representation of $GL_2$ (this can happen for p not equal to 2, but only in the case of a Weil representation associated to a non-trivial character that has order 2 when restricted to the norm 1 elements of the extension). I don't know how bad this makes things, but criteria for this happening involves the discriminant (which can be pretty weird when $p = 2$).

  2. For p = 2, the characters are hard to compute, even for the "Weil representations" Mander referred to above. This is because Weil representations are not so useful for character computation as with applying Frobenius formula to induction with a relatively simple representation of a subgroup of $GL_2(F)$ of the form $T B_n$, where T is an elliptic torus and B_n is something like a congruence subgroup. Such a representation is often a just a (quasi)character, and hence easier to handle. You see - the approach is not even to compute the character of a representation of $GL_2$ of the integers or an Iwahori but to start from a smaller subgroup times torus. The characters are computed on a torus-by-torus basis, and the presence of other tori in $T B_n$ can create havoc, when $p \neq 2$. Or so I hear. That the characters for $p \neq 2$ were computed enabled Sally and Shalika to compute Fourier transforms of orbital integrals and deduce Plancherel formula (for $SL_2$) from them.

$\endgroup$
2
$\begingroup$

Maybe I can address the final comment in the original question concerning step 1. I don't see in the classical literature any special role at this point for the prime 2, though Ramsey makes it clear that working over $p$-adic fields or integers gets more subtle.

Study of the ordinary complex representations and characters of the finite groups $GL_2(\mathbb{F}_q)$ goes back to Frobenius and Schur, followed by many others who eventually broadened the study to other finite groups of Lie type. For the classical viewpoint involving characters, a convenient source is Steinberg's 1951 Canad. J. Math. article here based on his Toronto thesis with Brauer in which he recalled this rank 1 case and went on to some higher ranks. (This all preceded J.A. Green's landmark 1955 paper in Trans. AMS treating all finite general linear groups.)

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .