Secondary representation stability and the once-punctured torus (Q2172644)

The author study the ordered configuration spaces of \(n\) points on the punctured torus, with focus on the stability phenomenon. Let \(X\) be a non-compact manifold of dimension \(d\), the operation of adding a point ``near infinity'' induces a map in homology \[ H_k(F_n(X)) \to H_k(F_{n+1}(X)) \] that stabilizes for \(n \geq 2k\) as representation of the symmetric group, in the sense of \textit{T. Church} et al. [Duke Math. J. 164, No. 9, 1833--1910 (2015; Zbl 1339.55004)]. \textit{J. Miller} and \textit{J. Wilson} [Geom. Topol. 23, No. 5, 2519--2591 (2019; Zbl 1427.55011)] describe a secondary stability phenomenon using the map \[ H_k(F_n(X)) \to H_{k+d-1}(F_{n+2}(X)) \] obtained by adding ``near infinity'' a pair of orbiting points. These maps stabilize for \(n \gg k\). This paper threats the case of configurations on a punctured torus \(T^\circ\) showing that the secondary stability phenomenon is non-trivial. Technically, the author shows that the \(FIM^+\)-module \[ H_0^{FI}(H_{\frac{n+2}{2}}(F_n(T^\circ); \mathbb{Q})) \] is neither a free module nor a stably-zero module. The techniques involve the category \(FIM^+\) of finite sets with injection and ordered matching, the arc resolution spectral sequence, and the previous computation of first Betti numbers of \(F_n(T)\) in [\textit{R. Pagaria}, Eur. J. Math. 8, No. 2, 427--445 (2022; Zbl 07544456)]. The result of Proposition 1.1 and 4.2 already appear implicitly in Tables 7-11 of [loc. cit.]. In that paper the first Betti numbers \(b_k(F_n(T^\circ))\) were computed using a SageMath program and used to calculate \(b_k(F_n(T))\), although some details were omitted. Wawrykow performs the inverse calculation deducing \(b_k(F_n(T^\circ))\) from \(b_k(F_n(T))\) and reporting all the details of the proof.