Persistence of freeness for Lie pseudogroup actions (Q691145)

The concept of action is one of the useful tools in algebraic and differential topology. In this paper, the authors deal with the action of a Lie pseudogroup on a smooth manifold and its moving frames and invariants. More precisely, the action of a Lie pseudogroup \(G\) on a smooth manifold \(M\) induces a prolonged pseudogroup action on the jet spaces of submanifolds of \(M\). Using this fact, the authors prove that both the local and global freeness of the action of \(G\) on the jet space \(J^n\) persist under prolongation of the pseudogroup action at the jet order \(n\).