Georgia Institute of Technology School of Mathematics | Georgia Institute of Technology | Atlanta, GA

A classical theorem of Lie and Tresse states that the algebra of differential invariants of a Lie group or (suitable) Lie pseudo-group action is finitely generated.  I will present a fully constructive algorithm, based on the equivariant method of moving frames, that reveals the full structure of such non-commutative differential algebras, and, in particular, pinpoints generating sets of differential invariants as well as their differential syzygies. Some applications and outstanding issues will be discussed.

TBA