Skip to main content
1 of 4
Ben Webster
  • 44.7k
  • 12
  • 126
  • 260

One of the sneaky tricks that Lie theorists play on students is that they tell them about Cartan subalgebras, and then at some point, they pull the rug out and say "just joking; really you should think about the abstract Cartan." The abstract Cartan is a Borel mod its radical. You might say "which Borel?" but it doesn't matter; all these quotients are canonically isomorphic (any two Borels are conjugate, and any two ways of making them conjugate differ by an element of the Borel).

Note, a Cartan subgroup of your Lie algebra isn't canonically isomorphic to the abstract Cartan; you have to choose a Borel containing that Cartan subgroup first. That's where the symmetry is broken.

The abstract Cartan has a canonical notion of positive weight: you look at the action of $B/N$ on the quotient of the Lie algebra $n/[n,n]$, and the weights that appear there are your simple roots. Again, any way of making Borels conjugate carries these weights to the corresponding ones for the other Borel. So once you've picked a Borel, you can use the isomorphism of the abstract Cartan to your chosen one to get a root system on your chosen one.

Ben Webster
  • 44.7k
  • 12
  • 126
  • 260