Diffeological Symplectic Frobenius Reciprocity. (arXiv:2303.06184v1 [math.SG]) http://arxiv.org/abs/2303.06184
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.
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.
