Quantization Commutes with Reduction of Chern-Simons Gauge Theory

We prove an infinite-dimensional version of "quantization commutes with reduction" in the framework of geometric quantization of Chern-Simons gauge theory, focusing on the genus one case. The proof is complex-analytic and relies on the Atiyah-Bott stack and the Chern-Simons line bundle.