- Series
- Algebra Seminar
- Time
- Monday, February 24, 2020 - 3:00pm for 1 hour (actually 50 minutes)
- Location
- Skiles 005
- Speaker
- Peter Olver – University of Minnesota – olver@umn.edu – http://www-users.math.umn.edu/~olver/
- Organizer
- Anton Leykin
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.