Global Lie-Tresse theorem

Abstract

We prove a global algebraic version of the Lie-Tresse theorem which states that the algebra of differential invariants of an algebraic pseudogroup action on a differential equation is generated by a finite number of rational-polynomial differential invariants and invariant derivations.

This version is revised so: more explanations, some minor corrections, editorial changes and a new "running" example added

References in corpus (1)

• Solving Local Equivalence Problems with the Equivariant Moving Frame Method

Cited by in corpus (5)

• Solving Local Equivalence Problems with the Equivariant Moving Frame Method
• Invariants of objects and their images under surjective maps
• Moving frames and prolongations of real algebraic actions
• Differential Invariants and Symmetry: Riemannian metrics and beyond
• Differential invariants of feedback transformations for quasi-harmonic oscillation equations