# Kirillov orbit method for finite inner-Lazard Lie group

This is a slight variation on the Kirillov orbit method for finite Lazard Lie group that works for finite inner-Lazard Lie groups. The range of applicability of this method is slightly larger. For instance, it includes all finite -groups of nilpotency class exactly , most of which are not Lazard Lie groups.

It is capable of providing the degrees of irreducible representations. However, it does not provide as much canonical information about irreducible representations.

## Constructing the action analogous to the coadjoint representation

We start with a group that is a finite inner-Lazard Lie group. Note that iff is already a Lazard Lie group, it would be preferable use the usual Kirillov orbit method for finite Lazard Lie group. So the discussion here is useful mostly for the situations where barely misses being Lazard.

By using the Lazard correspondence up to isoclinism, we can find a Lie ring that serves as a Lie ring "up to isoclinism" for . This Lie ring is not unique, but it is uniquely determined up to isoclinism of Lie rings.

We now have to define an action of on by Lie ring automorphisms. We'll do this by composing the quotient map with an action of the inner automorphism group on , constructed as follows. There is a Lazard correspondence with the Lazard Lie group and the Lazard Lie ring. For any , the corresponding element defines an inner derivation of . Take the formal exponential of this, and use the fact that exponential of derivation is automorphism under suitable nilpotency assumptions to argue that this is an automorphism of . This is the automorphism of associated with . Basic facts of the Lazard correspondence now show that this defines an action of on by automorphisms.

## Identification of coadjoint orbits with irreducible representations

Having constructed an action of on by Lie ring automorphisms, we proceed the same way: we use the action to construct a group action by abelian group automorphisms on the Pontryagin dual of as an additive group. The square roots of the orbit sizes for this action correspond to the irreducible representations.

However, there no longer seems to be a canonical bijection between the irreducible representations and these orbits.