Projective normality of Weyl group quotients (Q353964)

From MaRDI portal
Revision as of 00:02, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Projective normality of Weyl group quotients
scientific article

    Statements

    Projective normality of Weyl group quotients (English)
    0 references
    17 July 2013
    0 references
    Let \(G\) be a semisimple algebraic group over \({\mathbb C}\) and \(W\) its Weyl group. If \(V^m\) is the direct sum of \(m\) copies of the standard representation of \(W\), then \({\mathbb C}[V^m]^W\) is finitely generated by a celebrated result of Emmy Noether. The natural line bundle \({\mathcal O}^{\otimes|W|}\) on \({\mathbb P}(V^m)\) descends to a very ample line bundle \({\mathcal L}\) on the quotient \({\mathbb P}(V^m)/W\). The authors prove that, if \(G\) is of type \(A_n\), \(B_n\), \(C_n\), \(D_n\), \(F_4\) or \(G_2\), then the polarised variety \(({\mathbb P}(V^m)/W,{\mathcal L})\) is projectively normal. The proof uses explicit systems of generators for \({\mathbb C}[V^m]^W\) in each case. The reason that \(E_6\), \(E_7\) and \(E_8\) are excluded is that the authors have been unable to find such explicit systems in these cases.
    0 references
    line bundle
    0 references
    polarisation
    0 references
    Weyl group
    0 references
    projective normality
    0 references

    Identifiers