The orbit-equivalence conjecture for prequantum implicit representations
Let O\mathcal{O}O be a Diff0(M)\operatorname{Diff}_0(M)Diff0(M)-orbit in the explicit shape space X\mathcal{X}X, let FO≔Π−1O\mathcal{F}_{\mathcal{O}}\coloneqq \Pi^{-1}\mathcal{O}FO:=Π−1O be the entire fiber…