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 / name | links / 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
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