Differential invariants of a Lie group action: syzygies on a generating set

Evelyne Hubert (1)

1 GALAAD - Geometry, algebra, algorithms

Given a group action, known by its infinitesimal generators, we exhibit a complete set of syzygies on a generating set of differential invariants. For that we elaborate on the reinterpretation of Cartan's moving frame by Fels and Olver (1999). This provides constructive tools for exploring algebras of differential invariants.

Mots clés: Symbolic computation; Lie group actions; Differential invariants; Moving frame; Syzygies; Differential algebra

Domaines: Calcul formel [cs.SC]; Géométrie différentielle [math.DG]

Evelyne Hubert. Differential invariants of a Lie group action: syzygies on a generating set. Journal of Symbolic Computation, 2009, 44 (4), pp.382-416. ⟨10.1016/j.jsc.2008.08.003⟩. ⟨inria-00178189v5⟩