Lie powers and Witt vectors (Q1024809): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10801-007-0117-9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2095593821 / rank | |||
Normal rank |
Revision as of 03:27, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lie powers and Witt vectors |
scientific article |
Statements
Lie powers and Witt vectors (English)
0 references
17 June 2009
0 references
Let \(k\) be a field of characteristic \(p>0\) and \(G\) a group. Suppose that \(G\) has a finite dimensional representation in a space \(V\). Denote by \(L(V)\) the free Lie algebra on \(V\). Then each homogeneous component \(L^n(V)\) is a finite dimensional representation of \(G\). Let \(m\) be a positive integer which is not divisible by \(p\). As it is shown by the author and \textit{M. Schocker} in the paper [Proc. Lond. Math. Soc. (3) 93, No. 1, 175--196 (2006; Zbl 1174.17006)], there exists a \(kG\)-module \(B_{p^lm} \subseteq L^{p^lm}\) which is a direct summand of \(V^{\otimes p^lm}\) such that \[ L^{p^lm} = L^{p^l}\left(B_m\right) \oplus L^{p^l-1}\left(B_{pm}\right) \oplus \cdots \oplus L^1\left(B_{p^lm}\right). \] In the present paper it is shown that the module \(V^{p^lm}\) has a decomposition \(\bigoplus _{d\mid m}\phi(d) U_{m,d}\) for some specific modules \(U_{m,d}\) and \[ \left(V^{\otimes m}\right)^{\otimes p^lm} = \bigoplus_{\lambda \in\Lambda} U_{m,\lambda(1)}\otimes \cdots \otimes U_{m,\lambda(p^l)} \] where \(\Lambda\) is a finite set of \(p^l\)-tuples \(\left(\lambda(1), \ldots, \lambda(p^l)\right)\) with entries \(\lambda(1),\ldots \) which are divisors of \(m\). Moreover \(B_{p^lm}\) has a decomposition \[ B_{p^lm} = \bigoplus_{\lambda\in \Lambda_0} U_{m,\lambda(1)}\otimes \cdots \otimes U_{m,\lambda(p^l)} \] for some specific subset \(\Lambda_0\) in \(\Lambda\).
0 references
free Lie algebras
0 references