Abstract:Consider the general linear group $G=GL_{n}(K)$ defined over an infinite field $K$ of positive characteristic $p$. We denote by $\Delta(\lambda)$ the Weyl module of $G$ which corresponds to a partition $\lambda$. Let $\lambda, \mu $ be partitions of $r$ and let $\gamma$ be partition with all parts divisible by $p$. In the first main result of this paper, we find sufficient conditions on $\lambda, \mu$ and $\gamma$ so that $Hom_G(\Delta(\lambda),\Delta(\mu))$ $ \simeq$ $ Hom_G(\Delta(\lambda +\gamma),\Delta(\mu +\gamma))$, thus providing an answer to a question of D. Hemmer. As corollaries we obtain stability and periodicity results for homomorphism spaces. In the second main result we find related sufficient conditions on $\lambda, \mu$ and $p$ so that $Hom_G(\Delta(\lambda),\Delta(\mu))$ is nonzero. An explicit map is provided that corresponds to the sum of all semistandard tableaux of shape $\mu$ and weight $\lambda$.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on two aspects:
1. **Stability and Periodicity**:
- The first main result of the paper (Theorem 4.4) aims to find sufficient conditions for partitions \(\lambda\) and \(\mu\) and a partition \(\gamma\) whose each part is divisible by a sufficiently high power of \(p\), such that the homomorphism space \(\text{Hom}_G(\Delta(\lambda), \Delta(\mu))\) is isomorphic to \(\text{Hom}_G(\Delta(\lambda+\gamma), \Delta(\mu + \gamma))\). This provides an answer to a question raised by D. Hemmer.
- As a corollary, the paper obtains stability and periodicity results of the homomorphism space. For example, for any partition \(\nu\), under certain conditions, the sequence \(d_p, d_{p^2},\ldots\) will eventually stabilize (Corollary 4.5). For a specific class of partitions \(\nu\), the sequence \(d_0, d_1,\ldots\) is periodic with powers of \(p\) (Corollary 4.6).
2. **Non - zero Property**:
- The second main result of the paper (Theorem 5.2) is to find sufficient conditions for the homomorphism space \(\text{Hom}_G(\Delta(\lambda), \Delta(\mu))\) to be non - zero under appropriate combinatorial assumptions. The paper provides an explicit mapping, corresponding to the sum of all semi - standard tableaux of shape \(\mu\) and weight \(\lambda\). This generalizes a result in previous literature, that is, the case when \(\mu\) has only two parts.
### Formula Summary
- **Isomorphism Conditions of Homomorphism Space**:
\[
\text{Hom}_G(\Delta(\lambda), \Delta(\mu))\simeq\text{Hom}_G(\Delta(\lambda+\gamma), \Delta(\mu+\gamma))
\]
where \(\gamma\) is a partition whose each part is divisible by a sufficiently high power of \(p\).
- **Non - zero Conditions**:
\[
\text{Hom}_G(\Delta(\lambda), \Delta(\mu))\neq 0
\]
This condition is achieved through an explicit mapping, corresponding to the sum of all semi - standard tableaux of shape \(\mu\) and weight \(\lambda\).
### Main Contributions
- **Stability and Periodicity**: By introducing new combinatorial conditions, the paper proves that the homomorphism space remains isomorphic after adding powers of \(p\), thus solving the problem raised by D. Hemmer.
- **Non - zero Property**: The paper provides an explicit construction, which makes the homomorphism space non - zero under specific conditions, providing a new perspective for understanding the homomorphism space between Weyl modules.
These results are not only of great theoretical significance, but also provide a powerful tool for further studying the properties of Weyl modules and their homomorphism spaces.