Differential invariant algebras of Lie pseudo-groups (Q734830)

The authors describe the algebra of differential invariants of the submanifolds of an analytic manifold under a Lie pseudogroup action, so that one can determine whether two submanifolds can be made to locally coincide by an element of the pseudogroup. They provide algorithms which can be applied in suitably regular open subsets of jet bundles to calculate (1) a finite set of generators for the algebra of differential invariants at some finite order, and (2) a generating set of invariant differential operators and (3) a finite set of recurrence relations for the differential invariants, and (4) a finite generating set of syzygies among the differential invariants. The regularity hypotheses of the theorems are found in this and previous papers and so take some reading to put together. The authors compute a straightforward example of a Lie pseudogroup in \(\mathbb{R}^3\), finding the differential invariants of a surface in \(\mathbb{R}^3\) under this pseudogroup action. The process is explained very clearly and with an eye to explicit computation in coordinates.