Abstract:New presentations of Specht modules of symmetric groups over fields of characteristic zero have been obtained by Brauner, Friedmann, Hanlon, Stanley and Wachs. These involve generators that are column tabloids and relations that are Garnir relations with maximal number of exchanges between consecutive columns or symmetrization of Garnir relations with minimal number of exchanges between consecutive columns. In this paper, we examine Garnir relations and their symmetrization with any number of exchanges. In both cases, we provide sufficient arithmetic conditions so that the corresponding quotient is a Specht module. In particular, in the first case this yields new presentations of Specht modules if the parts of the conjugate partition that correspond to maximal number of exchanges greater than 1 are distinct. These results generalize the presentations mentioned above and offer an answer to a question of Friedmann, Hanlon and Wachs. Our approach is via representations of the general linear group.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about new representation methods of Schur modules and Specht modules over fields of characteristic zero. Specifically, the paper explores different forms of Garnir relations and their symmetrizations, and provides sufficient arithmetic conditions such that the corresponding quotient modules become Specht modules. This not only generalizes the results previously obtained by Brauner, Friedmann, Hanlon, Stanley and Wachs, etc., but also answers a question raised by Friedmann, Hanlon and Wachs.
### Main contributions
1. **Symmetrization of Garnir relations**:
- The paper considers the symmetrization of Garnir relations for a fixed value of \( k \) and allows different values of \( k \) to be used between different consecutive pairs of columns.
- For fixed positive integers \( k_1, \ldots, k_{\lambda_1 - 1} \), it defines the symmetrized Garnir relations \( r_T^{c, k_c} \) and the corresponding subspaces \( SGR_\lambda(k_1, \ldots, k_{\lambda_1 - 1}) \).
- It provides sufficient arithmetic conditions such that \( M_\lambda / SGR_\lambda(k_1, \ldots, k_{\lambda_1 - 1}) \cong S_\lambda \).
2. **General form of Garnir relations**:
- The paper also considers the general form of Garnir relations for a fixed value of \( k \) and provides sufficient arithmetic conditions such that \( M_\lambda / GR_\lambda(k_1, \ldots, k_{\lambda_1 - 1}) \cong S_\lambda \).
- These results generalize Theorem 1.1 previously obtained by Friedmann, Hanlon and Wachs.
### Main theorems
1. **Sufficient conditions for symmetrized Garnir relations**:
- Let \( \lambda \) be a partition of \( r \), and let \( \mu \) be the conjugate partition of \( \lambda \). Then as an \( S_r \)-module, we have \( M_\lambda / SGR_\lambda(k_1, \ldots, k_{\lambda_1 - 1}) \cong S_\lambda \), if for all \( c = 1, \ldots, \lambda_1 - 1 \) and \( j = 1, \ldots, k_c \),
\[
\sum_{t = 1}^j (-1)^{t - 1}\binom{\mu_{c + 1}-t}{\mu_{c + 1}-k_c}\binom{j}{t}\binom{\mu_c-\mu_{c + 1}+j + t}{t}\neq 0
\]
2. **Sufficient conditions for general Garnir relations**:
- If \( \lambda \) is a partition of \( r \) and satisfies \( \mu_c>\mu_{c + 1} \) for those \( c \) where \( \mu_{c + 1}=k_c>1 \), then as an \( S_r \)-module, we have \( M_\lambda / GR_\lambda(k_1, \ldots, k_{\lambda_1 - 1}) \cong S_\lambda \).
### Methods and tools
- The paper uses the representation theory of the general linear group \( GL(n, K) \), especially Schur modules and Pieri rules.
- By studying homomorphisms of \( GL(n, K) \) -modules and their actions on irreducible submodules, the above results are obtained.
- Using Schur functors, these results are applied to the symmetric group.