Showing 1–6 of 6 results for author: Bryant, R M

Vertices of Lie Modules

Authors: Roger M. Bryant, Susanne Danz, Karin Erdmann, Jürgen Müller

Abstract: Let Lie(n) be the Lie module of the symmetric group S_n over a field F of characteristic p>0, that is, Lie(n) is the left ideal of FS_n generated by the Dynkin-Specht-Wever element. We study the problem of parametrizing non-projective indecomposable summands of Lie(n), via describing their vertices and sources. Our main result shows that this can be reduced to the case when n is a power of p. When… ▽ More Let Lie(n) be the Lie module of the symmetric group S_n over a field F of characteristic p>0, that is, Lie(n) is the left ideal of FS_n generated by the Dynkin-Specht-Wever element. We study the problem of parametrizing non-projective indecomposable summands of Lie(n), via describing their vertices and sources. Our main result shows that this can be reduced to the case when n is a power of p. When n=9 and p=3, and when n=8 and p=2, we present a precise answer. This suggests a possible parametrization for arbitrary prime powers. △ Less

Submitted 9 September, 2013; originally announced September 2013.

Comments: 26 pages

MSC Class: 20C20; 20C30; 20G43

Asymptotic behaviour of Lie powers and Lie modules

Authors: Roger M. Bryant, Kay Jin Lim, Kai Meng Tan

Abstract: Let $V$ be a finite-dimensional $FG$-module, where $F$ is a field of prime characteristic $p$ and $G$ is a group. We show that, when $r$ is not a power of $p$, the Lie power $L^r(V)$ has a direct summand $B^r(V)$ which is a direct summand of the tensor power $V^{\otimes r}$ and which satisfies $\dim B^r(V)/\dim L^r(V) \to 1$ as $r \to \infty$. Similarly, for the same values of $r$, we obtain a pro… ▽ More Let $V$ be a finite-dimensional $FG$-module, where $F$ is a field of prime characteristic $p$ and $G$ is a group. We show that, when $r$ is not a power of $p$, the Lie power $L^r(V)$ has a direct summand $B^r(V)$ which is a direct summand of the tensor power $V^{\otimes r}$ and which satisfies $\dim B^r(V)/\dim L^r(V) \to 1$ as $r \to \infty$. Similarly, for the same values of $r$, we obtain a projective submodule $C(r)$ of the Lie module $\Lie(r)$ over $F$ such that $\dim C(r)/\dim \Lie(r) \to 1$ as $r \to \infty$. △ Less

Submitted 2 December, 2010; v1 submitted 6 September, 2010; originally announced September 2010.

Comments: 9 pages

MSC Class: 17B01; 20C30 (primary); 20C20 (secondary)

Periodicity of Adams operations on the Green ring of a finite group

Authors: R. M. Bryant, Marianne Johnson

Abstract: The Adams operations $ψ_Λ^n$ and $ψ_S^n$ on the Green ring of a group $G$ over a field $K$ provide a framework for the study of the exterior powers and symmetric powers of $KG$-modules. When $G$ is finite and $K$ has prime characteristic $p$ we show that $ψ_Λ^n$ and $ψ_S^n$ are periodic in $n$ if and only if the Sylow $p$-subgroups of $G$ are cyclic. In the case where $G$ is a cyclic $p$-group w… ▽ More The Adams operations $ψ_Λ^n$ and $ψ_S^n$ on the Green ring of a group $G$ over a field $K$ provide a framework for the study of the exterior powers and symmetric powers of $KG$-modules. When $G$ is finite and $K$ has prime characteristic $p$ we show that $ψ_Λ^n$ and $ψ_S^n$ are periodic in $n$ if and only if the Sylow $p$-subgroups of $G$ are cyclic. In the case where $G$ is a cyclic $p$-group we find the minimum periods and use recent work of Symonds to express $ψ_S^n$ in terms of $ψ_Λ^n$. △ Less

Submitted 15 December, 2009; originally announced December 2009.

MSC Class: 20C05; 20C20.

Adams operations on the Green ring of a cyclic group of prime-power order

Authors: R. M. Bryant, Marianne Johnson

Abstract: We consider the Green ring $R_{KC}$ for a cyclic $p$-group $C$ over a field $K$ of prime characteristic $p$ and determine the Adams operations $ψ^n$ in the case where $n$ is not divisible by $p$. This gives information on the decomposition into indecomposables of exterior powers and symmetric powers of $KC$-modules. We consider the Green ring $R_{KC}$ for a cyclic $p$-group $C$ over a field $K$ of prime characteristic $p$ and determine the Adams operations $ψ^n$ in the case where $n$ is not divisible by $p$. This gives information on the decomposition into indecomposables of exterior powers and symmetric powers of $KC$-modules. △ Less

Submitted 8 December, 2009; originally announced December 2009.

Comments: 23 pages

Factorisation of Lie Resolvents

Authors: R. M. Bryant, M. Schocker

Abstract: Let $G$ be a group, $F$ a field of prime characteristic $p$ and $V$ a finite-dimensional $FG$-module. Let $L(V)$ denote the free Lie algebra on $V$, regarded as an $FG$-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 t… ▽ More Let $G$ be a group, $F$ a field of prime characteristic $p$ and $V$ a finite-dimensional $FG$-module. Let $L(V)$ denote the free Lie algebra on $V$, regarded as an $FG$-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' $Φ^r $: certain functions on the Green ring of $FG$ which determine Lie powers up to isomorphism. For $k$ not divisible by $p$, we obtain the factorisation $Φ^{p^mk} = Φ^{p^m} \circ Φ^k$, separating out the key case of $p$-power degree. Finally we study certain functions on power series over the Green ring, denoted by ${\bf S}^*$ and ${\bf L}^*$, which encode symmetric powers and Lie powers, respectively. In characteristic 0, ${\bf L}^*$ is the inverse of ${\bf S}^*$. In characteristic $p$, the composite ${\bf L}^* \circ {\bf S}^*$ maps any $p$-typical power series to a $p$-typical power series. △ Less

Submitted 6 June, 2005; originally announced June 2005.

Comments: 20 pages

MSC Class: 17B01; 20C07; 20C20

The Decomposition of Lie Powers

Authors: R. M. Bryant, M. Schocker

Abstract: Let G be a group, F a field of prime characteristic p and V a finite-dimensional FG-module. Let L(V) denote the free Lie algebra on V regarded as an FG-submodule of the free associative algebra (or tensor algebra) T(V). For each positive integer r, let L^r(V) and T^r(V) be the rth homogeneous components of L(V) and T(V), respectively. Here L^r(V) is called the rth Lie power of V. Our main result… ▽ More Let G be a group, F a field of prime characteristic p and V a finite-dimensional FG-module. Let L(V) denote the free Lie algebra on V regarded as an FG-submodule of the free associative algebra (or tensor algebra) T(V). For each positive integer r, let L^r(V) and T^r(V) be the rth homogeneous components of L(V) and T(V), respectively. Here L^r(V) is called the rth Lie power of V. Our main result is that there are submodules B_1, B_2, ... of L(V) such that, for all r, B_r is a direct summand of T^r(V) and, whenever m \geq 0 and k is not divisible by p, $$ L^{p^mk}(V) = L^{p^m}(B_k) \oplus L^{p^{m-1}}(B_{pk}) \oplus ... \oplus L^p(B_{p^{m-1}k}) \oplus L^1(B_{p^mk}). $$ Thus every Lie power is a direct sum of Lie powers of p-power degree. The approach builds on an analysis of T^r(V) as a bimodule for G and the Solomon descent algebra. △ Less

Submitted 16 May, 2005; originally announced May 2005.

Comments: 32 pages

MSC Class: 17B01 (Primary); 20C07; 20C20 (Secondary)