A Quantum Analogue of the First Fundamental Theorem of Classical Invariant Theory

We establish a noncommutative analogue of the first fundamental theorem of classical invariant theory. For each quantum group associated with a classical Lie algebra, we construct a noncommutative associative algebra whose underlying vector space forms a module for the quantum group and whose algebraic structure is preserved by the quantum group action. The subspace of invariants is shown to form a subalgebra, which is finitely generated. We determine generators of this subalgebra of invariants and determine their commutation relations. In each case considered, the noncommutative modules we construct are flat deformations of their classical commutative analogues. Our results are therefore noncommutative generalisations of the first fundamental theorem of classical invariant theory, which follows from our results by taking the limit as q → 1. Our method similarly leads to a definition of quantum spheres, which is a noncommutative generalisation of the classical case with orthogonal quantum group symmetry.