A local criterion for Weyl modules for groups of type A. (Q1020949): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 22:52, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A local criterion for Weyl modules for groups of type A. |
scientific article |
Statements
A local criterion for Weyl modules for groups of type A. (English)
0 references
4 June 2009
0 references
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.
0 references
Weyl modules
0 references
flows
0 references
standard tableaux
0 references
universal Chevalley groups
0 references
divided powers
0 references
algorithms
0 references
dominant weights
0 references
highest weight vectors
0 references
irreducible modules
0 references