The Higher Transvectants are Redundant

TL;DR

This paper proves that all higher transvectants of binary forms are redundant and can be derived from the first two, simplifying classical invariant theory with implications for geometric and representation-theoretic contexts.

Contribution

It classifies quadratic syzygies among transvectants and demonstrates the redundancy of higher transvectants in classical invariant theory.

Findings

Higher transvectants are recoverable from u_0 and u_1

Explicit computational examples for SL_3, g_2, and S_5

Redundancy has geometric and representation-theoretic implications

Abstract

Let A, B denote generic binary forms, and let u_r = (A,B)_r denote their r-th transvectant in the sense of classical invariant theory. In this paper we classify all the quadratic syzygies between the u_r. As a consequence, we show that each of the higher transvectants u_r, r>1, is redundant in the sense that it can be completely recovered from u_0 and u_1. This result can be geometrically interpreted in terms of the incomplete Segre imbedding. The calculations rely upon the Cauchy exact sequence of SL_2-representations, and the notion of a 9-j symbol from the quantum theory of angular momentum. We give explicit computational examples for SL_3, g_2 and S_5 to show that this result has possible analogues for other categories of representations.