The Weyl group of $SL(2, F)$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T19:38:02Z http://mathoverflow.net/feeds/question/96126 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/96126/the-weyl-group-of-sl2-f The Weyl group of $SL(2, F)$ Dragon 2012-05-06T10:18:27Z 2012-10-25T09:04:23Z <p>Let $G= SL(2, F)$, given a torus $T$, the Weyl group with respect to $T$ is defined to be $W=N(T)/Z(T)$, the quotient of the normalizer $N(T)$ of the torus by the centralizer $Z(T)$ of the torus. </p> <p>My question might be basic and elementary for some of you, but I would like to be in a complete understanding.</p> <p>Why Weyl group of $SL(2, F)$ is the group $\mathbb{Z}/2\mathbb{Z}$?</p> http://mathoverflow.net/questions/96126/the-weyl-group-of-sl2-f/96127#96127 Answer by Koen S for The Weyl group of $SL(2, F)$ Koen S 2012-05-06T10:39:01Z 2012-05-06T10:39:01Z <p>One can approach this from different point of views:</p> <p>On a matrix level, the subgroup consisting of the diagonal matrices is an example of a torus $T$. Its centralizer is $T$ itself, and its normalizer $N(T)$ the group of monomial matrices in $G$. One then verifies that $N(T) / Z(T)$ is the cyclic group on two elements.</p> <p>One can also use the projective line $\mathbb{P}^1(F)$. Then the centralizer is the subgroup fixing the `apartment', which in this case is a pair of points of the projective line, pointwise. The normalizer is the subgroup of $G$ stabilizing this apartment. The Weyl group (the quotient) is then the group of faithful automorphisms of the apartment. So the Weyl group here consists of the identity and an involution switching the two points of the apartment.</p> http://mathoverflow.net/questions/96126/the-weyl-group-of-sl2-f/96129#96129 Answer by Marc Palm for The Weyl group of $SL(2, F)$ Marc Palm 2012-05-06T10:43:38Z 2012-10-25T09:04:23Z <p>Let $T$ be a split torus over a field $F$. </p> <p>The Weyl group is by definition a subgroup of the group of outer morphisms (defined over $F$).</p> <p>There are only two automorphism (the inverse and the identity) of $T$ (defined over F), so the group of outer automorphism is isomorphic to $\mathbb{Z}/2$.</p> <p>Both can realized by the conugation via the non-trivial element $\begin{pmatrix} 0 &amp; -1 \newline 1 &amp; 0 \end{pmatrix}$ and by the identity elment respectively. </p> <p>So the Weyl group has at least two elements, hence exactly two elements.</p> <p>Similiar you can argue for the maximal split torus in $SL(n)$ or $GL(n)$.</p> <p>For non-split tori, the question is more difficult to answer. I know only the $GL(n)$-situation. In $GL(2)$, the tori is isomorphic to a multiplicative group of a quadratic field extensions, and the outer automorphisms of the tori are isomorphic to the Galois group. Now these can be realized by conjugation of elements $GL(2)$, but they can not be realized by elements of determinant $1$.</p> http://mathoverflow.net/questions/96126/the-weyl-group-of-sl2-f/97265#97265 Answer by Jim Humphreys for The Weyl group of $SL(2, F)$ Jim Humphreys 2012-05-17T22:58:14Z 2012-05-17T22:58:14Z <p>Two people (so far) have tried to provide some sensible information, but I think the question itself is too loosely formulated to have a real answer. What you are looking at is the group of rational points of an algebraic group of rank 1 over a certain type of infinite field, which could be of characteristic 0 or not. This group itself is just an abstract group, which doesn't immediately have a definite "Weyl group" attached. It makes more sense to start with the algebraic group <code>$G=\mathrm{SL}_2$</code>, which is defined and split over any prime field. (The language of group schemes is appropriate here.) Over any field <code>$F$</code>, the group of rational points is just the usual group of <code>$2 \times 2$</code> matrices of determinant 1 over <code>$F$</code>. It makes no difference for your question what <code>$F$</code> is.</p> <p>In <code>$G$</code> there is a single well-defined (up to isomorphism) <em>Weyl group</em> <code>$N_G(T)/T$</code> which just has order 2, as described concretely by Mrc Plm in the split case. All maximal tori of <code>$G$</code> are conjugate as well as self-centralizing, so the choice doesn't matter.</p> <p>However, if <code>$F$</code> fails to be algebraically closed, the resulting abstract group <code>$\mathrm{SL}_2(F)$</code> is more challenging because <code>$G$</code> typically has more than one class of maximal tori defined over <code>$F$</code>. In your rank 1 case it's not so bad because there are just two possibilities, the "split" and "anisotropic" (or "compact") types of maximal tori. The structure of the normalizer modulo centralizer of each type has to be looked at case-by-case in terms of the "absolute" Weyl group. In higher ranks the situation gets more complicated. Anyway you have to take account of the variation of structure in the points of <code>$G$</code> over an arbitrary field. </p> <p>Again I'd emphasize that the basic theory coming from study of algebraic groups doesn't depend on which field of definition <code>$F$</code> (even finite) you are ultimately interested in, though of course the end results about rational points depend heavily on that field. There are somewhat different expositions of all this in standard textbooks, but the idea is always the same in your limited situation. </p>