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 primitiveIf the action is free, invariant forms descend uniquely through the resulting covering map.
New to topics? Read the docs here!