A local criterion for Weyl modules for groups of type A
Abstract
Description
Let G be a universal Chevalley group over an algebraically closed field and U^- be the subalgebra of Dist(G) generated by all divided powers X_{α,m} with α<0. We conjecture an algorithm to determine if Fe^+_ω\ne0, where F\in\U^-, ωis a dominant weight and e^+_ωis a highest weight vector of the Weyl module Δ(ω). This algorithm does not use bases of Δ(ω) and is similar to the algorithm for irreducible modules that involves stepwise raising the vector under investigation. For an arbitrary G, this conjecture is proved in one direction and for G of type A in both.