The inclusion conjecture for the maps $\alpha_{n,s}$

Let $r$, $n$, and $s$ be the parameters in the Weyl modules, and let

$$\alpha_{n,s}: W(n\epsilon_1+s\tau)\to W((n+r)\epsilon_1+(s-1)\tau)$$

be the natural map sending $v_{n\epsilon_1+s\tau}$ to

$$\left(E^{n+1,0}_{r1}\dots E^{n+r-2,0}_{31}E^{n+r-1,0}_{21}\right)\cdot v_{(n+r)\epsilon_1+(s-1)\tau}.$$

The inclusion conjecture for $\alpha_{n,s}$. The map $\alpha_{n,s}$ is an inclusion.

This claim concerns the natural maps between the Weyl modules constructed in the preceding corollary. Its status is not determined by the supplied text.