Pseudogroups via pseudoactions: Unifying local, global, and infinitesimal symmetry

A multiplicatively closed, horizontal foliation on a Lie groupoid may be viewed as a "pseudoaction" on the base manifold $M$. A pseudoaction generates a pseudogroup of transformations of $M$ in the same way an ordinary Lie group action generates a transformation group. Infinitesimalizing a pseudoaction, one obtains the action of a Lie algebra on $M$, possibly twisted. A global converse to Lie's third theorem proven here states that every twisted Lie algebra action is integrated by a pseudoaction. When the twisted Lie algebra action is complete it integrates to a twisted Lie group action, according to a generalization of Palais' global integrability theorem.