Maximal torus and parabolic subgroups in reductive groups over finite fields - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T00:29:24Z http://mathoverflow.net/feeds/question/66978 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/66978/maximal-torus-and-parabolic-subgroups-in-reductive-groups-over-finite-fields Maximal torus and parabolic subgroups in reductive groups over finite fields th.ng 2011-06-05T17:29:30Z 2011-06-07T12:13:22Z <p>Let $G$ be a reductive group, $B_0$ a $F$-stable Borel subgroup and $T_0$ a fixed $F$-stable maximal torus contained in $B_0$. ($F$ = Frobenius morphism). Let $r$ be the semisimple $\mathbb{F}_q$-rank of $G$.</p> <p>For $w$ in the Weyl group associated with $T_0$, let $x \in G$ such that $x^{-1} F(x) = w$ and define $T_w = x T_0 x^{-1}$.</p> <p>It is then stated in the article I'm reading that :</p> <blockquote> <p>If the maximal torus $T_w$ is not contained in any proper $F$-stable parabolic subgroup of $G$, it is well known that this implies $l(w) = r\ ( mod\ 2 )$.</p> </blockquote> <p>Does anyone has a reference for this ?</p> <p><strong>Edit</strong> (following Jim's advices) : The article I'm currently working on is "Representations of finite Chevalley groups" from Lusztig (1977) (CBMS Regional Conf. Series in Math.n°39). Even more specifically, I'm trying to understand many examples (3.10) that are not fully developped about unipotent representations. The previous quote is from the proof of the following claim : </p> <blockquote> <p>Assume $q$ is greater than the Coxeter number of $G$. Let $\rho$ be an irreducible cuspidal $G^F$-submodule of $H^{i}_{c}(X_w)_{\mu}$ and let $r$ be the semisimple $\mathbb{F}_q$-rank of $G$. Then all complex conjugates of $\mu$ have absolute value of the form $q^{\delta m /2}$ where $m$ is an integer congruent to $r$ modulo $2$.</p> </blockquote> http://mathoverflow.net/questions/66978/maximal-torus-and-parabolic-subgroups-in-reductive-groups-over-finite-fields/67038#67038 Answer by Jim Humphreys for Maximal torus and parabolic subgroups in reductive groups over finite fields Jim Humphreys 2011-06-06T13:36:43Z 2011-06-07T12:13:22Z <p>Thanks for adding some further context. Maybe I can partly answer your question by making a series of comments:</p> <p>1) At the beginning it's important to specify that the Borel subgroup <code>$B_0$</code> is <code>$F$</code>-stable. Lusztig (and others) try to deal simultaneously with split and quasisplit finite groups of Lie type such as <code>$SL_n(\mathbb{F}_q)$</code> and <code>$SU_n(\mathbb{F}_q)$</code> in the wider context of reductive groups such as <code>$GL_n(\mathbb{F}_q)$</code> (and sometimes the groups of Suzuki and Ree are also included). In the split case, one is fixing a nice Borel subgroup such as the upper triangular matrices, along with a nice maximal torus such as the diagonal group, whereas other maximal tori defined over <code>$\mathbb{F}_q$</code> need not be split and are determined by <code>$F$</code>-conjugacy classes in the Weyl group. In general one also has to distinguish the semisimple <code>$\mathbb{F}_q$</code>-rank, etc. </p> <p>2) The moral is that it's helpful to work through the details first in a familiar split group as a guide to what Lusztig is doing in his increasingly sophisticated series of papers. The substantial but readable book by Carter and the smaller book by Digne-Michel (much less complete while in some ways more "modern") provide standard introductions to the Deligne-Lusztig theory. Lusztig's own papers are rewarding but not at all easy to read in isolation, especially the concise 1978 paper he wrote following his intense week of lectures at Madison in the summer of 1977 focused on the determination of all irreducible unipotent characters of these finite groups. To decipher this paper you already need substantial background from the 1976 Deligne-Lusztig paper (and more). It may be helpful to look at some of Lusztig's own comments on his papers <a href="http://www-math.mit.edu/~gyuri/" rel="nofollow">here</a>.</p> <p>3) Closer to the question you raise, it's useful to compare Lusztig's 1976 paper on Coxeter tori and related characters. Twisting the given maximal torus by a Coxeter element provides an essential example (though not the only one in general) for the study of discrete series (= cuspidal) characters. These come from the twisted tori <code>$T_w$</code> not contained in any proper <code>$F$</code>-stable parabolic. Note for instance that the length of a Coxeter element in the Weyl group relative to the fixed simple system (for a Borel subgroup) has the same parity as the semisimple rank of the group. Much of the motivation for the way characters of finite groups of Lie type are studied here goes back to this and other features of finite general linear groups, studied combinatorially by J.A. Green in his influential 1955 paper. But that case is only the tip of the iceberg in terms of theoretical complexity.</p> <p>ADDED: To address your original question more directly, the expression "well known" basically means here that the fact quoted is lurking in the 1976 Deligne-Lusztig paper, especially Sections 7-8. It's easier to look at the 1985 text by R.W. Carter <em>Finite Groups of Lie Type</em>, which separates the algebraic group treatment somewhat from the etale cohomology framework in DL. Here you should study Chapter 7, especially 7.5. Carter writes <code>$R_{T,\theta}$</code> for the virtual character DL attach to an <code>$F$</code>-stable maximal torus <code>$T=T_w$</code> and a complex character <code>$\theta$</code> of the finite group <code>$T^F$</code>. </p> <p>The main notational complication throughout is that you deal with connected <em>reductive</em> groups <code>$H$</code> such as <code>$G$</code> and <code>$T$</code>, writing <code>$\varepsilon_H = (-1)^r$</code> with <code>$r$</code> the "relative rank" (= <code>$\mathbb{F}_q$</code>-rank). Now Carter's 7.3.5 and 7.5.1 develop a basic DL result: for <code>$\theta$</code> in "general position", <code>$\varepsilon_G \varepsilon_T R_{T,\theta}$</code> is an irreducible character of <code>$G^F$</code>. The proof of 7.5.1 separately treats the case when <code>$T=T_w$</code> fails to lie in any proper <code>$F$</code>-stable parabolic, while 7.5.2 shows in general that <code>$(-1)^{\ell(w)} = \det w = \varepsilon_G \varepsilon_T$</code>. By unpacking the notation you get the asserted parity, as in the special case of a Coxeter element mentioned above. If <code>$G$</code> is actually semisimple and split, the tori in question are <em>anisotropic</em> (so <code>$\varepsilon_T =1$</code>) while <code>$\det w = \varepsilon_G$</code>. </p> http://mathoverflow.net/questions/66978/maximal-torus-and-parabolic-subgroups-in-reductive-groups-over-finite-fields/67054#67054 Answer by th.ng for Maximal torus and parabolic subgroups in reductive groups over finite fields th.ng 2011-06-06T16:28:03Z 2011-06-06T16:28:03Z <p>Thank you for adding more to the general context, pointing out what is important. As a matter of fact, you are completely right, the Borel $B_0$ is chosen $F$-stable. (I edited the post).</p> <p>Closer to the question, since I met this morning my advisor (for my minor thesis) he sketched me a proof for what, however, did not seem to him as "well known". Just a warning though, the proof is not clear at the moment for me, but I'll try to state it anyway (for those interested by the answer and able to decipher what I'll be writing).</p> <p>The case where $T_0$ is split is easier. One has to start with the claim that the condition for $T_w$ not to be contained in any $F$-stable parabolic subgroups implies that $1$ is not an eigenvalue for $w$ acting on $X(T)$. Then, as the eigenvalues for $w$ (in general) are $1$, $-1$ or pairs of conjugate complex numbers. So, by looking at the determinant of $w$, one should be able to conclude.</p>