English

The coadjoint structure of Borel subgroups and their nilradicals

Representation Theory 2012-05-11 v2

Abstract

Let GG be a complex simply-connected semisimple Lie group and let g=LieG\frak{g}= Lie G. Let g=n+h+n\frak{g} = \frak{n}_- +\frak{h} + \frak{n} be a triangular decomposition of g\frak{g}. One readily has that CentU(n)Cent\,U({\frak n}) is isomorphic to the ring S(n)\nS({\frak n})^{{\frak\n}} of symmetric invariants. Using the cascade B{\cal B} of strongly orthogonal roots, some time ago we proved that S({\frak n})^{{\frak n} is a polynomial ring C[ξ1,...,ξm]\Bbb C [\xi_1,...,\xi_m] where mm is the cardinality of B{\cal B}. Using this result we establish that the maximal coadjoint of N=expnN = exp \frak {n} has codimension mm. Let b=h+n\frak {b}= \frak {h} + \frak {n} so that the corresponding subgroup BB is a Borel subgroup of GG. Let =rankg\ell = rank \frak{g}. Then in this paper we prove the theorem that the maximal coadjoint orbit of BB has codimension m\ell - m so that the following statements (1) and (2) are equivalent: (1) -1 is in the Weyl group of GG (i.e., =m\ell = m), and (2), B has a nonempty open coadjoint orbit. We remark that a nilpotent or a semisimple group cannot have a nonempty open coadjoint orbit. Celebrated examples where a solvable Lie group has a nonempty coadjoint orbit are due to Piatetski--Shapiro in his counterexample construction of a bounded complex homogeneous domain which is not of Cartan type.

Keywords

Cite

@article{arxiv.1205.2017,
  title  = {The coadjoint structure of Borel subgroups and their nilradicals},
  author = {Bertram Kostant},
  journal= {arXiv preprint arXiv:1205.2017},
  year   = {2012}
}

Comments

Withdrawn due to critical missing word in abstract, which also affects the first page of the article