Invariant primitive under a finite group action

ID: invariant-primitive-under-a-finite-group-action

Let a finite group act smoothly on a smooth manifold, and suppose that a -invariant differential form is an exact differential form, say . Averaging gives the invariant primitive
If the action is free, invariant forms descend uniquely through the resulting covering map.

New to topics? Read the docs here!