Diffeological Symplectic Frobenius Reciprocity
arXiv:2303.06184
Abstract
In this note we prove that the symplectic Frobenius Reciprocity established in the paper "Symplectic Induction, Prequantum Induction and Prequantum Multiplicities" as a set bijection is indeed a diffeological diffeomorphism, as conjectured by its authors Ratiu and Ziegler. The same holds in the prequantum space context.
14 pages