Permutation resolutions for Specht modules

For every composition λ of a positive integer r, we construct a finite chain complex whose terms are direct sums of permutation modules M ^μ for the symmetric group \(\mathfrak{S}_{r}\) with Young subgroup stabilizers \(\mathfrak{S}_{\mu}\). The construction is combinatorial and can be carried out over every commutative base ring k. We conjecture that for every partition λ the chain complex has homology concentrated in one degree (at the end of the complex) and that it is isomorphic to the dual of the Specht module S ^λ . We prove the exactness in special cases.     

Reducible Specht modules

James and Mathas conjecture a criterion for the Specht module S^λ for the symmetric group to be irreducible over a field of prime characteristic. We extend a result of Lyle to prove this conjecture in one direction; our techniques are elementary.     

Specht modules and chromatic polynomials

An explicit formula for the chromatic polynomials of certain families of graphs, called bracelets', is obtained. The terms correspond to irreducible representations of symmetric groups. The theory is developed using the standard bases for the Specht modules of representation theory, and leads to an effective means of calculation.     

Homomorphisms between Specht modules

In positive characteristic, the Specht modules S corresponding to partitions are not necessarily irreducible, and understanding their structure is vital to understanding the representation theory of the symmetric group. In this paper, we address the related problem of finding the spaces of homomorphisms between Specht modules. Indeed in [2], Carter and Payne showed that the space of homomorphisms from S to S is non-zero for certain pairs of partitions and where the Young diagram for is obtained from that for by moving several nodes from one row to another. We also consider partitions of this type, and, by explicitly examining certain combinations of semi-standard homomorphisms, we are able to give a constructive proof of the Carter–Payne theorem and to generalise it.Mathematics Subject Classification (2000): 20C30     

Specht modules with abelian vertices

In this article, we consider indecomposable Specht modules with abelian vertices. We show that the corresponding partitions are necessarily p ²-cores where p is the characteristic of the underlying field. Furthermore, in the case of p≥3, or p=2 and μ is 2-regular, we show that the complexity of the Specht module S ^μ is precisely the p-weight of the partition μ. In the latter case, we classify Specht modules with abelian vertices. For some applications of the above results, we extend a result of M. Wildon and compute the vertices of the Specht module S^(pp)S^{(p^{p})} for p≥3.     

A simplified presentation of Specht modules

Fulton and Kraskiewicz gave a presentation of Specht modules as a quotient of the space of column tabloids by dual Garnir relations. We simplify this presentation by showing that it can be generated by a single relation for each pair of columns of a tableau with ordered columns, thereby significantly reducing the number of generators given in the original construction. Our presentation applies to all Specht modules, and is of a similar nature to a recent result by Friedmann-Hanlon-Stanley-Wachs that applies to staircase partitions. We show that our presentation implies the Friedmann-Hanlon-Stanley-Wachs presentation.     

A categorification of integral Specht modules

We suggest a simple definition for categorification of modules over rings and illustrate it by categorifying integral Specht modules over the symmetric group and its Hecke algebra via the action of translation functors on some subcategories of category for the Lie algebra .

     

Restricting Specht modules of cyclotomic Hecke algebras

This paper proves that the restriction of a Specht module for a (degenerate or non-degenerate) cyclotomic Hecke algebra, or KLR (Khovanov-Lauda-Rouquier) algebra, of type A has a Specht filtration.     

Weyl modules and q-Whittaker functions

Let $G$ be a semi-simple simply connected group over $\mathbb {C}$ . Following Gerasimov et al. (Comm Math Phys 294:97–119, 2010) we use the $q$ -Toda integrable system obtained by quantum group version of the Kostant–Whittaker reduction (cf. Etingof in Am Math Soc Trans Ser 2:9–25, 1999, Sevostyanov in Commun Math Phys 204:1–16, 1999) to define the notion of $q$ -Whittaker functions $\varPsi _{\check{\lambda }}(q,z)$ . This is a family of invariant polynomials on the maximal torus $T\subset G$ (here $z\in T$ ) depending on a dominant weight $\check{\lambda }$ of $G$ whose coefficients are rational functions in a variable $q\in \mathbb {C}^*$ . For a conjecturally the same (but a priori different) definition of the $q$ -Toda system these functions were studied by Ion (Duke Math J 116:1–16, 2003) and by Cherednik (Int Math Res Notices 20:3793–3842, 2009) [we shall denote the $q$ -Whittaker functions from Cherednik (Int Math Res Notices 20:3793–3842, 2009) by $\varPsi '_{\check{\lambda }}(q,z)$ ]. For $G=SL(N)$ these functions were extensively studied in Gerasimov et al. (Comm Math Phys 294:97–119, 2010; Comm Math Phys 294:121–143, 2010; Lett Math Phys 97:1–24, 2011). We show that when $G$ is simply laced, the function $\hat{\varPsi }_{\check{\lambda }}(q,z)=\varPsi _{\check{\lambda }}(q,z)\cdot {\prod \nolimits _{i\in I}\prod \nolimits _{r=1}^{\langle \alpha _i,\check{\uplambda }\rangle }(1-q^r)}$ (here $I$ denotes the set of vertices of the Dynkin diagram of $G$ ) is equal to the character of a certain finite-dimensional $G[[{\mathsf {t}}]]\rtimes \mathbb {C}^*$ -module $D(\check{\lambda })$ (the Demazure module). When $G$ is not simply laced a twisted version of the above statement holds. This result is known for $\varPsi _{\check{\lambda }}$ replaced by $\varPsi '_{\check{\lambda }}$ (cf. Sanderson in J Algebraic Combin 11:269–275, 2000 and Ion in Duke Math J 116:1–16, 2003); however our proofs are algebro-geometric [and rely on our previous work (Braverman, Finkelberg in Semi-infinite Schubert varieties and quantum $K$ -theory of flag manifolds, arXiv/1111.2266, 2011)] and thus they are completely different from Sanderson (J Algebraic Combin 11:269–275, 2000) and Ion (Duke Math J 116:1–16, 2003) [in particular, we give an apparently new algebro-geometric interpretation of the modules $D(\check{\lambda })]$ .     

Two theorems on the vertices of Specht modules

Two theorems about the vertices of indecomposable Specht modules for the symmetric group, defined over a field of prime characteristic p, are proved: 1. The indecomposable Specht module $S^\lambda$ has non-trivial cyclic vertex if and only if $\lambda$ has p-weight 1. 2. If p does not divide n and $S^{(n-r, 1^r)}$ is indecomposable then its vertex is a p-Sylow subgroup of $S_{n-r-1} \times S_r$.Received: 15 August 2002     

Vertices of Specht modules and blocks of the symmetric group

This paper studies the vertices, in the sense defined by J.A. Green, of Specht modules for symmetric groups. The main theorem gives, for each indecomposable non-projective Specht module, a large subgroup contained in one of its vertices. A corollary of this theorem is a new way to determine the defect groups of symmetric groups. The main theorem is also used to find the Green correspondents of a particular family of simple Specht modules; as a corollary, this gives a new proof of the Brauer correspondence for blocks of the symmetric group. The proof of the main theorem uses the Brauer homomorphism on modules, as developed by M. Broué, together with combinatorial arguments using Young tableaux.     

Row and Column Removal Theorems for Homomorphisms of Specht Modules and Weyl Modules

We prove a q-analogue of the row and column removal theorems for homomorphisms between Specht modules proved by Fayers and the first author [16]. These results can be considered as complements to James and Donkin’s row and column removal theorems for decomposition numbers of the symmetric and general linear groups. In this paper we consider homomorphisms between the Specht modules of the Hecke algebras of type A and between the Weyl modules of the q-Schur algebra.This research was supported by ARC grant DP0343023. The first author was also supported by a Sesqui Research Fellowship at the University of Sydney.     

Extensions of modules over Weyl algebras

In this paper we calculate some groups of singular modules over the complex Weyl algebra . In particular we determine conditions under which is an infinite dimensional vector space when or .