On $\mathbb{Z}/2\mathbb{Z}$ permutation gauging

We explicitly construct a (unitary) $\mathbb{Z}/2\mathbb{Z}$ permutation gauging of a (unitary) modular category $\mathcal{C}$. In particular, the formula for the modular data of the gauged theory is provided in terms of modular data of $\mathcal{C}$, which provides positive evidence of the reconstruction program. Moreover as a direct consequence, the formula for the fusion rules is derived, verifying the conjectured formula of Edie-Michell-Jones-Plavnik. Our construction explicitly shows the genus-$0$ data of the gauged theory contains higher genus data of the original theory. As applications, we obtain an identity for the modular data that does not come from modular group relations, and we prove that representations of the symmetric mapping class group (associated to closed surfaces) coming from weakly group theoretical modular categories have finite images.