Parametrised moduli spaces of surfaces as infinite loop spaces
We study the $E_2$-algebra $Λ\mathfrak{M}_{*,1}=\coprod_{g\geqslant 0}Λ\mathfrak{M}_{g,1}$ consisting of free loop spaces of moduli spaces of Riemann surfaces with one parametrised boundary component, and compute the homotopy type of the group completion $ΩBΛ\mathfrak{M}_{*,1}$: it is the product of $Ω^\infty\mathbf{MTSO}(2)$ with a certain free $Ω^\infty$-space depending on the family of all boundary-irreducible mapping classes in all mapping class groups $Γ_{g,n}$ with $g\geqslant 0$ and $n\geqslant 1$.