Possible Borel subgroups of GL_n? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T13:58:14Z http://mathoverflow.net/feeds/question/81456 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/81456/possible-borel-subgroups-of-gl-n Possible Borel subgroups of GL_n? unknown 2011-11-20T21:30:51Z 2011-11-21T00:55:14Z <p>I am trying to understand the interaction between Borel subgroups of $GL_n$ and its roots. Is it correct to say that for any choice of roots among each pair of reciprocal roots there is a Borel subgroup containing those root subgroups? (Meaning that exactly those roots appear on the decompsition of its Lie algebra) If not, what is the precise condition on the choice of roots that is needed for such a Borel to exist?</p> http://mathoverflow.net/questions/81456/possible-borel-subgroups-of-gl-n/81458#81458 Answer by paul garrett for Possible Borel subgroups of GL_n? paul garrett 2011-11-20T21:47:27Z 2011-11-21T00:55:14Z <p>Not every collection of choices between roots $\alpha$ and $-\alpha$ is "allowed". Yes, there is a partition of the set of all roots into positive $\Phi$ and negative $-\Phi$, but, also, $\Phi$ must be closed under addition. In the case of $GL(n)$, the Weyl group (permutation matrices, if you like) acts simply-transitively on the set of such choices, and/so there are exactly $n!$ such choices, rather than the $2^{n(n-1)/2}$ choices of sign.</p> <p>[Edit:] In response to @Brad H-D's comment/query: yes, I was a bit glib... Indeed, it is not the case that all possible (iterated) sums of positive roots are roots, since this would (erroneously) require that there be infinitely-many, etc. Rather, as Brad H-D leadingly-asked, it means that <em>either</em> the sum of two "positive" roots is a "positive" root, or is not a root at all. (Thx, Brad H-D.)</p> http://mathoverflow.net/questions/81456/possible-borel-subgroups-of-gl-n/81466#81466 Answer by Jim Humphreys for Possible Borel subgroups of GL_n? Jim Humphreys 2011-11-20T23:31:26Z 2011-11-21T00:16:29Z <p>The question itself seems too elementary for this site, since it just involves the standard axiomatic treatment of root systems as in Bourbaki <em>Groupes et algebres de Lie</em>, VI.1.7. The question is really about an arbitrary reductive algebraic group (with nontrivial derived group) over an algebraically closed field, along with its Borel subgroups in natural bijection with systems of positive roots relative to a fixed maximal torus. Such a torus <code>$T$</code> lies in exactly <code>$|W|$</code> Borel subgroups, where <code>$W=N_G(T)/T$</code> is the Weyl group. At this point the axiomatic theory takes over and provides straightforward criteria for a given "closed" set of roots to be the positive roots for some choice of simple roots: the set has to be disjoint from its negative and together with its negative exhaust all roots (Prop. 20, Cor. 1). </p>