Ullemar's formula for the moment map. II (Q2484405)

Consider the finite dimensional map \[ \mu: P=a_1z+a_2z^{2+\dots+a}_nz^n\to(\mu_0(P),\dots, \mu_{n-1}(P))\, \] where \[ \mu_k(P)=\frac i{2\pi}\int\!\!\!\int_{\Omega}P^k(z)| P'(z)| ^2\,dz\wedge d\bar{z}\,, \] and \(\Omega\) is a bounded domain in \(\mathbb{C}\). In this paper the author proves the complex analogue of Ullemar's formula for polynomials with arbitrary complex coefficients. The Jacobian of the moment map is expressed as follows: \[ J_{\mathbb{C}}(P):=\frac{\partial(\bar{\mu}_{n-1},\dots,\bar{\mu}_1\mu_0, \mu_1,\dots,\mu_{n-1})}{\partial(\bar{a}_n,\dots,\bar{a}_2,a_1,a_2,\dots,a_n)}= 2a_1^{n^{2}-n+1}\mathcal{R}(P',{P'}^{*})\,, \] where \(\mathcal{R}(\cdot,\cdot)\) denotes the resultant of the corresponding polynomials, and \(Q^{*}\) denotes the mirror conjugate image of polynomial \(Q\), i.e. \(Q^*(z):=z^m\overline{Q(1/\bar{z})}\).