Lie algebras and non-smoothness of centralisers in bad characteristic - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T02:40:20Z http://mathoverflow.net/feeds/question/93584 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/93584/lie-algebras-and-non-smoothness-of-centralisers-in-bad-characteristic Lie algebras and non-smoothness of centralisers in bad characteristic A Stasinski 2012-04-09T16:42:10Z 2012-10-08T16:06:59Z <p>Let $G$ be a simple algebraic group over an algebraically closed field $k$ of characteristic $p>0$. For $x\in G$, let $C_{G}(x)$ denote the centraliser, considered as a group scheme over $k$. If $p$ is a very good prime for $G$ it is known that $C_{G}(x)$ is smooth (over $k$). Assume that $p$ is not very good for $G$.</p> <blockquote> <p>Is there a general description of the elements $x\in G$ for which the centraliser $C_{G}(x)$ is <i>not</i> smooth? </p> </blockquote> <p>It does not seem too difficult to do this via a direct case by case check, so I'm mainly asking whether there is a uniform argument and whether there are any relevant references.</p> <p>Let <code>$\mathfrak{c}_{\mathfrak{g}}(x)$</code> denote the centraliser in the Lie algebra $\mathfrak{g}$ of $G$. We have <code>$\dim C_{G}(x)=\dim\mathfrak{c}_{\mathfrak{g}}(x)$</code> if $C_{G}(x)$ is smooth. </p> <blockquote> <p>In the cases where $C_{G}(x)$ is not smooth, are the values <code>$\dim\mathfrak{c}_{\mathfrak{g}}(x)-\dim C_{G}(x)$</code> known?</p> </blockquote> <p>The second question is related to Problem 12 of Steinberg's 1966 ICM contribution, which asks for a proof of the statement that <code>$\mathfrak{c}_{\mathfrak{g}}(x)$</code> is always the sum of the Lie algebra of <code>$C_{G}(x)$</code> and the centre of $\mathfrak{g}$. Steinberg's problem is mentioned in Humphreys's book Conjugacy Classes in Semisimple Algebraic Groups (1.10) but there is no indication as to whether Steinberg's problem has been solved or not.</p> http://mathoverflow.net/questions/93584/lie-algebras-and-non-smoothness-of-centralisers-in-bad-characteristic/93652#93652 Answer by Jim Humphreys for Lie algebras and non-smoothness of centralisers in bad characteristic Jim Humphreys 2012-04-10T12:28:48Z 2012-10-08T16:06:59Z <p>[EDIT] This replaces my less focused (and more optimistic) attempt at answering both questions. One remark about terminology: it's more standard to refer to the "smoothness" of a conjugacy class than to the "smoothness" of a centralizer. In the algebraic group context, study of a tangent space (Lie algebra) and adjoint action of the group is a natural tool for investigating smoothness.</p> <p>1) NOTATION: <code>$G$</code> is a <em>simply connected</em> simple algebraic group over an algebraically closed field <code>$K$</code> of characteristic <code>$p&gt;0$</code>. Its Lie algebra <code>$\mathfrak{g}$</code> is then the reduction mod <code>$p$</code> of Chevalley's <code>$\mathbb{Z}$</code>-form of the corresponding simple Lie algebra over <code>$\mathbb{C}$</code>. If <code>$x \in G$</code>, write <code>$C_G(x)$</code> for its centralizer in <code>$G$</code> and <code>$\mathfrak{c}_{\mathfrak{g}}(x)$</code> for the fixed point space of <code>$\text{Ad} x$</code> on <code>$\mathfrak{g}$</code>. Similarly, if <code>$X \in \mathfrak{g}$</code>, write <code>$C_G(X)$</code> for the centralizer of <code>$X$</code> under the adjoint action of <code>$G$</code> and <code>$\mathfrak{c}_{\mathfrak{g}} (X)$</code> for the Lie algebra centralizer of <code>$X$</code>. In each situation the two types of centralizer may be called "global" and "infinitesimal". </p> <p>2) For semisimple elements of <code>$G$</code> or <code>$\mathfrak{g}$</code>, global and infinitesimal centralizers always agree in dimension (see Borel, <em>Linear Algebraic Groups</em>, 9.1). In general, one has natural inclusions <code>$\text{Lie}\, C_G(x) \subset \mathfrak{c}_{\mathfrak{g}}(x)$</code> and <code>$\text{Lie}\, C_G(X) \subset \mathfrak{c}_{\mathfrak{g}}(X)$</code> With this set-up, the Lie algebra of <code>$\text{SL}_n(K)$</code> has a 1-dimensional center <code>$\mathfrak{z}$</code> (consisting of scalar matrices) precisely when <code>$p|n$</code>; otherwise <code>$p$</code> is "very good" for type <code>$A_{n-1}$</code>. For other simple types, <code>$p$</code> is "bad" just when <code>$p=2$</code> for types <code>$B, C, D$</code> or <code>$p=2,3$</code> for types <code>$E_6, E_7, F_4, G_2$</code> or <code>$p=2,3,5$</code> for type <code>$E_8$</code>. For good (or very good) <code>$p$</code>, the behavior of all centralizers follows the characteristic 0 pattern. In general, induction on dimension reduces the remaining hard problems to the case when <code>$x=u$</code> is <em>unipotent</em> or <code>$X$</code> is <em>nilpotent</em>: in a simply connected group like <code>$G$</code>, the centralizer of a semisimple element is reductive and also connected. </p> <p>3) The center <code>$\mathfrak{z}$</code> is well understood (Hurley) along with the full ideal structure and its behavior under the adjoint action of <code>$G$</code> (Hogeweij, Hiss). Beyond type <code>$A$</code> one always has <code>$\dim \mathfrak{z} \leq 1$</code> (with equality sometimes for bad primes) except for type <code>$D_{2n}$</code> where <code>$\dim \mathfrak{z} =2$</code> if <code>$p=2$</code>. </p> <p>4) The answer to the first question is almost certainly no: all known methods for the study of the various centralizers when <code>$p$</code> is not very good for <code>$G$</code> involve case-by-case study of the simple types. What is known so far makes it unlikely that more uniform methods will emerge.</p> <p>5) In type <code>$A_{n-1}$</code>, comparison with the well-behaved centralizers in <code>$\text{GL}_n(K)$</code> shows that centralizer dimensions go up by 1 in <code>$\text{Lie}\, \text{SL}_n(K)$</code> for unipotent or nilpotent elements just when <code>$\mathfrak{z} \neq 0$</code> (i.e., <code>$p|n$</code>).</p> <p>6) In other types, the literature seems inconclusive about further unusual contributions to <code>$\mathfrak{c}_{\mathfrak{g}} (u)$</code>. (The new AMS monograph <a href="http://www.ams.org/bookstore-getitem/item=SURV-180" rel="nofollow">here</a> by Martin Liebeck and Gary Seitz promises to deal systematically but still case-by-case with many fine points about classes and centralizers for unipotent elements in the group and nilpotent elements in the Lie algebra.) So far the emphasis has been on classification and counting of unipotent classes or nilpotent orbits for bad primes, along with explicit descriptions of centralizers in <code>$G$</code>. In fact, it's unclear to me what consequences a resolution of the problem posed by Steinberg in his (12) might have (rephrased here as the second question). Steinberg himself looked directly at the case of a <em>regular</em> unipotent element in section 4 of his 1965 IHES paper on regular elements (see 4.3), where global and infinitesimal centralizers differ at most by <code>$\mathfrak{z}$</code>; but this requires delicate <em>ad hoc</em> arguments. </p> <p>7) In his 1966 ICM survey, Steinberg's format is stimulating and unusual: he gives a concise list of 28 items, including summaries of recent work along with 18 items labelled "Problem". These are of varying breadth or precision but are by now mostly resolved one way or the other. Problem (10), later resolved by Lusztig, involves the finiteness of the number of unipotent classes in all simple algebraic groups; this isn't as "modest" as Steinberg expected it to be. On the other hand, problem (22) was over-optimistic. No doubt it would be useful for someone to write a short follow-up survey on the status of all those problems. (In my own 1995 AMS book <em>Conjugacy Classes in Semisimple Algebraic Groups</em> I aimed mostly for the uniform results in good characteristic. The book lists most of the relevant earlier references.) </p> http://mathoverflow.net/questions/93584/lie-algebras-and-non-smoothness-of-centralisers-in-bad-characteristic/109083#109083 Answer by Alexander Premet for Lie algebras and non-smoothness of centralisers in bad characteristic Alexander Premet 2012-10-07T17:18:42Z 2012-10-08T07:31:03Z <p>For all groups of exceptional types the answer can be deduced from the paper "Jordan block sizes of unipotent elements in exceptional algebraic groups" by Ross Lawther, published in Comm. Algebra, 23, Issue 11, 1995, 4125-4156. In order to determine the Jordan block sizes of ${\rm Ad}\ u$, where $u\in G$ is unipotent, Lawther used comuter-aided computations. The case of a general $x\in G$ reduces quickly to the case where $x$ is unipotent by using the Jordan-Chevalley decomposition in $G$.</p> <p>Of course, the number of Jordan blocks is just $\dim\ \mathfrak{c}_{\mathfrak g}(u)$, or rather $\dim\ \mathfrak{g}^{{\rm Ad}\ u}$, which is one of the numbers you are interested in. This number could then be compared with $\dim\ C_G(u)$ which is much easier to find in the literature (Spaltenstein's book on unipotent classes might have an answer). </p> <p>Regarding Steinberg's Problem 12, when $p=2$ the Lie lagebra of type $E_8$ is simple, hence has zero centre, but there are about 20 instances when the value of $\dim\ \mathfrak{g}^{{\rm Ad}\ u}$ jumps and becomes bigger than that for the counterpart of $u$ in good characteistic (these cases are starred in Lawther's paper). Since the number of "new" unipotent classes in characteristic $2$ is far less than 20, I think, there will be instances when $\dim\ \mathfrak{g}^{{\rm Ad}\ u}>\dim\ C_G(u)$. The orbit labelled $E_7$ could do the trick, but I didn't check.</p> <p>There is also a version of Lawther's results for nilpotent elements in exceptional Lie lagebras in the literature; see "Varieties of nilpotent elements for simple Lie algebras II: Bad primes" by University of Georgia VIGRE Algebra Group, published in J. Algebra, 292, 2005, 65–99. This paper also relies on extensive computer-aided computations.</p> <p>As far as I'm aware there is no computer-free proof of the above results at the present time, hence there is no uniform proof either. One could even say, on a more philosophical note, that nothing is uniform when $p$ is bad. </p>