[Paper Review] A two-box-shift morphism between Specht modules

Matthias Kuenzer|ArXiv.org|Mar 14, 2000

Advanced Combinatorial Mathematics3 references4 citations

TL;DR

This paper constructs a $ Z$-linear morphism of order $m$ between Specht modules over $ Z/(m)$, where $m$ is the box shift length (or half of it under specific combinatorial conditions) when two boxes are shifted downward from the bottom of a column in a partition. The morphism realizes an extension of order $m$ in $ Ext^1$, recovering and refining results of Carter and Payne on modular representations of symmetric groups.

ABSTRACT

Let n geq 1, let lambda be a partition of n, let mu be a partition arising from lambda by a downwards shift of two boxes situated at the bottom of a column. We give a formula for a ZS_n-linear morphism of order m between the corresponding Specht modules over Z/(m), where m is the box shift length (divided by two in certain combinatorially specified cases). Reformulated, this yields an extension of the corresponding Specht modules over Z of order m in Ext^1.

Motivation & Objective

• To construct a $ Z{ extstyle{rak S}}_n$-linear morphism between Specht modules over $ Z/(m)$ for a specific shift of two boxes in a Young diagram.
• To determine the precise order $m$ of the morphism, which depends on the box shift length and combinatorial conditions on the partition's shape.
• To realize this morphism as an element of $ Ext^1_{ Z{ extstyle{rak S}}_n}(S^ u, S^ u)$, thereby constructing a non-split extension of Specht modules over $ Z$ of order $m$.
• To generalize previous results on one-box shifts to the two-box shift case, particularly extending Carter and Payne's modular representation theory results.

Proposed method

• The morphism is defined by selecting $d=2$ entries from column $g+1$ of a $ u$-polytabloid and shifting them to the bottom of column $g$, mapping the original to an alternating sum over all such shifted configurations.
• The construction relies on one-step Garnir relations, with the modulus $m$ derived from the interplay between the box shift length $m_0$ and the $p$-adic valuation of $m_0$.
• The modulus $m$ is set to $m_0$ if $m_0$ is odd, or $m_0/2$ if $m_0$ is even and certain shape conditions on the partition near column $g$ are satisfied.
• The proof involves a case analysis of $9^2 = 81$ subcases arising from the structure of Garnir relations and the two-box shift, using explicit combinatorial identities and sign calculations.
• The morphism is shown to be well-defined and of order $m$ via verification of its image under multiplication by $m$ being zero, and its non-triviality is established through sign and permutation calculations.
• The connection to $ Ext^1$ is established via the isomorphism $ Hom_{( Z/(m)){ extstyle{rak S}}_n}(S^ u o S^ u) o Ext^1_{ Z{ extstyle{rak S}}_n}(S^ u, S^ u)[m]$.

Experimental results

Research questions

• RQ1 What is the maximal order $m$ of a $ Z{ extstyle{rak S}}_n$-linear morphism between Specht modules over $ Z/(m)$ induced by a two-box downward shift in a column?
• RQ2 How does the modulus $m$ relate to the box shift length $m_0$ when $m_0$ is even and the diagram has a specific local shape near column $g$?
• RQ3 Can the morphism be constructed explicitly as an alternating sum over all ways to pick and shift two entries from column $g+1$ to column $g$?
• RQ4 Does such a morphism yield a non-split extension of Specht modules over $ Z$ of order $m$ in $ Ext^1$?
• RQ5 How does the construction generalize from $d=1$ to $d=2$ shifts, and what role does the $p$-adic valuation play in determining $m$?

Key findings

• A morphism of order $m$ exists in $ Hom_{( Z/(m)){ extstyle{rak S}}_n}( Z/(m)igotimes_{ Z} S^ u, Z/(m)igotimes_{ Z} S^ u)$, where $m = m_0$ or $m = m_0/2$ depending on combinatorial conditions.
• The modulus $m$ is determined by the box shift length $m_0$ and the $p$-adic valuation of $m_0$, with $m = m_0$ if $m_0$ is odd, and $m = m_0/2$ if $m_0$ is even and the diagram near column $g$ satisfies a specific shape condition.
• The morphism is constructed as an alternating sum over all ways to pick two entries from column $g+1$ and shift them to the bottom of column $g$, with signs determined by permutation parity.
• The morphism realizes a non-split extension of order $m$ in $ Ext^1_{ Z{ extstyle{rak S}}_n}(S^ u, S^ u)$, recovering the modular representation result of Carter and Payne for $d=2$.
• For the general case of $d$ boxes shifted with $g=k$, the modulus is $m = m_0 ig/ extstyle{ extstyleigprod_{p ext{ prime}, p|m_0}} p^{ ext{min}(v_p(m_0), ext{ilog}_p(d))}$, yielding a morphism of that order.
• The construction is verified through a case analysis of 81 subcases arising from Garnir relations and sign calculations, with explicit verification of the morphism's order and non-triviality.