Home Online Manual
Top
Back: RiemannRochHess
Forward: tangentGens
FastBack: hess_lib
FastForward: modular_lib
Up: Experimental libraries
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.12 orbitparam_lib

Library:
orbitparam.lib
Purpose:
Parametrizing orbits of unipotent actions

Authors:
J. Boehm, boehm at mathematik.uni-kl.de
S. Papadakis, papadak at math.ist.utl.pt

Overview:
This library implements the theorem of Chevalley-Rosenlicht as stated in Theorem 3.1.4 of [Corwin, Greenleaf]. Given a set of strictly upper triangular n x n matrices L_1,...,L_c which generate a Lie algebra as a vector space, and a vector v of size n, the function parametrizeOrbit constructs a parametrization of the orbit of v under the action of exp(<L_1,...,L_c>).

To compute exp of the Lie algebra elements corresponding to the parameters we require that the characteristic of the base field is zero or larger than n.

By determining the parameters from bottom to top
this allows you to find an element in the orbit with (at least) as many zeros as the dimension of the orbit.

Note: Theorem 3.1.4 of [Corwin, Greenleaf] uses strictly lower triangular matrices.

References:
Laurence Corwin, Frederick P. Greenleaf: Representations of Nilpotent Lie Groups and their Applications: Volume 1, Part 1, Basic Theory and Examples, Cambridge University Press (2004).

Procedures:

D.15.12.1 tangentGens  Returns elements in the Lie algebra, which form a basis of the tangent space of the parametrization.
D.15.12.2 matrixExp  Matrix exp for nilpotent matrices.
D.15.12.3 matrixLog  Matrix log for unipotent matrices.
D.15.12.4 parametrizeOrbit  Returns parametrization of the orbit.
D.15.12.5 maxZeros  Determine an element in the orbit with the maximum number of zeroes.