Equivariant loops on classifying spaces (Q2663325)

It is well known that if \(M\) is a grouplike simplicial monoid, then the geometric realisation \(|M|\) is weakly homotopy equivalent to the loop space \(\Omega|BM|\), where \(BM\) is the bar construction on \(M\). Theorems of McDuff-Segal and Quillen extend this statement to the case where \(M\) is not grouplike -- the group completion theorem. In that case, under certain conditions the homology \(H_*(\Omega|BM|)\) is isomorphic as an \(H_*(M)\)-module to \(H_*(M)[\pi_0(M)^{-1}]\), where \(\pi_0(M)^{-1}\) is the group completion of the monoid \(\pi_0(M)\). This paper investigates the situation where the monoid \(M\) comes equipped with an anti-involution, namely an involution \(\overline{(-)}\), such that \(\overline{x\cdot y} = \overline{y}\cdot \overline{x}\). In particular in this situation one has a natural action of the cyclic group \(C_2\) of order 2. Let \(\mathbb{R}^{1,1}\) denote the real 1-dimensional sign representation and let \(S^{1,1}\) denote its 1-point compactification. Then for any pointed space \(X\) one has a \(C_2\)-action on the equivariant loop space \(\Omega^{1,1}X = \mathrm{Map}_*(S^{1,1}, X)\). In [``The moduli space of real curves and a \(\mathbb{Z}\slash 2\)-equivariant Madsen-Weiss theorem,'' PhD thesis, Stanford University (2013)], \textit{Nisan Stiennon} showed that for a simplicial monoid with anti-involution \(M\), there is a \(C_2\)-equivariant map \(|M|\to \Omega^{1,1}|BM|\), and hence an induced map on the \(C_2\)-fixed points. In this setup the paper gives a generalisation of the group completion theorem. The statement is that for a simplicial monoid \(M\) with an anti-involution, satisfying a certain extra condition, the natural map induced on \(C_2\)-fixed points induces an isomorphism \[ \pi_0(M^{C_2})[\pi_0(M)^{-1}]\to \pi_0(\Omega^{1,1}|BM|)^{C_2} \] of left \(\pi_0(M)\)-sets and an isomorphism of left \(H_*(M)\)-modules \[ H_*(M^{C_2})[\pi_0(M)^{-1}]\to H_*((\Omega^{1,1}|BM|)^{C_2}). \] A second goal of the paper is a theorem that generalises the statement above to a situation where the input is an additive category \(\mathcal{C}\) with a subcategory of weak equivalences \(w\mathcal{C}\) and a duality \(T\) acting in the appropriate sense as an involution. With the appropriate modifications the second main theorem of the paper is a generalisation of the first to this context.