Showing 1–8 of 8 results for author: McDowell, E

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)

Spin characters of the symmetric group which are proportional to linear characters in characteristic 2

Authors: Matthew Fayers, Eoghan McDowell

Abstract: For a finite group, it is interesting to determine when two ordinary irreducible representations have the same $p$-modular reduction; that is, when two rows of the decomposition matrix in characteristic $p$ are equal, or equivalently when the corresponding $p$-modular Brauer characters are the same. We complete this task for the double covers of the symmetric group when $p=2$, by determining when… ▽ More For a finite group, it is interesting to determine when two ordinary irreducible representations have the same $p$-modular reduction; that is, when two rows of the decomposition matrix in characteristic $p$ are equal, or equivalently when the corresponding $p$-modular Brauer characters are the same. We complete this task for the double covers of the symmetric group when $p=2$, by determining when the $2$-modular reduction of an irreducible spin representation coincides with a $2$-modular Specht module. In fact, we obtain a more general result: we determine when an irreducible spin representation has $2$-modular Brauer character proportional to that of a Specht module. In the course of the proof, we use induction and restriction functors to construct a function on generalised characters which has the effect of swapping runners in abacus displays for the labelling partitions. △ Less

Submitted 3 April, 2025; v1 submitted 13 March, 2024; originally announced March 2024.

Comments: 43 pages; accepted manuscript version

MSC Class: 20C30 (primary) 20C20; 05E10 (secondary)

Journal ref: Annals of Representation Theory 2(1) 2025, pp. 37-83

Large $p$-core $p'$-partitions and walks on the additive residue graph

Authors: Eoghan McDowell

Abstract: This paper investigates partitions which have neither parts nor hook lengths divisible by $p$, referred to as $p$-core $p'$-partitions. We show that the largest $p$-core $p'$-partition corresponds to the longest walk on a graph with vertices $\{0, 1, \ldots, p-1\}$ and labelled edges defined via addition modulo $p$. We also exhibit an explicit family of large $p$-core $p'$-partitions, giving a low… ▽ More This paper investigates partitions which have neither parts nor hook lengths divisible by $p$, referred to as $p$-core $p'$-partitions. We show that the largest $p$-core $p'$-partition corresponds to the longest walk on a graph with vertices $\{0, 1, \ldots, p-1\}$ and labelled edges defined via addition modulo $p$. We also exhibit an explicit family of large $p$-core $p'$-partitions, giving a lower bound on the size of the largest such partition which is of the same degree as the upper bound found by McSpirit and Ono. △ Less

Submitted 28 November, 2022; v1 submitted 5 July, 2022; originally announced July 2022.

Comments: 12 pages, 4 figures, 2 tables (accepted manuscript version)

Characters and projective characters of alternating and symmetric groups determined by values on $l'$-classes

Authors: Eoghan McDowell

Abstract: This paper identifies all pairs of ordinary irreducible characters of the alternating group which agree on conjugacy classes of elements of order not divisible by a fixed integer $l$, for $l \neq 3$. We do the same for the double covers of the symmetric and alternating groups. The only such characters are the conjugate or associate pairs labelled by partitions with a certain parameter divisible by… ▽ More This paper identifies all pairs of ordinary irreducible characters of the alternating group which agree on conjugacy classes of elements of order not divisible by a fixed integer $l$, for $l \neq 3$. We do the same for the double covers of the symmetric and alternating groups. The only such characters are the conjugate or associate pairs labelled by partitions with a certain parameter divisible by $l$. When $l$ is prime, this implies that the rows of the $l$-modular decomposition matrix are distinct except for the rows labelled by these pairs. When $l=3$ we exhibit many additional examples of such pairs of characters. △ Less

Submitted 11 September, 2023; v1 submitted 13 May, 2022; originally announced May 2022.

Comments: 15 pages (accepted manuscript version)

MSC Class: 20C15 (Primary); 20C20; 20C30 (Secondary)

Modular plethystic isomorphisms for two-dimensional linear groups

Authors: Eoghan McDowell, Mark Wildon

Abstract: Let $E$ be the natural representation of the special linear group $\mathrm{SL}_2(K)$ over an arbitrary field $K$. We use the two dual constructions of the symmetric power when $K$ has prime characteristic to construct an explicit isomorphism $\mathrm{Sym}_m \mathrm{Sym}^\ell E \cong \mathrm{Sym}_\ell \mathrm{Sym}^m E$. This generalises Hermite reciprocity to arbitrary fields. We prove a similar ex… ▽ More Let $E$ be the natural representation of the special linear group $\mathrm{SL}_2(K)$ over an arbitrary field $K$. We use the two dual constructions of the symmetric power when $K$ has prime characteristic to construct an explicit isomorphism $\mathrm{Sym}_m \mathrm{Sym}^\ell E \cong \mathrm{Sym}_\ell \mathrm{Sym}^m E$. This generalises Hermite reciprocity to arbitrary fields. We prove a similar explicit generalisation of the classical Wronskian isomorphism, namely $\mathrm{Sym}_m \mathrm{Sym}^\ell E \cong \bigwedge^m \mathrm{Sym}^{\ell+m-1} E$. We also generalise a result first proved by King, by showing that if $\nabla^λ$ is the Schur functor for the partition $λ$ and $λ^\circ$ is the complement of $λ$ in a rectangle with $\ell+1$ rows, then $\nabla^λ\mathrm{Sym}^\ell E \cong \nabla^{λ^\circ} \mathrm{Sym}_\ell E$. To illustrate that the existence of such `plethystic isomorphisms' is far from obvious, we end by proving that the generalisation $\nabla^λ\mathrm{Sym}^\ell E \cong \nabla^{λ'} \mathrm{Sym}^{\ell + \ell(λ') - \ell(λ)}E$ of the Wronskian isomorphism, known to hold for a large class of partitions over the complex field, does not generalise to fields of prime characteristic, even after considering all possible dualities. △ Less

Submitted 14 February, 2022; v1 submitted 2 May, 2021; originally announced May 2021.

Comments: 40 pages, 1 figure, to appear in Journal of Algebra

MSC Class: 20C20; Secondary: 05E05; 05E10; 17B10; 22E46; 22E47

The image of the Specht module under the inverse Schur functor in arbitrary characteristic

Authors: Eoghan McDowell

Abstract: This paper gives a necessary and sufficient condition for the image of the Specht module under the inverse Schur functor to be isomorphic to the dual Weyl module in characteristic 2, and gives an elementary proof that this isomorphism holds in all cases in all other characteristics. These results are new in characteristics 2 and 3. We deduce some new examples of indecomposable Specht modules in ch… ▽ More This paper gives a necessary and sufficient condition for the image of the Specht module under the inverse Schur functor to be isomorphic to the dual Weyl module in characteristic 2, and gives an elementary proof that this isomorphism holds in all cases in all other characteristics. These results are new in characteristics 2 and 3. We deduce some new examples of indecomposable Specht modules in characteristic 2. When the isomorphism does not hold, the dual Weyl module is still a quotient of the image of the Specht module, and we prove some additional results: we demonstrate that the image need not have a filtration by dual Weyl modules, we bound the dimension of the kernel of the quotient map, and we give some explicit descriptions for particular cases. Our method is to view the Specht and dual Weyl modules as quotients of suitable exterior powers by the Garnir relations. △ Less

Submitted 11 September, 2023; v1 submitted 14 January, 2021; originally announced January 2021.

Comments: 29 pages, 1 figure, 3 tables (accepted manuscript version; journal information updated)

MSC Class: 20G05 (Primary); 20C30; 05E10 (Secondary)

Journal ref: Journal of Algebra 586 (2021) pp. 865--898

Flagged Schur polynomial duality via a lattice path bijection

Authors: Eoghan McDowell

Abstract: This paper proves an identity between flagged Schur polynomials, giving a duality between row flags and column flags. This identity generalises both the binomial determinant duality theorem due to Gessel and Viennot and the symmetric function duality theorem due to Aitken. As corollaries we obtain the lifts of the binomial determinant duality theorem to $q$-binomial coefficients and to symmetric p… ▽ More This paper proves an identity between flagged Schur polynomials, giving a duality between row flags and column flags. This identity generalises both the binomial determinant duality theorem due to Gessel and Viennot and the symmetric function duality theorem due to Aitken. As corollaries we obtain the lifts of the binomial determinant duality theorem to $q$-binomial coefficients and to symmetric polynomials. Our method is a path counting argument on a novel lattice generalising that used by Gessel and Viennot. △ Less

Submitted 11 September, 2023; v1 submitted 10 March, 2020; originally announced March 2020.

Comments: 16 pages, 5 figures (accepted manuscript version; journal information updated)

MSC Class: 05A10; 05A19; 05E05

Journal ref: Electronic Journal of Combinatorics 30(1) (2023) P1.5

A random walk on the indecomposable summands of tensor products of modular representations of $\mathrm{SL}_2(\mathbb{F}_p)$

Authors: Eoghan McDowell

Abstract: In this paper we introduce a novel family of Markov chains on the simple representations of $\mathrm{SL}_2(\mathbb{F}_p)$ in defining characteristic, defined by tensoring with a fixed simple module and choosing an indecomposable non-projective summand. We show these chains are reversible and find their connected components and their stationary distributions. We draw connections between the propert… ▽ More In this paper we introduce a novel family of Markov chains on the simple representations of $\mathrm{SL}_2(\mathbb{F}_p)$ in defining characteristic, defined by tensoring with a fixed simple module and choosing an indecomposable non-projective summand. We show these chains are reversible and find their connected components and their stationary distributions. We draw connections between the properties of the chain and the representation theory of $\mathrm{SL}_2(\mathbb{F}_p)$, emphasising symmetries of the tensor product. We also provide an elementary proof of the decomposition of tensor products of simple $\mathrm{SL}_2(\mathbb{F}_p)$-representations. △ Less

Submitted 12 March, 2021; v1 submitted 30 April, 2019; originally announced April 2019.

Comments: 20 pages, 5 figures; peer-reviewed version

MSC Class: 20C20 (Primary); 20C33; 60J10; 60B99 (Secondary)