Canonical systems of basic invariants for unitary reflection groups

DOI10.4153/CMB-2016-031-7MaRDI QIDQ2827415zbMATH OpenOpenAlexFDO

Authors Norihiro Nakashima, Shuhei Tsujie, Hiroaki Terao

Publication date 19 October 2016

Published in Canadian Mathematical Bulletin (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1310.0570

zbMATH Keywords

basic invariantfinite unitary reflection groupinvariant theory

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Reflection and Coxeter groups (group-theoretic aspects) (20F55)

Abstract: It has been known that there exists a canonical system for every finite real reflection group. The first and the third authors obtained an explicit formula for a canonical system in the previous paper. In this article, we first define canonical systems for the finite unitary reflection groups, and then prove their existence. Our proof does not depend on the classification of unitary reflection groups. Furthermore, we give an explicit formula for a canonical system for every unitary reflection group.

Review text

The authors study canonical systems for the finite unitary reflection groups. Let \(V\) be an \(n\)-dimensional unitary space and let \(W\subset U(V)\) be a finite unitary reflection group. Denote by \(S\) the symmetric algebra \(S(V^*)\) of the dual space \(V^*\). The subalgebra \(R=S^W\) of \(W\)-invariant polynomials of \(S\) is generated by \(n\) algebraically independent homogeneous polynomials. A system of such generators is called a system of basic invariants of \(R\). A system \(\{f_1,\dots,f_n\}\) of basic invariants is said to be canonical if it satisfies the following system of partial differential equations: \(f_i^*f_j=\delta_{ij}\) for \(i,j=1,\dots,n\), where \(\delta_{ij}\) is the Kronecker delta and \(f_i^*\) is a differential operator. In a previous work [J. Algebra 406, 143--153 (2014; Zbl 1328.13008)] the first and the third authors obtained an explicit formula for a canonical system for every reflection group. In the main result (Theorem 1.2) is proven the existence of the canonical systems for the finite unitary reflection groups. The proof is independent of the classification of unitary reflection groups. Moreover, the authors give an explicit formula (Theorem 4.3) for a canonical system which is also classification free.

Recommendations

• Canonical system of basic invariants for unitary group W(K₅)
• A canonical system of basic invariants of a finite reflection group
• scientific article; zbMATH DE number 7273819
• Dunkl operators and canonical invariants of reflection groups.
• Basic invariants of finite reflection groups
• Canonical bases of invariant polynomials for the irreducible reflection groups of types \(E_{6}\), \(E_{7}\), and \(E_{8}\)
• Classical invariant theory for finite reflection groups
• scientific article; zbMATH DE number 5601747
• Reflection quotients in Riemannian geometry. A geometric converse to Chevalley’s theorem
• ON MOLIEN SERIES OF THE INVARIANT RING ASSOCIATED TO THE UNITARY REFLECTION GROUP G(m,p,n)

Cited in

(11)

• Basic invariants of finite reflection groups
• Canonical bases of invariant polynomials for the irreducible reflection groups of types \(E_{6}\), \(E_{7}\), and \(E_{8}\)
• On harmonic polynomials invariant under unitary transformations
• Logarithmic forms and anti-invariant forms of reflection groups
• scientific article; zbMATH DE number 4095594 (Why is no real title available?)
• A canonical system of basic invariants of a finite reflection group
• Canonical system of basic invariants for unitary group W(K₅)
• scientific article; zbMATH DE number 7273819 (Why is no real title available?)
• On basic invariants of some finite subgroups in SL3(C)
• A reduction theorem for good basic invariants of finite complex reflection groups
• A system of basis invariants of the group \(B_ n\)

This page was built for publication: Canonical systems of basic invariants for unitary reflection groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2827415)