English

Abelian ideals of a Borel subalgebra and long positive roots

Representation Theory 2007-05-23 v2 Combinatorics

Abstract

Let \b\b be a Borel subalgebra of a simple Lie algebra \g\g and let \Ab\Ab denote the set of all Abelian ideals of \b\b. We consider \Ab\Ab as poset with respect to inclusion, the zero ideal being the unique minimal element of \Ab\Ab. It was shown in my paper with G.Roehrle (Adv. Math. v.159 (2001)) that there is a one-to-one correspondence between the maximal Abelian ideals and the long simple roots of \g\g. But the very existence of it was demonstrated in a case-by-case fashion. Here a conceptual explanation for that empirical observation is given. The main results are: 1) there is a natural mapping τ\tau from the set of all nontrivial Abelian ideals to the set of long positive roots; 2) If II is a maximal Abelian ideal, then τ(I)\tau(I) is a long simple root. Restricting τ\tau to the set of maximal Abelian ideals yields the above-mentioned correspondence; 3) Each fibre of τ\tau is a poset in its own right, and we prove that this fibre has a unique maximal and a unique minimal element. 4) An explicit description of the minimal and the maximal ideal corresponding to a long root is given.

Keywords

Cite

@article{arxiv.math/0210428,
  title  = {Abelian ideals of a Borel subalgebra and long positive roots},
  author = {Dmitri I. Panyushev},
  journal= {arXiv preprint arXiv:math/0210428},
  year   = {2007}
}

Comments

20 pages, Latex2e