is not a base form
1 Form and symmetries
Notice that symmetries form a Lie superalgebra:
|
| ||||||||
|
This superalgebra acts on .
However, it turns out that is not a base form with respect to symmetries.
More precisely:
is invariant but not horizontal
Therefore we cannot integrate over cycles in the base:
does not descend to a PDF on the coset
2 Our solution
We factorize over symmetries, but not over all symmetries.
We will identify a subgroup in the group of symmeties, which has the properties:
It is large enough for the factorspace to have interesting integration cycles.
It is small enough to allow us to define a closed base PDF which we will call .