The harmonic transvector algebra in two vector variables (Q502722)

The aim of the paper is to generalize the \textit{harmonic Fischer decomposition} [\textit{E. Fischer}, J. Reine Angew. Math. 148, 1--78 (1917; JFM 46.1436.02)]. Let \(P_k(x)\) be an arbitrary polynomial, homogeneous of degree \(k\in\mathbb N\) in \(x\in\mathbb R^m\), then it can be decomposed into polynomials \(H_{k-2j}(x)\) of degree \(k-2j\;(0\leq 2j\leq k)\) \[ P_k(x)=\sum_{j=0}^{[k/2]}\,|x|^{2j}H_{k-2j}(x). \] with \(\Delta_xH_{k-2j}(x)=0\). This leads to the full decomposition \[ {\mathcal P}(\mathbb R^{m},\mathbb C)=\bigoplus_{k=0}^{+\infty}{\mathcal P}_k(\mathbb R^{m},\mathbb C)\cong V_j^{\infty}\bigotimes {\mathcal H}_j(\mathbb R^{m},\mathbb C), \] where \(V_j^{\infty}\) is the irreducible highest weight Verma module with highest weight \(\mu=-(j+{m/2})\) for the dual partner \(sl(2)\). The lauyout of the paper is as follows. \S1 Introduction \S2 Classical Howe duality on \(\mathbb R^{2m}\) Specifically Theorem 2.1 must be noted. \S3 The double harmonic transvector algebra \S4 Simplicial modules for the algebra \(Z(g,s)\) In \S4.1 the description of the module is given, along with several preliminaries results, followed by the main results of the paper in \S4.2. In \S4.3 the Projection oparators are discussed. \S5 An explicit example A polynomial of the form \(P_{3,2}(x,u)\in{\mathcal P}_{3,2}(\mathbb R^{2m},\mathbb C)\) is chosen. \S6 Fischer product and orthogonality Defined on \({\mathcal P}(\mathbb R^{2m},\mathbb C)\) by \[ [P(x,u),Q(x,u)]_F:=\left.\overline{P(\partial_x,\partial_u)}Q(x,u)\right|_{x=u=0}. \] \S7 Pizzetti's formula on Stiefel manifolds \(V_2(\mathbb R^{m})\) Appendix A Proof of Theorem 4.2 Uses formulae connecting \({}_4F_3\) and \({}_3F_2\) hypergeometric series. References The list contains 35 items.