Permutation modules play an important role in the representation theory of the symmetric group. Hartmann and Paget defined permutation modules for non-degenerate Brauer algebras. We generalise their construction to a wider class of algebras, namely cellularly stratified algebras, satisfying certain conditions. Partition algebras are shown to satisfy these conditions, provided the characteristic of the underlying field is large enough. Thus we obtain a definition of permutation modules for partition algebras.
We study the double centraliser property and the annihilators ideals of certain permutation modules for symmetric groups and their quantum analogues. In version 2 some remarks have been added on cell ideals and annihilators.
We prove the existence and main properties of signed Young modules for the symmetric group, using only basic facts about symmetric group representations and the Brou{é} correspondence. We then prove new reduction theorems for the signed $p$-Kostka numbers, defined to be the multiplicities of signed Young modules as direct summands of signed Young permutation modules. We end by classifying the indecomposable signed Young permutation modules and determining their endomorphism algebras.
We develop an approach to finding upper bounds for the number of arithmetic operations necessary for doing harmonic analysis on permutation modules of finite groups. The approach takes advantage of the intrinsic orbital structure of permutation modules, and it uses the multiplicities of irreducible submodules within individual orbital spaces to express the resulting computational bounds. We conclude by showing that these bounds are surprisingly small when dealing with certain permutation modules arising from the action of the symmetric group on tabloids.
Let $G$ be a finite $p$-group with normal subgroup $N$ of order $p$. The first author and Zalesskii have previously given a characterization of permutation modules for $\mathbb{Z}_pG$ in terms of modules for $G/N$, but the necessity of their conditions was not known. We apply a correspondence due to Butler to demonstrate the necessity of the conditions, by exhibiting highly non-trivial counterexamples to the claim that if both the $N$-invariants and the $N$-coinvariants of a given lattice $U$ are permutation modules, then so is $U$.
Applying Robert Boltje's theory of canonical induction, we give a restriction-preserving formula expressing any $p$-permutation module as a $\mathbb{Z}[1/p]$-linear combination of modules induced and inflated from projective modules associated with subquotient groups. The underlying constructions include, for any given finite group, a ring with a $\mathbb{Z}$-basis indexed by conjugacy classes of triples $(U, K, E)$ where $U$ is a subgroup, $K$ is a $p'$-residue-free normal subgroup of $U$ and $E$ is an indecomposable projective module of the group algebra of $U/K$.
Let ${\bf G}$ be a connected reductive group defined over $\mathbb{F}_q$, the finite field with $q$ elements. Let ${\bf B}$ be an Borel subgroup defined over $\mathbb{F}_q$. In this paper, we completely determine the composition factors of the induced module $\mathbb{M}(\op{tr})=\Bbbk{\bf G}\otimes_{\Bbbk{\bf B}}\op{tr}$ ($\op{tr}$ is the trivial ${\bf B}$-module) for any field $\Bbbk$.
Given $r \in \mathbf{N},$ let $λ$ be a partition of $r$ with at most two parts. Let $\mathbf{F}$ be a field of characteristic 3. Write $M^λ$ for the $\mathbf{F}S_r$-permutation module corresponding to the action of the symmetric group $S_r$ on the cosets of the maximal Young subgroup $S_λ.$ We construct a full set of central primitive idempotents in $\text{End}_{\mathbf{F} S_r}(M^λ)$ in this case. We also determine the Young module corresponding to each primitive idempotent that we construct.
We construct a class $Θ_{\mathscr{R}}$ of homomorphisms from a Specht module $S_{\mathbb{Z}}^λ$ to a signed permutation module $M_{\mathbb{Z}}(α|β)$ which generalises James's construction of homomorphisms whose codomain is a Young permutation module. We show that any $ϕ\in \operatorname{Hom}_{\mathbb{Z}\mathfrak{S}_{n}}\big(S_{\mathbb{Z}}^λ, M_{\mathbb{Z}}(α|β)\big)$ lies in the $\mathbb{Q}$-span of $Θ_{\text{sstd}}$, a subset of $Θ_{\mathscr{R}}$ corresponding to semistandard $λ$-tableaux of type $(α|β)$. We also study the conditions for which $Θ^{\mathbb{F}}_{\mathrm{sstd}}$ - a subset of $\…
Let $n$ be a positive integer and $λ$ be a partition of $n$. Let $M^λ$ be the Young permutation module labelled by $λ$. In this paper, we study symmetric and exterior powers of $M^λ$ in positive characteristic case. We determine the symmetric and exterior powers of $M^λ$ that are projective. All the indecomposable exterior powers of $M^λ$ are also classified. We then prove some results for indecomposable direct summands that have the largest complexity in direct sum decompositions of some symmetric and exterior powers of $M^λ$. We end by parameterizing all the Scott modules that are isomorphic…
We investigate finite non-Abelian simple groups $G$ for which the projective cover of the trivial module coincides with the permutation module on a subgroup and classify all cases unless $G$ is of Lie type in defining characteristic.
Let ${\bf G}$ be a connected reductive group over $\bar{\mathbb{F}}_q$, the algebraically closure of $\mathbb{F}_q$ (the finite field with $q=p^e$ elements), with the standard Frobenius map $F$. Let ${\bf B}$ be an $F$-stable Borel subgroup. Let $\Bbbk$ be a field of characteristic $r\neq p$. In this paper, we completely determine the composition factors of the induced module $Ind_{B}^{G}{tr}=\Bbbk{G}\otimes_{\Bbbk{\bf B}}$ tr (here $\Bbbk{H}$ is the group algebra of the group ${H}$, and tr is the trivial $B$-module). In particular, we find a new family of infinite dimensional irreducible abst…
置换模是对称群$\Sym_n$及其对应的Iwahori-Hecke代数$\He = \He(\Sym_n)$的表示论的基础。我们找到了置换模的零化子在“积分”情形下的一个显式组合基--表明它是G. E. $\He$的Murphy细胞结构。只要$\He$是半单的,同样的结果也成立,但在非半单的情况下可能失败。
In a recent paper, Dave Benson and Peter Symonds defined a new invariant $γ_G(M)$ for a finite dimensional module $M$ of a finite group $G$ which attempts to quantify how close a module is to being projective. In this paper, we determine this invariant for permutation modules of the symmetric group corresponding to two-part partitions using tools from representation theory and combinatorics.
The signed permutation modules are a simultaneous generalization of the ordinary permutation modules and the twisted permutation modules of the symmetric group. In a recent paper Dave Benson and Peter Symonds defined a new invariant $γ_G(M)$ for a finite dimensional module $M$ of a finite group $G$ which attempts to quantify how close a module is to being projective. In this paper, we determine this invariant for all the signed permutation modules of the symmetric group using tools from representation theory and combinatorics.
Deligne's category $\underline{\rm Rep}(S_t)$ is a tensor category depending on a parameter $t$ "interpolating" the categories of representations of the symmetric groups $S_n$. We construct a family of categories $\mathcal{C}_λ$ (depending on a vector of variables $λ= (λ_1, λ_2, \ldots, λ_l)$, that may be specialised to values in the ground ring) which are module categories over $\underline{\rm Rep}(S_t)$. The categories $\mathcal{C}_λ$ are defined over any ring and are constructed by interpolating permutation representations. Further, they admit specialisation functors to $S_n$-mod which are …
Let $k$ be a field of characteristic $p > 0$. For $G$ an elementary abelian $p$-group, there exist collections of permutation module such that if $C^*$ is any exact bounded complex whose terms are sums of copies of modules from the collection, then $C^*$ is contractible. A consequence is that if $G$ is any finite group whose Sylow $p$-subgroups are not cyclic or quaternion, and if $C^*$ is a bounded exact complex such that each $C^i$ is direct sum of one dimensional modules and projective modules, then $C^*$ is contractible.
We show that bigrassmannian permutations determine the socle of the cokernel of an inclusion of Verma modules in type $A$. All such socular constituents turn out to be indexed by Weyl group elements from the penultimate two-sided cell. Combinatorially, the socular constituents in the cokernel of the inclusion of a Verma module indexed by $w\in S_n$ into the dominant Verma module are shown to be determined by the essential set of $w$ and their degrees in the graded picture are shown to be computable in terms of the associated rank function. As an application, we compute the first extension from…
One of the most beautiful results in the integral representation theory of finite groups is a theorem of A. Weiss that detects a permutation $R$-lattice for the finite $p$-group $G$ in terms of the restriction to a normal subgroup $N$ and the $N$-fixed points of the lattice, where $R$ is a finite extension of the $p$-adic integers. Using techniques from relative homological algebra, we generalize Weiss' Theorem to the class of infinitely generated pseudocompact lattices for a finite $p$-group, allowing $R$ to be any complete discrete valuation ring in mixed characteristic. A related theorem of…
Consider a discrete valuation ring $R$ whose residue field is finite of cardinality at least $3$. For a finite torsion module, we consider transitive subsets $O$ under the action of the automorphism group of the module. We prove that the associated permutation representation on the complex vector space $C[O]$ is multiplicity free. This is achieved by obtaining a complete description of the transitive subsets of $O\times O$ under the diagonal action of the automorphism group.
We consider a certain quotient of a polynomial ring categorified by both the isomorphic Green rings of the symmetric groups and Schur algebras generated by the signed Young permutation modules and mixed powers respectively. They have bases parametrised by pairs of partitions whose second partitions are multiples of the odd prime $p$ the characteristic of the underlying field. We provide an explicit formula rewriting a signed Young permutation module (respectively, mixed power) in terms of signed Young permutation modules (respectively, mixed powers) labelled by those pairs of partitions. As a …
We show that the signed $p$-Kostka numbers depend just on $p$-Kostka numbers and the multiplicities of projective indecomposable modules in certain signed Young permutation modules. We then examine the signed $p$-Kostka number $k_{(α|β),(λ|pμ)}$ in the case when $|β|=p|μ|$. This allows us to explicitly describe the multiplicities of direct summands of a signed Young permutation module lying in the principal block of $F\mathfrak{S}_{mp}$ in terms of the $p$-Kostka numbers.
We construct a resolution of irreducible complex representations of the symmetric group $S_n$ by restrictions of representations of $GL_n(\mathbb{C})$ (where $S_n$ is the subgroup of permutation matrices). This categorifies a recent result of Assaf and Speyer. Our construction also gives minimal resolutions of simple $\mathcal{F}$-modules (here $\mathcal{F}$ is the category of finite sets).
We prove that the grades of simple modules indexed by boolean permutations, over the incidence algebra of the symmetric group with respect to the Bruhat order, are given by Lusztig's a-function. Our arguments are combinatorial, and include a description of the intersection of two principal order ideals when at least one permutation is boolean. An important object in our work is a reduced word written as minimally many runs of consecutive integers, and one step of our argument shows that this minimal quantity is equal to the length of the second row in the permutation's shape under the Robinson…