Abstract :
Abstract
Let be a truncated biparabolic subalgebra of a simple Lie algebra. In previous work it was shown that the invariant subalgebra of the algebra of regular functions on , is polynomial in most cases. This includes all cases if and so provides 22(n−1) mostly non-isomorphic Lie algebras for which is polynomial. In general the structure of the generators and even their number have no known simple expression.
One may recall that the set of companion matrices forms a slice to the regular co-adjoint orbits in : . The present work is a quite remarkable and far reaching generalisation of this “companion slice.” Precisely one gives an element and a subspace such that restriction of functions gives an algebra isomorphism of onto R[y+V]. The construction is a combinatorial procedure based on the data specifying . Unlike the semisimple case there can be many equivalence classes of such pairs. As a consequence it is found that the nilfibre of the geometric quotient map may have many irreducible components containing a regular element, namely the closure of the co-adjoint orbit defined by such . An example shows it may also have a component with no regular elements.
Résumé
Soit une sous-algèbre biparabolique tronquée dʹune algèbre de Lie simple. Il a été démontré que lʹalgèbre des fonctions regulières invariantes sur soit, dans la plupart des cas, une algèbre de polynômes. En particulier lorsque on obtient 22(n−1) sous-algèbres , plutôt non-isomorphes, pour lesquelles est polynômiale. En générale la structure des générateurs, et même leur nombre, nʹa aucune expression simple connue.
On rappelle que lʹensemble des matrices de compagnon forme une tranche aux orbites co-adjoints regulières de . Le travail actuel est une généralisation remarquable et profonde de cette « tranche de compagnon ». Précisément on construit un élément et un sous-espace tel que lʹapplication de restriction de fonctions soit un isomorphisme de dans lʹalgèbre R[y+V] des fonctions regulières sur y+V. Celle-ci est obtenue par une procédure combinatoire basée sur la description de elle-même. Au contraire du cas semi-simple on pourrait trouver plusieurs couples (y,V) non-équivalentes. Par conséquent le nulle-fibre du morphisme géometrique quotient peut admettre plusieurs composants irréductibles contenants un élément régulier, à savoir lʹadhérence de lʹorbite engendrée par un élément appartenent à un tel couple. En outre, un exemple montre quʹon peut y avoir de composants contenants aucun élément régulier de .
