Related papers: Prime power variations of higher $Lie_n$ modules
We define, for each subset $S$ of primes, an $S_n$-module $Lie_n^S$ with interesting properties. When $S=\emptyset,$ this is the well-known representation $Lie_n$ of $S_n$ afforded by the free Lie algebra. The most intriguing case is…
We introduce a variant of the much-studied $Lie$ representation of the symmetric group $S_n$, which we denote by $Lie_n^{(2)}.$ Our variant gives rise to a decomposition of the regular representation as a sum of {exterior} powers of modules…
We establish, for the character table of the symmetric group, the positivity of the row sums indexed by irreducible characters, when restricted to various subsets of the conjugacy classes. A notable example is that of partitions with all…
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…
The complexity of a module is an important homological invariant that measures the polynomial rate of growth of its minimal projective resolution. For the symmetric group $\Sigma_n$, the Lie module $\mathsf{Lie}(n)$ has attracted a great…
Let $V$ be an $r$-dimensional vector space over an infinite field $F$ of prime characteristic $p$, and let $L_n(V)$ denote the $n$-th homogeneous component of the free Lie algebra on $V$. We study the structure of $L_n(V)$ as a module for…
The Lie module of the group algebra $FS_n$ of the symmetric group is known to be not projective if and only if the characteristic $p$ of $F$ divides $n$. We show that in this case its non-projective summands belong to the principal block of…
We investigate the homology representation of the symmetric group on rank-selected subposets of subword order. We show that the homology module for words of bounded length, over an alphabet of size $n,$ decomposes into a sum of tensor…
Let ${\mathcal F}_\lambda(\mathbb{S}^n)$ be the space of tensor densities on $\mathbb{S}^n$ of degree $\lambda$. We consider this space as an induced module of the nonunitary spherical series of the group $\mathrm{SO}_0(n+1,1)$ and classify…
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…
The Frobenius characteristic of $Lie_n,$ the representation of the symmetric group $S_n$ afforded by the multilinear component of the free Lie algebra, is known to satisfy many interesting plethystic identities. In this paper we prove a…
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…
We study the representation theory of the symmetric group $S_n$ in positive characteristic $p$. Using features of the LLT-algorithm we give a conjectural description of the projective cover $P(\lambda)$ of the simple module $D(\lambda)$…
For the general linear group $GL_n(k)$ over an algebraically closed field $k$ of characteristic $p$, there are two types of "twisting" operations that arise naturally on partitions. These are of the form $\lambda \rightarrow p\lambda$ and…
Schur modules give the irreducible polynomial representations of the general linear group $\mathrm{GL}_t$. Viewing the symmetric group $\mathfrak{S}_t$ as a subgroup of $\mathrm{GL}_t$, we may restrict Schur modules to $\mathfrak{S}_t$ and…
We reformulate the persistent (co)homology of simplicial filtrations, viewed from a more algebraic setting, namely as the (co)homology of a chain complex of graded modules over polynomial ring $K[t]$. We also define persistent (co)homology…
Let R_n be the ring of coinvariants for the diagonal action of the symmetric group S_n. It is known that the character of R_n as a doubly-graded S_n module can be expressed using the Frobenius characteristic map as \nabla e_n, where e_n is…
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…
Suppose that for each n >= 0 we have a representation $M_n$ of the symmetric group S_n. Such sequences arise in a wide variety of contexts, and often exhibit uniformity in some way. We prove a number of general results along these lines in…
An irreducible representation of a reductive Lie algebra, when restricted to a Cartan subalgebra, decomposes into weights with multiplicity. The first part of this paper outlines a procedure to compute symmetric polynomials (e.g., power…