On a linear structure of the quotient variety by a finite reflexion group (Q1318895)

From MaRDI portal
Revision as of 01:01, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
On a linear structure of the quotient variety by a finite reflexion group
scientific article

    Statements

    On a linear structure of the quotient variety by a finite reflexion group (English)
    0 references
    0 references
    14 January 1996
    0 references
    Let \(V\) be a real \(\ell\)-dimensional vector space and \(W\subset \text{GL}(V)\) a finite group generated by reflections and acting on \(V\) irreducibly. Let \(S\) be the symmetric \(\mathbb{R}\)-algebra of \(V\). It is known that \(R= S^W\) is generated by \(\ell\) algebraically independent homogeneous elements \(f_1,\dots, f_\ell\). Let \(\text{Der}_R\) be the \(R\)-module of all \(\mathbb{R}\)-derivations of \(R\). The author introduces canonically a non-degenerate \(R\)-bilinear form \(\widetilde J: \text{Der}_R\times \text{Der}_R\to R\). The following results are obtained: Theorem 1. There exists an \(\ell\)-dimensional \(\mathbb{R}\)-vector subspace \(\Omega\subset \text{Der}_R\) such that: (1) \(\Omega= \bigoplus \Omega_i\) such that any element of \(\Omega_i\) is homogeneous of degree \(-\deg f_i\), (2) \(\Omega\) generates \(\text{Der}_R\), i.e. \(\text{Der}_R\simeq\Omega \oplus_{\mathbb{R}} R\), (3) \(\Omega\) is integrable, i.e. \([\delta_1,\delta_2]= 0\) for any \(\delta_1, \delta_2\in \Omega\), (4) the restriction of \(\widetilde J\) on \(\Omega\times \Omega\) takes constant values in \(\mathbb{R}\), hence giving a non-degenerate \(\mathbb{R}\)-bilinear form \(J: \Omega\times \Omega\to \mathbb{R}\). Theorem 2. If a vector subspace \(\Omega'\subset \text{Der}_R\) satisfies conditions which are obtained from (2), (3) and (4) of Theorem 1 by replacing \(\Omega\) by \(\Omega'\), then \(\Omega'= \Omega\). Theorem 3. Put \(\Omega^*:= \{P\in R^+\mid \delta P\in \mathbb{R}\) for all \(\delta\in \Omega\}\). Then: (1) \(\Omega^*\) is naturally a dual vector space of \(\Omega\); (2) the algebra \(R\) is generated by \(\Omega^*\). Corollary. \(\text{Spec } R\) has a structure of a vector space \(\Omega\) with an inner product \(J\).
    0 references
    quotient variety
    0 references
    finite reflexion group
    0 references
    invariant
    0 references
    inner product
    0 references
    real vector space
    0 references
    symmetric algebra
    0 references
    derivations
    0 references
    bilinear form
    0 references

    Identifiers

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