Showing 1–16 of 16 results for author: Law, S

Minimal numbers of linear constituents in Sylow restrictions for symmetric groups

Authors: Bim Gustavsson, Stacey Law

Abstract: Let $p$ be any prime. We determine precisely those irreducible characters of symmetric groups which contain at most $p$ distinct linear constituents in their restriction to a Sylow $p$-subgroup, answering a question of Giannelli and Navarro. Moreover, we identify all of the linear constituents of such characters, and in the case $p = 2$ explicitly calculate a new class of Sylow branching coefficie… ▽ More Let $p$ be any prime. We determine precisely those irreducible characters of symmetric groups which contain at most $p$ distinct linear constituents in their restriction to a Sylow $p$-subgroup, answering a question of Giannelli and Navarro. Moreover, we identify all of the linear constituents of such characters, and in the case $p = 2$ explicitly calculate a new class of Sylow branching coefficients for symmetric groups indexed by so-called almost hook partitions. △ Less

Submitted 23 May, 2025; originally announced May 2025.

Degrees and prime power order zeros of characters of symmetric and alternating groups

Authors: Eugenio Giannelli, Stacey Law, Eoghan McDowell

Abstract: We show that the $p$-part of the degree of an irreducible character of a symmetric group is completely determined by the set of vanishing elements of $p$-power order. As a corollary we deduce that the set of zeros of prime power order controls the degree of such a character. The same problem is analysed for alternating groups, where we show that when $p=2$ this data can only be determined up to tw… ▽ More We show that the $p$-part of the degree of an irreducible character of a symmetric group is completely determined by the set of vanishing elements of $p$-power order. As a corollary we deduce that the set of zeros of prime power order controls the degree of such a character. The same problem is analysed for alternating groups, where we show that when $p=2$ this data can only be determined up to two possibilities. We prove analogous statements for the defect of the $p$-block containing the character and for the $p$-height of the character. △ Less

Submitted 3 April, 2025; originally announced April 2025.

Comments: 18 pages

MSC Class: 20C30 (primary) 20C15 (secondary)

On the number and sizes of double cosets of Sylow subgroups of the symmetric group

Authors: Persi Diaconis, Eugenio Giannelli, Robert M. Guralnick, Stacey Law, Gabriel Navarro, Benjamin Sambale, Hunter Spink

Abstract: Let $P_n$ be a Sylow $p$-subgroup of the symmetric group $S_n$. We investigate the number and sizes of the $P_n\setminus S_n\ /\ P_n$ double cosets, showing that most double cosets have maximal size when $p$ is odd, or equivalently, that $P_n\cap P_n^x=1$ for most $x\in S_n$ when $n$ is large. We also find that all possible sizes of such double cosets occur, modulo a list of small exceptions. Let $P_n$ be a Sylow $p$-subgroup of the symmetric group $S_n$. We investigate the number and sizes of the $P_n\setminus S_n\ /\ P_n$ double cosets, showing that most double cosets have maximal size when $p$ is odd, or equivalently, that $P_n\cap P_n^x=1$ for most $x\in S_n$ when $n$ is large. We also find that all possible sizes of such double cosets occur, modulo a list of small exceptions. △ Less

Submitted 1 April, 2025; originally announced April 2025.

The Group Cohomology of Peroidized Hypertoric Variety

Authors: Sum Kiu Law, Nok To Omega Tong

Abstract: To a graph $Γ$, one can associate a hypertoric variety $\mathcal{M}(Γ)$ and its multiplicative version $\mathcal{M}^{\mathrm{mul}}(Γ)$. It was shown in [DMS24] that the cohomology of $\mathcal{M}^{\mathrm{mul}}(Γ)$ is computed by the CKS complex, which is a finite dimensional complex attached to $Γ$. The multiplicative hypertoric variety can be realized as the quotient of a periodized hypertoric v… ▽ More To a graph $Γ$, one can associate a hypertoric variety $\mathcal{M}(Γ)$ and its multiplicative version $\mathcal{M}^{\mathrm{mul}}(Γ)$. It was shown in [DMS24] that the cohomology of $\mathcal{M}^{\mathrm{mul}}(Γ)$ is computed by the CKS complex, which is a finite dimensional complex attached to $Γ$. The multiplicative hypertoric variety can be realized as the quotient of a periodized hypertoric variety by a lattice action. In this paper, we show that the group cohomology of the lattice with coefficients in the cohomology of the prequotient is isomorphic to the cohomology of the CKS complex using a spectral sequence argument. Therefore, the group cohomology can serve as an alternative way to compute the cohomology of multiplicative hypertoric varieties. We also found graph-theoretic descriptions for the Euler characteristics of the graded pieces in a certain decomposition of $\mathrm{H}^\bullet(\mathcal{M}^{\mathrm{mul}}(Γ))$. △ Less

Submitted 7 November, 2024; originally announced November 2024.

Comments: 31 pages, 5 figures

MSC Class: 52C35; 53C26; 13F55

Sylow branching trees for symmetric groups

Authors: Eugenio Giannelli, Stacey Law

Abstract: Let $p\ge 5$ be a prime and let $P$ be a Sylow $p$-subgroup of a finite symmetric group. To every irreducible character of $P$ we associate a collection of labelled, complete $p$-ary trees. The main results of this article describe Sylow branching coefficients for symmetric groups for all irreducible characters of $P$ in terms of some combinatorial properties of these trees, extending previous wor… ▽ More Let $p\ge 5$ be a prime and let $P$ be a Sylow $p$-subgroup of a finite symmetric group. To every irreducible character of $P$ we associate a collection of labelled, complete $p$-ary trees. The main results of this article describe Sylow branching coefficients for symmetric groups for all irreducible characters of $P$ in terms of some combinatorial properties of these trees, extending previous work on the linear characters of $P$. △ Less

Submitted 3 March, 2025; v1 submitted 11 September, 2024; originally announced September 2024.

Comments: 32 pages

MSC Class: 20C15; 20C30

Some stable plethysms

Authors: Stacey Law, Yuji Okitani

Abstract: In this note, we prove some new stability results for plethysm coefficients. As special cases, we verify a conjecture of Wildon, and show the stability of sequences recently predicted by Bessenrodt, Bowman and Paget to be weakly increasing. In this note, we prove some new stability results for plethysm coefficients. As special cases, we verify a conjecture of Wildon, and show the stability of sequences recently predicted by Bessenrodt, Bowman and Paget to be weakly increasing. △ Less

Submitted 13 December, 2022; originally announced December 2022.

MSC Class: 05E05; 05E10

Positivity of Sylow branching coefficients of symmetric groups

Authors: Stacey Law

Abstract: In this article we investigate the positivity of Sylow branching coefficients for symmetric groups when $p = 3$. In particular, we complete the discussion begun by Giannelli and the author in arXiv:1712.02642 (J. Algebra) and developed in arXiv:1909.09446 (J. London Math. Soc.) concerning the case of odd primes. In this article we investigate the positivity of Sylow branching coefficients for symmetric groups when $p = 3$. In particular, we complete the discussion begun by Giannelli and the author in arXiv:1712.02642 (J. Algebra) and developed in arXiv:1909.09446 (J. London Math. Soc.) concerning the case of odd primes. △ Less

Submitted 26 January, 2023; v1 submitted 13 December, 2022; originally announced December 2022.

Comments: 46 pages, reviewer comments and corrections incorporated

MSC Class: 20C15; 20C30

On plethysms and Sylow branching coefficients

Authors: Stacey Law, Yuji Okitani

Abstract: We prove a recursive formula for plethysm coefficients of the form $a^μ_{λ,(m)}$, generalising results on plethysms due to Bruns--Conca--Varbaro and de Boeck--Paget--Wildon. From this we deduce a stability result and resolve two conjectures of de Boeck concerning plethysms, as well as obtain new results on Sylow branching coefficients for symmetric groups for the prime 2. Further, letting $P_n$ de… ▽ More We prove a recursive formula for plethysm coefficients of the form $a^μ_{λ,(m)}$, generalising results on plethysms due to Bruns--Conca--Varbaro and de Boeck--Paget--Wildon. From this we deduce a stability result and resolve two conjectures of de Boeck concerning plethysms, as well as obtain new results on Sylow branching coefficients for symmetric groups for the prime 2. Further, letting $P_n$ denote a Sylow 2-subgroup of $S_n$, we show that almost all Sylow branching coefficients of $S_n$ corresponding to the trivial character of $P_n$ are positive. △ Less

Submitted 26 August, 2022; v1 submitted 27 October, 2021; originally announced October 2021.

Comments: 35 pages, 6 figures; further explanation and detail added throughout, in particular in Section 5.1, results unchanged; typos corrected; acknowledgements updated

Torsion pairs and Ringel duality for Schur algebras

Authors: Karin Erdmann, Stacey Law

Abstract: Let $A$ be a finite-dimensional algebra over a field of characteristic $p>0$. We use a functorial approach involving torsion pairs to construct embeddings of endomorphism algebras of basic projective $A$--modules $P$ into those of the torsion submodules of $P$. As an application, we show that blocks of both the classical and quantum Schur algebras $S(2,r)$ and $S_q(2,r)$ are Morita equivalent as q… ▽ More Let $A$ be a finite-dimensional algebra over a field of characteristic $p>0$. We use a functorial approach involving torsion pairs to construct embeddings of endomorphism algebras of basic projective $A$--modules $P$ into those of the torsion submodules of $P$. As an application, we show that blocks of both the classical and quantum Schur algebras $S(2,r)$ and $S_q(2,r)$ are Morita equivalent as quasi-hereditary algebras to their Ringel duals if they contain $2p^k$ simple modules for some $k$. △ Less

Submitted 12 April, 2021; originally announced April 2021.

Sylow branching coefficients and a conjecture of Malle and Navarro

Authors: Eugenio Giannelli, Stacey Law, Jason Long, Carolina Vallejo

Abstract: We prove that a finite group $G$ has a normal Sylow $p$-subgroup $P$ if, and only if, every irreducible character of $G$ appearing in the permutation character $({\bf 1}_P)^G$ with multiplicity coprime to $p$ has degree coprime to $p$. This confirms a prediction by Malle and Navarro from 2012. Our proof of the above result depends on a reduction to simple groups and ultimately on a combinatorial a… ▽ More We prove that a finite group $G$ has a normal Sylow $p$-subgroup $P$ if, and only if, every irreducible character of $G$ appearing in the permutation character $({\bf 1}_P)^G$ with multiplicity coprime to $p$ has degree coprime to $p$. This confirms a prediction by Malle and Navarro from 2012. Our proof of the above result depends on a reduction to simple groups and ultimately on a combinatorial analysis of the properties of Sylow branching coefficients for symmetric groups. △ Less

Submitted 19 February, 2021; v1 submitted 12 February, 2021; originally announced February 2021.

Comments: 16 pages; we thank Gunter Malle for comments on a previous version

Linear characters of Sylow subgroups of symmetric groups

Authors: Eugenio Giannelli, Stacey Law, Jason Long

Abstract: Let $p$ be any prime. Let $P_n$ be a Sylow $p$-subgroup of the symmetric group $S_n$. Let $φ$ and $ψ$ be linear characters of $P_n$ and let $N$ be the normaliser of $P_n$ in $S_n$. In this article we show that the inductions of $φ$ and $ψ$ to $S_n$ are equal if, and only if, $φ$ and $ψ$ are $N$--conjugate. This is an analogue for symmetric groups of a result of Navarro for $p$-solvable groups. Let $p$ be any prime. Let $P_n$ be a Sylow $p$-subgroup of the symmetric group $S_n$. Let $φ$ and $ψ$ be linear characters of $P_n$ and let $N$ be the normaliser of $P_n$ in $S_n$. In this article we show that the inductions of $φ$ and $ψ$ to $S_n$ are equal if, and only if, $φ$ and $ψ$ are $N$--conjugate. This is an analogue for symmetric groups of a result of Navarro for $p$-solvable groups. △ Less

Submitted 24 June, 2021; v1 submitted 15 October, 2020; originally announced October 2020.

Comments: 27 pages, reviewer comments and corrections incorporated

Sylow branching coefficients for symmetric groups

Authors: Eugenio Giannelli, Stacey Law

Abstract: Let $p\ge 5$ be a prime and let $n$ be a natural number. In this article we describe the irreducible constituents of the induced characters $φ\big\uparrow^{\mathfrak{S}_n}$ for arbitrary linear characters $φ$ of a Sylow $p$-subgroup of the symmetric group $\mathfrak{S}_n$, generalising earlier results of the authors. By doing so, we introduce Sylow branching coefficients for symmetric groups. Let $p\ge 5$ be a prime and let $n$ be a natural number. In this article we describe the irreducible constituents of the induced characters $φ\big\uparrow^{\mathfrak{S}_n}$ for arbitrary linear characters $φ$ of a Sylow $p$-subgroup of the symmetric group $\mathfrak{S}_n$, generalising earlier results of the authors. By doing so, we introduce Sylow branching coefficients for symmetric groups. △ Less

Submitted 20 September, 2019; originally announced September 2019.

Comments: 31 pages

On permutation characters and Sylow $p$-subgroups of $\mathfrak{S}_n$

Authors: Eugenio Giannelli, Stacey Law

Abstract: Let $p$ be an odd prime and let $n$ be a natural number. In this article we determine the irreducible constituents of the permutation module induced by the action of the symmetric group $\mathfrak{S}_n$ on the cosets of a Sylow $p$-subgroup $P_n$. As a consequence, we determine the number of irreducible representations of the corresponding Hecke algebra $\mathcal{H}(\mathfrak{S}_n, P_n, 1_{P_n})$. Let $p$ be an odd prime and let $n$ be a natural number. In this article we determine the irreducible constituents of the permutation module induced by the action of the symmetric group $\mathfrak{S}_n$ on the cosets of a Sylow $p$-subgroup $P_n$. As a consequence, we determine the number of irreducible representations of the corresponding Hecke algebra $\mathcal{H}(\mathfrak{S}_n, P_n, 1_{P_n})$. △ Less

Submitted 7 December, 2017; originally announced December 2017.

Comments: 14 pages

MSC Class: 20C15

On the $p'$-subgraph of the Young graph

Authors: Eugenio Giannelli, Stacey Law, Stuart Martin

Abstract: Let $p$ be a prime number. In this article we study the restriction to $\mathfrak{S}_{n-1}$ of irreducible characters of degree coprime to $p$ of $\mathfrak{S}_n$. In particular, we study the combinatorial properties of the subgraph $\mathbb{Y}_{p'}$ of the Young graph $\mathbb{Y}$. This is an extension to odd primes of the work done by Ayyer, Prasad and Spallone for $p=2$. Let $p$ be a prime number. In this article we study the restriction to $\mathfrak{S}_{n-1}$ of irreducible characters of degree coprime to $p$ of $\mathfrak{S}_n$. In particular, we study the combinatorial properties of the subgraph $\mathbb{Y}_{p'}$ of the Young graph $\mathbb{Y}$. This is an extension to odd primes of the work done by Ayyer, Prasad and Spallone for $p=2$. △ Less

Submitted 2 July, 2017; originally announced July 2017.

Comments: 21 pages

MSC Class: 20C15

Combinatorial Realization of the Hopf Algebra of Sashes

Authors: Shirley Law

Abstract: A general lattice theoretic construction of Reading constructs Hopf subalgebras of the Malvenuto-Reutenauer Hopf algebra (MR) of permutations. The products and coproducts of these Hopf subalgebras are defined extrinsically in terms of the embedding in MR. The goal of this paper is to find an intrinsic combinatorial description of a particular one of these Hopf subalgebras. This Hopf algebra has a… ▽ More A general lattice theoretic construction of Reading constructs Hopf subalgebras of the Malvenuto-Reutenauer Hopf algebra (MR) of permutations. The products and coproducts of these Hopf subalgebras are defined extrinsically in terms of the embedding in MR. The goal of this paper is to find an intrinsic combinatorial description of a particular one of these Hopf subalgebras. This Hopf algebra has a natural basis given by permutations that we call Pell permutations. The Pell permutations are in bijection with combinatorial objects that we call sashes, that is, tilings of a 1 by n rectangle with three types of tiles: black 1 by 1 squares, white 1 by 1 squares, and white 1 by 2 rectangles. The bijection induces a Hopf algebra structure on sashes. We describe the product and coproduct in terms of sashes, and the natural partial order on sashes. We also describe the dual coproduct and dual product of the dual Hopf algebra of sashes. △ Less

Submitted 15 July, 2014; originally announced July 2014.

Comments: 27 pages

The Hopf algebra of diagonal rectangulations

Authors: Shirley Law, Nathan Reading

Abstract: We define and study a combinatorial Hopf algebra dRec with basis elements indexed by diagonal rectangulations of a square. This Hopf algebra provides an intrinsic combinatorial realization of the Hopf algebra tBax of twisted Baxter permutations, which previously had only been described extrinsically as a sub Hopf algebra of the Malvenuto-Reutenauer Hopf algebra of permutations. We describe the nat… ▽ More We define and study a combinatorial Hopf algebra dRec with basis elements indexed by diagonal rectangulations of a square. This Hopf algebra provides an intrinsic combinatorial realization of the Hopf algebra tBax of twisted Baxter permutations, which previously had only been described extrinsically as a sub Hopf algebra of the Malvenuto-Reutenauer Hopf algebra of permutations. We describe the natural lattice structure on diagonal rectangulations, analogous to the Tamari lattice on triangulations, and observe that diagonal rectangulations index the vertices of a polytope analogous to the associahedron. We give an explicit bijection between twisted Baxter permutations and the better-known Baxter permutations, and describe the resulting Hopf algebra structure on Baxter permutations. △ Less

Submitted 23 August, 2011; v1 submitted 9 November, 2010; originally announced November 2010.

Comments: Very minor changes from version 1, in response to comments by referees. This is the final version, to appear in JCTA. 43 pages, 17 figures

MSC Class: Primary 05E15; 16T30; Secondary 05A19; 05A05