Critical points, critical values, and a determinant identity for complex polynomials.

Given any n-tuple of complex numbers, one can easily define a canonical polynomial of degree n + 1 that has the entries of this n-tuple as its critical points. In 2002, Beardon, Carne, and Ng studied a map θ : Cⁿ → Cⁿ which outputs the critical values of the canonical polynomial constructed from the input, and they proved that this map is onto. Along the way, they showed that ⋸ is a local homeomorphism whenever the entries of the input are distinct and nonzero, and, implicitly, they produced a polynomial expression for the Jacobian determinant of θ. In this article we extend and generalize both the local homeomorphism result and the elegant determinant identity to analogous situations where the critical points occur with multiplicities. This involves stratifying Cⁿ according to which coordinates are equal and generalizing θ to a similar map C^l → C^l where l is the number of distinct critical points. The more complicated determinant identity that we establish is closely connected to the multinomial identity known as Dyson's conjecture. [ABSTRACT FROM AUTHOR]