Proof of the Parthasarathy-Ranga Rao-Varadarajan conjecture (Q1118020): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q123251819, #quickstatements; #temporary_batch_1703762337552
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 02:45, 31 January 2024

scientific article
Language Label Description Also known as
English
Proof of the Parthasarathy-Ranga Rao-Varadarajan conjecture
scientific article

    Statements

    Proof of the Parthasarathy-Ranga Rao-Varadarajan conjecture (English)
    0 references
    0 references
    1988
    0 references
    Let \({\mathfrak g}\) be a finite dimensional semisimple Lie algebra over a field of characteristic zero and let \(L(\lambda)\) denote the irreducible \({\mathfrak g}\)-module with highest weight \(\lambda\). If \(\lambda\) and \(\mu\) are dominant weights and w is in the Weyl group, then the PRV-conjecture asserts that the finite dimensional irreducible \({\mathfrak g}\)-module with extremal weight \(\lambda +w\mu\) occurs exactly once as composition factor of a corresponding submodule of \(L(\lambda)\otimes L(\mu)\). The conjecture is proved in this paper. The key to the author's proof is a vanishing theorem for certain line bundles on \(X\times X\) where X is the flag manifold associated to \({\mathfrak g}\). This result is in turn obtained by methods similar to those used in his earlier work [Invent. Math. 89, 395-423 (1987; Zbl 0635.14023)]. When \({\mathfrak g}\) is of type A, the conjecture was proved by \textit{P. Polo} [Variétés de Schubert et excellentes filtrations, Astérisque 173- 174, 281-311 (1989; Zbl 0733.20021)]. \textit{O. Mathieu} has proved the conjecture for symmetrizable Kac-Moody algebras [Compos. Math. 69, No.1, 37-60 (1989; Zbl 0678.17012)] (this case is also announced in the paper under review).
    0 references
    tensor products
    0 references
    semisimple Lie algebra
    0 references
    highest weight
    0 references
    composition factor
    0 references
    vanishing theorem
    0 references
    line bundles
    0 references
    flag manifold
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references