Source author record

Matthew Fayers

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RT math.CO math.QA

Catalog footprint

Research overview

18works

3topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Comparing Fock spaces in types $A^{(1)}$ and $A^{(2)}$

We compare the canonical bases of level- $1$ quantised Fock spaces in affine types $A^{(1)}$ and $A^{(2)}$ , showing how to derive the canonical basis in type $A^{(2)}_{2n}$ from the the canonical basis in type $A^{(1)}_n$ in certain weight spaces. In particular, we derive an explicit formula for the canonical basis in extremal weight spaces, which correspond to RoCK blocks of double covers of symmetric groups. In a forthcoming paper with Kleshchev and Morotti we will use this formula to find the decomposition numbers for RoCK blocks of double covers with abelian defect.

preprint2020arXiv

2-chains: an interesting family of posets

We introduce a new family of finite posets which we call 2-chains. These first arose in the study of 0-Hecke algebras, but they admit a variety of different characterisations. We give these characterisations, prove that they are equivalent and derive some numerical results concerning 2-chains.

preprint2020arXiv

Irreducible projective representations of the alternating group which remain irreducible in characteristic 2

For any finite group G it is an interesting question to ask which ordinary irreducible representations of G remain irreducible in a given characteristic p. We answer this question for p=2 when G is the proper double cover of the alternating group. As a key ingredient in the proof, we prove a formula for the decomposition numbers in Rouquier blocks of double covers of symmetric groups, in terms of Schur P-functions.

preprint2015arXiv

Dyck tilings and the homogeneous Garnir relations for graded Specht modules

Suppose $λ$ and $μ$ are integer partitions with $λ\supseteqμ$ . Kenyon and Wilson have introduced the notion of a cover-inclusive Dyck tiling of the skew Young diagram $λ\setminusμ$ , which has applications in the study of double-dimer models. We examine these tilings in more detail, giving various equivalent conditions and then proving a recurrence which we use to show that the entries of the transition matrix between two bases for a certain permutation module for the symmetric group are given by counting cover-inclusive Dyck tilings. We go on to consider the inverse of this matrix, showing that its entries are determined by what we call cover-expansive Dyck tilings. The fact that these two matrices are mutual inverses allows us to recover the main result of Kenyon and Wilson. We then discuss the connections with recent results of Kim et al, who give, a simple expression for the sum, over all $μ$ , of the number of cover-inclusive Dyck tilings of $λ\setminusμ$ . Our results provide a new proof of this result. Finally, we show how to use our results to obtain simpler expressions for the homogeneous Garnir relations for the universal Specht modules introduced by Kleshchev, Mathas and Ram for the cyclotomic quiver Hecke algebras.

preprint2014arXiv

A generalisation of core partitions

Suppose $s$ and $t$ are coprime natural numbers. A theorem of Olsson says that the $t$ -core of an $s$ -core partition is again an $s$ -core. We generalise this theorem, showing that the $s$ -weight of the $t$ -core of a partition $λ$ is at most the $s$ -weight of $λ$ . Then we consider the set $\mathcal C_{s:t}$ of partitions for which equality holds, which we call $[s{:}t]$ -cores; this set has interesting structure, and we expect that it will be the subject of future study. We show that the set of $[s{:}t]$ -cores is a union of finitely many orbits for an action of a Coxeter group of type $\tilde A_{s-1}\times\tilde A_{t-1}$ on the set of partitions. We also consider the problem of constructing an $[s{:}t]$ -core with specified $s$ -core and $t$ -core.

preprint2014arXiv

Generalised column removal for graded homomorphisms between Specht modules

Let $n$ be a positive integer, and let $\mathscr{H}_n$ denote the affine KLR algebra in type A. Kleshchev, Mathas and Ram have given a homogeneous presentation for graded column Specht modules $\operatorname{S}_λ$ for $\mathscr{H}_n$ . Given two multipartitions $λ$ and $μ$ , we define the notion of a \emph{dominated} homomorphism $\operatorname{S}_λ\to\operatorname{S}_μ$ , and use the KMR presentation to prove a generalised column removal theorem for graded dominated homomorphisms between Specht modules. In the process, we prove some useful properties of $\mathscr{H}_n$ -homomorphisms between Specht modules which lead to an immediate corollary that, subject to a few demonstrably necessary conditions, every homomorphism $\operatorname{S}_λ\to\operatorname{S}_μ$ is dominated, and in particular $\operatorname{Hom}_{\mathscr{H}_n}(\operatorname{S}_λ,\operatorname{S}_μ)=0$ unless $λ$ dominates $μ$ . Brundan and Kleshchev show that certain cyclotomic quotients of $\mathscr{H}_n$ are isomorphic to (degenerate) cyclotomic Hecke algebras of type A. Via this isomorphism, our results can be seen as a broad generalisation of the column removal results of Fayers and Lyle and of Lyle and Mathas; generalising both into arbitrary level and into the graded setting.

preprint2014arXiv

The irreducible representations of the alternating group which remain irreducible in characteristic p

Let p be an odd prime, and A_n the alternating group of degree n. We determine which ordinary irreducible representations of A_n remain irreducible in characteristic p, verifying the author's conjecture from [Represent. Theory 14, 601-626]. Given the preparatory work done in [op. cit.], our task is to determine which self-conjugate partitions label Specht modules for the symmetric group in characteristic p having exactly two composition factors. This is accomplished through the use of the Robinson-Brundan-Kleshchev 'i-restriction' functors, together with known results on decomposition numbers for the symmetric group and additional results on the Mullineux map and homomorphisms between Specht modules.

preprint2013arXiv

Some new decomposable Specht modules

We present (with proof) a new family of decomposable Specht modules for the symmetric group in characteristic 2. These Specht modules are labelled by partitions of the form $(a,3,1^b)$ , and are the first new examples found for thirty years. Our method of proof is to exhibit summands isomorphic to irreducible Specht modules, by constructing explicit homomorphisms between Specht modules.

preprint2012arXiv

An algorithm for semistandardising homomorphisms

Suppose $μ$ is a partition of $n$ and $λ$ a composition of $n$ , and let $S^μ$ , $M^λ$ denote the Specht module and permutation module defined by Dipper and James for the Iwahori--Hecke algebra $\mathscr{H}_n$ of the symmetric group $\mathfrak{S}_n$ . We give an explicit fast algorithm for expressing a tableau homomorphism $\hatϕ_A:S^μ\to M^λ$ as a linear combination of semistandard homomorphisms. Along the way we provide a utility result related to removing rows from tableaux.

preprint2011arXiv

Irreducible Specht modules for Iwahori-Hecke algebras of type B

We consider the problem of classifying irreducible Specht modules for the Iwahori-Hecke algebra of type B with parameters Q,q. We solve this problem completely in the case where q is not a root of unity, and in the case q=-1 we reduce the problem to the corresponding problem in type A.

preprint2011arXiv

The reducible Specht modules for the Hecke algebra $\mathcal{H}_{\mathbb{C},-1}(\mathfrak{S}_n)$

The reducible Specht modules for the Hecke algebra $\mathcal{H}_{\mathbb{F},q}(\mathfrak{S}_n)$ have been classified except when $q=-1$ . We prove one half of a conjecture which we believe classifies the reducible Specht modules when $q=-1$ and $\mathbb{F}$ has characteristic 0.

preprint2011arXiv

The t-core of an s-core

We consider the $t$ -core of an $s$ -core partition, when $s$ and $t$ are coprime positive integers. Olsson has shown that the $t$ -core of an $s$ -core is again an $s$ -core, and we examine certain actions of the affine symmetric group on $s$ -cores which preserve the $t$ -core of an $s$ -core. Along the way, we give a new proof of Olsson's result. We also give a new proof of a result of Vandehey, showing that there is a simultaneous $s$ - and $t$ -core which contains all others.

preprint2010arXiv

An LLT-type algorithm for computing higher-level canonical bases

We give a fast algorithm for computing the canonical basis of an irreducible highest-weight module for $U_q(\hat{\mathfrak{sl}}_e)$ , generalising the LLT algorithm.

preprint2010arXiv

On the irreducible Specht modules for Iwahori--Hecke algebras of type A with $q=-1$

Let $p$ be a prime and $\mathbb{F}$ a field of characteristic $p$ , and let $\mathcal{H}_n$ denote the Iwahori--Hecke algebra of the symmetric group $\mathfrak{S}_n$ over $\mathbb{F}$ at $q=-1$ . We prove that there are only finitely many partitions $λ$ such that both $λ$ and $λ'$ are 2-singular and the Specht module $S^λ$ for $\mathcal{H}_{|\la|}$ is irreducible.

preprint2010arXiv

Partition models for the crystal of the basic $U_q(\hat{\mathfrak{sl}}_n)$ -module

For each $n\geqslant3$ , we construct an uncountable family of models of the crystal of the basic $U_q(\hat{\mathfrak{sl}}_n)$ -module. These models are all based on partitions, and include the usual $n$ -regular and $n$ -restricted models, as well as Berg's ladder crystal, as special cases.

preprint2009arXiv

General runner removal and the Mullineux map

We prove a new `runner removal theorem' for $q$ -decomposition numbers of the level 1 Fock space of type $A^{(1)}_{e-1}$ , generalising earlier theorems of James--Mathas and the author. By combining this with another theorem relating to the Mullineux map, we show that the problem of finding all $q$ -decomposition numbers indexed by partitions of a given weight is a finite computation.

preprint2008arXiv

Regularisation and the Mullineux map

We classify the pairs of conjugate partitions whose regularisations are images of each other under the Mullineux map. This classification proves a conjecture of Lyle, answering a question of Bessenrodt, Olsson and Xu.

preprint2008arXiv

Some reducible Specht modules for Iwahori--Hecke algebras of type $A$ with $q=-1$

The reducibility of the Specht modules for the Iwahori--Hecke algebras in type $A$ is still open in the case where the defining parameter $q$ equals -1. We prove the reducibility of a large class of Specht modules for these algebras.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Matthew Fayers

Research overview

Is this your work?

18 publications

Comparing Fock spaces in types $A^{(1)}$ and $A^{(2)}$

2-chains: an interesting family of posets

Irreducible projective representations of the alternating group which remain irreducible in characteristic 2

Dyck tilings and the homogeneous Garnir relations for graded Specht modules

A generalisation of core partitions

Generalised column removal for graded homomorphisms between Specht modules

The irreducible representations of the alternating group which remain irreducible in characteristic p

Some new decomposable Specht modules

An algorithm for semistandardising homomorphisms

Irreducible Specht modules for Iwahori-Hecke algebras of type B

The reducible Specht modules for the Hecke algebra $\mathcal{H}_{\mathbb{C},-1}(\mathfrak{S}_n)$

The t-core of an s-core

An LLT-type algorithm for computing higher-level canonical bases

On the irreducible Specht modules for Iwahori--Hecke algebras of type A with $q=-1$

Partition models for the crystal of the basic $U_q(\hat{\mathfrak{sl}}_n)$ -module

General runner removal and the Mullineux map

Regularisation and the Mullineux map

Some reducible Specht modules for Iwahori--Hecke algebras of type $A$ with $q=-1$

See the researcher in context

Building this map preview

Matthew Fayers

Research overview

Is this your work?

18 publications

Comparing Fock spaces in types A(1)A^{(1)}A(1) and A(2)A^{(2)}A(2)

2-chains: an interesting family of posets

Irreducible projective representations of the alternating group which remain irreducible in characteristic 2

Dyck tilings and the homogeneous Garnir relations for graded Specht modules

A generalisation of core partitions

Generalised column removal for graded homomorphisms between Specht modules

The irreducible representations of the alternating group which remain irreducible in characteristic p

Some new decomposable Specht modules

An algorithm for semistandardising homomorphisms

Irreducible Specht modules for Iwahori-Hecke algebras of type B

The reducible Specht modules for the Hecke algebra HC,−1(Sn)\mathcal{H}_{\mathbb{C},-1}(\mathfrak{S}_n)HC,−1​(Sn​)

The t-core of an s-core

An LLT-type algorithm for computing higher-level canonical bases

On the irreducible Specht modules for Iwahori--Hecke algebras of type A with q=−1q=-1q=−1

Partition models for the crystal of the basic Uq(sl^n)U_q(\hat{\mathfrak{sl}}_n)Uq​(sl^n​)-module

General runner removal and the Mullineux map

Regularisation and the Mullineux map

Some reducible Specht modules for Iwahori--Hecke algebras of type AAA with q=−1q=-1q=−1

See the researcher in context

Building this map preview

Comparing Fock spaces in types $A^{(1)}$ and $A^{(2)}$

The reducible Specht modules for the Hecke algebra $\mathcal{H}_{\mathbb{C},-1}(\mathfrak{S}_n)$

On the irreducible Specht modules for Iwahori--Hecke algebras of type A with $q=-1$

Partition models for the crystal of the basic $U_q(\hat{\mathfrak{sl}}_n)$ -module

Some reducible Specht modules for Iwahori--Hecke algebras of type $A$ with $q=-1$