transvectants

Transvectants are a concept in invariant theory, a branch of mathematics. They are specific types of bilinear invariants. In essence, a transvectant is formed by taking the symbolic powers of two homogeneous polynomials and applying a differential operator. The operator involved is a generalized form of the Euler operator, which essentially differentiates with respect to symbolic variables and then multiplies them together. The order of the transvectant refers to the number of times this operation is applied. For example, the first transvectant of two binary forms $f(x_1, x_2)$ and $g(x_1, x_2)$ is given by $\frac{1}{2} \frac{\partial^2 f}{\partial x_1 \partial y_1} \frac{\partial^2 g}{\partial x_2 \partial y_2} - \frac{1}{2} \frac{\partial^2 f}{\partial x_1 \partial y_2} \frac{\partial^2 g}{\partial x_2 \partial y_1}$ where $f$ and $g$ are treated as functions of two sets of variables. Transvectants play a crucial role in constructing the full ring of invariants for a given set of forms. They provide a systematic method for generating new invariants from existing ones. This machinery was particularly important in the early development of invariant theory, where the goal was to find all polynomial expressions that remain unchanged under certain linear transformations. The theory of transvectants has applications in various areas, including algebraic geometry and theoretical physics.