Geometry and structure of Lie pseudogroups from infinitesimal defining systems (Q1267073)

A Lie pseudogroup on \({\mathbb R}^n\) is a pseudogroup consisting of local diffeomorphisms of \({\mathbb R}^n\), satisfying an analytic system of partial differential equations. The authors consider the problem of systematically determining structural properties of Lie pseudogroups, that is, properties preserved under pseudogroup isomorphisms. They present a constructive algorithm for determining the Cartan structure of a transitive Lie pseudogroup from its linear infinitesimal defining system. This algorithm leads to the result after a finite number of steps involving differentiation and linear operation. In this way, it can be obtained the dimension of its orbits and its linear isotropy group. Practically, the algorithm aims to decide whether the Lie symmetry pseudogroup of a PDE is transitive and, in this case, to determine the coefficients in the structure equations \(d\omega ^k=a^k_{i\rho }\pi^\rho\wedge \omega ^i-{{1}\over {2}} c^k_{ij} \omega ^i\wedge \omega ^j\) without knowing \(\omega ^1,\dots ,\omega ^n\) and \(\pi^1,\dots ,\pi^r \) (\(r=\#({\mathcal P}_1)\), \({\mathcal P}_1\) is the set of parametric derivatives of order 1).