Effective rationality of second order symmetric tensor spaces

M. Olive (1) , Rodrigue Desmorat (2)

1 LMT - Laboratoire de Mécanique et Technologie
2 LMPS - Laboratoire de Mécanique Paris-Saclay

We consider the natural SO(3, k) linear representation, k = C or R, on the k vector space V = nS2(R3) of n second order symmetric tensors, the associated invariant field k(V)SO(3,k) being known to be a purely transcendental extension in the complex case. We give an explicit tensorial form of a minimal generating set of the field of invariants, in both the complex and the real cases, showing that the invariant field is also a purely transcendental extension in the real case. Present results rely on some octahedral polynomial invariants obtained from Clebsch-Gordan projectors defined by a fourth order octahedral covariant. Thanks to Cartan’s map we also obtain a minimal set of generators for the SL(2, C)-rational invariant field of n binary quartics.

Mots clés: Rational invariants; Separating sets

Domaines: Mathématiques générales [math.GM]; Mécanique des matériaux [physics.class-ph]

M. Olive, Rodrigue Desmorat. Effective rationality of second order symmetric tensor spaces. Annali di Matematica Pura ed Applicata, 2022, 201 (1), pp.313-334. ⟨10.1007/s10231-021-01117-2⟩. ⟨hal-04513673⟩