Classification of control ensembles of projective points (Q2356353)

The author classifies sets of points on the complex projective line with respect to the projective group or, equivalent, binary forms with respect to linear transformations. This problem is distinguished from a classical topic of invariant theory by the assumption that the coefficients of the binary form are holomorphic functions of a complex variable \(u\). Therefore, also regular reparameterizations and multiplication by holomorphic functions are to be considered in the classification. The algebra of differential invariants on a suitable prolongation is freely generated by a differential invariant of order two and two invariant derivations. This gives rise to the desired criterion for the equivalence of regular binary forms (or their point sets on the complex line).