Abstract
We compute the mapping class group of the manifolds \(\sharp ^g(S^{2k+1}\times S^{2k+1})\) for \(k>0\) in terms of the automorphism group of the middle homology and the group of homotopy \((4k+3)\)spheres. We furthermore identify its Torelli subgroup, determine the abelianisations, and relate our results to the group of homotopy equivalences of these manifolds.
Similar content being viewed by others
The classical mapping class group \(\Gamma _g\) of a genus g surface naturally generalises to all even dimensions 2n as the group of isotopy classes
of orientationpreserving diffeomorphisms of the gfold connected sum \(W_g=\sharp ^g(S^n\times S^n)\). Its action on the middle cohomology \( H(g)\,{:}{=}\,\mathrm {H}^n(W_g;\mathbf {Z})\cong \mathbf {Z}^{2g}\) provides a homomorphism \(\Gamma ^n_g\rightarrow \mathrm {GL}_{2g}(\mathbf {Z})\) whose image is the symplectic group \(\mathrm {Sp}_{2g}(\mathbf {Z})\) in the surface case \(2n=2\), and a certain arithmetic subgroup \(G_g\subset \mathrm {Sp}_{2g}(\mathbf {Z})\) or \(G_g\subset \mathrm {O}_{g,g}(\mathbf {Z})\) in general, the description of which we shall recall later. The kernel \(\mathrm {T}_g^n\subset \Gamma _g^n\) of the resulting extension
is known as the Torelli group—the subgroup of isotopy classes acting trivially on homology. In contrast to the surface case, the Torelli group in high dimensions \(2n\ge 6\) is comparatively manageable: there is an extension
due to Kreck [35], which relates \(\mathrm {T}_g^n\) to the finite abelian group of homotopy spheres \(\Theta _{2n+1}\) and the image of the stabilisation map \(S:\pi _n\mathrm {SO}(n)\rightarrow \pi _n\mathrm {SO}(n+1)\) whose isomorphism class is shown in Table 1.
The description of \(\Gamma _g^n\) up to these two extension problems has found a variety of applications [2, 5,6,7, 18, 23, 29, 33, 38, 39], especially in relation to the study of moduli spaces of manifolds [22]. The remaining extensions (1) and (2) have been studied more closely for particular values of g and n [15, 19, 21, 36, 37, 48] but are generally not wellunderstood (see e.g. [15, p.1189], [21, p.873], [2, p.425]). In the present work, we resolve the remaining ambiguity for \(n\ge 3\) odd, resulting in a complete description of the mapping class group \(\Gamma _g^n\) and the Torelli group \(\mathrm {T}_g^n\) in terms of the arithmetic group \(G_g\) and the group of homotopy spheres \(\Theta _{2n+1}\).
To explain our results, note that (1) and (2) induce further extensions
which express \(\Gamma _g^n\) in terms of \(G_g\) and \(\Theta _{2n+1}\) up to two extension problems that are similar to (1) and (2), but are more convenient to analyse as both of their kernels are abelian. We resolve these two extension problems completely, beginning with an algebraic description of the second one in Sect. 2, which enables us in particular to decide when it splits.
For \(n\ge 3\) odd and \(g\ge 1\), the extension
splits for \(n\ne 3,7\). For \(n=3,7\), it splits if and only if \(g=1\).
Unlike (4), the extension (3) is central and thus classified by a class in \(\mathrm {H}^2(\Gamma ^n_g/\Theta _{2n+1};\Theta _{2n+1})\), which our main result, Theorem B below, identifies in terms of three cohomology classes

(i)
\(\frac{\mathrm {sgn}}{8}\in \mathrm {H}^2(\Gamma _g^n/\Theta _{2n+1};\mathbf {Z})\) for \(n\ne 3,7\) odd,

(ii)
\(\frac{\chi ^2}{2}\in \mathrm {H}^2(\Gamma _g^n/\Theta _{2n+1};\mathbf {Z})\) for \(n\equiv 3\ (\mathrm {mod}\ 4)\) and \(n\ne 3,7\),

(iii)
\(\frac{\chi ^2\mathrm {sgn}}{8}\in \mathrm {H}^2(\Gamma _g^n/\Theta _{2n+1};\mathbf {Z})\) for \(n=3,7\),
which can be expressed algebraically, using our description of \(\Gamma ^n_g/\Theta _{2n+1}\) mentioned above. Referring to Sect. 3 for the precise definition of these classes, we encourage the reader to think of them geometrically in terms of their pullbacks along the composition
induced by taking path components and quotients: the pullback of the first class, which is closely related to Meyer’s signature cocycle [43], evaluates a class represented by an oriented smooth fibre bundle \(\pi :E\rightarrow S\) over a closed oriented surface S with fibre \(W_g\) to an eighth of the signature \(\mathrm {sgn}(E)\) of its total space, the pullback of the second one assigns such a bundle the Pontryagin number \(p_{(n+1)/4}^2(E)\) up to a fixed constant, and the pullback of the third class evaluates \([\pi ]\) to a certain linear combination of \(\mathrm {sgn}(E)\) and \(p_{(n+1)/4}^2(E)\). In addition to these three classes, our identification of the extension (3) for \(n\ge 3\) odd involves two particular homotopy spheres: the first one, \(\Sigma _P\in \Theta _{2n+1}\), is the Milnor sphere—the boundary of the \(E_8\)plumbing [8, Sect. V], and the second one, \(\Sigma _Q\in \Theta _{2n+1}\), arises as the boundary of the plumbing of two copies of a linear \(D^{n+1}\)bundles over \(S^{n+1}\) classified by a generator of \(S\pi _n\mathrm {SO}(n)\). We write \(()\cdot \Sigma :\mathrm {H}^2(\Gamma ^n_g/\Theta _{2n+1};\mathbf {Z})\rightarrow \mathrm {H}^2(\Gamma ^n_g/\Theta _{2n+1};\Theta _{2n+1})\) for the change of coefficients induced by \(\Sigma \in \Theta _{2n+1}\).
For \(n\ge 3\) odd and \(g\ge 1\), the central extension
is classified by

(i)
\(\frac{\mathrm {sgn}}{8}\cdot \Sigma _P \in \mathrm {H}^2(\Gamma _g^n/\Theta _{2n+1};\Theta _{2n+1})\) for \(n\equiv 1\ (\mathrm {mod}\ 4)\),

(ii)
\(\frac{\mathrm {sgn}}{8}\cdot \Sigma _P + \frac{\chi ^2}{2} \cdot \Sigma _Q \in \mathrm {H}^2(\Gamma _g^n/\Theta _{2n+1};\Theta _{2n+1})\) for \(n\equiv 3\ (\mathrm {mod}\ 4)\) if \(n\ne 3,7\),

(iii)
\(\frac{\chi ^2\mathrm {sgn}}{8}\cdot \Sigma _Q \in \mathrm {H}^2(\Gamma _g^n/\Theta _{2n+1};\Theta _{2n+1})\) for \(n=3,7\).
Moreover, this extension splits if and only if \(n\equiv 1\ (\mathrm {mod}\ 4)\) and \(g=1\).
The extension (2) describing the Torelli group \(\mathrm {T}^n_{g}\) is the pullback of the extension determined in Theorem B along the map \(H(g)\otimes S\pi _n\mathrm {SO}(n)\rightarrow \Gamma _g^n/\Theta _{2n+1}\), so the combination of the previous result with our identification of \(\Gamma _{g}^n/\Theta _{2n+1}\) provides an algebraic description of both \(\Gamma _g^n\) and \(\mathrm {T}_g^n\) in terms of \(G_g\) and \(\Theta _{2n+1}\). We derive several consequences from this, beginning with deciding when the more commonly considered extensions (1) and (2) split.
Let \(n\ge 3\) odd and \(g\ge 1\).

(i)
The extension
$$\begin{aligned} 0 \longrightarrow \mathrm {T}^n_g \longrightarrow \Gamma ^n_g \longrightarrow G_g \longrightarrow 0 \end{aligned}$$does not split for \(g\ge 2\), but admits a splitting for \(g=1\) and \(n\ne 3,7\).

(ii)
The extension
$$\begin{aligned} 0 \longrightarrow \Theta _{2n+1} \longrightarrow \mathrm {T}^n_g \longrightarrow H(g)\otimes S\pi _n\mathrm {SO}(n) \longrightarrow 0 \end{aligned}$$does not split for \(n\equiv 3\ (\mathrm {mod}\ 4)\), but splits \(G_g\)equivariantly for \(n\equiv 1 \ (\mathrm {mod}\ 4)\).
1 Abelian quotients
The second application of our description of the groups \(\Gamma ^n_{g}\) and \(\mathrm {T}^n_g\) is a computation of their abelianisations.
Although Theorem A exhibits the extension (4) as nontrivial in some cases, its abelianisation turns out to split (see Corollary 2.4), so there exists a splitting
which participates in the following identification of the abelianisation of \(\Gamma _{g}^n\) and \(\mathrm {T}_{g}^n\).
Corollary D
Let \(g\ge 1\) and \(n\ge 3\) odd.

(i)
The extension (3) induces a split short exact sequence
$$\begin{aligned} 0\longrightarrow \Theta _{2n+1}/K_g\longrightarrow \mathrm {H}_1(\Gamma _{g}^n)\overset{p_*}{\longrightarrow }\mathrm {H}_1(G_g) \oplus \big (H(g)\otimes S\pi _n\mathrm {SO}(n)\big )_{G_g}\longrightarrow 0, \end{aligned}$$where \(K_g=\langle \Sigma _P,\Sigma _Q\rangle \) for \(g\ge 2\) and \(K_g=\langle \Sigma _Q\rangle \) for \(g=1\).

(ii)
The extension (4) induces a split short exact sequence of \(G_g\)modules
$$\begin{aligned} 0\longrightarrow \Theta _{2n+1}/\langle \Sigma _Q\rangle \longrightarrow \mathrm {H}_1(\mathrm {T}_{g}^n)\overset{\rho _*}{\longrightarrow } H(g)\otimes S\pi _n\mathrm {SO}(n)\longrightarrow 0. \end{aligned}$$In particular, the commutator subgroup of \(\mathrm {T}_{g}^n\) is generated by \(\Sigma _Q\).
These splittings of \(\mathrm {H}_1(\Gamma _g^n)\) and \(\mathrm {H}_1(\mathrm {T}_g^n)\) are constructed abstractly, but can often be made more concrete by means of a refinement of the mapping torus as a map
to the bordism group of closed \((2n+1)\)manifolds M equipped with a lift of their stable normal bundle \(M\rightarrow \mathrm {BO}\) to the nconnected cover \(\tau _{>n}\mathrm {BO}\rightarrow \mathrm {BO}\). To state the resulting more explicit description of the abelianisations of \(\Gamma _g^n\) and \(\mathrm {T}_g^n\), we write \(\sigma _n'\) for the minimal positive signature of a closed smooth nconnected \((2n+2)\)dimensional manifold. For \(n\ne 1,3,7\) odd, the intersection form of such a manifold is unimodular and even, so \(\sigma _n'\) is divisible by 8.
Corollary E
Let \(n\ge 3\) odd and \(g\ge 1\).

(i)
The morphism
$$\begin{aligned} t_*\oplus p_*:\mathrm {H}_1(\Gamma ^n_g)\longrightarrow \Omega ^{\tau _{>n}}_{2n+1}\oplus \mathrm {H}_1(G_g) \oplus \big (H(g)\otimes S\pi _n\mathrm {SO}(n)\big )_{G_g} \end{aligned}$$is an isomorphism for \(g\ge 2\), and for \(g=1\) if \(n=3,7\). For \(g=1\) and \(n\ne 3,7\), it is surjective, has kernel of order \(\sigma _n'/8\) generated by \(\Sigma _P\), and splits for \(n\equiv 1\ (\mathrm {mod}\ 4)\).

(ii)
The morphism
$$\begin{aligned} t_*\oplus \rho _*:\mathrm {H}_1(\mathrm {T}_g^n)\longrightarrow \Omega ^{\tau _{>n}}_{2n+1}\oplus \big ( H(g)\otimes S\pi _n\mathrm {SO}(n)\big ) \end{aligned}$$is an isomorphism for \(n=3,7\). For \(n\ne 3,7\), it is surjective, has kernel of order \(\sigma _n'/8\) generated by \(\Sigma _P\), and splits \(G_g\)equivariantly for \(n\equiv 1\ (\mathrm {mod}\ 4)\).
Remark

(i)
In Theorem G below, we determine the abelianisation of \(\Gamma ^n_{g,1}\) and \(\mathrm {T}^n_{g,1}\) for \(n\ge 4\) even in which case the morphisms \(t_*\oplus p_*\) and \(t_*\oplus \rho _*\) are isomorphisms for all \(g\ge 1\).

(ii)
As shown in [34, Prop. 2.15], the minimal signature \(\sigma _n'\) is nontrivial for n odd, grows very quickly with n, and can be expressed in terms of Bernoulli numbers.

(iii)
For some values of g and n, Theorem E leaves open whether \(t_*\oplus p_*\) and \(t_*\oplus \rho _*\) split. The morphisms \(p_*\) and \(\rho _*\) always split by Theorem D, and in Sect. 4.1 we relate the question of whether there exist compatible splittings of \(t_*\) to a known open problem in the theory of highly connected manifold, showing in particular that such splittings do exist when assuming a conjecture of Galatius and RandalWilliams.

(iv)
Work of Thurston [52] shows that the component of the identity diffeomorphism is perfect as a discrete group, so the abelianisation of the full diffeomorphism group considered as a discrete group agrees with \(\mathrm {H}_1(\Gamma _g^n)\).
In view of Theorem E, it is of interest to determine the bordism groups \(\Omega ^{\tau _{>n}}_{2n+1}\), the abelianisation \(\mathrm {H}_1(G_g)\), and the coinvariants \((H(g)\otimes S\pi _n\mathrm {SO}(n))_{G_g}\). The computation
is straightforward (see Lemma A.2 and Table 1). The abelianisation of \(G_g\) is known and summarised in Table 2 (see Lemma A.1). Finally, the bordism groups \(\Omega ^{\tau _{>n}}_{2n+1}\) are closely connected to the stable homotopy groups of spheres: the canonical map
factors through the cokernel of the Jhomomorphism and work of Schultz and Wall [50, 55] implies that the induced morphism is often an isomorphism (see Corollary 3.6).
Theorem
(Schultz, Wall). For n odd, the natural morphism \(\mathrm {coker}(J)_{2n+1}\rightarrow \Omega ^{\tau _{>n}}_{2n+1}\) is surjective with cyclic kernel. It is an isomorphism for \(n\equiv 1\ (\mathrm {mod}\ 4)\) and for \(n=3,7\).
Combined with Theorem E, this reduces the computation of the abelianisation of \(\Gamma _g^n\) and \(\mathrm {T}^n_g\) in many cases to determining the cokernel of the Jhomomorphism—a wellstudied problem in stable homotopy theory. Table 3 shows the resulting calculation of the abelianisations of the groups \(\Gamma _g^n\) and \(\mathrm {T}^n_g\) for the first few values of n .
Remark
After the completion of this work, Burklund–Hahn–Senger [11] and Burklund–Senger [12] showed that for n odd, the homotopy sphere \(\Sigma _Q\in \Theta _{2n+1}\) bounds a parallelisable manifold if and only if \(n\ne 11\). This implies in particular that aside from the case \(n=11\)

(i)
the canonical map \(\mathrm {coker}(J)_{2n+1}\rightarrow \Omega _{2n+1}^{\tau _{>n}}\) is an isomorphism, which extends the theorem attributed to Schultz and Wall above,

(ii)
the conjecture of Galatius–RandalWilliams mentioned in the third part of the previous remark holds, and

(iii)
the minimal signature \(\sigma _n'\) appearing in Theorem E is computable from [34, Prop. 2.15].
2 Homotopy equivalences
As an additional application of our results, we briefly discuss the group of homotopy classes of orientationpreserving homotopy equivalences.
The natural map can be seen to factor through the quotient \(\Gamma _g^n/\Theta _{2n+1}\) and to induce a commutative diagram of the form
which exhibits the lower row—an extension describing due to Baues [1]—as the extension pushout of the extension (4) along the left vertical morphism, which is induced by the restriction \(J:S\pi _n\mathrm {SO}(n)\rightarrow S\pi _{2n}S^{n}\) of the unstable Jhomomorphism, where \(S\pi _{2n}S^{n}\) is the image of the suspension map \(S:\pi _{2n}S^{n}\rightarrow \pi _{2n+1}S^{n+1}\). By Theorem A, the upper row splits in most cases and thus induces a compatible splitting of Baues’ extension. In the cases in which the upper row does not split, we show that Baues’ extension cannot split either.
Corollary F
Let \(n\ge 3\) odd and \(g\ge 1\).

(i)
For \(n\ne 3,7\), the two extensions in (6) admit compatible splittings. For \(n=3,7\), either of the extensions splits if and only if \(g=1\).

(ii)
The induced morphism is an isomorphism for \(g\ge 2\), and a split epimorphism with kernel the coinvariants \((H(g)\otimes S\pi _{2n}S^{n})_{G_g}\), which vanish for \(g\ge 2\) or \(n=3,7\), and are isomorphic to the group \(S\pi _{2n}S^{n}/(2\cdot S\pi _{2n}S^{n})\) otherwise.
3 The groups \(\Gamma _{g,1}^n\) for n even
Some parts in our analysis of \(\Gamma _{g,1}^n\) go through when \(n\ge 4\) is even as well, but a few key steps do not and would require new arguments. For instance, a different approach to the extension problem (4) would be necessary, as well as an extension of Theorem 3.12 to incorporate the Arf invariant. The abelianisation of the groups \(\Gamma ^n_{g,1}\) and \(\mathrm {T}^n_{g,1}\), however, can be determined without fully solving the extensions (3) and (4) if n is even. It turns out that in this case, the morphisms considered in Theorem E are isomorphisms for all \(g\ge 1\), which we shall prove as part of Sect. 4.2.
Theorem G
For \(n\ge 4\) even and \(g\ge 1\), the morphisms
are isomorphisms for \(g\ge 1\). The group of coinvariants \(\big ( H(g)\otimes S\pi _n\mathrm {SO}(n)\big )_{G_g}\) is described in (5).
4 Other highly connected manifolds
Instead of restricting to \(W_g\), one could consider any \((n1)\)connected almost parallelisable manifold M of dimension \(2n\ge 6\). Baues’ and Kreck’s work [1, 35] applies in this generality, so there are analogues of the sequences (1)–(6) describing and . However, for n odd—the case of our main interest—Wall’s classification of highly connected manifolds [55] implies that any such manifold is diffeomorphic to a connected sum \(W_g\sharp \Sigma \) with an exotic sphere \(\Sigma \in \Theta _{2n}\), aside from those of Kervaire invariant 1, which only exist in dimensions 6, 14, 30, 62, and possibly 126 by work of Hill–Hopkins–Ravenel [25]. The mapping class group for \(\Sigma \in \Theta _{2n}\) and n odd in turn is understood in terms of \(\Gamma _g^n\): Kreck’s work [35, Lem. 3, Thm 3] shows that the former is a quotient of the latter by a known element \(\Sigma '\in \Theta _{2n+1}\) of order at most 2, which is trivial if and only if \(\eta \cdot [\Sigma ]\in \mathrm {coker}(J)_{2n+1}\) vanishes.
5 Previous results
The extensions (1) and (2) and their variants (3) and (4) have been studied by various authors before, and some special cases of our results were already known:

(i)
As an application of their programme on moduli spaces of manifolds, Galatius–RandalWilliams [21] determined the abelianisation of \(\Gamma _g^n\) for \(g\ge 5\) and used this to determine the extension (3) for \(n\equiv 5\ (\mathrm {mod}\ 8)\) up to automorphisms of \(\Theta _{2n+1}\) as long \(g\ge 5\). Our work recovers and extends their results, also applies to low genera \(g<5\), and does not rely on their work on moduli spaces of manifolds.

(ii)
Theorems A and F for \(n=3,7\) reprove results due to Crowley [15].

(iii)
Baues [1, Thm 8.14, Thm 10.3] showed that the lower extension in (6) splits for \(n\ne 3,7\) odd, which we recover as part of the first part of Corollary F.

(iv)
The case \((g,n)=(1,3)\) of Theorem A and Theorem C (ii) can be deduced from work of Krylov [37] and Fried [19], who also showed that the extension of Theorem C (i) does not split in this case. Krylov [36, Thms 2.1, 3.2, 3.3] moreover established the case \(n\equiv 5\ (\mathrm {mod}\ 8)\) of Theorem C (i) for \(g=1\). For \(n\ne 3,7\), he also proved the case \(n\equiv 3\ (\mathrm {mod}\ 4)\) of Theorem A and the case \(n\equiv 3\ (\mathrm {mod}\ 4)\) of Theorem C (ii) for \(g=1\).
6 Further applications
Our main result Theorem B has been used in [32] in conjunction with Galatius–RandalWilliams’ work on moduli spaces of manifolds [22] to compute the second stable homology of the thetasubgroup of \(\mathrm {Sp}_{2g}(\mathbf {Z})\) (see Sect. 1.2), or equivalently, the second quadratic symplectic algebraic Ktheory group of the integers \(\mathrm {KSp}^q_2(\mathbf {Z})\).
7 Outline
Section 1 serves to recall foundational material on diffeomorphism groups and their classifying spaces, as well as to introduce different variants of the extensions (1) and (2) and to establish some of their basic properties. In Sect. 2, we study the action of \(\Gamma _g^n\) on the set of stable framings of \(W_g\) to identify the extension (3) and prove Theorem A. Section 3 aims at the proof of our main result Theorem B, which requires some preparation. We recall the relation between relative Pontryagin classes and obstruction theory in Sect. 3.1, discuss aspects of Wall’s classification of highly connected manifolds in Sect. 3.2, relate this class of manifolds to \(W_{g,1}\)bundles over surfaces with certain boundary conditions in Sect. 3.3 (which incidentally is the key geometric insight to prove Theorem B), construct the cohomology classes appearing in the statement of Theorem B in Sects. 3.4 and 3.5, and finish with the proof of Theorem B in Sect. 3.6. In Sect. 4, we analyse the extensions (1) and (2) and compute the abelianisation of \(\Gamma ^n_{g}\) and \(\mathrm {T}_g^n\), proving Corollaries C–E and Theorem G. Section 5 briefly discusses the group of homotopy equivalences and proves Corollary F. In the appendix, we compute various lowdegree (co)homology groups of the symplectic group \(\mathrm {Sp}_{2g}(\mathbf {Z})\) and its arithmetic subgroup \(G_g\subset \mathrm {Sp}_{2g}(\mathbf {Z})\).
8 Variations on two extensions of Kreck
8.1 Different flavours of diffeomorphisms
Throughout this work, we write
for the gfold connected sum of \(S^n\times S^n\), including \(W_0=S^{2n}\), and the manifold obtained from \(W_g\) removing the interior of an embedded disc \(D^{2n}\subset W_{g}\). Occasionally, we view the manifold \(W_{g,1}\) alternatively as the iterated boundary connected sum \(W_{g,1}=\natural ^gW_{1,1}\) of \(W_{1,1}=S^n\times S^n\backslash \mathrm {int}(D^{2n})\). We call g the genus of \(W_g\) or \(W_{g,1}\) and denote by and the groups of orientationpreserving diffeomorphisms, not necessarily fixing the boundary in the case of \(W_{g,1}\). We shall also consider the subgroups
of diffeomorphisms required to fix a neighbourhood of the boundary \(\partial W_{g,1}\cong S^{2n1}\) or a neighbourhood of a chosen disc \(D^{2n1}\subset \partial W_{g,1}\) in the boundary, respectively. All groups of diffeomorphisms are equipped with the smooth topology so that

(i)
and classify smooth oriented \(W_{g,1}\)bundles or \(W_g\)bundles, respectively,

(ii)
\(\mathrm {BDiff}_{\partial }(W_{g,1})\) classifies \((W_{g,1},S^{2n1})\)bundles, i.e. smooth \(W_{g,1}\)bundles with a trivialisation of their \(S^{2n1}\)bundle of boundaries, and

(iii)
\(\mathrm {BDiff}_{\partial /2}(W_{g,1})\) classifies \((W_{g,1},D^{2n1})\)bundles, that is, smooth \(W_{g,1}\)bundles with a trivialised \(D^{2n1}\)subbundle of its \(S^{2n1}\)bundle of boundaries.
Taking path components, we obtain various groups of isotopy classes
Extending diffeomorphisms by the identity provides a map , which induces an isomorphism on path components by work of Kreck as long as \(n\ge 3\).
Lemma 1.1
(Kreck) The canonical map \(\Gamma ^n_{g,1}\rightarrow \Gamma ^n_g\) is an isomorphism for \(n\ge 3\).
Proof
Taking the differential at the centre of the disc induces a fibration to the oriented frame bundle of \(W_g\). Its fibre is the subgroup of diffeomorphisms that fix a point and its tangent space, so it is equivalent to the subgroup of diffeomorphisms fixing a small disc around that point, which is in turn equivalent to \(\mathrm {Diff}_\partial (W_{g,1})\). We thus have fibration sequences of the form
whose long exact sequences show that the morphism in question is surjective and also that its kernel is generated by a single isotopy class given by “twisting” a collar \([0,1]\times S^{2n1}\subset W_{g,1}\) using a smooth based loop in \(\mathrm {SO}(2n)\) that represents a generator of \(\pi _1\mathrm {SO}(2n)\cong \mathbf {Z}/2\) (see [35, p. 647]). It follows from [35, Lem. 3 b), Lem. 4] that this isotopy class is trivial as \(W_g\) bounds the, handlebody \(\natural ^g(D^{n+1}\times S^n)\), which is parallelisable. \(\square \)
For the purpose of studying the mapping class group \(\Gamma _g^n\), we can thus equally well work with \(\mathrm {Diff}_\partial (W_{g,1})\) instead of , which is advantageous since there is a stabilisation map \(\mathrm {Diff}_{\partial /2}(W_{g,1})\rightarrow \mathrm {Diff}_{\partial /2}(W_{g+1,1})\) by extending diffeomorphisms over an additional boundary connected summand via the identity, which restricts to a map \(\mathrm {Diff}_{\partial }(W_{g,1})\rightarrow \mathrm {Diff}_{\partial }(W_{g+1,1})\) and thus induces stabilisation maps of the form
that allow us to compare mapping class groups of different genera. The group \(\Gamma _{0,1}\) has a convenient alternative description: gluing two closed ddiscs along their boundaries via a diffeomorphism supported in a disc \(D^{d}\subset \partial D^{d+1}\) gives a morphism \(\pi _0\mathrm {Diff}_\partial (D^{d})\longrightarrow \Theta _{d+1}\) to Kervaire–Milnor’s [30] finite abelian group \(\Theta _d\) of oriented homotopy dspheres up to hcobordism. By work of Cerf [13], this is an isomorphism for \(d\ge 5\), so we identify these two groups henceforth. Iterating the stabilisation map yields a sequence of maps
Lemma 1.2
For \(n\ge 3\), the image of \(\Theta _{2n+1}\) in \(\Gamma _{g,1}^n\) is central and becomes trivial in \(\Gamma _{g,1/2}^n\). The induced morphism
is an isomorphism.
Proof
Every diffeomorphism of \(W_{g,1}\) supported in a disc is isotopic to one that is supported in an arbitrary small neighbourhood of the boundary and thus commutes with any diffeomorphism in \(\mathrm {Diff}_\partial (W_{g,1})\) up to isotopy, which shows the first part of the claim. For the others, we consider the sequence of topological groups
induced by restricting diffeomorphisms in \(\mathrm {Diff}_{\partial /2}(W_{g,1})\) to the moving part of the boundary. This is a fibration sequence by the parametrised isotopy extension theorem. Mapping this sequence for \(g=0\) into (1.3) via the iterated stabilisation map, we see that the looped map \(\Omega \mathrm {Diff}_\partial (D^{2n1})\rightarrow \mathrm {Diff}_{\partial }(W_{g,1})\) induced by the fibration sequence (1.3) factors as the composition
of the map defining the Gromoll filtration with the iterated stabilisation map. Since the first map in this factorisation is surjective on path components by Cerf’s work [13], the claim will follow from the long exact sequence on homotopy groups of (1.3) once we show that the map \(\Gamma _{g,1/2}^n\rightarrow \pi _0\mathrm {Diff}_{\partial }(D^{2n1})=\Theta _{2n}\) has trivial image. Using that any orientation preserving diffeomorphism fixes any chosen oriented codimension 0 disc up isotopy by the isotopy extension theorem, one sees that this image agrees with the inertia group of \(W_g\), which vanishes by work of Kosinski and Wall [31, 54]. \(\square \)
8.2 Wall’s quadratic form
We recall Wall’s quadratic from associated to an \((n1)\)connected 2nmanifold [55], specialised to the case of our interest—the iterated connected sums \(W_g=\sharp ^g(S^n\times S^n)\) in dimension \(2n\ge 6\).
The intersection form \(\lambda :H(g){\otimes }H(g)\rightarrow \mathbf {Z}\) on the middle cohomology \( H(g) \,{:}{=}\,\mathrm {H}^n(W_g;\mathbf {Z})\) is a nondegenerate \((1)^{n}\)symmetric bilinear form. We use Poincaré duality to identify H(g) with \(\pi _n(W_g;\mathbf {Z})\cong \mathrm {H}_n(W_g)\) and a result of Haefliger [24] to represent classes in \(\pi _n(W_g)\) by embedded spheres \(e:S^n \hookrightarrow W_g\), unique up to isotopy as long as \(n\ge 4\). As \(W_g\) is stably parallelisable, the normal bundle of such e is stably trivial and hence gives a class q([e]) in
where \(\Lambda _n\) is the image of the usual map \(\pi _n(\mathrm {SO}(n+1))\rightarrow \pi _n(S^n)\cong \mathbf {Z}\) (see e.g. [41, §1.B]).^{Footnote 1} This defines a function \(q:H(g)\longrightarrow \mathbf {Z}/\Lambda _n\), which Wall [55] showed to satisfy the following two properties.

(i)
\(q(k\cdot [e])=k^2\cdot q([e])\) and

(ii)
\(q([e]+[f])=q([e])+q([f])+\lambda ([e],[f]) \ (\mathrm {mod}\ \Lambda _n)\).
Note that for n even, (i) and (ii) imply \(q([e])=\frac{1}{2}\lambda ([e],[e])\in \mathbf {Z}\), so q can in this case be recovered from \(\lambda \). The triple \((H(g),\lambda , q)\) is the quadratic form associated to \(W_g\). The decomposition \(W_g=\sharp ^g (S^n\times S^n)\) into connected summands induces a basis \((e_1,\ldots ,e_g,f_1,\ldots f_g)\) of \( H(g)\cong \mathbf {Z}^{2g}\) with respect to which q and \(\lambda \) have the form
so the automorphism group of the quadratic form can be identified as
where
In the theory of thetafunctions, the finite index subgroup \(\mathrm {Sp}_{2g}^q(\mathbf {Z})\le \mathrm {Sp}_{2g}(\mathbf {Z})\) is known as the theta group; it is the stabiliser of the standard thetacharacteristic with respect to the transitive \(\mathrm {Sp}_{2g}(\mathbf {Z})\)action on the set of even characteristics (see e.g. [58]). Using this description, it is straightforward to compute its index in \(\mathrm {Sp}_{2g}(\mathbf {Z})\) to be \(2^{2g1}+2^{g1}\).
8.3 Kreck’s extensions
To recall Kreck’s extensions [35, Prop. 3] describing \(\Gamma _{g,1}^n\) for \(n\ge 3\), note that an orientationpreserving diffeomorphism of \(W_g\) induces an automorphism of the quadratic form \(( H(g),\lambda ,q)\). This provides a morphism \(\Gamma _{g,1}^n\rightarrow G_g\), which Kreck proved to be surjective using work of Wall [56].^{Footnote 2} This explains the first extension
The second extension describes the Torelli subgroup \(\mathrm {T}_{g,1}^n\subset \Gamma _{g,1}^n\) and has the form
where \(S\pi _n\mathrm {SO}(n)\) denotes the image of the morphism \(S:\pi _n\mathrm {SO}(n)\rightarrow \pi _n\mathrm {SO}(n+1)\) induced by the usual inclusion \(\mathrm {SO}(n)\subset \mathrm {SO}(n+1)\). The isomorphism type of this image can be extracted from work of Kervaire [28] to be as shown in Table 1. As a diffeomorphism supported in a disc acts trivially on cohomology, the morphism \(\Theta _{2n+1}\rightarrow \Gamma _{g,1}^n\) in (1.2) has image in \(\mathrm {T}_{g,1}^n\), which explains first map in the extension (1.5). To define the second one, we canonically identify \( H(g)\otimes S\pi _n\mathrm {SO}(n)\) with \(\mathrm {Hom}(\mathrm {H}_n(W_g;\mathbf {Z}),S\pi _n\mathrm {SO}(n))\) and note that for a given isotopy class \([\phi ]\in \mathrm {T}_g^n\) and a class \([e]\in \mathrm {H}_n(W_g;\mathbf {Z})\) represented by an embedded sphere \(e:S^n\hookrightarrow W_g\), the embedding \(\phi \circ e\) is isotopic to e, so we can assume that \(\phi \) fixes e pointwise by the isotopy extension theorem. The derivative of \(\phi \) thus induces an automorphism of the once stabilised normal bundle \(\vartheta (e)\oplus \varepsilon \), which after choosing a trivialisation \(\vartheta (e)\oplus \varepsilon \cong \varepsilon ^{n+1}\) defines the image \(\rho ([\phi ])([e])\in \pi _n\mathrm {SO}(n+1)\) of [e] under the morphism \(\rho ([\phi ])\in \mathrm {Hom}(\mathrm {H}_n(W_g;\mathbf {Z}),S\pi _n\mathrm {SO}(n))\), noting that \(\rho ([\phi ])([e])\) is independent of all choices and actually lies in the subgroup \(S\pi _n\mathrm {SO}(n)\subset \pi _n\mathrm {SO}(n+1)\) (see [35, Lem. 1]).
Instead of the extensions (1.4) and (1.5), we shall mostly be concerned with two closely related variants which we describe now. By Kreck’s result, the morphism \(\Theta _{2n+1}\rightarrow \Gamma _{g,1}^n\) is injective, so gives rise to an extension \(0\rightarrow \Theta _{2n+1}\rightarrow \Gamma ^n_{g,1}\rightarrow \Gamma ^n_{g,1}/\Theta _{2n+1}\rightarrow 0\), which combined with the canonical identification \(\Gamma ^n_{g,1}/\Theta _{2n+1}\cong \Gamma ^n_{g,1/2}\) of Lemma 1.2 has the form
and agrees with the extension induced by taking path components of the chain of inclusions \(\mathrm {Diff}_{\partial }(D^{2n})\subset \mathrm {Diff}_{\partial }(W_{g,1})\subset \mathrm {Diff}_{\partial /2}(W_{g,1})\). The action of \(\Gamma ^n_{g,1/2}\) on H(g) preserves the quadratic form as \(\Gamma ^n_{g,1}\rightarrow \Gamma ^n_{g,1/2}\) is surjective by Lemma 1.2, so this action yields an extension
which, via the isomorphism \(\mathrm {T}_{g,1}^n/\Theta _{2n+1}\cong H(g)\otimes S\pi _n\mathrm {SO}(n)\) induced by (1.5), corresponds to the quotient of the extension (1.4) by \(\Theta _{2n+1}\), using \(\Gamma ^n_{g,1}/\Theta _{2n+1}\cong \Gamma ^n_{g,1/2}\) once more.
Lemma 1.3
The action of \(G_g\) on \(H(g)\otimes S\pi _n\mathrm {SO}(n)\cong \mathrm {Hom}(\mathrm {H}_n(W_{g};\mathbf {Z}),S\pi _n\mathrm {SO}(n))\) induced by the extension (1.7) is through the standard action of \(G_g\) on \(\mathrm {H}_n(W_{g};\mathbf {Z})\).
Proof
In view of the commutative diagram
it suffices to establish the identity \(\rho (\phi \circ \psi \circ \phi ^{1})=p(\phi )\cdot \rho (\psi )\) for all \(\phi \in \Gamma ^n_{g,1}\) and \(\psi \in \mathrm {T}_{g,1}^n\). Unwrapping the definition of \(\rho \), the image of \(p(\phi )\cdot \rho (\psi )\) on a homology class in \(\mathrm {H}_n(W_{g,1};\mathbf {Z})\) is given by the automorphism
where e is an embedded sphere which represents the homology class and is pointwise fixed by \(\phi \circ \psi \circ \phi ^{1}\) and F is any choice of framing of \(\vartheta (\phi ^{1}\circ e)\oplus \varepsilon \). For the particular choice of framing
to compute the image of \([e]\in \mathrm {H}_n(W_{g,1};\mathbf {Z})\) under \(\rho (\phi \circ \psi \circ \phi ^{1})\), the claimed identity is a consequence of the chain rule for the differential. \(\square \)
8.4 Stabilisation
Iterating the stabilisation map (1.1) induces a morphism
of group extensions for \(h\le g\), which exhibits the upper row as the pullback of the lower row, so the extension (1.6) for a fixed genus g determines those for all \(h\le g\). The situation for the extension (1.7) is similar: writing \(W_{g,1}\cong W_{h,1}\natural W_{gh,1}\), we obtain a decomposition \(H(g)\cong H(h)\oplus H(gh)\), which yields a stabilisation map
and two morphisms of \(G_h\)modules, an inclusion \(H(h)\rightarrow s^*H(g)\) and a projection \(s^*H(g)\rightarrow H(h)\). These morphisms express the extension (1.7) for genus \(h\le g\) as being obtained from that for genus g by pulling back along \(s:G_h\rightarrow G_{g}\) followed by forming the extension pushout along \(s^*H(g)\rightarrow H(h)\). They also induce a morphism of extensions of the form
9 The action on the set of stable framings and Theorem A
This section serves to resolve the extension problem
described in the previous section. Our approach is in parts inspired by work of Crowley [15], who identified this extension in the case \(n=3,7\).
The group \(\Gamma ^n_{g,1/2}\) acts on the set of equivalence classes of stable framings
that extend the standard stable framing on \(TD^{2n1}\), by pulling back stable framings along the derivative. As the equivalence classes of such framings naturally form a torsor for the group of pointed homotopy classes \([W_{g,1},\mathrm {SO}]_*\), the action of \(\Gamma ^n_{g,1/2}\) on a fixed choice of stable framing F as above yields a function
where the first isomorphism is induced by \(\pi _n()\) and the Hurewicz isomorphism, and the second one by the universal coefficient theorem. This function is a 1cocycle (or crossed homomorphism) for the canonical action of \(\Gamma ^n_{g,1/2}\) on \( H(g)\otimes \pi _n\mathrm {SO}\) (cf. [15, Prop. 3.1]) and as this action factors through the map \(p:\Gamma ^n_{g,1/2}\rightarrow G_g\), we obtain a morphism of the form
which is independent of F up to conjugation in the target by a straightforward check. This induces a morphism from the extension (2.1) to the trivial extension of \(G_g\) by the \(G_g\)module \(H(g)\otimes \pi _n\mathrm {SO}\),
The left vertical map is induced by the natural map \(S\pi _n\mathrm {SO}(n)\rightarrow \pi _n\mathrm {SO}\) originating from the inclusion \(\mathrm {SO}(n)\subset \mathrm {SO}\) and is an isomorphism for \(n\ne 1,3,7\) odd as a consequence of the following lemma whose proof is standard (see e.g. [41, §1B)]).
Lemma 2.1
For n odd, the morphism \(S\pi _n\mathrm {SO}(n)\rightarrow \pi _n\mathrm {SO}\) induced by the inclusion \(\mathrm {SO}(n)\subset \mathrm {SO}\) is an isomorphism for \(n\ne 1,3,7\) odd. For \(n=1,3,7\), it is injective with cokernel \(\mathbf {Z}/2\).
As a result, the diagram (2.2) induces a splitting of (2.1) for \(n\ne 3,7\) odd, since all vertical maps are isomorphisms. This proves the cases \(n\ne 3,7\) of the following reformulation of Theorem A (see Sect. 1.3). We postpone the proof of the cases \(n=3,7\) to Sect. 3.6.
Theorem 2.2
For \(n\ge 3\) odd, the extension
splits for \(n\ne 3,7\). For \(n=3,7\), it splits if and only if \(g=1\).
Even though the extension does not split for \(n=3,7\), the morphism (2.2) is still injective by Lemma 2.1 and thus expresses the extension in question as a subextension of the trivial extension of \(G_g\) by the \(G_g\)module \(H(g)\otimes \pi _n\mathrm {SO}\). Crowley [15, Cor. 3.5] gave an algebraic description of this subextension and concluded that it splits if and only if \(g=1\). We proceed differently and prove this fact in Sect. 3.3 directly, which can in turn be used to determine the extension in the following way: by the discussion in Sect. 1.4, it is sufficient to determine its extension class in \(\mathrm {H}^2(G_g;H(g)\otimes S\pi _n\mathrm {SO}(n))\) for \(g\gg 0\). For \(n=3,7\), we have \(G_g\cong \mathrm {Sp}_{2g}(\mathbf {Z})\) with its usual action on \(H(g)\otimes S\pi _n\mathrm {SO}(n)\cong \mathbf {Z}^{2g}\). Using work of Djament [16, Thm 1], one can compute \(\mathrm {H}^2(\mathrm {Sp}_{2g}(\mathbf {Z});\mathbf {Z}^{2g})\cong \mathbf {Z}/2\) for \(g\gg 0\), so there is only one nontrivial extension of \(G_g\) by \(H(g)\otimes S\pi _n\mathrm {SO}(n)\), which must be the one in consideration because of the second part of Theorem 2.2. Note that this line of argument gives a geometric proof for the following useful fact on the twisted cohomology of \(\mathrm {Sp}_{2g}(\mathbf {Z})\) as a byproduct, which can also be derived algebraically (see for instance [15, Sect. 2]).
Corollary 2.3
The pullback of the unique nontrivial class in \(\mathrm {H}^2(\mathrm {Sp}_{2g}(\mathbf {Z});\mathbf {Z}^{2g})\) for \(g\gg 0\) to \(\mathrm {H}^2(\mathrm {Sp}_{2h}(\mathbf {Z});\mathbf {Z}^{2h})\) for \(h\le g\) is trivial if and only if \(h=1\).
We close this section by relating the abelianisation of \(\Gamma ^n_{g,1/2}\) to that of \(G_g\). The latter is content of Lemma A.1.
Corollary 2.4
For \(n\ge 3\) odd, the morphism
is split surjective and has the coinvariants \((H(g)\otimes S\pi _n\mathrm {SO}(n))_{G_g}\) as its kernel, which vanish for \(g\ge 2\). For \(g=1\) it vanishes if and only if \(n\equiv 5\ (\mathrm {mod}\ 8)\) or \(n=3,7\), and has order 2 otherwise.
Proof
The claim regarding the coinvariants follows from Lemma A.2 and Table 1. Since they vanish for \(g\ge 2\), the remaining statement follows from the exact sequence
induced by (2.1), combined with the fact that this extension splits for \(g=1\) by Theorem 2.2. \(\square \)
10 Signatures, obstructions, and Theorem B
By Lemma 1.2, the extension
discussed in Sect. 1.3 is central and is as such classified by a class in \(\mathrm {H}^2(\Gamma ^n_{g,1/2};\Theta _{2n+1})\) with \(\Gamma ^n_{g,1/2}\) acting trivially on \(\Theta _{2n+1}\). In this section, we identify this extension class in terms of the algebraic description of \(\Gamma ^n_{g,1/2}\) provided in the previous section, leading to a proof of our main result Theorem B. Our approach is partially based on ideas of Galatius–RandalWilliams [21, Sect. 7], who determined the extension for \(n\equiv 5\ (\mathrm {mod}\ 8)\) and \(g\ge 5\) up to automorphisms of \(\Theta _{2n+1}\).
We begin with an elementary recollection on the relation between Pontryagin classes and obstructions to extending trivialisations of vector bundles, mainly to fix notation.
10.1 Obstructions and Pontryagin classes
Let \(k\ge 1\) and \(\xi :X\rightarrow \tau _{>4k1}\mathrm {BO}\) be a map to the \((4k1)\)st connected cover of \(\mathrm {BO}\) with a lift \(\bar{\xi }:A\rightarrow \tau _{>4k}\mathrm {BO}\) over a subspace \(A\subset X\) along the canonical map \(\tau _{>4k}\mathrm {BO}\rightarrow \tau _{>4k1}\mathrm {BO}\). Such data has a relative Pontryagin class \(p_k(\xi ,\bar{\xi })\in \mathrm {H}^{4k}(X,A;\mathbf {Z})\) given as the pullback along the map \((\xi ,\bar{\xi }):(X,A)\rightarrow (\tau _{>4k1}\mathrm {BO},\tau _{>4k}\mathrm {BO})\) of the unique lift to \(\mathrm {H}^{4k}(\tau _{>4k1}\mathrm {BO},\tau _{>4k}\mathrm {BO};\mathbf {Z})\) of the pullback \(p_k\in \mathrm {H}^{4k}(\tau _{>4k1}\mathrm {BO};\mathbf {Z})\) of the usual Pontryagin class \(p_k\in \mathrm {H}^{4k}(\mathrm {BSO};\mathbf {Z})\). The class \(p_k(\xi ,\bar{\xi })\) is related to the primary obstruction \(\chi (\xi ,\bar{\xi })\in \mathrm {H}^{4k}(X,A;\pi _{4k1}\mathrm {SO})\) to solving the lifting problem
by the equality
up to the choice of a generator \(\pi _{4k1}\mathrm {SO}\cong \mathbf {Z}\) (cf. [44, Lem. 2]). We suppress the lift \(\bar{\xi }\) from the notation whenever there is no source of confusing. For us, \(X=M\) will usually be a compact oriented 8kmanifold and \(A=\partial M\) its boundary, in which case we can evaluate \(\chi ^2(\xi ,\bar{\xi })\in \mathrm {H}^{8k}(M,\partial M;\mathbf {Z})\) against the relative fundamental class \([M,\partial M]\) to obtain a number \(\chi ^2(\xi ,\bar{\xi })\in \mathbf {Z}\). The following two sources of manifolds are relevant for us.
Example 3.1
Fix an integer \(n\equiv 3\ (\mathrm {mod}\ 4)\).

(i)
For a compact oriented nconnected \((2n+2)\)manifold whose boundary is a homotopy sphere, there is a (up to homotopy) unique lift \(M\rightarrow \tau _{>n}\mathrm {BO}\) of the stable oriented normal bundle. On the boundary \(\partial M\), this lifts uniquely further to \(\tau _{>n+1}\mathrm {BO}\), so we obtain a canonical class \(\chi (M)\in \mathrm {H}^{n+1}(M,\partial M;\mathbf {Z})\) and a characteristic number \(\chi ^2(M)\in \mathbf {Z}\).

(ii)
Consider a \((W_{g,1},D^{2n1})\)bundle \(\pi :E\rightarrow B\), i.e. a smooth \(W_{g,1}\)bundle with a trivialised \(D^{2n1}\)subbundle of its \(\partial W_{g,1}\)bundle \(\partial \pi :\partial E\rightarrow B\) of boundaries. The standard framing of \(D^{2n1}\) induces a trivialisation of stable vertical tangent bundle \(T_\pi E:E\rightarrow \mathrm {BSO}\) over the subbundle \(B\times D^{2n1}\subset \partial E\), which extends uniquely to a \(\tau _{>n+1}\mathrm {BO}\)structure on \(T_\pi E_{\partial E}\) by obstruction theory. Using that \(W_g\) is nparallelisable, another application of obstruction theory shows that the induced \(\tau _{>n}\mathrm {BO}\)structure on \(T_\pi E_{\partial E}\) extends uniquely to a \(\tau _{>n}\mathrm {BO}\)structure on \(T_\pi E\), so the above discussion provides a class \(\chi (T_\pi E)\in \mathrm {H}^{n+1}(E,\partial E;\mathbf {Z})\), and, assuming B is an oriented closed surface, a number \(\chi ^2(T_\pi E)\in \mathbf {Z}\).
10.2 Highly connected almost closed manifolds
As a consequence of Theorem 3.12, we shall see that \((W_{g,1},D^{2n1})\)bundles over surfaces are closely connected to nconnected almost closed \((2n+2)\)manifolds. These manifolds were classified by Wall [55], which we now recall for \(n\ge 3\) in a form tailored to later applications, partly following [34, Sect. 2].
A compact manifold M is almost closed if its boundary is a homotopy sphere. We write \(A_{d}^{\tau _{>n}}\) for the abelian group of almost closed oriented nconnected dmanifolds up to oriented nconnected bordism restricting to an hcobordism on the boundary. Recall that \(\Omega _{d}^{\tau _{>n}}\) denotes the bordism group of closed dmanifolds M equipped with a \(\tau _{>n}\mathrm {BO}\)structure on their stable normal bundle \(M\rightarrow \mathrm {BO}\), i.e. a lift \(M\rightarrow \tau _{>n}\mathrm {BO}\) to the nconnected cover. By classical surgery, the group \(\Omega _{d}^{\tau _{>n}}\) is canonically isomorphic to the bordism group of closed oriented nconnected dmanifolds up to nconnected bordism as long as \(d\ge 2n+1\), so we will use both descriptions interchangeably. There is an exact sequence
due to Wall [57, p. 293] in which the two outer morphisms are the obvious ones, noting that homotopy dspheres nconnected for \(n<d\). The morphisms \(\Omega _{2n+2}^{\tau _{>n}}\rightarrow A_{2n+2}^{\tau _{>n}}\) and \(\partial :A_{2n+2}^{\tau _{>n}}\rightarrow \Theta _{2n+1}\) are given by cutting out an embedded disc and by assigning to an almost closed manifold its boundary, respectively. By surgery theory, the subgroup
of homotopy \((2n+1)\)spheres bounding nconnected manifolds contains the cyclic subgroup \(\mathrm {bP}_{2n+2}\subset \Theta _{2n+2}\) of homotopy \((2n+1)\)spheres bounding parallelisable manifolds, so the right end of (3.1) receives canonical a map from Kervaire–Milnor’s exact sequence [30],
which in particular induces a morphism \(\mathrm {coker}(J)_{2n+1}\rightarrow \Omega ^{\tau _{>n}}_{2n+1}\), concretely given by representing a class in \(\mathrm {coker}(J)_{2n+1}\) by a stably framed manifold and restricting its stable framing to a \(\tau _{>n}\mathrm {BO}\)structure.
10.2.1 Wall’s classification
For our purposes, Wall’s computation [55, 57] of \(A_{2n+2}^{\tau _{>n}}\) is for \(n\ge 3\) odd is most conveniently stated in terms of two particular almost closed nconnected \((2n+2)\)manifolds, namely

(i)
Milnor’s \(E_8\)plumbing P, arising from plumbing together 8 copies of the disc bundle of the tangent bundle of the standard \((n+1)\)sphere such that the intersection form of P agrees with the \(E_8\)form (see e.g.[8, Ch. V.2]), and

(ii)
the manifold Q, obtained from plumbing together two copies of a linear \(D^{n+1}\)bundle over the \((n+1)\)sphere representing a generator of \(S\pi _n\mathrm {SO}(n)\).
The following can be derived from Wall’s work (see e.g. [34, Thm 2.1]).
Theorem 3.2
(Wall) For \(n\ge 3\) odd, the bordism group \(A_{2n+2}^{\tau _{>n}}\) satisfies
The first summand is generated by P in all cases but \(n=3,7\) where it is generated by \(\mathbf {H}P^2\) and \(\mathbf {O}P^2\). The second summand for \(n\equiv 5\ (\mathrm {mod}\ 8)\) is generated by Q.
From a consultation of Table 1, one sees that the group \(S\pi _n\mathrm {SO}(n)\) vanishes for \(n\equiv 5\ (\mathrm {mod}\ 8)\), so \(Q\in A_{2n+2}^{\tau _{>n}}\) is trivial in this case, which shows that the subgroup \(\mathrm {bA}_{2n+2}\) is for all \(n\ge 3\) odd generated by the boundaries
In the cases \(n\equiv 1\ (\mathrm {mod}\ 8)\) in which Q defines a \(\mathbf {Z}/2\)summand, its boundary \(\Sigma _Q\) is trivial by a result of Schultz [50, Cor. 3.2, Thm 3.4 iii)]. For \(n\equiv 3\ (\mathrm {mod}\ 4)\) on the other hand, it is nontrivial by a calculation of Kosinski [31, p. 238–239].
Theorem 3.3
(Kosinski, Schultz) The homotopy sphere \(\Sigma _Q\in \Theta _{2n+1}\) is trivial for \(n\equiv 1\ (\mathrm {mod}\ 4)\) and nontrivial for \(n\equiv 3\ (\mathrm {mod}\ 4)\)
In the exceptional dimensions \(n=3,7\), the homotopy sphere \(\Sigma _Q\) agrees with the inverse of the Milnor sphere \(\Sigma _P\), as explained in [34, Cor. 2.8 ii)].
Lemma 3.4
\(\Sigma _Q=\Sigma _P\) for \(n=3,7\).
For \(n\ge 3\) odd, the Milnor sphere \(\Sigma _P\in \Theta _{2n+1}\) is wellknown to be nontrival and to generate the cyclic subgroup \(\mathrm {bP}_{2n+2}\subset \Theta _{2n+1}\) whose order can be expressed in terms of numerators of divided Bernoulli numbers (see e.g. [41, Lem. 3.5 (2), Cor. 3.20]), so Theorem 3.3 has the following corollary.
Corollary 3.5
For \(n\ge 3\) odd, the subgroup \(\mathrm {bA}_{2n+1}\) is nontrivial. It is generated by \(\Sigma _P\) for \(n\equiv 1\ (\mathrm {mod}\ 4)\), by \(\Sigma _Q\) for \(n=3,7\), and by \(\Sigma _P\) and \(\Sigma _Q\) for \(n\equiv 3\ (\mathrm {mod}\ 4)\).
Combining the previous results with the diagram (3.2), we obtain the following result, which we already mentioned in the introduction.
Corollary 3.6
The natural morphism \(\mathrm {coker}(J)_{2n+1}\rightarrow \Omega ^{\tau _{>n}}_{2n+2}\) is an isomorphism for \(n\equiv 1\ (\mathrm {mod}\ 4)\) and for \(n=3,7\). For \(n\equiv 3\ (\mathrm {mod}\ 4)\), it is an epimorphism whose kernel is generated by the class \([\Sigma _Q]\in \mathrm {coker}(J)_{2n+1}\).
\([\Sigma _Q]\in \mathrm {coker}(J)_{2n+1}\) is conjecturally trivial [21, Conj. A] for all n odd. Until recently (see Remark 3.8), this was only known for \(n=3,7\) and \(n\equiv 1\ (\mathrm {mod}\ 4)\) by the results above.
Conjecture 3.7
(Galatius–RandalWilliams) \([\Sigma _Q]=0\) for all \(n\ge 3\) odd.
Remark 3.8
As mentioned in the introduction, after the completion of this work, Burklund–Hahn–Senger [11] and Burklund–Senger [12] showed that \([\Sigma _Q]\) vanishes in \(\mathrm {coker}(J)_{2n+1}\) for n odd if and only if \(n\ne 11\), confirming Conjecture 3.7 for \(n\ne 11\) and disproving it for \(n=11\). This has as a consequence that, for \(n\ne 11\) odd, the subgroup \(\mathrm {bA}_{2n+1}\) is generated by \(\Sigma _P\) even for \(n\equiv 3\ (\mathrm {mod}\ 4)\) and that the morphism \(\mathrm {coker}(J)_{2n+1}\rightarrow \Omega _{2n+2}^{\tau _{>n}}\) discussed in Corollary 3.6 is an isomorphism.
10.2.2 Invariants
It follows from Theorems 3.2 and 3.3 that the boundary of an nconnected almost closed \((2n+2)\)manifold M is determined by at most two integral bordism invariants of M. Concretely, we consider the signature \(\mathrm {sgn}:A_{2n+2}^{\tau _{>n}}\rightarrow \mathbf {Z}\) and for \(n\equiv 3\ (\mathrm {mod}\ 4)\) the characteristic number \(\chi ^2:A_{2n+2}^{\tau _{>n}}\rightarrow \mathbf {Z}\), explained in Example 3.1. As discussed for example in [34, Sect. 2.1], these functionals evaluate to
and on the closed manifolds \(\mathbf {H}P^2\) and \(\mathbf {O}P^2\) to
which results in the following formula for boundary spheres of highly connected manifolds when combined with the discussion above.
Proposition 3.9
For \(n\ge 3\) odd, the boundary \(\partial M\in \Theta _{2n+1}\) of an almost closed oriented nconnected \((2n+2)\)manifold M satisfies
10.2.3 The minimal signature
As in the introduction, we denote by \(\sigma _n'\) the minimal positive signature of a smooth closed nconnected \((2n+2)\)manifold. This satisfies \(\sigma _n'=1\) for \(n=1,3,7\) as witnessed by \(\mathbf {C}P^2\), \(\mathbf {H}P^2\), and \(\mathbf {O}P^2\), and in all other cases, it can be expressed in terms of the subgroup \(\mathrm {bA}_{2n+2}\subset \Theta _{2n+1}\) as follows.
Lemma 3.10
For \(n\ge 3\) odd, the quotient \(\mathrm {bA}_{2n+2}/\langle \Sigma _Q \rangle \) is a cyclic group generated by the class of \(\Sigma _P\). It is trivial if \(n=3,7\) and of order \(\sigma _n'/8\) otherwise.
Proof
For \(n=3,7\), the claim is a consequence of Theorem 3.2 and Lemma 3.4. In the case \(n\ne 3,7\), it follows from taking vertical cokernels in the commutative diagram
with exact rows, obtained from a combination of Theorem 3.2 with (3.1) and (3.3). \(\square \)
Remark 3.11
In [34, Prop. 2.15], the minimal signature \(\sigma _n'\) was expressed in terms of Bernoulli numbers and the order of \([\Sigma _Q]\in \mathrm {coker}(J)_{2n+1}\), from which one can conclude that for \(n\ne 1,3,7\), the signature of such manifolds is divisible by \(2^{n+3}\) if \((n+1)/2\) is odd and by \(2^{n2\nu _2(n+1)}\) otherwise, where \(\nu _2()\) denotes the 2adic valuation (see [34, Cor. 2.18]).
10.3 Bundles over surfaces and almost closed manifolds
In order to identify the cohomology class in \(\mathrm {H}^2(\Gamma _{g,1/2}^n;\Theta _{2n+1})\) that classifies the central extension
we first determine how it evaluates against homology classes, i.e. identify its image
under the map h participating in the universal coefficient theorem
followed by resolving the remaining ambiguity originating from the Extterm. Indicated by our choice of notation, the morphism \(d_2\) can be viewed alternatively as the first possibly nontrivial differential in the \(E_2\)page of the Serre spectral sequence of the extension (3.5) (cf. [26, Thm 4]). Before identifying this differential, we remind the reader of two standard facts we shall make frequent use of.

(i)
The canonical map of spectra \(\mathbf {MSO}\rightarrow \mathbf {HZ}\) is 4connected, so pushing forward fundamental classes induces an isomorphism \(\Omega ^{\mathrm {SO}}_*(X)\rightarrow \mathrm {H}_*(X;\mathbf {Z})\) for \(*\le 3\) and any space X, and

(ii)
the 1truncation of a connected space X (in particular the natural map \(\mathrm {B}G\rightarrow \mathrm {B}\pi _0G\) for a topological group G) induces a surjection \(\mathrm {H}_2(X;\mathbf {Z}) \twoheadrightarrow \mathrm {H}_2(K(\pi _1X,1);\mathbf {Z})\), whose kernel agrees with the image of the Hurewicz homomorphism \(\pi _2X\rightarrow \mathrm {H}_2(X;\mathbf {Z})\).
The key geometric ingredient to identify the differential \(d_2\) is the following result.
Theorem 3.12
Let \(n\ge 3\) be odd and \(\pi :E\rightarrow S\) a \((W_{g,1},D^{2n1})\)bundle over an oriented closed surface S. There exists a class \(E'\in A_{2n+2}^{\tau _{>n}}\) such that

(i)
its boundary \(\partial E'\in \Theta _{2n+1}\) is the image of the class \([\pi ]\in \mathrm {H}^2(\mathrm {BDiff}_{\partial /2}(W_{g,1});\mathbf {Z})\) under the composition

(ii)
it satisfies \(\mathrm {sgn}(E)=\mathrm {sgn}(E')\), and \(\chi ^2(T_\pi E)=\chi ^2(E')\) if \(n\equiv 3\ (\mathrm {mod}\ 4).\)
Proof
By the isotopy extension theorem, the restriction map to the moving part of the boundary \(\mathrm {Diff}_{\partial /2}(W_{g,1})\rightarrow \mathrm {Diff}_\partial (D^{2n1})\) is a fibration. As its image is contained in the component of the identity (see the proof of Lemma 1.2), this fibration induces the upper row in a map of fibrations
whose bottom row is induced by the extension (3.5). The two right vertical maps are induced by taking components and the left vertical map is the induced map on homotopy fibres. The latter agrees with the delooping of the Gromoll map \(\Omega \mathrm {Diff}_\partial (D^{2n1})\rightarrow \mathrm {Diff}_\partial (D^{2n})\) followed by taking components, which one checks by looping the fibre sequences and using that
is given by “twisting” a collar \( [0,1]\times S^{2n1}\subset W_{g,1}\), meaning that it sends a smooth loop \(\gamma \in \Omega \mathrm {Diff}^{\mathrm {id}}_\partial (D^{2n1})\subset \Omega \mathrm {Diff}^{\mathrm {id}}_\partial (S^{2n1})\) to the diffeomorphism that is the identity outside the collar and is given by \((t,x)\mapsto (t,\gamma (t)\cdot x)\) on the collar. Now consider the commutative square
obtained from delooping (3.6) once to the right and using \(\mathrm {H}_2(B^2\Theta _{2n+1})\cong \Theta _{2n+1}\). By transgression, the bottom arrow agrees with the differential \(d_2\) in the statement. Combining this with the Hurewicz theorem, the square (3.7) gives a factorisation
of the map in the first part of the statement, which thus has the following geometric description: a smooth \((W_{g,1},D^{2n1})\)bundle \(\pi :E\rightarrow S\) represents a class \([\pi ]\in \mathrm {H}^2(\mathrm {BDiff}_{\partial /2}(W_{g,1});\mathbf {Z})\) and its image under the first map in the composition is the class \([\pi _+]\in \mathrm {H}_2(\mathrm {BDiff}^{\mathrm {id}}_{\partial }(D^{2n1});\mathbf {Z})\) of its \((\partial W_{g,1},D^{2n1})\)bundle \(\pi _+:E_+\rightarrow S\) of boundaries, which in turn maps under the inverse of the Hurewicz homomorphism to a \((\partial W_{g,1},D^{2n1})\)bundle \(\pi _:E_\rightarrow S^2\) over the 2sphere that is bordant, as a bundle, to \(\pi _\). That is, there exists a \((\partial W_{g,1},D^{2n1})\)bundle \(\bar{\pi }:\bar{E}\rightarrow K\) over an oriented bordism K between S and \(S^2\) that restricts to \(\pi _+\) over S and to \(\pi _\) over \(S^2\). We claim that the image of the \((\partial W_{g,1},D^{2n1})\)bundle \(\pi _\) under the final map in the composition is the homotopy sphere \(\Sigma _\pi \in \Theta _{2n+1}\) obtained by doing surgery on the total space \(E_\) along the trivialised subbundle \(D^{2n1}\times S^2\subset E_\). This is most easily seen by thinking of a class in \(\pi _k\mathrm {BDiff}_\partial (D^d)\) as a smooth bundle \(D^d\rightarrow P\rightarrow D^k\) together with a trivialisation \(\varphi :D^d\times \partial D^k\cong P_{\partial D^k}\) and a trivialised \(\partial D^k\)subbundle \(\psi :\partial D^d\times D^k\hookrightarrow P\) such that \(\varphi \) and \(\psi \) agree on \(\partial D^d\times \partial D^k\). From this point of view, the morphism \(\pi _k\mathrm {BDiff}_\partial (D^d)\rightarrow \pi _{k1}\mathrm {BDiff}_\partial (D^{d}\times D^1)\cong \pi _{k1}\mathrm {BDiff}_\partial (D^{d+1})\) induced by the Gromoll map is given by sending such a bundle \(p:P\rightarrow D^k\cong D^{k1}\times D^1\) to the \((D^d\times D^1)\)bundle \((\mathrm {pr}_1\circ p):P\rightarrow D^{k1}\), and the isomorphism \(\pi _1\mathrm {BDiff}_\partial (D^{d})\cong \Theta _{d+1}\) is given by assigning to a disc bundle \(D^d\rightarrow P\rightarrow D^1\) the manifold \(P\cup _{\partial D^d\times D^1\cup D^d\times \partial D^1} D^d\times D^1\). Deccomposing the sphere into halfdiscs \(S^n=D^n_+\cup D^n_\), we see from this description that the composition \(\pi _k\mathrm {BDiff}_\partial (D^d)\rightarrow \Theta _{d+k}\) of the iterated Gromoll map with the isomorphism \(\pi _1\mathrm {BDiff}_\partial (D^{d+k1})\cong \Theta _{d+k}\) maps a class represented by an \(S^{d}\)bundle \(S^d\rightarrow Q\rightarrow S^k\) with a trivialisation \(\varphi :D_+^k\times S^d\cong Q_{D_+^k}\) and a trivialised subbundle \(\psi :S^k\times D_+^d\hookrightarrow Q\) that agree on \(D^k_+\times D^d_+\) to the homotopy sphere
obtained by doing surgery along the trivialised \(D^d\)subbundle, where \(D^k\times D^d\) is glued to \(Q\backslash \mathrm {int}\big (\varphi (D_+^k\times S^d)\cup _{\partial (D^k\times S^d)} \psi (S^k\times D_+^d)\big )\) along the embedding
This in particular implies the claim we made above in the case \(k=2\) and \(d=2n1\).
As a consequence of this description of the morphism in consideration, the image \(\Sigma _\pi \in \Theta _{2n+1}\) of the class \([\pi ]\) comes equipped with a nullbordism, namely \(N\,{:}{=}\,E\cup _{E_+}\bar{E}\cup _{E_}W,\) where W is the trace of the performed surgery. Omitting the trivialised \(D^{2n1}\)subbundles, the situation can be summarised schematically as follows
A choice of a stable framing of K induces stable framings on S and \(S^2\) and thus a stable isomorphism \(TE\cong T_\pi E\oplus \pi ^*TS\cong _sT_\pi E\) using which the canonical \(\tau _{>n}\mathrm {BO}\)structure on \(T_\pi E\) and the \(\tau _{>n+1}\mathrm {BO}\)one on \(T_\pi E_{E_+}\) (see Example 3.1) induce a \(\tau _{>n}\mathrm {BO}\)structure on TE and a \(\tau _{>n+1}\mathrm {BO}\)structure on \(TE_{E_+}\cong _sTE_+\). With these choices, we have \(\chi (T_\pi E)=\chi (TE,TE_+)\). By construction, the restriction of this \(\tau _{>n+1}\mathrm {BO}\)structure to \(TE_+_{S\times D^{2n1}}\cong _s TS\) agrees with the \(\tau _{>n+1}\mathrm {BO}\)structure on TS obtained from the stable framing of K, so we obtain a \(\tau _{>n+1}\mathrm {BO}\)structure on \(T\bar{E}_{E_+\cup K\times D^{2n1}}\), which by obstruction theory extends to one on \(T(\bar{E}\cup _{E_}W)\): the relative Serre spectral sequence shows that \(H^*(\bar{E},E_+\cup K\times D^{2n1})\) vanishes for \(*\le 2n2\) and thus that \(H^{i+1}(\bar{E}\cup _{E_}W,E_+\cup K\times D^{2n1};\pi _i(\tau _{\le n}\mathrm {SO}))\cong H^{i+1}(\bar{E}\cup _{E_}W,\bar{E};\pi _i(\tau _{\le n}\mathrm {SO}))\cong H^{i+1}(W,E_;\pi _i(\tau _{\le n}SO))\cong H^{i+1}(D^3,S^2;\pi _i(\tau _{\le n}SO))=0\) for \(i\le 2n3\), using \(W\simeq E_{}\cup _{S^2}D^3\) and \(\pi _2SO=0\). The restriction of this \(\tau _{>n+1}\mathrm {BO}\)structure on \(T\bar{E}_{E_+\cup K\times D^{2n1}}\) to a \(\tau _{>n}\mathrm {BO}\) and the canonical \(\tau _{>n}\mathrm {BO}\)structure on \(TE\cong T_\pi E\) (see Example 3.1) assemble to a \(\tau _{>n}\mathrm {BO}\)structure on N. By construction, the canonical restriction map (using excision)
sends \(\chi (T_\pi E)=\chi (TE,TE_+)\) to \(\chi (TN,T\Sigma _\pi )\), so we conclude \(\chi ^2(T_\pi E)=\chi ^2(TN,T\Sigma _\pi )\). To finish the proof, note that the \(\tau _{>n}\mathrm {BO}\)structure on TN allows us to do surgery away from the boundary on N to obtain an nconnected manifold \(E'\), which gives a class in \(A_{2n+2}^{\tau _{>n}}\) as aimed for: \(\partial E'=\Sigma _\pi \) holds by construction, \(\chi ^2(E')=\chi ^2(TN,T\Sigma _\pi )=\chi ^2(T_\pi E)\) by the bordism invariance of Pontryagin numbers (see Example 3.1), and \(\mathrm {sgn}(E')=\mathrm {sgn}(N)=\mathrm {sgn}(E)\) by the additivity and bordism invariance of the signature.\(\square \)
Combining the previous result with Proposition 3.9, we conclude that
sends a homology class \([\pi ]\) represented by a bundle \(\pi :E\rightarrow S\) to a certain linear combination of \(\Sigma _P\) and \(\Sigma _Q\) whose coefficients involve the invariants \(\mathrm {sgn}(E)\) and \(\chi ^2(T_\pi E)\). In the following two subsections, we shall see that these functionals
factor through the composition
and have a more algebraic description in terms of \(H(g)\otimes \pi _n\mathrm {SO})\rtimes G_g\). This uses
induced by acting on a stable framing of \(W_{g,1}\) (agreeing with the usual framing on \(D^{2n1}\)) as explained in Sect. 2.
10.4 Signatures of bundles of symplectic lattices
The standard action of the symplectic group \(\mathrm {Sp}_{2g}(\mathbf {Z})\) on \(\mathbf {Z}^{2g}\) gives rise to a local system \(\mathcal {H}(g)\) over \(\mathrm {BSp}_{2g}(\mathbf {Z})\) and the usual symplectic form on \(\mathbf {Z}^{2g}\) gives a morphism \(\lambda :\mathcal {H}(g)\otimes \mathcal {H}(g)\rightarrow \mathbf {Z}\) of local systems to the constant system. To an oriented closed surface S with a map \(f:S\rightarrow \mathrm {BSp}_{2g}(\mathbf {Z})\), we can associate a bilinear form
defined as the composition
As both the cupproduct and the symplectic pairing \(\lambda \) are antisymmetric, the form \(\langle ,\rangle _f\) is symmetric. The usual argument for the bordism invariance of the signature shows that its signature \(\mathrm {sgn}(\langle ,\rangle _f)\) depends only on the bordism class \([f]\in \Omega ^{\mathrm {SO}}_{2}(\mathrm {BSp}_{2g}(\mathbf {Z}))\cong \mathrm {H}_2(\mathrm {Sp}_{2g}(\mathbf {Z});\mathbf {Z})\) and thus induces a morphism
which is compatible with the usual inclusion \(\mathrm {Sp}_{2g}(\mathbf {Z})\subset \mathrm {Sp}_{2g+2}(\mathbf {Z})\).
Remark 3.13
As \(\mathrm {Sp}_{2g}(\mathbf {Z})\) is perfect for \(g\ge 3\) (see Lemma A.1), the morphism (3.8) determines a unique cohomology class \(\mathrm {sgn}\in \mathrm {H}^2(\mathrm {Sp}_{2g}(\mathbf {Z});\mathbf {Z})\). There is a wellknown purely algebraically defined cocycle representative of this class due to Meyer [43], known as the Meyer cocycle.
The morphism (3.8) measures signatures of total spaces of smooth bundles over surfaces (even of fibrations of Poincaré complexes). More precisely, for a compact oriented \((4k+2)\)manifold M, the action of its group of diffeomorphisms on the middle cohomology induces a morphism for \(2g=\mathrm {rk}(\mathrm {H}^{2k+1}(M))\) and the resulting composition
can be shown to map a homology class represented by a smooth bundle over a surface to the signature of its total space. This fact can either be proved along the lines of [14] or extracted from [42] and it has in particular the following consequence.
Lemma 3.14
For n odd, the composition
sends the class of an \((W_{g,1},D^{2n1})\)bundle \(\pi :E\rightarrow S\) to the signature \(\mathrm {sgn}(E)\) of its total space.
We proceed by computing the image of the signature morphism (3.8) and of its pullback to the thetasubgroup \(\mathrm {Sp}_{2g}^q(\mathbf {Z})\subset \mathrm {Sp}_{2g}(\mathbf {Z})\) as defined in Sect. 1.2.
Lemma 3.15
The signature morphism satisfies
Proof
The signatures realised by classes in \(\mathrm {H}_2(\mathrm {Sp}_{2g}(\mathbf {Z});\mathbf {Z})\) are wellknown (see e.g. [3, Lem 6.5, Thm 6.6 (vi)]). To prove that the signature of classes in \(\mathrm {H}_2(\mathrm {Sp}_{2g}^q(\mathbf {Z}))\) is divisible by 8, recall from Sects. 1.2 and 1.3 that for n odd the morphism \(\mathrm {Diff}_{\partial /2}(W_{g,1})\rightarrow \mathrm {Sp}_{2g}(\mathbf {Z})\) lands in the subgroup \(\mathrm {Sp}_{2g}^q(\mathbf {Z})\subset \mathrm {Sp}_{2g}(\mathbf {Z})\) as long as \(n\ne 1,3,7\), so we have a composition
which maps the class of a bundle \(\pi :E\rightarrow S\) by Lemma 3.14 to \(\mathrm {sgn}(E)\). The latter agrees by Theorem 3.12 with the signature of an almost closed nconnected \((2n+2)\)manifold, so it is divisible by 8 as the intersection form of such manifolds is unimodular and even (see e.g. [55]). This proves the claimed divisibility, since the first two morphisms in the composition are surjective, the first one because of the second reminder at the beginning of Sect. 3.3 and the second one by Corollary 2.4. As the signature morphism vanishes on \(\mathrm {H}_2(\mathrm {Sp}_{2}(\mathbf {Z});\mathbf {Z})\) by the first part, it certainly vanishes on \(\mathrm {H}_{2g}(\mathrm {Sp}^{q}_{2}(\mathbf {Z});\mathbf {Z})\). Consequently, by the compatibility of the signature with the inclusion \(\mathrm {Sp}_{2g}(\mathbf {Z})\subset \mathrm {Sp}_{2g+2}(\mathbf {Z})\), the remaining claim follows from constructing a class in \(\mathrm {H}_2(\mathrm {Sp}_{2g}^q(\mathbf {Z});\mathbf {Z})\) of signature 8 for \(g=2\). Using \(\mathrm {H}_2(\mathrm {Sp}_{4}(\mathbf {Z});\mathbf {Z})\cong \mathbf {Z}\oplus \mathbf {Z}/2\) (see e.g. [3, Lem. A.1(iii)]) and the first part of the claim, the existence of such a class is equivalent to the image of \(\mathrm {H}_2(\mathrm {Sp}^q_4(\mathbf {Z});\mathbf {Z})\) in the torsion free quotient \(\mathrm {H}_2(\mathrm {Sp}_{4}(\mathbf {Z});\mathbf {Z})_{\mathrm {free}}\cong \mathbf {Z}\) containing 2. That it contains 10 is ensured by transfer, since the index of \(\mathrm {Sp}_{4}^q(\mathbf {Z})\subset \mathrm {Sp}_{4}(\mathbf {Z})\) is 10 (see Sect. 1.2). As \(\mathrm {H}_1(\mathrm {Sp}_4(\mathbf {Z});\mathbf {Z})\) and \(\mathrm {H}_1(\mathrm {Sp}^q_4(\mathbf {Z});\mathbf {Z})\) are 2torsion by Lemma A.1, it therefore suffices to show that \(\mathrm {H}_2(\mathrm {Sp}^q_4(\mathbf {Z});\mathbf {F}_5)\rightarrow \mathrm {H}_2(\mathrm {Sp}_{4}(\mathbf {Z});\mathbf {F}_5)\) is nontrivial, for which we consider the level 2 congruence subgroup \(\mathrm {Sp}_{4}(\mathbf {Z},2)\subset \mathrm {Sp}_4(\mathbf {Z})\), i.e. the kernel of the reduction map \(\mathrm {Sp}_4(\mathbf {Z})\rightarrow \mathrm {Sp}_4(\mathbf {Z}/2)\), which is surjective (see e.g. [45, Thm 1] for an elementary proof). From the explicit description of \(\mathrm {Sp}_{2g}^q(\mathbf {Z})\) presented in Sect. 1.2, one sees that it contains the congruence subgroup \(\mathrm {Sp}_{4}(\mathbf {Z},2)\). As a result, it is enough to prove that \(\mathrm {H}_2(\mathrm {Sp}_4(\mathbf {Z},2);\mathbf {F}_5)\rightarrow \mathrm {H}_2(\mathrm {Sp}_{4}(\mathbf {Z});\mathbf {F}_5)\) is nontrivial, which follows from an application of the Serre spectral sequence of the extension
using that \(\mathrm {H}_1(\mathrm {Sp}_{4}(\mathbf {Z},2);\mathbf {F}_5)\) vanishes by a result of Sato [49, Cor. 10.2] and that the groups \(\mathrm {H}_*(\mathrm {Sp}_4(\mathbf {Z}/2);\mathbf {F}_5)\) are trivial in low degrees, because of the exceptional isomorphism between \(\mathrm {Sp}_4(\mathbf {Z}/2)\) and the symmetric group in 6 letters as explained for instance in [46, p. 37]. \(\square \)
Remark 3.16

(i)
There are at least two other proofs for the divisibility of the signature of classes in \(\mathrm {H}_2(\mathrm {Sp}_{2g}^q(\mathbf {Z});\mathbf {Z})\) by 8. One can be extracted from the proof of [21, Lem. 7.5 i)] and another one is given in [4, Thm 12.1]. The proof in [21] shows actually something stronger, namely that the form \(\langle ,\rangle _f\) associated to a class \([f]\in \mathrm {H}_2(\mathrm {Sp}^q_{2g}(\mathbf {Z});\mathbf {Z})\) is always even. We shall give a different proof of this fact as part of the second part of Lemma 3.19 below.

(ii)
For \(g\ge 4\), the existence of a class in \(\mathrm {H}_2(\mathrm {Sp}_{2g}^q(\mathbf {Z});\mathbf {Z})\) of signature 8 was shown as part of the proof of [21, Thm 7.7], using that the image of
$$\begin{aligned} \mathrm {H}_2(\mathrm {Sp}_{2g}(\mathbf {Z},2);\mathbf {Z})\longrightarrow \mathrm {H}_2(\mathrm {Sp}_{2g}(\mathbf {Z});\mathbf {Z})\cong \mathbf {Z}\end{aligned}$$for \(g\ge 4\) is known to be \(2\cdot \mathbf {Z}\) by a result of Putman [47, Thm F]. However, this argument breaks for small values of g, in which case the image of \(\mathrm {sgn}:\mathrm {H}_2(\mathrm {Sp}_{2g}^q(\mathbf {Z});\mathbf {Z})\rightarrow \mathbf {Z}\) was not known before, at least to the knowledge of the author.
By Lemma 3.15, the signatures of classes in \(\mathrm {H}_2(\mathrm {Sp}_{2g}^q(\mathbf {Z});\mathbf {Z})\) are divisible by 8, so we obtain a morphism of the form
To lift this morphism to a cohomology class in \(\mathrm {H}^2(\mathrm {Sp}_{2g}^q(\mathbf {Z});\mathbf {Z})\), we consider
induced by the matrix \(\left( {\begin{matrix}0 &{} 1 \\ 1 &{} 0 \end{matrix}}\right) \in \mathrm {Sp}_2^q(\mathbf {Z})\). By Lemma A.1, this is an isomorphism on abelianisations for \(g\ge 3\) and thus induces a splitting of the universal coefficient theorem
This splitting is compatible with the inclusion \(\mathrm {Sp}_{2g}^q(\mathbf {Z})\subset \mathrm {Sp}^q_{2g+2}(\mathbf {Z})\), so we can define a lift of the divided signature \(\mathrm {sgn}/8\) to a class \(\mathrm {H}^2(\mathrm {Sp}_{2g}^q(\mathbf {Z});\mathbf {Z})\) as follows.
Definition 3.17

(i)
Define the class
$$\begin{aligned} \textstyle {\frac{\mathrm {sgn}}{8}\in \mathrm {H}^2(\mathrm {Sp}_{2g}^q(\mathbf {Z});\mathbf {Z})} \end{aligned}$$for \(g\gg 0\) via the splitting (3.10) by declaring its image in the first summand to be trivial and to be \(\mathrm {sgn}/8\) in the second. For small g, the class \(\frac{\mathrm {sgn}}{8}\in \mathrm {H}^2(\mathrm {Sp}^q_{2g}(\mathbf {Z});\mathbf {Z})\) is defined as the pullback of \(\frac{\mathrm {sgn}}{8}\in \mathrm {H}^2(\mathrm {Sp}^q_{2g+2h}(\mathbf {Z});\mathbf {Z})\) for \(h\gg 0\).

(ii)
Define the class
$$\begin{aligned} \textstyle {\frac{\mathrm {sgn}}{8}\in \mathrm {H}^2(\Gamma ^n_{g,1/2};\mathbf {Z})}\quad \text {for } n\ne 1,3,7\text { odd} \end{aligned}$$as the pullback of the samenamed class along the map \(\Gamma ^n_{g,1/2}\rightarrow G_g\cong \mathrm {Sp}_{2g}^q(\mathbf {Z})\) induced by the action on the middle cohomology.
10.5 Framing obstructions
To describe the invariant
explained in Sect. 3.1 more algebraically, note that a map \(f:S\rightarrow \mathrm {B}(\mathbf {Z}^{2g}\rtimes \mathrm {Sp}_{2g}(\mathbf {Z}))\) from an oriented closed connected surface S to \(\mathrm {B}(\mathbf {Z}^{2g}\rtimes \mathrm {Sp}_{2g}(\mathbf {Z}))\) induces a 1cocycle
and hence a class \([f]\in \mathrm {H}^1(S; f^*\mathcal {H}(g))\). The composition \(S\rightarrow \mathrm {B}(\mathbf {Z}^{2g}\rtimes \mathrm {Sp}_{2g}(\mathbf {Z}))\rightarrow \mathrm {BSp}_{2g}(\mathbf {Z})\) defines a bilinear form \(\langle ,\rangle _f\) on \(\mathrm {H}^1(S; f^*\mathcal {H}(g))\) as explained in Sect. 3.4, and hence a number \(\langle [f],[f]\rangle _f\in \mathbf {Z}\). Varying f, this gives a morphism
which is compatible with natural inclusion \(\mathbf {Z}^{2g}\rtimes \mathrm {Sp}_{2g}(\mathbf {Z})\subset \mathbf {Z}^{2g+2}\rtimes \mathrm {Sp}_{2g+2}(\mathbf {Z})\) and takes for \(n\equiv 3\ (\mathrm {mod}\ 4)\) part in a composition
where the first morphism is induced by acting on a stable framing F of \(W_{g,1}\) as in Sect. 2. A priori, this requires three choices: a stable framing, a generator \(\pi _n\mathrm {SO}\cong \mathbf {Z}\), and a symplectic basis \(H(g)\cong \mathbf {Z}^{2g}\). However, the composition turns out to not be affected by these choices and the following proposition shows that it is related to the invariant of \((W_{g,1},D^{2n1})\)bundles explained in Example 3.1.
Proposition 3.18
For \(n\equiv 3\ (\mathrm {mod}\ 4)\), the composition
sends the class of a \((W_{g,1},D^{2n1})\)bundle \(\pi :E\rightarrow S\) to \(\chi ^2(T_\pi E)\).
Proof
The relative Serre spectral sequence of
induces canonical isomorphisms
where f denotes the composition
By the compatibility of the Serre spectral sequence with the cupproduct and after identifying \(\mathrm {H}^1(S;f^*\mathcal {H}(g))\) with \(\mathrm {H}^1(\pi _1(S;*);H(g)\otimes S\pi _n\mathrm {SO}(n))\), it suffices to show that the second isomorphism sends \(\chi (T_\pi E)\in \mathrm {H}^{n+1}(E,\partial E;\mathbf {Z})\) up to signs to the class represented by the cocycle
involving the choice of stable framing \(F:TW_{g,1}\oplus \varepsilon ^k\cong \varepsilon ^{2n+k}\) as in Sect. 2. As a first step, we describe this isomorphism more explicitly:
Note that \(\mathrm {H}^{n+1}(E,\partial E;\pi _n\mathrm {SO})\cong \mathrm {H}^{n+1}(E;\pi _n\mathrm {SO})\) as \(\mathrm {H}^{*}(\partial E;\pi _n\mathrm {SO})\) is trivial for \(*=n,n+1\). Unwinding the construction of the Serre spectral sequence using a skeletal filtration of S, one sees that after fixing an identification \(W_{g,1}\cong \pi ^{1}(*)\subset E\), the image of a class \(x\in \mathrm {H}^{n+1}(E,\pi _n\mathrm {SO})\) under the isomorphism in question is represented by the cocycle \(\pi _1(S;*)\rightarrow H(g)\otimes \pi _n\mathrm {SO}\) which maps a loop \(\omega :([0,1],\{0,1\})\rightarrow (S,*)\) to the class obtained from a choice of lift \(\widetilde{x}\in \mathrm {H}^{n+1}(E,\pi ^{1}(*);\pi _n\mathrm {SO})\) by pulling it back along
where the second morphism is induced by pulling back the bundle \(\pi :E\rightarrow S\) along \(\omega \) and the first morphism is the unique (up to homotopy) trivialisation \(\omega ^*E\cong [0,1]\times W_{g,1}\) relative to \(W_{g,1}\times \{0\}\) of the pullback bundle over [0, 1]; here we used the canonical isomorphism \(\mathrm {H}^{n+1}(W_{g,1}\times [0,1],W_{g,1}\times \{0,1\};\pi _n\mathrm {SO})\cong H(g)\otimes \pi _n\mathrm {SO}\).
Recall from Example 3.1 that the class \(\chi (T_\pi E)\in \mathrm {H}^{n+1}(E;\pi _n\mathrm {SO})\) is the primary obstruction to extending the canonical \(\tau _{>n}\mathrm {BO}\)structure on \(T_\pi E\) to a \(\tau _{>n+1}\mathrm {BO}\)structure. The choice of framing F induces such an extension on the fibre \(W_{g,1}\cong \pi ^{1}(*)\subset E\) and thus induces a lift of \(\chi (T_\pi E)\) to a relative class in \(\mathrm {H}^{n+1}(E,\pi ^{1}(*);\pi _n\mathrm {SO})\). This uses that the \(\tau _{>n}\mathrm {BO}\) structure on \(W_{g,1}\) induced by the framing agrees with the restriction of the \(\tau _{>n}\mathrm {BO}\)structure on \(T_\pi E\) to \(\pi _{1}(*)\cong W_{g,1}\) by obstruction theory. Using the above description, we see that the image of \(\chi (T_\pi E)\) under the isomorphism in question is represented by the cocyle \(\pi _1(S;*)\rightarrow H(g)\otimes \pi _n\mathrm {SO}\) that sends a loop \(\omega \) to the primary obstruction in \(\mathrm {H}^{n}(W_{g,1};\pi _n\mathrm {SO})\cong H(g)\otimes \pi _n\mathrm {SO}\) to solving the lifting problem
which agrees with the corresponding obstruction when replacing \(\mathrm {BSO}\) by \(\tau _{>n}\mathrm {BSO}\). Here the left square in the diagram is given by the trivialisation explained earlier. There is a useful alternative description of this obstruction class: relative to the subspace \(W_{g,1}\times \{0\}\subset W_{g,1}\times \{0,1\}\) there is a unique (up to homotopy) lift in (3.12), so the obstruction to finding a lift relative to the subspace \(W_{g,1}\times \{0,1\}\) can be seen as an element in the group of pathcomponents of the fibre of the principal fibration \(\mathrm {Map}_*(W_{g,1},\tau _{>n+1}\mathrm {BSO})\rightarrow \mathrm {Map}_*(W_{g,1},\mathrm {BSO})\), which is exactly \([W_{g,1},\tau _{\le n}\mathrm {SO}]_*\cong H(g)\otimes \pi _n\mathrm {SO}\).
To see that the cocyle we just described agrees with (3.11), note that the function \(s_F:\Gamma ^n_{g,1/2}\rightarrow H(g)\otimes \pi _n\mathrm {SO}\cong [W_{g,1},\tau _{\le n}\mathrm {SO}]_*\) induced by acting on the stable framing F arises as the connecting map \(\pi _1(\mathrm {BDiff}^{\tau _{>n+1}}_{\partial /2}(W_{g,1});[F])\rightarrow \pi _0\mathrm {Map}_*(W_{g,1},\tau _{\le n}\mathrm {SO})\) of the fibration
where \(\mathrm {BDiff}^{\tau _{>n+1}}_{\partial /2}(W_{g,1})\) is the space that classifies \((W_{g,1},D^{2n1})\)bundles with a \(\tau _{>n+1}\mathrm {BO}\)structure on the vertical tangent bundle extending the given \(\tau _{>n+1}\mathrm {BO}\)structure on the restriction to the trivial \(D^{2n1}\)subbundle induced by the standard framing of \(D^{2n1}\); here we identified the space of \(\tau _{>n+1}\mathrm {BO}\)structures of \(W_{g,1}\) relative to \(D^{2n1}\) with the mapping space \(\mathrm {Map}_*(W_{g,1},\tau _{\le n}\mathrm {SO})\) by using the choice of stable framing F, which also induces the basepoint \([F]\in \mathrm {BDiff}^{\tau _{>n+1}}_{\partial /2}(W_{g,1})\). This shows that the value of (3.11) on a loop \([\omega ]\in \pi _1(S;*)\) is given by the component in \([W_{g,1},\tau _{\le n}\mathrm {SO}]_*\cong H(g)\otimes \pi _n\mathrm {SO}\) obtained by evaluating a choice of pathlift
at the end point. Such a pathlift precisely classifies a lift as in (3.12) relative to the subspace \(W_{g,1}\times \{0\}\subset W_{g,1}\times \{0,1\}\), so the claim follows from the second description of the obstruction to solving the lifting problem (3.12) mentioned above. \(\square \)
Lemma 3.19
Let \(g\ge 1\).

(i)
The image of the composition induced by inclusion and \(\chi ^2\)
$$\begin{aligned} \mathrm {H}_2(\mathbf {Z}^{2g};\mathbf {Z})\longrightarrow \mathrm {H}_2(\mathbf {Z}^{2g}\rtimes \mathrm {Sp}^q_{2g}(\mathbf {Z});\mathbf {Z})\longrightarrow \mathrm {H}_2(\mathbf {Z}^{2g}\rtimes \mathrm {Sp}_{2g}(\mathbf {Z});\mathbf {Z})\overset{\chi ^2}{\longrightarrow }\mathbf {Z}\end{aligned}$$contains \(2\cdot \mathbf {Z}\) and agrees with \(2\cdot \mathbf {Z}\) for \(g=1\).

(ii)
We have
$$\begin{aligned} \mathrm {im}\left( \mathrm {H}_2(\mathbf {Z}^{2g}\rtimes \mathrm {Sp}^{q}_{2g}(\mathbf {Z}) ;\mathbf {Z})\xrightarrow {(\mathrm {sgn},\chi ^2)}\mathbf {Z}\oplus \mathbf {Z}\right)= & {} {\left\{ \begin{array}{ll}\langle (0,2)\rangle &{}\quad \text{ if } g=1\\ \langle (8,0),(0,2)\rangle &{}\quad \text{ if } g\ge 2. \end{array}\right. }\\ \mathrm {im}\left( \mathrm {H}_2(\mathbf {Z}^{2g}\rtimes \mathrm {Sp}_{2g}(\mathbf {Z}) ;\mathbf {Z})\xrightarrow {(\mathrm {sgn},\chi ^2)}\mathbf {Z}\oplus \mathbf {Z}\right)= & {} {\left\{ \begin{array}{ll}\langle (0,2)\rangle &{}\quad \text{ if } g=1\\ \langle (4,0),(0,1)\rangle &{}\quad \text{ if } g\ge 2. \end{array}\right. } \end{aligned}$$ 
(iii)
For \(n=3,7\), we have
$$\begin{aligned} \mathrm {im}\left( \mathrm {H}_2(\Gamma _{g,1/2}^n ;\mathbf {Z})\overset{(s_F,p)_*}{\longrightarrow }\mathrm {H}_2(\mathbf {Z}^{2g}\rtimes \mathrm {Sp}_{2g}(\mathbf {Z}) ;\mathbf {Z})\xrightarrow {\chi ^2\mathrm {sgn}}\mathbf {Z}\right) =8\cdot \mathbf {Z}. \end{aligned}$$
Proof
By the compatibility of \(\chi ^2\) with the stabilisation maps, it suffices to show the first part for \(g=1\), which follows from checking that the image of a generator in \(\mathrm {H}_2(\mathbf {Z}^{2} ;\mathbf {Z})\cong \mathbf {Z}\) is mapped to \(\pm 2\) under \(\chi ^2\) by chasing through the definition. As the signature morphism pulls back from \(\mathrm {Sp}_{2g}(\mathbf {Z})\), the second part follows from the first part and Lemma 3.15 by showing that the image of \(\chi ^2\) is for \(\mathrm {Sp}_{2g}^q(\mathbf {Z})\) always divisible by \(2\cdot \mathbf {Z}\) and for \(\mathrm {Sp}_{2g}(\mathbf {Z})\) divisible by 2 if and only if \(g=1\). In the case of \(\mathrm {Sp}_{2g}^q(\mathbf {Z})\), this can be shown “geometrically” as in the proof of Lemma 3.15: choose \(n\equiv 3\ (\mathrm {mod}\ 4), n\ne 3,7\) and consider the composition
The first morphism is surjective by the second reminder at the beginning of Sect. 3.3 and the second morphism is an isomorphism as a result of Sect. 2, so it suffices to show that the composition is divisible by 2, which in turn follows from a combination of Lemma 3.18, Theorem 3.12 and the fact that in these dimensions, an nconnected almost closed \((2n+2)\)manifold \(E'\) satisfies \(\chi ^2(E')\in 2\cdot \mathbf {Z}\) by a combination of Theorem 3.2 and (3.3). For \(\mathrm {Sp}_{2g}(\mathbf {Z})\), we argue as follows: in the case \(g=1\), we show that the morphism \(\mathrm {H}_2(\mathbf {Z}^2;\mathbf {Z})\rightarrow \mathrm {H}_2(\mathbf {Z}^{2}\rtimes \mathrm {Sp}_{2}(\mathbf {Z});\mathbf {Z})\) is surjective, which will exhibit the claimed divisibility as a consequence of (i). It follows from Lemma A.3 that the group \(\mathrm {H}_1(\mathrm {Sp}_{2}(\mathbf {Z});\mathbf {Z}^2)\) vanishes and as \(\mathrm {Sp}_2(\mathbf {Z})=\mathrm {SL}_2(\mathbf {Z})\), we also have \(\mathrm {H}_2(\mathrm {Sp}_2(\mathbf {Z});\mathbf {Z})=0\),^{Footnote 3} so an application of the Serre spectral sequence to \(\mathbf {Z}^{2}\rtimes \mathrm {Sp}_{2}(\mathbf {Z})\) shows the claimed surjectivity. This leaves us with proving that \(\chi ^2\) is not divisible by 2 for \(g\ge 2\) for which we use that there is class \([f:\pi _1S\rightarrow \mathrm {Sp}_{2g}(\mathbf {Z})]\in \mathrm {H}_2(\mathrm {Sp}_{2g}(\mathbf {Z});\mathbf {Z})\) of signature 4 by Lemma 3.15, so the form \(\langle ,\rangle _f\) cannot be even and hence there is a 1cocycle \(g:\pi _1S\rightarrow \mathbf {Z}^{2g}\) for which \(\langle [g],[g]\rangle _f\) is odd, which means that the image \(\chi ^2([g,f])\) of the class \([(g,f)]\in \mathrm {H}_2(\mathbf {Z}^{2g}\rtimes \mathrm {Sp}_{2g}(\mathbf {Z});\mathbf {Z})\) induced by the morphism \((g,f):\pi _1S\rightarrow \mathbf {Z}^2\rtimes \mathrm {Sp}_{2g}(\mathbf {Z})\) is odd. For the last part, note that the argument we gave for the divisibility in the second part for \(\mathrm {Sp}_{2g}^q(\mathbf {Z})\) shows for \(n=3,7\) that the image of the composition in (iii) is contained in \(8\cdot \mathbf {Z}\), since \(\chi ^2(E')\mathrm {sgn}(E')\) is divisible by 8 if \(n=3,7\). Hence, to finish the proof, it suffices to establish the existence of a class in \(\mathrm {H}_2(\Gamma ^n_{g,1/2};\mathbf {Z})\) for \(n=3,7\) on which the composition evaluates to 8. To this end, we consider the square
induced by the embedding \((s_F,p)\) of the extension describing \(\Gamma _{g,1/2}^n\) into the trivial extension of \(\mathrm {Sp}_{2g}(\mathbf {Z})\) by \(\mathbf {Z}^{2g}\otimes \pi _n\mathrm {SO}\) (see Sect. 2). By the first part, there is a class \([f]\in \mathrm {H}_2(\mathbf {Z}^{2g}\otimes \pi _n\mathrm {SO};\mathbf {Z})\) with \(\chi ^2([f])=2\) and trivial signature, since the signature morphism pulls back from \(\mathrm {Sp}_{2g}(\mathbf {Z})\). As a result of Lemma 2.1, the cokernel of the left vertical map in the square is 4torsion if \(n=3,7\), so \(4\cdot [f]\) lifts to \(\mathrm {H}_2(\mathbf {Z}^{2g}\otimes S\pi _n\mathrm {SO}(n);\mathbf {Z})\) and provides a class as desired. \(\square \)
Similar to the construction of \(\frac{\mathrm {sgn}}{8}\in \mathrm {H}^2(\mathrm {Sp}_{2g}^q(\mathbf {Z}) ;\mathbf {Z})\), we would like to lift the morphism resulting from the second part of Lemma 3.19
to a class \(\frac{\chi ^2}{2}\in \mathrm {H}^2(\mathbf {Z}^{2g}\rtimes \mathrm {Sp}_{2g}^q(\mathbf {Z}) ;\mathbf {Z})\). To this end, observe that \(\mathrm {Sp}_{2g}^q(\mathbf {Z})\subset \mathbf {Z}^{2g}\rtimes \mathrm {Sp}_{2g}^q(\mathbf {Z})\) induces an isomorphism on abelianisations for \(g\ge 2\) since the coinvariants \((\mathbf {Z}^{2g})_{\mathrm {Sp}_{2g}^q(\mathbf {Z})}\) vanish in this range by Lemma A.2. The morphism
considered in Sect. 3.4 thus induces a splitting
for \(g\ge 3\), analogous to the splitting (3.10). As before, this splitting is compatible with the inclusions \(\mathbf {Z}^{2g}\rtimes \mathrm {Sp}_{2g}^q(\mathbf {Z})\subset \mathbf {Z}^{2g+2}\rtimes \mathrm {Sp}_{2g+2}^q(\mathbf {Z})\), so the following is valid.
Definition 3.20

(i)
Define the class
$$\begin{aligned} \textstyle {\frac{\chi ^2}{2}\in \mathrm {H}^2(\mathbf {Z}^{2g}\rtimes \mathrm {Sp}_{2g}^q(\mathbf {Z});\mathbf {Z})} \end{aligned}$$for \(g\gg 0\) via the splitting (3.13) by declaring its image in the first summand to be trivial and to be \(\chi ^2/2\) in the second. For small g, the class \(\frac{\chi ^2}{2}\) is defined as the pullback of the class for \(g\gg 0\).

(ii)
Define the class
$$\begin{aligned} \textstyle {\frac{\chi ^2}{2}\in \mathrm {H}^2(\Gamma ^n_{g,1};\mathbf {Z})\quad \text {for }n\ne 1,3,7\text { and }n\equiv 3\ (\mathrm {mod}\ 4)}\end{aligned}$$as the pullback of the samenamed class along the map
$$\begin{aligned} \Gamma ^n_{g,1/2}\overset{(s_F,p)}{\longrightarrow } \big (H(g)\otimes S\pi _n\mathrm {SO}(n)\big )\rtimes G_g\cong \mathbf {Z}^{2g}\rtimes \mathrm {Sp}_{2g}^q(\mathbf {Z}). \end{aligned}$$ 
(iii)
Define the class
$$\begin{aligned} \textstyle {\frac{\chi ^2\mathrm {sgn}}{8}\in \mathrm {H}^2(\Gamma ^n_{g,1/2};\mathbf {Z})\cong \mathrm {Hom}(\mathrm {H}_2(\Gamma ^n_{g,1/2} ;\mathbf {Z}),\mathbf {Z})\quad \text {for }n=3,7} \end{aligned}$$for \(g\gg 0\) as image of \((\chi ^2\mathrm {sgn})/8\) ensured by Lemma 3.19, and for small g as the pullback of \(\frac{\chi ^2\mathrm {sgn}}{8}\in \mathrm {H}^2(\Gamma _{g+h,1/2};\mathbf {Z})\) for \(h\gg 0\).
The isomorphism \(\mathrm {H}^2(\Gamma ^n_{g,1/2};\mathbf {Z})\cong \mathrm {Hom}(\mathrm {H}_2(\Gamma ^n_{g,1/2};\mathbf {Z}),\mathbf {Z})\) for \(n=3,7\) in the previous definition is assured by Corollary 2.4 and Lemma A.1, as the abelianisation \(\mathrm {H}_1(\Gamma ^n_{g,1/2};\mathbf {Z})\) vanishes for \(g\gg 0\).
We finish this subsection with an auxiliary lemma convenient for later purposes.
Lemma 3.21
For \(g=1\), the class \(\frac{\mathrm {sgn}}{8}\in \mathrm {H}^2(\mathrm {Sp}^q_{2g}(\mathbf {Z});\mathbf {Z})\) and the pullback of the class \(\frac{\chi ^2}{2}\in \mathrm {H}^2(\mathbf {Z}^{2g}\rtimes \mathrm {Sp}^q_{2g}(\mathbf {Z});\mathbf {Z})\) to \(\mathrm {H}^2(\mathrm {Sp}^q_{2g}(\mathbf {Z});\mathbf {Z})\) are trivial.
Proof
Both classes evaluate trivially on \(\mathrm {H}_2(\mathrm {Sp}_{2g}^{q}(\mathbf {Z});\mathbf {Z})\). For the first class, this is a consequence of Lemma 3.15, for the second this holds by construction. Moreover, both classes pull back trivially to \(\mathrm {H}^2(\mathbf {Z}/4;\mathbf {Z})\) along the morphism \(a:\mathbf {Z}/4\rightarrow \mathrm {Sp}^q_{2g}(\mathbf {Z})\) by definition. Although this morphism does not induce an isomorphism on abelianisations for \(g=1\), it still induces one on their torsion subgroups by Lemma A.1 and this is sufficient to deduce the assertion from the universal coefficient theorem. \(\square \)
10.6 The proof of Theorem B
We are ready to prove our main result Theorem B, which we state equivalently in terms of the central extension
explained in Sect. 1.3. Our description of its extension class in \(\mathrm {H}^2(\Gamma _{g,1/2}^n;\Theta _{2n+1})\) involves the cohomology classes in \(\mathrm {H}^2(\Gamma _{g,1/2}^n;\mathbf {Z})\) of Definitions 3.17 and 3.20, and the two homotopy spheres \(\Sigma _P\) and \(\Sigma _Q\) in the subgroup \(\mathrm {bA}_{2n+2}\subset \Theta _{2n+1}\) examined in Sect. 3.2.1. We write \(()\cdot \Sigma \in \mathrm {H}^2(\Gamma _{g,1/2}^n;\mathbf {Z})\rightarrow \mathrm {H}^2(\Gamma _{g,1/2}^n;\Theta _{2n+1})\) for the change of coefficients induced by \(\Sigma \in \Theta _{2n+1}\).
Theorem 3.22
For \(n\ge 3\) odd, the extension
is classified by the class
and its induced differential \(d_2:\mathrm {H}_2(\Gamma _{g,1/2}^n)\rightarrow \Theta _{2n+1}\) has image
Moreover, the extension splits if and only if \(g=1\) and \(n\equiv 1\ (\mathrm {mod}\ 4)\).
Proof
As all cohomology classes involved are compatible with the stabilisation map \(\Gamma ^n_{g,1/2}\rightarrow \Gamma ^n_{g+1,1/2}\), it is sufficient to show the first part of the claim for \(g\gg 0\) (see Sect. 1.4). We assume \(n\ne 3,7\) first. Identifying \(\Gamma ^n_{g,1/2}\) with \((H(g)\otimes \pi _n\mathrm {SO})\rtimes G_g\) via the isomorphism \((s_F,p)\) of Sect. 2, the morphism \(a:\mathbf {Z}/4\rightarrow (H(g)\otimes \pi _n\mathrm {SO})\rtimes G_g\) of the previous section induces a morphism between the sequences of the universal coefficient theorem
By the exactness of the rows and the vanishing of \(\mathrm {H}_2(\mathbf {Z}/4;\mathbf {Z})\), it is sufficient to show that the extension class in consideration agrees with the classes in the statement when mapped to \(\mathrm {Hom}(\mathrm {H}_2(\Gamma ^n_{g,1/2};\mathbf {Z}),\Theta _{2n+1})\) and \(\mathrm {H}^2(\mathbf {Z}/4,\Theta _{2n+1})\). Regarding the images in the Homterm, it is enough to identify them after precomposition with the epimorphism
so from the construction of \(\frac{\mathrm {sgn}}{8}\) and \(\frac{\chi ^2}{2}\) together with Lemmas 3.15 and 3.19, we see that it suffices to show that \(\mathrm {H}_2(\mathrm {BDiff}_{\partial /2}(W_{g,1});\mathbf {Z})\rightarrow \Theta _{2n+1}\) induced by the extension class maps the class of a bundle \(\pi :E\rightarrow S\) to \(\mathrm {sgn}(E)/8\cdot \Sigma _P\) if \(n\equiv 1\ (\mathrm {mod}\ 4)\) and to \(\mathrm {sgn}(E)/8\cdot \Sigma _P+\chi ^2(E)/2\cdot \Sigma _Q\) otherwise, which is a consequence of Theorem 3.12 combined with Proposition 3.9. By construction, the classes \(\frac{\mathrm {sgn}}{8}\cdot \Sigma _P\) and \(\frac{\chi ^2}{2}\cdot \Sigma _Q\) vanish in \(\mathrm {H}^2(\mathbf {Z}/4;\Theta _{2n+1})\), so the claim for \(n\ne 3,7\) follows from showing that the extension class is trivial in \(\mathrm {H}^2(\mathbf {Z}/4;\Theta _{2n+1})\), i.e. that the pullback of the extension to \(\mathbf {Z}/4\) splits, which is in turn equivalent to the existence of a lift
Using the standard embedding \(W_1=S^n\times S^n\subset \mathbf {R}^{n+1}\times \mathbf {R}^{n+1}\), we consider the diffeomorphism
which is of order 4, maps to \(\left( {\begin{matrix} 0 &{} 1 \\ 1 &{} 0 \end{matrix}}\right) \in \mathrm {Sp}_2^q(\mathbf {Z})\), and has constant differential, so it vanishes in \(H(g)\otimes \pi _n\mathrm {SO}\). As the natural map \(\Gamma _{1,1}^n\rightarrow \Gamma ^n_1\) is an isomorphism by Lemma 1.1, this diffeomorphism induces a lift as required for \(g=1\), which in turn provides a lift for all \(g\ge 1\) via the stabilisation map \(\Gamma ^n_{1,1}\rightarrow \Gamma ^n_{g,1}\). For \(n=3,7\), the abelianisation of \(\Gamma ^n_{g,1/2}\) vanishes for \(g\gg 0\) due to Corollary 2.4, so it suffices to identify the extension class with the classes in the statement in \(\mathrm {Hom}(\mathrm {H}_2(\Gamma ^n_{g,1/2};\mathbf {Z}),\Theta _{2n+1})\) which follows as in the case \(n\ne 3,7\).
Lemma 3.19 (iii) implies that the image of \(d_2\) for \(n=3,7\) is generated by \(\Sigma _Q\) for all \(g\ge 1\). For \(n\ne 3,7\), the map \(\Gamma _{g,1/2}^n\rightarrow (H(g)\otimes \pi _n\mathrm {SO})\rtimes G_g\) is an isomorphism (see Sect. 2), so Lemma 3.19 tells us that the image of \(d_2\) for \(n\equiv 3\ (\mathrm {mod}\ 4)\) is generated by \(\Sigma _P\) and \(\Sigma _Q\) if \(g\ge 2\) and by \(\Sigma _Q\) if \(g=1\). For \(n\equiv 1\ (\mathrm {mod}\ 4)\), it follows from Lemma 3.15 that the image of \(d_2\) is generated by \(\Sigma _P\) if \(g\ge 2\) and that it is trivial for \(g=1\). In sum, this implies the second part of the claim by Corollary 3.5, and also that the differential \(d_2\) does not vanish for \(g\ge 2\), so the extension is nontrivial in these cases. For \(n\equiv 3\ (\mathrm {mod}\ 4)\), the homotopy sphere \(\Sigma _Q\) is nontrivial by Theorem 3.3, so \(d_2\) does not vanish for \(g=1\) either. Finally, in the case \(n\equiv 1\ (\mathrm {mod}\ 4)\), the extension is classified by \(\frac{\mathrm {sgn}}{8}\cdot \Sigma _P\), which is trivial for \(g=1\) by Lemma 3.21, so the extension splits and the proof is finished. \(\square \)
It is time to make good for the missing part of the proof of Theorem 2.2.
Proof of Theorem 2.2for \(n=3,7\). We have \(G_g=\mathrm {Sp}_{2g}(\mathbf {Z})\), so the case \(g=1\) follows from the fact that \(\mathrm {H}^2(\mathrm {Sp}_{2g}(\mathbf {Z});\mathbf {Z}^{2g}\otimes S\pi _n\mathrm {SO}(n))\) vanishes by Lemma A.3. To prove the case \(g\ge 2\), note that a hypothetical splitting \(s:\mathrm {Sp}_{2g}(\mathbf {Z})\rightarrow \Gamma ^n_{g,1/2}\) of the upper row of the commutative diagram
induces a splitting \((s_F,p)\circ s\) of the lower row, which agrees with the canonical splitting of the lower row up to conjugation with \(\mathbf {Z}^{2g}\otimes \pi _n\mathrm {SO}\), because such splittings up to conjugation are a torsor for \(\mathrm {H}^1(\mathrm {Sp}_{2g}(\mathbf {Z});\mathbf {Z}^{2g}\otimes \pi _n\mathrm {SO})\) which vanishes by Lemma A.3. Lemma 3.15 on the other hand ensures that there is a class \([f]\in \mathrm {H}_2(\mathrm {Sp}_{2g}(\mathbf {Z});\mathbf {Z})\) with signature 4, so \(s_*[f]\in \mathrm {H}_2(\Gamma ^n_{g,1/2};\mathbf {Z})\) satisfies \(\mathrm {sgn}(s_*[f])=4\) and \(\chi ^2(s_*[f])=0\), which contradicts Lemma 3.19 (iii).\(\square \)
11 Kreck’s extensions and their abelian quotients
The inclusion \(\mathrm {T}^n_{g,1}\subset \Gamma _{g,1}^n\) of the Torelli group extends to a pullback diagram
of extensions whose bottom row we identified in Theorem 3.22. We now apply this to obtain information about the top row, and moreover to compute the abelianisations of \(\Gamma _{g,1}^n\) and \(\mathrm {T}_{g,1}^n\) in terms of the homotopy sphere \(\Sigma _Q\in \Theta _{2n+2}\), the subgroup \(\mathrm {bA}_{2n+2}\subset \Theta _{2n+2}\) of Sect. 3.2, and the abelianisation of \(\Gamma _{g,1/2}^n\) as computed in Corollary 2.4.
Theorem 4.1
Let \(n\ge 3\) be odd and \(g\ge 1\).

(i)
The kernel \(K_g\) of the morphism \(\Theta _{2n+1}\rightarrow \mathrm {H}_1(\Gamma ^n_{g,1})\) is generated by \(\Sigma _Q\) for \(g=1\) and agrees with the subgroup \(\mathrm {bA}_{2n+2}\) for \(g\ge 2\). The induced extension
$$\begin{aligned} 0\longrightarrow \Theta _{2n+1}/K_g\longrightarrow \mathrm {H}_1(\Gamma _{g,1}^n)\longrightarrow \mathrm {H}_1(\Gamma ^n_{g,1/2})\longrightarrow 0 \end{aligned}$$splits.

(ii)
The extension
$$\begin{aligned} 0\longrightarrow \Theta _{2n+1}\longrightarrow \mathrm {T}^n_{g,1}\longrightarrow H(g)\otimes S\pi _n\mathrm {SO}(n)\longrightarrow 0 \end{aligned}$$is nontrivial for \(n\equiv 3\ (\mathrm {mod}\ 4)\) and splits \(G_g\)equivariantly for \(n\equiv 1\ (\mathrm {mod}\ 4)\). The image of its differential \(d_2:\mathrm {H}_2(H(g)\otimes S\pi _n\mathrm {SO}(n);\mathbf {Z})\rightarrow \Theta _{2n+1}\) is generated by \(\Sigma _Q\).

(iii)
The commutator subgroup of \(\mathrm {T}^n_{g,1}\) is generated by \(\Sigma _Q\) and the resulting extension
$$\begin{aligned} 0\longrightarrow \Theta _{2n+1}/\Sigma _Q\longrightarrow \mathrm {H}_1(\mathrm {T}_{g,1}^n)\longrightarrow H(g)\otimes S\pi _n\mathrm {SO}(n)\longrightarrow 0 \end{aligned}$$splits \(G_g\)equivariantly.
Proof
By the naturality of the Serre spectral sequence, the morphism of extension (4.1) induces a ladder of exact sequences
from which we see that the kernel \(K_g\) in question agrees with the image of the differential \(d_2^\Gamma \), which we described in Theorem 3.22. By the universal coefficient theorem, the pushforward of the extension class of the bottom row of (4.1) along the quotient map \(\Theta _{2n+1}\rightarrow \Theta _{2n+1}/\mathrm {im}(d_2^\Gamma )\) is classified by a class in \(\mathrm {Ext}(\mathrm {H}_1(\Gamma ^n_{g,1/2}),\Theta _{2n+1}/\mathrm {im}(d_2^\Gamma ))\), which also describes the exact sequence in (i). By a combination of Theorem 3.22 and Corollary 3.5, this class is trivial for \(n=3,7\), and for \(n\ne 3,7\) as long as \(g\ge 2\). For \(g=1\) and \(n\ne 3,7\), this class agrees with the image of \(\frac{\mathrm {sgn}}{8}\cdot \Sigma _P\) in \(\mathrm {H}^2(\Gamma ^n_{g,1};\Theta _{2n+1}/\mathrm {im}(d_2^\Gamma ))\) and therefore vanishes as \(\frac{\mathrm {sgn}}{8}\in \mathrm {H}^{2}(G_g;\mathbf {Z})\) is trivial in view of Lemma 3.21.
The extension class of the bottom row of (4.1), determined in Theorem 3.22, pulls back to the extension class of the top one. Since \(\frac{\mathrm {sgn}}{8}\in \mathrm {H}^2(\Gamma ^n_{g,1/2};\mathbf {Z})\) is pulled back from \(G_g\) by construction, it is trivial in \(H(g)\otimes S\pi _n\mathrm {SO}(n)\), so the extension in (ii) is trivial for \(n\equiv 1\ (\mathrm {mod}\ 4)\), classified by \(\frac{\chi ^2}{2}\cdot \Sigma _Q\) for \(n\equiv 3\ (\mathrm {mod}\ 4)\) if \(n\ne 3,7\), and by \(\frac{\chi ^2\mathrm {sgn}}{8}\cdot \Sigma _Q\) if \(n=3,7\). From this, the claimed image of \(d_2^T\) follows from Lemma 3.19 and its proof. For \(n\equiv 3\ (\mathrm {mod}\ 4)\), the homotopy sphere \(\Sigma _Q\) is nontrivial, so the extension does not split. This shows the second part of the statement, except for the claim regarding the equivariance, which will follow from the third part, since \(\Sigma _Q\) is trivial for \(n\equiv 1\ (\mathrm {mod}\ 4)\) by Theorem 3.3.
The diagram above shows that the commutator subgroup of \(\mathrm {T}_{g,1}^n\) agrees with the image of \(d_2^{\mathrm {T}}\), which we already showed to be generated by \(\Sigma _Q\). To construct a \(G_g\)equivariant splitting as claimed, note that the quotient of the lower row of (4.1) by \(\Sigma _Q\) pulls back from \(G_g\) by Theorem 3.22 because \(\frac{\mathrm {sgn}}{8}\in \mathrm {H}^{2}(\Gamma ^n_{g,1};\Theta _{2n+1})\) has this property. Consequently, there is a central extension \(0\rightarrow \Theta _{2n+1}/\Sigma _Q\rightarrow E\rightarrow G_g\rightarrow 0\) fitting into a commutative diagram
whose middle vertical composition induces a splitting as claimed, using that the right column in the diagram is exact. \(\square \)
The previous theorem, together with Lemma 1.1, Corollary 2.4, and Theorem 3.2 has Theorem C (ii) and Theorem D as a consequence. It also implies the following.
Corollary 4.2
For \(n\ge 3\) odd and \(g\ge 1\), \(\mathrm {T}_{g,1}^n\) is abelian if and only if \(n\equiv 1\ (\mathrm {mod}\ 4)\).
11.1 A geometric splitting
The splittings of the abelianisations of \(\Gamma _{g,1}^n\) and \(\mathrm {T}_{g,1}^n\) provided by Theorem 4.1 are of a rather abstract nature. Aiming towards splitting these sequences more geometrically, we consider the following construction.
A diffeomorphism \(\phi \in \mathrm {Diff}_\partial (W_{g,1})\) fixes a neighbourhood of the boundary pointwise, so its mapping torus \(T_\phi \) comes equipped with a canonical germ of a collar of its boundary \(S^1\times \partial W_{g,1}\subset T_\phi \) using which we obtain a closed oriented \((n1)\)connected \((2n+1)\)manifold \(\tilde{T}_\phi \) by gluing in \(D^2\times S^{2n1}\). By obstruction theory and the fact that \(W_{g}\) is nparallelisable, the stable normal bundle \(\tilde{T}_\phi \rightarrow \mathrm {BO}\) has a unique lift to \(\tau _{>n}\mathrm {BO}\rightarrow \mathrm {BO}\) compatible with the lift on \(D^2\times S^{2n1}\) induced by its standard stable framing. This gives rise to a morphism
which is compatible with the stabilisation map \(s:\Gamma _{g,1}^n\rightarrow \Gamma _{g,1}^n\) since
where \(S^1\times S^n\times S^n\) carries the \(\tau _{>n}\mathrm {BO}\)structure induced by the standard stable framing, which bounds. Using this, it is straightforward to see that the composition
of the iterated stabilisation map with t agrees with the canonical epimorphism appearing in Wall’s exact sequence (3.1), so its kernel agrees with the subgroup \(\mathrm {bA}_{2n+2}\). Together with the first part of Theorem 4.1, we conclude that the dashed arrow in the commutative diagram
is an isomorphism if and only if \(K_g=\mathrm {bA}_{2n+2}\) which is the case for \(g\ge 2\), and for \(g=1\) as long as \(n=3,7\) since \(\Sigma _Q\) generates \(\mathrm {bA}_{2n+2}\) for \(n=3,7\) by Corollary 3.5. Consequently, in these cases, the morphism
is an isomorphism, whereas its kernel for \(g=1\) coincides with the quotient \(\mathrm {bA}_{2n+2}/\Sigma _Q\), which is nontrivial as long as \(n\ne 3,7\), generated by \(\Sigma _P\), and whose order can be interpreted in terms of signatures (see Lemma 3.10). Since \(p_*\) splits by Theorem 4.1 and the natural map \(\mathrm {coker}(J)_{2n+1}/[\Sigma _Q]\rightarrow \Omega _{2n+1}^{\tau _{>n}}\) is an isomorphism by Corollary 3.6, the morphism (4.2) splits for \(g=1\) if and only if the natural map
does. Brumfiel [10, Thm 1.3] has shown that this morphism always splits before taking quotients, so the map (4.3) (and hence also (4.2)) in particular splits whenever \([\Sigma _Q]\in \mathrm {coker}(J)_{2n+1}\) is trivial, which is conjecturally always the case (see Conjecture 3.7) and known in many cases as a result of Theorem 3.3 (see also Remark 3.8).
The situation for \(\mathrm {H}_1(\mathrm {T}_{g,1}^n)\) is similar. By Theorem 4.1, the morphism \(\rho _*\) in
splits \(G_g\)equivariantly and since the morphism \(t_*\) is defined on \(\mathrm {H}_1(\Gamma ^n_{g,1})\), its restriction to \(\mathrm {H}_1(\mathrm {T}^n_{g,1})\) is \(G_g\)equivariant when equipping \(\Omega _{2n+1}^{\tau _{>n}}\) with the trivial action. By an analogous discussion to the one above, the kernel of the resulting morphism of \(G_g\)modules
is trivial for \(n=3,7\) and given by the quotient \(\mathrm {bA}_{2n+2}/\Sigma _Q\) for \(n\ne 3,7\). Moreover, this morphism splits if and only if it splits \(G_g\)equivariantly,^{Footnote 4} which is precisely the case if the natural map (4.3) admits a splitting. We summarise this discussion in the following corollary, which implies Theorem E when combined with Lemma 3.10.
Corollary 4.3
Let \(g\ge 1\) and \(n\ge 3\) odd.

(i)
The morphism
is an isomorphism for \(g\ge 2\). For \(g=1\), it is an epimorphism and its kernel is given by \(\mathrm {bA}_{2n+2}/\Sigma _Q\).

(ii)
The morphism
is an epimorphism and has kernel \(\mathrm {bA}_{2n+2}/\Sigma _Q\).

(iii)
The morphism \(t_*\oplus p_*\) splits for \(g=1\) if and only if
splits, which is the case for \(n\equiv 1\ (\mathrm {mod}\ 4)\). The same holds for \(t_*\oplus \rho _*\) for all \(g\ge 2\).
11.2 Abelianising \(\Gamma _{g,1}^n\) and \(\mathrm {T}_{g,1}^n\) for n even
For \(n\ge 4\) even, the abelianisations of \(\Gamma _{g,1}^n\) and \(\mathrm {T}_{g,1}^n\) can be computed without fully determining the extensions
Indeed, arguing similarly as in the proof of Corollary 2.4, the second extension provides an isomorphism \(\mathrm {H}_1(\Gamma _{g,1/2}^n)\cong \mathrm {H}_1(G_g)\oplus ( H(g)\otimes S\pi _n\mathrm {SO}(n))_{G_g}\), using that the coinvariants vanish also for \(G_g=\mathrm {O}_{g,g}(\mathbf {Z})\) as long as \(g\ge 2\) by Lemma A.2 and that the extension splits for \(g=1\), which is straightforward to check by noting that it is easy to lift elements of
to (so in particular to \(\Gamma _{1,1/2}^n\)) using the flip of the factors and a diffeomorphism of \(S^n\) of degree \(1\).^{Footnote 5} In contrast to the case \(n\ge 3\), the resulting analogues of the morphisms (4.2) and (4.4) for \(n\ge 4\) even are isomorphisms for all \(g\ge 1\); this is Theorem G.
Proof of Theorem G
Wall’s exact sequence (3.1) is also valid for \(n\ge 4\) even, so implies similarly to the case n odd that both morphisms in question are surjective and that their kernels agree with the quotients of \(\mathrm {bA}_{2n+2}\) by the images of the differentials
induced by the extensions (1.5) and (1.6), so we have to show that these images agree with \(\mathrm {bA}_{2n+2}\). By comparing the extensions for different g via the stabilisation map (see Sect. 1.4) and noting that the second differential factors through the first, we see that it suffices to show this for the second differential in the case \(g=1\). Plumbing disc bundles over \(S^{n+1}\) defines a pairing of the form
which can be seen to be surjective for \(n\ge 4\) even, unlike in the case \(n\ge 3\) odd [57, p. 295]. The composition of the pairing with the boundary map \(\partial :A_{2n+2}^{\tau _{>n}}\rightarrow \Theta _{2n+1}\) with image \(\mathrm {bA}_{2n+2}\) is usually called the Milnor pairing. Using the surjectivity, it is enough to show that the image of the second differential contains the image of the Milnor pairing. To do so, we rewrite the extension inducing the second differential via the canonical isomorphism resulting from Lemma 1.1 as
and constructsin an explicit cocycle \(f:S\pi _n\mathrm {SO}(n)^{\oplus 2}\times S\pi _n\mathrm {SO}(n)^{\oplus 2}\rightarrow \Theta _{2n+1}\) classifying this extension as follows: define morphisms
by assigning to a class \(\eta \in S\pi _n\mathrm {SO}(n)\) represented by \(\eta :(S^n,D^n_+)\rightarrow (\mathrm {SO}(n),\mathrm {id})\subset (\mathrm {SO}(n+1),\mathrm {id})\) the diffeomorphism \(t_1(\eta )(x,y)=(x,\eta (x)\cdot y)\) and \(t_2(\eta )(x,y)=(\eta (y)\cdot x,y)\), where \(D^n_+\subset S^n\) is the upper halfdisc. Choosing the centre \(*\in D^n_+\subset S^n\) as the base point, the diffeomorphisms \(t_1(\eta )\) and \(t_2(\eta )\) fix both spheres \(*\times S^n,S^n\times *\subset S^n\times S^n\), one because \(\eta \) is a based map and the other because it factors through the stabilisation map. From the description of \(\rho \) in Sect. 1.3, we see that \(\rho t_1(\eta )=(\eta ,0)\) and \(\rho t_2(\eta )=(0,\eta )\), so the function \(S\pi _n\mathrm {SO}(n)^{\oplus 2}\rightarrow \mathrm {T}_1^n\) mapping \((\eta ,\xi )\) to \(t_1(\eta )\circ t_2(\xi )\) is a settheoretical section to \(\rho \), which implies that the function defined by
defines a 2cocycle that represents the extension class of (4.5) in \(\mathrm {H}^2(S\pi _n\mathrm {SO}(n)^{\oplus 2};\Theta _{2n+1})\) (see e.g. [9, Ch. IV.3]); here we identified \(\Theta _{2n+1}\) with its image in \(\mathrm {T}_1^n\). The differential is the image of this class under the map \(\mathrm {H}^2(S\pi _n\mathrm {SO}(n)^{\oplus 2};\Theta _{2n+1})\rightarrow \mathrm {Hom}(\mathrm {H}_2(S\pi _n\mathrm {SO}(n)^{\oplus 2});\Theta _{2n+1})\) participating in the universal coefficient theorem (see Sect. 3.3), so with respect to the canonical isomorphism \(\Lambda ^2(S\pi _n\mathrm {SO}(n)^{\oplus 2})\cong \mathrm {H}_2(S\pi _n\mathrm {SO}(n)^{\oplus 2})\) (see e.g. [9, Thm V.6.4 (iii)], the differential takes the form (see e.g. [9, Ex. IV.4.8 (c), Ex. V.6.5])
The precomposition of this differential with the map \(S\pi _n\mathrm {SO}(n)\otimes S\pi _n\mathrm {SO}(n)\rightarrow \Lambda ^2(S\pi _n\mathrm {SO}(n)^{\oplus 2})\) mapping \(\eta \otimes \xi \) to \((\eta ,0)\wedge (0,\xi )\) thus agrees with the pairing
that sends \(\eta \otimes \xi \) to the commutator \(t_1(\eta )t_2(\xi )t_1(\eta )^{1}t_2(\xi )^{1}\). By the discussion in [40, p. 834], this coincides with the Milnor pairing, so its image is \(\mathrm {bA}_{2n+2}\) by the discussion above, which concludes the claim. \(\square \)
11.3 Splitting the homology action
We conclude our study of Kreck’s extensions and its abelianisations with the following result, which proves the remaining first part of Theorem C. The reader shall be reminded once more of Lemma 1.1, saying that the natural map \(\Gamma _{g,1}^n\rightarrow \Gamma ^n_g\) is an isomorphism for \(n\ge 3\).
Theorem 4.4
For \(n\ge 3\) odd, the extension
does not split for \(g\ge 2\), but admits a splitting for \(g=1\) and \(n\ne 3,7\).
Proof
The case \(n=3,7\) and \(g\ge 2\) is clear, since Theorem A shows that under this assumption even the quotient of the extension by the subgroup \(\Theta _{2n+1}\subset \mathrm {T}_{g,1}^n\) does not split. To deal with the other cases, we consider the morphism of extensions
By the naturality of the Serre spectral sequence, we have a commutative square
whose right vertical map has kernel generated by \(\Sigma _Q\) by the computation of \(\mathrm {H}_1(\mathrm {T}_{g,1}^n;\mathbf {Z})\) as a \(G_g\)module in Theorem 4.1. Therefore, to finish the proof of the first claim, it suffices to show that the differential \(d_2:\mathrm {H}_2(\Gamma ^n_{g,1/2};\mathbf {Z})\rightarrow \Theta _{2n+1}/\Sigma _Q\) is nontrivial for \(g\ge 2\) and \(n\ne 3,7\), which follows from Theorem 3.22 together with the fact that \(\mathrm {bA}_{2n+2}/\Sigma _Q\) is nontrivial in these cases by Lemma 3.10 and Remark 3.11. Turning towards the second claim, we assume \(n\ne 3,7\) and recall that the isomorphism \((s_F,p):\Gamma ^n_{g,1/2}\rightarrow (H(g)\otimes \pi _n\mathrm {SO})\rtimes G_g\) induces a splitting of the right vertical map \(\Gamma ^n_{g,1/2}\rightarrow G_g\) in the above diagram (see Sect. 2), so the claim follows from showing that the pullback of \(\Gamma ^n_{g,1}\rightarrow \Gamma _{g,1}^n\) along \(G_g\subset (H(g)\otimes \pi _n\mathrm {SO})\rtimes G_g\cong \Gamma _{g,1}^n\) splits for \(g=1\), which is a consequence of Theorem B and Lemma 3.21. \(\square \)
Remark 4.5
Theorem 4.4 leaves open whether \(\Gamma ^n_{g,1}\rightarrow G_g\) admits a splitting for \(g=1\) in dimensions \(n=3,7\). Krylov [37, Thm 2.1] and Fried [19, Sect. 2] showed that this can not be the case for \(n=3\) and we expect the same to hold for \(n=7\).
12 Homotopy equivalences
Our final result Corollary F is concerned with the morphism of extensions
underlying work of Baues [1, Thm 10.3], relating the mapping class group \(\Gamma _g^n\) to the group of homotopy classes of orientation preserving homotopy equivalences. The left vertical morphism is induced by the restriction of the unstable J homomorphism \(J:\pi _n\mathrm {SO}(n+1)\rightarrow \pi _{2n+1}S^{n+1}\) to the image of the stabilisation \(S:\pi _n\mathrm {SO}(n)\rightarrow \pi _n\mathrm {SO}(n+1)\) in the source and to the image of the suspension map \(S:\pi _{2n}S^{n}\rightarrow \pi _{2n+1}S^{n+1}\) in the target, justified by the fact that the square
commutes up to sign (see [53, Cor. 11.2]).
Proof of Corollary F
By Theorem A, the upper row of (5.1) splits for \(n\ne 1,3,7\) odd, so the first part of (i) is immediate. The second part follows from Theorem A as well if we show that the existence of a splitting of the lower row for \(n=3,7\) is equivalent to one of the upper row. To this end, note that for \(n=3,7\), we have isomorphisms \(S\pi _n\mathrm {SO}(n)\cong \mathbf {Z}\) and \(S\pi _{2n}S^n=\mathrm {Tor}(\pi _{2n+1}S^{n+1})\cong \mathbf {Z}/d_n\) for \(d_3=12\) and \(d_7=120\) with respect to which the Jhomomorphism \(J:S\pi _n\mathrm {SO}(n)\rightarrow S\pi _{n}S^n\) is given by reduction by \(d_n\) (see e.g. [53, Ch. XIV]). By Lemma A.3, the group \(\mathrm {H}^2(G_g;H(g))\) is annihilated by 2, so in particular by \(d_n\). Using this, the first claim follows from the long exact sequence on cohomology induced by the exact sequence
of \(G_g\)modules, since the extension class of the lower row is obtained from that of the upper one by the change of coefficients \(J_*:H(g)\otimes S\pi _n\mathrm {SO}(n)\rightarrow H(g)\otimes S\pi _{2n}S^n\).
To prove the second part, we consider the exact sequence
induced by the Serre spectral sequence of the lower row of (5.1). The left morphism is split injective as long as the extension splits, which, together with the first part and a consultation of Lemma A.2, exhibits to be as asserted. \(\square \)
Notes
Note that \(\mathbf {Z}/\Lambda _n\) is the trivial in the case \(n=3\) where Haefliger’s result does not apply.
Kreck phrases his results in terms of pseudoisotopy instead of isotopy. By Cerf’s “pseudoisotopy implies isotopy” [13], this does not make a difference as long as \(n\ge 3\).
This can be seen for instance from the Meyer–Vietoris sequence of the wellknown decomposition \(\mathrm {SL}_2(\mathbf {Z})\cong \mathbf {Z}/4*_{\mathbf {Z}/2}\mathbf {Z}/6\), where \(\mathbf {Z}/4\) is generated by \(\left( {\begin{matrix}0&{}1\\ 1&{}0\end{matrix}}\right) \), \(\mathbf {Z}/6\) by \(\left( {\begin{matrix}1&{}1\\ 1&{}0\end{matrix}}\right) \), and \(\mathbf {Z}/2\) by \(\left( {\begin{matrix}1&{}0\\ 0&{} 1\end{matrix}}\right) \).
If \((s_{t},s_{\rho })\) is a nonequivariant splitting of \(t_*\oplus \rho _*\), then \((s_t,(\mathrm {id}s_tt_*)s')\) is an equivariant splitting of \(t_*\oplus \rho _*\), where \(s'\) an equivariant splitting of \(\rho _*\) ensured by Theorem 4.1. This uses that \(s_t\) is already equivariant since \(\rho _*s_t=0\), so the image of \(s_t\) is contained in the image of \(\Theta _{2n+1}/\Sigma _Q\rightarrow \mathrm {H}_1(\mathrm {T}^n_{g,1})\) which is fixed by the action.
There are several mistakes in the literature related to the fact that \(G_1=\mathrm {O}_{1,1}(\mathbf {Z})\) is isomorphic to \((\mathbf {Z}/2)^2\) and not \(\mathbf {Z}/4\): in [35, p. 645], it should be \(\tilde{\pi }_0\mathrm {Diff}(S^2\times S^2)\cong (\mathbf {Z}/2)^2\), in [49, Thm 1] it should be \(\tilde{\pi }_0 \mathrm {Diff}(S^p\times S^q)/\tilde{\pi }_0S \mathrm {Diff}(S^p\times S^q)\cong (\mathbf {Z}/2)^2\) for \(p=q\) even, and finally in the proof of [36, Thm 2.6] it should be \(\mathrm {Aut}(\mathrm {H}_k(S^k\times S^k))\cong (\mathbf {Z}/2)^2\) for k even.
References
Baues, H.J.: On the group of homotopy equivalences of a manifold. Trans. Am. Math. Soc. 348(12), 4737–4773 (1996)
Basterra, M., Bobkova, I., Ponto, K., Tillmann, U., Yeakel, S.: Infinite loop spaces from operads with homological stability. Adv. Math. 321, 391–430 (2017)
Benson, D., Campagnolo, C., Ranicki, A., Rovi, C.: Signature cocycles on the mapping class group and symplectic groups. J. Pure Appl. Algebra 224(11), 106400 (2020)
Benson, D.: Theta functions and a presentation of \(2^{1+(2g+1)}\text{ Sp }(2g,2)\). J. Algebra 527, 204–240 (2019)
Botvinnik, B., Ebert, J., Wraith, D.J.: On the topology of the space of Riccipositive metrics. Proc. Am. Math. Soc. 148, 3997–4006 (2020)
Berglund, A., Madsen, I.: Homological stability of diffeomorphism groups. Pure Appl. Math. Q. 9(1), 1–48 (2013)
Berglund, A., Madsen, I.: Rational homotopy theory of automorphisms of manifolds. Acta Math. 224(1), 67–185 (2020)
Browder, W.: Surgery on SimplyConnected Manifolds. Springer, New York (1972) Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 65
Brown, K.S.: Cohomology of Groups. Graduate Texts in Mathematics, vol. 87. Springer, New York (1982)
Brumfiel, G.: On the homotopy groups of \({\rm BPL}\) and \({\rm PL/O}\). Ann. Math. (2) 88, 291–311 (1968)
Burklund, R., Hahn, J., Senger, A.: On the boundaries of highly connected, almost closed manifolds. arXiv eprints (2019)
Burklund, R., Senger, A.: On the highdimensional geography problem. arXiv eprints (2020)
Cerf, J.: La stratification naturelle des espaces de fonctions différentiables réelles et le théorème de la pseudoisotopie. Inst. Hautes Études Sci. Publ. Math. 39, 5–173 (1970)
Chern, S.S., Hirzebruch, F., Serre, J.P.: On the index of a fibered manifold. Proc. Am. Math. Soc. 8, 587–596 (1957)
Crowley, D.J.: On the mapping class groups of \(\#_r(S^p\times S^p)\) for \(p=3,7\). Math. Z. 269(3–4), 1189–1199 (2011)
Djament, A.: Sur l’homologie des groupes unitaires à coefficients polynomiaux. J. K Theory 10(1), 87–139 (2012)
Endres, R.: Multiplikatorsysteme der symplektischen Thetagruppe. Monatsh. Math. 94(4), 281–297 (1982)
Ebert, J., RandalWilliams, O.: Torelli spaces of highdimensional manifolds. J. Topol. 8(1), 38–64 (2015)
Fried, D.: Word maps, isotopy and entropy. Trans. Am. Math. Soc. 296(2), 851–859 (1986)
Gritsenko, V., Hulek, K.: Commutator coverings of Siegel threefolds. Duke Math. J. 94(3), 509–542 (1998)
Galatius, S., RandalWilliams, O.: Abelian quotients of mapping class groups of highly connected manifolds. Math. Ann. 365(1–2), 857–879 (2016)
Galatius, S., RandalWilliams, O.: Moduli spaces of manifolds: a user’s guide. In: Miller, H. (ed.) Handbook of Homotopy Theory. Chapman and Hall/CRC, New York (2020)
Grey, M.: On rational homological stability for block automorphisms of connected sums of products of spheres. Algebr. Geom. Topol. 19(7), 3359–3407 (2019)
Haefliger, A.: Plongements différentiables de variétés dans variétés. Comment. Math. Helv. 36, 47–82 (1961)
Hill, M.A., Hopkins, M.J., Ravenel, D.C.: On the nonexistence of elements of Kervaire invariant one. Ann. Math. (2) 184(1), 1–262 (2016)
Hochschild, G., Serre, J.P.: Cohomology of group extensions. Trans. Am. Math. Soc. 74(1), 110–134 (1953)
Johnson, D., Millson, J.J.: Modular Lagrangians and the theta multiplier. Invent. Math. 100(1), 143–165 (1990)
Kervaire, M.A.: Some nonstable homotopy groups of Lie groups. Ill. J. Math. 4, 161–169 (1960)
Kauffman, L.H., Krylov, N.A.: Kernel of the variation operator and periodicity of open books. Topol. Appl. 148(1–3), 183–200 (2005)
Kervaire, M.A., Milnor, J.W.: Groups of homotopy spheres. I. Ann. Math. (2) 77, 504–537 (1963)
Kosiński, A.A.: On the inertia group of \(\pi \)manifolds. Am. J. Math. 89, 227–248 (1967)
Krannich, M., Kupers, A.: Some Hermitian Kgroups via geometric topology. Proc. Am. Math. Soc. (2020). https://doi.org/10.17863/CAM.50639
Krannich, M., RandalWilliams, O.: Mapping class groups of simply connected highdimensional manifolds need not be arithmetic. C. R. Math. Acad. Sci. Paris 358(4), 469–473 (2020)
Krannich, M., Reinhold, J.: Characteristic numbers of manifold bundles over surfaces with highly connected fibers. J. Lond. Math. Soc. 102(2), 879–904 (2020)
Kreck, M.: Isotopy classes of diffeomorphisms of \((k1)\)connected almostparallelizable \(2k\)manifolds. Proceedings of Symposium University of Aarhus, Aarhus, 1978, Lecture Notes in Mathematics, vol. 763. Springer, Berlin, pp. 643–663 (1979)
Krylov, N.A.: Mapping class groups of (k1)connected almostparallelizable 2kmanifolds, ProQuest LLC, Ann Arbor, MI, 2002, Thesis (Ph.D.)—University of Illinois at Chicago
Krylov, N.A.: On the Jacobi group and the mapping class group of \(S^3\times S^3\). Trans. Am. Math. Soc. 355(1), 99–117 (2003)
Krylov, N.A.: Pseudoisotopy classes of diffeomorphisms of the unknotted pairs \((S^{n+2}, S^n)\) and \((S^{2p+2}, S^p\times S^p)\). Ill. J. Math. 51(3), 937–950 (2007)
Kupers, A.: Some finiteness results for groups of automorphisms of manifolds. Geom. Topol. 23(5), 2277–2333 (2019)
Lawson, T.C.: Remarks on the pairings of Bredon, Milnor, and Milnor–Munkres–Novikov. Indiana Univ. Math. J. 22, 833–843 (1972)
Levine, J.P.: Lectures on Groups of Homotopy Spheres. Algebraic and Geometric Topology (New Brunswick, N.J., 1983). Lecture Notes in Mathematics, vol. 1126. Springer, Berlin, pp. 62–95 (1985)
Meyer, W.: Die Signatur von lokalen Koeffizientensystemen und Faserbündeln, Bonn. Math. Schr. no. 53, viii+59 (1972)
Meyer, W.: Die Signatur von Flächenbündeln. Math. Ann. 201, 239–264 (1973)
Milnor, J.W., Kervaire, M.A.: Bernoulli numbers, homotopy groups, and a theorem of Rohlin. Proceedings of International Congress of Mathematicians 1958. Cambridge University Press, New York, pp. 454–458 (1960)
Newman, M., Smart, J.R.: Symplectic modulary groups. Acta Arith. 9, 83–89 (1964)
O’Meara, O.T.: Symplectic Groups. Mathematical Surveys, vol. 16. American Mathematical Society, Providence, RI (1978)
Putman, A.: The Picard group of the moduli space of curves with level structures. Duke Math. J. 161(4), 623–674 (2012)
Sato, H.: Diffeomorphism group of \(S^{p}\times S^{q}\) and exotic spheres. Q. J. Math. Oxf. Ser. (2) 20, 255–276 (1969)
Sato, M.: The abelianization of the level \(d\) mapping class group. J. Topol. 3(4), 847–882 (2010)
Schultz, R.: Composition constructions on diffeomorphisms of \(S^{p}\times S^{q}\). Pac. J. Math. 42, 739–754 (1972)
Spanier, E.H.: Algebraic Topology. McGrawHill Book Co., NewYork (1966)
Thurston, W.: Foliations and groups of diffeomorphisms. Bull. Am. Math. Soc. 80, 304–307 (1974)
Toda, H.: Composition Methods in Homotopy Groups of Spheres. Annals of Mathematics Studies, vol. 49. Princeton University Press, Princeton (1962)
Wall, C.T.C.: The action of \(\Gamma _{2n}\) on \((n1)\)connected \(2n\)manifolds. Proc. Am. Math. Soc. 13, 943–944 (1962)
Wall, C.T.C.: Classification of \((n1)\)connected \(2n\)manifolds. Ann. Math. (2) 75, 163–189 (1962)
Wall, C.T.C.: Classification problems in differential topology. II. Diffeomorphisms of handlebodies. Topology 2, 263–272 (1963)
Wall, C.T.C.: Classification problems in differential topology. VI. Classification of \((s1)\)connected \((2s+1)\)manifolds. Topology 6, 273–296 (1967)
Weintraub, S.H.: The Abelianization of the Theta Group in Low Genus. Algebraic Topology Poznań 1989. Lecture Notes in Mathematics, vol. 1474. Springer, Berlin, pp. 382–388 (1991)
Acknowledgements
I would like to thank Oscar RandalWilliams for several valuable discussions, Aurélien Djament for an explanation of an application of a result of his, and Fabian Hebestreit for many useful comments on an earlier version of this work. I was supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement No. 756444).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Lowdegree cohomology of symplectic groups
Appendix A: Lowdegree cohomology of symplectic groups
This appendix contains various results on the lowdegree (co)homology of the integral symplectic group \(\mathrm {Sp}_{2g}(\mathbf {Z})\) and its theta subgroup \(\mathrm {Sp}_{2g}^q(\mathbf {Z})\) (see Sect. 1.2).
Lemma A.1

(i)
The abelianisations of \(\mathrm {Sp}_{2g}(\mathbf {Z})\) and \(\mathrm {Sp}^q_{2g}(\mathbf {Z})\) satisfy
$$\begin{aligned} \mathrm {H}_1(\mathrm {Sp}_{2g}(\mathbf {Z}))\cong {\left\{ \begin{array}{ll}\mathbf {Z}/12&{}\quad \text{ if } g=1\\ \mathbf {Z}/2&{}\quad \text{ if } g=2\\ 0&{}\quad \text{ if } g\ge 3\end{array}\right. }\quad \text {and}\quad \mathrm {H}_1(\mathrm {Sp}^q_{2g}(\mathbf {Z}))\cong {\left\{ \begin{array}{ll}\mathbf {Z}/4\oplus \mathbf {Z}&{}\quad \text{ if } g=1\\ \mathbf {Z}/4\oplus \mathbf {Z}/2&{}\quad \text{ if } g=2\\ \mathbf {Z}/4&{}\quad \text{ if } g\ge 3.\end{array}\right. } \end{aligned}$$ 
(ii)
The element \(\left( {\begin{matrix} 1 &{} 1 \\ 0 &{} 1 \end{matrix}}\right) \in \mathrm {Sp}_2(\mathbf {Z})\subset \mathrm {Sp}_{2g}(\mathbf {Z})\) generates \(\mathrm {H}_1(\mathrm {Sp}_{2g}(\mathbf {Z}))\) for \(g=1,2\).

(iii)
The element \(\left( {\begin{matrix} 0 &{} 1 \\ 1 &{} 0 \end{matrix}}\right) \in \mathrm {Sp}_2^q(\mathbf {Z})\subset \mathrm {Sp}_{2g}^q(\mathbf {Z})\) generates the \(\mathbf {Z}/4\)summand in the group \(\mathrm {H}_1(\mathrm {Sp}_{2g}^q(\mathbf {Z}))\) for all \(g\ge 1\).

(iv)
The \(\mathbf {Z}\)summand in \(\mathrm {H}_1(\mathrm {Sp}^q_{2}(\mathbf {Z}))\) is generated by \(\left( {\begin{matrix} 1 &{} 2 \\ 0 &{} 1 \end{matrix}}\right) \in \mathrm {Sp}^q_{2}(\mathbf {Z})\) and the \(\mathbf {Z}/2\)summand in \(\mathrm {H}_1(\mathrm {Sp}^q_{4}(\mathbf {Z}))\) is generated by \(\left( {\begin{matrix} S &{} 0 \\ 0 &{} S \end{matrix}}\right) \in \mathrm {Sp}^q_{4}(\mathbf {Z})\), where \(S=\left( {\begin{matrix} 0 &{} 1 \\ 1 &{} 0 \end{matrix}}\right) \).

(v)
The stabilisation map
$$\begin{aligned} \mathrm {H}_1(\mathrm {Sp}_{2g}(\mathbf {Z}))\longrightarrow \mathrm {H}_1(\mathrm {Sp}_{2g+2}(\mathbf {Z})) \end{aligned}$$is surjective for all \(g\ge 1\) and the stabilisation map
$$\begin{aligned} \mathrm {H}_1(\mathrm {Sp}^q_{2g}(\mathbf {Z}))\longrightarrow \mathrm {H}_1(\mathrm {Sp}^q_{2g+2}(\mathbf {Z})) \end{aligned}$$is surjective for \(g\ge 2\), but has cokernel \(\mathbf {Z}/2\) for \(g=1\).
Proof
The fact that the abelianisation of \(\mathrm {Sp}_{2}(\mathbf {Z})=\mathrm {SL}_2(\mathbf {Z})\) is generated by \(\left( {\begin{matrix} 1 &{} 1 \\ 0 &{} 1 \end{matrix}}\right) \) and of order 12 is wellknown, and so is the isomorphism type of \(\mathrm {H}_1(\mathrm {Sp}_{2g}(\mathbf {Z}))\) for \(g\ge 2\) (see e.g. [3, Lem. A.1 (ii)]). The remaining claims regarding \(\mathrm {Sp}_{2g}(\mathbf {Z})\) follows from showing that \(\mathrm {H}_1(\mathrm {Sp}_{2}(\mathbf {Z}))\rightarrow \mathrm {H}_1(\mathrm {Sp}_{4}(\mathbf {Z}))\) is nontrivial, which can for instance be extracted from the proof of [20, Thm 2.1]: in their notation \(\Gamma _1=\mathrm {Sp}_4(\mathbf {Z})\) and the map \(i_\infty :\mathrm {SL}_2(\mathbf {Z})\rightarrow \Gamma _1\) identifies with the stabilisation \(\mathrm {Sp}_2(\mathbf {Z})\rightarrow \mathrm {Sp}_4(\mathbf {Z})\). The isomorphism type of \(\mathrm {H}_1(\mathrm {Sp}^q_{2g}(\mathbf {Z}))\) for \(g\ge 2\) is determined in [17, Thm 2] and for \(g=1\) in [58, Thm 1]. The first claim of (ii) follows from the main formula of [27] for \(g\ge 3\) and from [58, Cor. 2] for \(g=1,2\), which also gives the claimed generator of the \(\mathbf {Z}\)summand in \(\mathrm {H}_1(\mathrm {Sp}^q_{2}(\mathbf {Z}))\). The proof of [17, Thm 2] provides the asserted generator of the \(\mathbf {Z}/2\)summand in \(\mathrm {H}_1(\mathrm {Sp}^q_{4}(\mathbf {Z}))\). The final claim follows from the first four items once we show that the image of \(\left( {\begin{matrix} 1 &{} 2 \\ 0 &{} 1 \end{matrix}}\right) \) in \(\mathrm {H}_1(\mathrm {Sp}^q_4(\mathbf {Z}))\) vanishes, which is another consequence of the formulas in [58, Cor. 2]. \(\square \)
Lemma A.2
The (co)invariants of the standard actions of \(\mathrm {Sp}^q_{2g}(\mathbf {Z})\) and \(\mathrm {O}_{g,g}(\mathbf {Z})\) on \(\mathbf {Z}^{2g}\otimes A\) for an abelian group A satisfy
The same applies to the action of \(\mathrm {Sp}_{2g}(\mathbf {Z})\), except that the (co)invariants also vanish for \(g=1\).
Proof
We prove the claim for \(\mathrm {Sp}_{2g}^{(q)}(\mathbf {Z})\) first. The selfduality of \(\mathbf {Z}^{2g}\) induced by the symplectic form implies
so the computation of the invariants is a consequence of that of the coinvariants. To settle the case \(g\ge 2\) for both \(\mathrm {Sp}^q_{2g}(\mathbf {Z})\) and \(\mathrm {Sp}_{2g}(\mathbf {Z})\), it thus suffices to prove that the coinvariants \((\mathbf {Z}^{2g}\otimes A)_{\mathrm {Sp}_{2g}^q(\mathbf {Z})}\) with respect to the smaller group vanish. We consider the matrices
which can be seen to be contained in the subgroup \(\mathrm {Sp}_{2g}^q(\mathbf {Z})\subset \mathrm {Sp}_{2g}(\mathbf {Z})\) using the description in Sect. 1.2; here \(I_g\in \mathrm {GL}_g(\mathbf {Z})\) is the unit matrix and \(P_\sigma \in \mathrm {GL}_g(\mathbf {Z})\) the permutation matrix associated to \(\sigma \in \Sigma _g\). It suffices to show that \(e_i\otimes a\) and \( f_i\otimes a\) are trivial in the coinvariants for \(1\le i\le g\) and \(a\in A\), where \((e_1,\ldots ,e_g,f_1,\ldots ,f_g)\) is the standard symplectic basis of \(\mathbf {Z}^{2g}\). Writing \([]\) for the residue class of an element in the coinvaraints, acting with the permutation matrices shows \([e_i\otimes a]=[ e_j\otimes a]\) and \([f_i\otimes a]=[f_j\otimes a]\) for all \({1\le i,j\le g}\), so it suffices to prove \([e_1\otimes a]=[ f_1\otimes a]=0\). Using the second matrix, we see that \([ e_1\otimes a]=[f_1\otimes a]\) and \(2[ e_1\otimes a]=0\), and finally the third matrix shows \([ e_1\otimes a]=[e_1\otimes a]+[ e_2\otimes a]=2[ e_1\otimes a]=0\), so the coinvariants are trivial. In the case \(g=1\), the first part of the proof is still valid and shows that \((\mathbf {Z}^{2}\otimes A)_{\mathrm {Sp}_{2}^q(\mathbf {Z})}\) and \((\mathbf {Z}^{2}\otimes A)_{\mathrm {Sp}_{2}^q(\mathbf {Z})}\) are quotients of A/2 generated by \([ e_1\otimes a]=[ f_1\otimes a]\) for \(a\in A\). For \(\mathrm {Sp}_{2}(\mathbf {Z})\), we may use \(\left( {\begin{matrix} 1&{}1\\ 0&{}1 \end{matrix}}\right) \in \mathrm {Sp}_{2}(\mathbf {Z})\) to conclude \([ f_1\otimes a]=[ e_1\otimes a]+[f_1\otimes a]=2[e_1\otimes a]=0\), so the coinvariants vanish. For \(\mathrm {Sp}^q_{2}(\mathbf {Z})\), one uses that \(\mathrm {Sp}^q_{2}(\mathbf {Z})\) is generated by \(\left( {\begin{matrix} 1&{}2\\ 0&{}1\end{matrix}}\right) \) and \(\left( {\begin{matrix} 0&{}1\\ 1&{}0\end{matrix}}\right) \) (see e.g. [58, p. 385]) to see that the surjection \(\mathbf {Z}^{2}\otimes A\rightarrow A/2\) induced by adding coordinates is invariant and surjective, and thus induces an isomorphism
as claimed. The proof for \(\mathrm {O}_{g,g}(\mathbf {Z})\) is almost identical to that for \(\mathrm {Sp}_{2g}^q(\mathbf {Z})\), except that one has to replace the second displayed matrix by \(\left( {\begin{matrix}0&{}\quad I\\ I&{}\quad 0\end{matrix}}\right) \), also act with \(I_{2g}\), and use that \(\mathrm {O}_{1,1}(\mathbf {Z})\) is generated by \(\left( {\begin{matrix}1&{}\quad 0\\ 1&{}\quad 0\end{matrix}}\right) \) and \(\left( {\begin{matrix}0&{}\quad 1\\ 1&{}\quad 0\end{matrix}}\right) \).\(\square \)
Lemma A.3
The cohomology groups \(\mathrm {H}^*(\mathrm {Sp}_{2g}(\mathbf {Z}),\mathbf {Z}^{2g})\) and \(\mathrm {H}^*(\mathrm {Sp}^{q}_{2g}(\mathbf {Z}),\mathbf {Z}^{2g})\) with coefficients in the standard module are annihilated by 2 and in low degrees given by
Proof
The negative of the identity matrix \(I\in \mathrm {Sp}^{(q)}_{2g}(\mathbf {Z})\) is central and acts by \(1\) on \(\mathbf {Z}^{2g}\), so the first claim follows from the “centre kills trick” which is worth recalling: multiplication \(g\cdot ():M\rightarrow M\) by an element \(g\in G\) of a discrete group G on a Gmodule M is equivariant with respect to the conjugation \(c_g:G\rightarrow G\) by g and induces the identity on \(\mathrm {H}^*(G;M)\) by the usual argument. If \(g\in G\) is central, conjugation by g is trivial, so \(\mathrm {H}^*(G;M)\) is annihilated by the action of \((1g)\) on M.
Since \(\mathrm {H}^*(\mathrm {Sp}^{(q)}_{2g}(\mathbf {Z});\mathbf {Z}^{2g})\) is 2torsion, the selfduality of \(\mathbf {Z}^{2g}\) combined with the universal coefficient theorem for nontrivial coefficients (see e.g. [51, p. 283]) implies
so the computation of \(\mathrm {H}^*(\mathrm {Sp}^{(q)}_{2g}(\mathbf {Z});\mathbf {Z}^{2g})\) for \(*\le 1\) is a consequence of Lemma A.2.
From the Lyndon–Hochschild–Serre spectral sequence for the extension
with coefficients in \(\mathbf {Z}^2\), we see that
and the right hand side can easily be computed to be as claimed by applying the Mayer–Vietoris sequence to the presentation
for
which is wellknown for \(\mathrm {PSp}_2(\mathbf {Z})\cong \mathrm {PSL}_2(\mathbf {Z})\) and appears for instance in [58, p. 385] for \(\mathrm {PSp}^q_2(\mathbf {Z})\). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.