Polynomial multiplication map to complex projective space

ID: polynomial-multiplication-map-to-complex-projective-space

Identify with nonzero homogeneous binary forms of degree , modulo nonzero scalar multiplication. Multiplication of projective linear forms gives a well-defined holomorphic map: no product is zero, and scaling one form scales the entire coefficient vector. A form with distinct roots has exactly ordered factorizations. In affine root coordinates the derivative is a Vandermonde determinant, nonzero at distinct roots. Each such preimage contributes with complex orientations, so the mapping degree is . This also realizes the least positive degree allowed by the factorial degree obstruction for products of two-spheres.

New to topics? Read the docs here!