Inductive moving frames (Q370800)

Recently, \textit{I. A. Kogan} [Can. J. Math. 55, No. 2, 266--291 (2003; Zbl 1079.53023)] developed two algorithms in order to simplify the construction of moving frames for finite-dimensional Lie group actions; unfortunately, these constructions do not cover all reasonable group actions. By introducing a new recursive method in [Result. Math. 60, No. 1--4, 423--452 (2011; Zbl 1254.22014)], \textit{P. Olver} was able to show that all the restrictions occurring in Kogan's algorithms can actually be dropped. The present paper gives a reformulation of Olver's construction without relying on his recursive procedure. The main contribution to the topic is the extension of the inductive algorithm to infinite-dimensional Lie pseudo-group actions. A first class of examples deals with planar curves and surfaces in Euclidean and equi-affine geometry. As a second example, the direct, the gauge and the projective equivalence of third-order differential operators on the real line are considered.