What is a special parahoric subgroup? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T18:53:05Z http://mathoverflow.net/feeds/question/41043 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/41043/what-is-a-special-parahoric-subgroup What is a special parahoric subgroup? Pete L. Clark 2010-10-04T17:52:39Z 2010-12-09T08:13:25Z <p>Let me take this question again from the top.</p> <p>I would like to know what a special parahoric subgroup is.</p> <p>I think this is a "real" question, though not an especially good one -- it indicates my complete lack of expertise in this area, but it is certainly a question of interest to research mathematicians (who else?). </p> <p>The reason that I want to know -- and that I would prefer a short, relatively simple answer rather than an invitation to read the original paper of Bruhat and Tits -- is that I have been asked to write a MathReview for a paper using this concept. Now, perhaps I shouldn't have agreed to review this paper, and I didn't, exactly, but it was sent to me about three months ago so it seems a little late to object. Anyway, the introduction is clear, so I think my final product will be a reasonable specimen of the form. It's just that, for my own benefit, when I write sentences like</p> <p>"The stabilizer of a self-dual periodic lattice chain is a parahoric subgroup (or, in some cases, contains a parahoric subgroup of index 2, which one recovers by intersecting with the kernel of the Kottwitz homomorphism). The author restricts to subsets $I$ for which the parahoric so obtained is special in the sense of Bruhat-Tits theory."</p> <p>it would be nice if I understood a little better what that meant. </p> <p>I am looking ideally for a quick answer that increases my knowledge at least a little bit together with a place to read up on it when I get the time / inclination to deepen my knowledge. </p> http://mathoverflow.net/questions/41043/what-is-a-special-parahoric-subgroup/41073#41073 Answer by Marty for What is a special parahoric subgroup? Marty 2010-10-04T22:01:20Z 2010-12-09T08:13:25Z <p>I'd recommend first that you and your friend spend more time with Tits :), "Reductive groups over local fields", from the Corvallis volume (free online, last time I checked). Undoubtably there are other references, like papers of Prasad-Raghunathan mentioned by Greg Kuperberg, and any paper that treats Bruhat-Tits theory for unitary groups. I'll try to provide a background/basic treatment here.</p> <p>You're certainly used to Bruhat-Tits theory for $SL_2$, or at least for $PGL_2$, over $Q_p$, where one encounters the $(p+1)$-regular tree. As you know, $PGL_2(Q_p)$ acts on this tree, and the stabilizer of a point is a maximal compact subgroup that is conjugate to $PGL_2(Z_p)$, and the stabilizer of an edge is an Iwahori subgroup. This I assume is a familiar picture.</p> <p>To understand the "special point" subtleties, you should first think about a group like $G=SU_3$ -- the $Q_p$-points of a quasisplit form of $SL_3$, associated to an <em>unramified</em> quadratic field extension $K/Q_p$ with $p$ odd. Let $S$ be a maximal $Q_p$-split torus in $G$. Then $S$ has rank one, though the group $G$ has absolute rank two. It follows that the Bruhat-Tits building for $SU_3$ is again a tree, though not as simple as the $SL_2$ case. In fact, in this unramified situation, the building can be seen as the fixed points of the building of $G$ over $K$ (which is the building of $SL_3$), under the Galois involution.</p> <p>Now, one must think about the <em>relative</em> roots of $G$ with respect to $S$ -- i.e., decompose the Lie algebra of $G$ with respect to the adjoint action of $S$. There are four eigenspaces with nontrivial eigenvalue -- these are the root spaces for the relative roots which I'll call $\pm \alpha$ and $\pm 2 \alpha$. The root spaces ${\mathfrak g}_{\pm \alpha}$ are two-dimensional.</p> <p>Now, let $A$ be the apartment of the building associated to $S$ -- $A$ is a principal homogeneous space for the one-dimensional real vector space $X_\bullet(S) \otimes_Z R$. After choosing a good base point (a hyperspecial base point, using the fact that $K/Q_p$ is unramified), $A$ may be identified with $X_\bullet(S) \otimes_Z R$ and the affine roots are functions of the form $\pm \alpha + k$ and $\pm 2 \alpha + k$, where $k$ can be any integer.</p> <p>Let $h$ be a generator of the rank 1 $Z$-module $X_\bullet(S)$, so that $\alpha^\vee = 2 h$, and $A = R \cdot h$. The affine roots are given by: $$[\pm \alpha + k](r h) = r + k, [\pm 2 \alpha + k](r h) = 2r + k.$$ The vanishing hyperplanes of these affine roots are the points: $$r h : r \in \frac{1}{2} Z.$$ These are the vertices of the building, contained in the apartment $A$.</p> <p>Now consider a vertex $nh$, where $n$ is an integer. The affine roots $\pm (\alpha - n)$ and $\pm (2 \alpha - 2n)$ vanish at the vertex $n$. The <em>gradients</em> of these affine roots are the roots $\pm \alpha$ and $\pm 2 \alpha$. These are <em>all</em> of the roots in the original (relative) root system. That's why these vertices are hyperspecial vertices.</p> <p>On the other hand, consider a vertex $(n + \frac{1}{2}) h$, where $n$ is an integer. The affine roots vanishing at this vertex are $\pm (2 \alpha - 2n - 1)$. The gradients of these affine roots are the roots $\pm 2 \alpha$. These are <em>not</em> all of the original roots, but all original roots are <em>proportional</em> to these roots. You can see how this phenomenon requires the setting of a non-reduced root system to happen. These "half-integral" vertices are special points, since the original root system does not occur in the system of gradients, but it does up to proportionality. At these special (but not hyperspecial) points, the Bruhat-Tits group scheme underlying the parahoric has special fibre with reductive quotient isomorphic to $PGL_2$ (I think... or is it $SL_2$) over the residue field. At the hyperspecial points, the group would be a quasisplit $SU_3$ over the residue field. </p> <p>If it's not clear from above, a special point in the building occurs where the set of gradients of affine roots vanishing at that point is equal, modulo proportionality, to the set of relative roots. That's the general definition.</p> <p>Hope this helps - see Tits for more. </p>