A local criterion for Weyl modules for groups of type A. (Q1020949): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 01:56, 5 March 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

    Identifiers