Connectedness of Centralizers in $GL_n$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T02:09:04Z http://mathoverflow.net/feeds/question/65133 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/65133/connectedness-of-centralizers-in-gl-n Connectedness of Centralizers in $GL_n$ HNuer 2011-05-16T13:14:50Z 2011-05-16T17:13:02Z <p>I was wondering if there is any obvious reason or quick proof that for every $g\in GL_n$ the centralizer $Z_{GL_n}(g)$ is connected. Also I wanted to see why for any semisimple $s\in Sp_{2n}$ the centralizer $Z_{Sp_{2n}}(s)$ is connected. Thanks.</p> http://mathoverflow.net/questions/65133/connectedness-of-centralizers-in-gl-n/65137#65137 Answer by Neil Strickland for Connectedness of Centralizers in $GL_n$ Neil Strickland 2011-05-16T13:54:45Z 2011-05-16T13:54:45Z <p>I'll assume you're working with the abstract group $GL_n(\mathbb{C})$. Probably you could do a similar thing with algebraic groups. Let $\lambda$ be a complex number whose argument is different from the arguments of any of the eigenvalues of $g$. Then the straight line from $g$ to $-\lambda I_n$ lies wholly in $Z_{GL_n}(g)$. It is then easy to connect $-\lambda I_n$ to $I_n$ in $ZGL_n\subseteq Z_{GL_n}(g)$.</p> http://mathoverflow.net/questions/65133/connectedness-of-centralizers-in-gl-n/65147#65147 Answer by Jim Humphreys for Connectedness of Centralizers in $GL_n$ Jim Humphreys 2011-05-16T15:47:38Z 2011-05-16T17:13:02Z <p>Centralizers of arbitrary elements in a general linear group (over an arbitrary algebraically closed field) are connected for an easy reason: the centralizer in the space of <code>$n \times n$</code> matrices is just a subspace, while the centralizer in <code>$GL_n$</code> is a <em>principal open set</em> in this affine space (nonzeros of the determinant polynomial) and hence also connected. </p> <p>Symplectic or other semisimple groups require a much more subtle approach, though there may well be a fairly direct approach in the symplectic case (at least in characteristic 0). A basic theorem due to Springer and Steinberg states: <em>In a connected and simply connected semisimple algebraic group, over an arbitrary algebraically closed field, the centralizer of every semisimple element is connected.</em> This theorem is still waiting for a really transparent proof, but it's written up in Chapter 2 of my 1995 AMS book <em>Conjugacy Classes in Semisimple Algebraic Groups</em> following Steinberg's papers and Tata lecture notes. (For the general linear case above, see 1.2 in that book.) </p> <p>P.S. Maybe I should emphasize that I'm using algebraic group language, in the spirit of the tag here, so that a closed <em>connected</em> subgroup corresponds to having an underlying <em>irreducible</em> affine variety structure: the regular functions form a domain. Over <code>$\mathbb{C}$</code> this notion of "connected" agrees with the topological one (and similarly the algebraic notion of "simply connected" agrees with the topological one in the case of semisimple groups), as shown by Chevalley and Borel. But working over <code>$\mathbb{R}$</code> is more complicated. </p>