On Hilbert covariants

TL;DR

This paper introduces a new construction of Hilbert covariants for binary forms, situates them within G"ottingen covariants, and generalizes these concepts to n-ary forms, providing algebraic and geometric insights.

Contribution

It presents a novel construction of Hilbert covariants, connects them to G"ottingen covariants, and extends the framework to n-ary forms using classical transfer principles.

Findings

The ideal generated by covariant coefficients defines the variety scheme-theoretically.

The new construction clarifies the geometric significance of Hilbert covariants.

Generalization to n-ary forms broadens the applicability of covariant theory.

Abstract

Let F denote a binary form of order d over the complex numbers. If r is a divisor of d, then the Hilbert covariant H_{r,d}(F) vanishes exactly when F is the perfect power of an order r form. In geometric terms, the coefficients of H give defining equations for the image variety X of an embedding P^r->P^d. In this paper we describe a new construction of the Hilbert covariant; and simultaneously situate it into a wider class of covariants called the G\"ottingen covariants, all of which vanish on X. We prove that the ideal generated by the coefficients of H defines X as a scheme. Finally, we exhibit a generalisation of the G\"ottingen covariants to n-ary forms using the classical Clebsch transfer principle.