Abstract:Let $G=GL_n(K)$ be the general linear group defined over an infinite field $K$ of positive characteristic $p$ and let $\Delta(\lambda)$ be the Weyl module of $G$ which corresponds to a partition $\lambda$. In this paper we classify all homomorphisms $\Delta(\lambda) \to \Delta(\mu)$ when $\lambda=(a,b,1^d)$ and $\mu=(a+d,b)$, $d>1$. In particular, we show that $Hom_G(\Delta(\lambda),\Delta(\mu))$ is nonzero if and only if $p=2$ and $a$ is even. In this case, we show that the dimension of the homomorphism space is equal to 1 and we provide an explicit generator whose description depends on binary expansions of various integers. We also show that these generators in general are not compositions of Carter-Payne homomorphisms.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to classify homomorphisms between Weyl modules under specific conditions. Specifically, the author studies all homomorphisms from the Weyl module ∆(λ) to ∆(µ) when λ = (a, b, 1^d) and µ = (a + d, b), and d > 1. The main results of the paper are as follows:
1. **Conditions for non - zero homomorphisms**:
- When the characteristic \(p = 2\) and \(a\) is even, \(\text{Hom}_G(\Delta(\lambda), \Delta(\mu))\) is non - zero.
- In other cases, \(\text{Hom}_G(\Delta(\lambda), \Delta(\mu))\) is always zero.
2. **Dimensions of homomorphism spaces**:
- When \(p = 2\) and \(a\) is even, the dimension of \(\text{Hom}_G(\Delta(\lambda), \Delta(\mu))\) is 1, and an explicit generator is given. The description of this generator depends on the binary expansions of \(a\), \(b\), and \(d\).
- For other cases, the dimension of the homomorphism space is 0.
3. **Properties of generators**:
- It is proved that these generators are usually not combinations of Carter - Payne homomorphisms.
### Main conclusions
- **Theorem 3.9**: Let \(K\) be an infinite field of characteristic \(p>0\). Consider partitions \(\lambda=(a, b, 1^d)\in\Lambda^+(n, r)\) and \(\mu=(a + d, b)\in\Lambda^+(2, r)\), where \(b, d\geq2\). Then the following conclusions hold:
1. If \(\text{char}K = 2\), then:
- \(\dim_K\text{Hom}_S(\Delta(\lambda), \Delta(\mu))\leq1\).
- \(\text{Hom}_S(\Delta(\lambda), \Delta(\mu))\neq0\) if and only if \(a\) is even.
- If both \(a\) and \(b\) are even, then the element \(\sum_{r_h\in H_1(\lambda, \mu)}F_{r_h}\) generates \(\text{Hom}_S(\Delta(\lambda), \Delta(\mu))\).
- If \(a\) is even and \(b\) is odd, then the element \(\sum_{h\in H_2(\lambda, \mu)}F_h\) generates \(\text{Hom}_S(\Delta(\lambda), \Delta(\mu))\).
2. If \(\text{char}K = p>2\), then \(\text{Hom}_S(\Delta(\lambda), \Delta(\mu)) = 0\).
### Methods and techniques
- **Main tools**: The paper uses the classical representations of Weyl modules, combined with combinatorics and tableaux as well as the properties of binomial coefficients to solve the problem.
- **Specific steps**:
- Defined a specific type of row - semi - standard tableaux \(T_{h,\sigma}\).
- Used binary expansions to determine the conditions for generators.
- Through the analysis of linear systems, proved the dimensions of homomorphism spaces and the properties of generators.
### Example
- **Example 3.10**: Let \(a = 2^6+2^3\), \(b = 2^6+2 + 1\), \(d = 2\)