arXiv++ Combinatorics

We generalize known results on normalized symmetric coordinates and their dual differential operators, established for the symmetric group, to the complex monomial reflection group $G(r,n):=μ_r\wr S_n$ (with $G(1,n)=S_n$). The central tool, proved in detail, is a \emph{transfer principle}: the substitution $y_i=x_i^r$ identifies the invariant ring of $G(r,n)$ with that of $S_n$ and transports, term by term, the corresponding operators and coordinates into explicit rational objects in the original variables $x_i$. From this we deduce the $G(r,n)$-analogues of the known results for $S_n$ existence and uniqueness of the dual coordinates $U_k$, and a Weyl algebra structure localized at the discriminant of $G(r,n)$ with complete and self-contained proofs for the points that do not follow directly from the transfer (Leibniz rule, main theorem). We then treat the \emph{total diagonal}: its preimage splits into $r^{n-1}$ lines permuted transitively by the group, and there, unlike the transferred operators $Δ_i$, the \emph{raw} derivatives $\partial_{x_i}$ exhibit a phenomenon specific to $r\ge2$ that we describe completely via a Fa di Bruno-type structure formula. Finally, we give a closed formula for the constants of this structure formula (via Bell polynomials), completely resolve the degeneracy at an isolated point $x_i=0$ (the operator $Δ_i$ extends holomorphically there, with $Δ_iϕ=\partial_i^rϕ/r!$), and deduce from this a partial analogue of the description of the tangent space to the GIT quotient $\CC^n/G(r,n)$; the case of several coordinates vanishing simultaneously remains open and is precisely delineated. Full proofs of all new results are given in detail.

In this paper we study the resultant of systems of homogeneous multivariate polynomials which are equivariant under the action of a direct product of symmetric groups. We first treat, in detail, the case of a product of two symmetric groups, and establish a decomposition formula for the resultant of such systems. We then show that this decomposition, together with the underlying combinatorics, extends to an arbitrary (finite) direct product of $r$ symmetric groups. Thanks to these decomposition formulas, we prove that the discriminant of a multivariate homogeneous polynomial invariant under a direct product of $r$ symmetric groups splits into a product of resultants of smaller size that are easier to compute.

Moustrou, Riener, and Verdure related the dominance order on partitions to Specht ideal and variety inclusion for $S_n$; we previously extended this to direct products of symmetric groups. Here we take a first step toward the imprimitive complex reflection group $G(r,1,n)=(\mathbb{Z}/r\mathbb{Z})\wr S_n$. The correct geometric invariant of a point $x\in K^n$ is a pair $(μ,z)$: a classical partition $μ$ on the $r$-th powers of the nonzero coordinates, together with the number $z$ of zero coordinates. We construct a $G(r,1,n)$-invariant ideal $I_{(μ,z)}$ for each such pair, and show that a dominance order on $(μ,z)$, with $z$ taking strict priority over $μ$, exactly characterizes both ideal inclusion and reverse variety inclusion. We settle a monomial criterion in three regimes, recover the classical $B_n$-Specht ideal theory at $r=2$ when $z=0$, and establish radicality of $I_{(μ,z)}$ at the two extremes of the $z=0$ level. Four computational examples, checked exhaustively for group invariance, illustrate the construction throughout.

We consider systems of homogeneous multivariate polynomials equivariant under the complex reflection group $G(r,n) = (\mathbb{Z}/r\mathbb{Z})^n \rtimes S_n$. Using divided differences indexed by partitions of $n$, we establish a decomposition formula expressing the resultant of such a system as a product of resultants of smaller, partition-indexed subsystems. Combining this with the classical resultant--discriminant relation, we show that the discriminant of a $G(r,n)$-invariant homogeneous polynomial splits explicitly into a product of resultants of smaller subsystems, considerably easier to compute; we illustrate both decompositions with worked examples.