Factorisation of Lie resolvents

Abstract: Let

G

be a group,

F

a field of prime characteristic

p

and

V

a finite-dimensional

F G

-module. Let

L (V)

denote the free Lie algebra on

V

, regarded as an

F G

-module, and, for each positive integer

r

, let

L^{r} (V)

be the

r

th homogeneous component of

L (V)

, called the

r

th Lie power of

V

. In a previous paper we obtained a decomposition of

L^{r} (V)

as a direct sum of modules of the form

L^{s} (W)

, where

s

is a power of

p

. Here we derive some consequences. First we obtain a similar result for restricted Lie powers of

V

. Then we consider the `Lie resolvents'

P h i^{r}

: certain functions on the Green ring of

F G

which determine Lie powers up to isomorphism. For

k

not divisible by

p

, we obtain the factorisation

P h i^{p^{m} k} = P h i^{p^{m}} c i r c P h i^{k}

, separating out the key case of

p

-power degree. Finally we study certain functions on power series over the Green ring, denoted by

and

, which encode symmetric powers and Lie powers, respectively. In characteristic 0,

is the inverse of

. In characteristic

p

, the composite

maps any

p

-typical power series to a

p

-typical power series.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Factorisation of Lie resolvents