The structure of the space of co-adjoint orbits of a completely solvable Lie group (Q583387)

Let G be a connected, simply connected, completely solvable Lie group with Lie algebra \({\mathfrak g}\). Pukanszky proved that for G nilpotent, there is an \(Ad^*(G)\)-invariant Zariski open subset \(\Omega\) of \({\mathfrak g}\) in which all \(Ad^*(G)\)-orbits have the same dimension and there is an algebraic subset \(\Sigma\) which is a cross section for the orbits and that there is a subspace V of \({\mathfrak g}^*\) and a computable, rational, nonsingular map \(\theta\) : \(\Sigma\) \(\times V\to \Omega\), yielding a layering of \({\mathfrak g}^*\) by a collection of subsets \(\{\Omega_ j\}\) having a total ordering such that the maximal subset is \(\Omega\) and for each \(\Omega_ j\) one can construct \(\Sigma_ j\), \(V_ j\) and \(\theta_ j\). The authors show that for G completely solvable there is a refinement of the layering \(\{\Omega_ j\}\) such that in each of the refined layers one can obtain computable objects analogous to \(\Sigma\), V and \(\theta\). Moreover this refining has a nice ordering and the layers are algebraic sets.