Reducing submodules of Hilbert modules and Chevalley-Shephard-Todd theorem (Q2143660): Difference between revisions

From the abstract: Let \(G\) be a finite pseudoreflection group, \(\Omega \subseteq \mathbb{C}^n\) be a bounded domain which is a G-space and \(\mathcal{H} \subseteq \mathcal{O}(\Omega)\) be an analytic Hilbert module possessing a \(G\)-invariant reproducing kernel. We study the structure of joint reducing subspaces of the multiplication operator \(M_\theta\) on \(\mathcal{H}\), where \(\{\theta_i\}_{i=1}^n\) is a homogeneous system of parameters associated to \(G\) and \(\theta = (\theta_1, \ldots, \theta_n)\) is a polynomial map of \(\mathbb{C}^n\). We show that it admits a family \(\{\mathbb{P}_{\varrho}: \varrho \in \hat{G}\}\) of non-trivial joint reducing subspaces, where \(\hat{G}\) is the set of all equivalence classes of irreducible representations of \(G\). We prove a generalization of Chevalley-Shephard-Todd theorem for the algebra \(\mathcal{O}(\Omega)\) of holomorphic functions on \(\Omega\). As a consequence, we show that for each \(\varrho \in \hat{G}\), the multiplication operator \(M_\theta\) on the reducing subspace \(\mathbb{P}_{\varrho} \mathcal{H}\) can be realized as multiplication by the coordinate functions on a reproducing kernel Hilbert space of \(\mathbb{C}^{(\text{deg} \varrho)^2}\)-valued holomorphic functions on \(\theta(\Omega)\). This, in turn, provides a description of the structure of joint reducing subspaces of the multiplication operator induced by a representative of a proper holomorphic map from a domain \(\Omega\) in \(\mathbb{C}^n\) which is factored by automorphisms \(G \subseteq Aut(\Omega)\).