A local criterion for Weyl modules for groups of type A. (Q1020949)

Let \(G\) be a universal Chevalley group over an algebraically closed field and let \(\mathcal U^-\) be the subalgebra of \(\text{Dist}(G)\) generated by all divided powers \(X_{\alpha,m}\) with \(\alpha<0\). The author conjectures an algorithm to determine if \(Fe_\omega^+\neq 0\), when \(F\in\mathcal U^-\) is homogeneous, \(\omega\) is a dominant weight and \(e_\omega^+\) is a highest weight vector of the Weyl module \(\varDelta(\omega)\). This algorithm does not use bases of \(\varDelta(\omega)\) and is similar to the algorithm for irreducible modules that involves stepwise raising the vector \(v\) under investigation, replacing \(v\) with \(X_{\alpha,m}v\) for suitable \(\alpha>0\), \(m\geq 1\), until the highest weight is reached. Such raising can be simulated within \(\text{Dist}(G)\) and the same holds for the conjectured algorithm. More specifically, let \(v\) be a nonzero weight vector in \(\varDelta(\omega)\). The conjecture says that at least one of the following three properties hold. (1) The weight of \(v\) is \(\omega\). (2) There is a positive root \(\alpha\) so that \(X_\alpha v\) is nonzero. (3) There is a nonzero dominant weight \(\delta\) so that \(\omega-\delta\) is dominant and so that \(v\) has nonzero image under the map \(\varDelta(\omega)\to\varDelta(\omega-\delta)\) of \(\mathcal U^-\)-modules that takes \(e^+_\omega\) to \(e^+_{\omega-\delta}\). The conjecture is proven for type A by an extensive combinatorial analysis.