Proof

Each of the bi-simplicial sets realizes as the product of a \( K(\Gamma_g^1,1)\) and an infinite simplex. On the realizations the map induced by \( \nu\) is the product of the identity and a homotopy equivalence, and therefore a homology equivalence on their associated total complexes.

Proof

We find an inverse chain map \( j_*:T{\mathcal{C}}_\mathbb{I} \rightarrow T{\mathcal{C}}_\mathbb{N}\) to \( \nu_*,\) in homology. By functoriality it then induces the inverse \( \bar j_*\) to \( H_0^v{\mathcal{C}}_\mathbb{N}\rightarrow H_0^v{\mathcal{C}}_\mathbb{I}\) in homology. For each inversive \( X\) choose a representative point \( x\) on the circle, and extend the choice to \( n\) -tuples and thereby identify the infinite simplex on inversives as a sub-complex of the infinite simplex on the points of \( {\mathbb S}^1.\) Since an element of the mapping class group acts component-wise this assignment commutes with the action of \( \Gamma_g^1\) for it take the orbits of inversives \( (X_1,...,X_n)\) to the orbits of representatives \( (x_1,...,x_n).\) So \( j_*\) preserves the bi-simplicial structure and induces a chain map \( j_*:T{\mathcal{C}}_\mathbb{I} \rightarrow T{\mathcal{C}}_\mathbb{N},\) By construction \( j_*\) is a right inverse to \( \nu_*,\) but it is then a two-sided inverse in homology since \( \nu_*\) is an isomorphism in homology. The associated cochain complexes are also equivalent so we have an isomorphism in cohomology as well.

Proof

To prove a) we show that \( H_0^v{\mathcal{C}}\) is given by \( {\mathbb{Z}} \leftarrow {\Bbb Z}_2 \leftarrow {\Bbb Z} \leftarrow {\Bbb Z}_2 \leftarrow ….\) Any clockwise ordered \( (p+1)\) -tuple, \( (x_0,...,x_p),\) of points of the circle can be mapped to \( \{{ 0 , 1, 2,...,p }\}\) in some order. Hence there are at most two orientation classes of \( p\) -simplices, one represented by \( [{ 0 , 1, 2,..., p }]\) and one represented by any odd permutation of the vertices. When \( p\) is even, a cyclic permutation of the coordinates of a \( p\) -simplex determines a new simplex in the same orientation class, so that there are two orientation classes and the group of oriented \( p\) -chains is isomorphic to \( \mathbb{Z},\) with \( +1\) and \( -1\) representing the classes \( [{0, {2p}, 1,...,{2p-1}}]\) and \( [{ 0, 1,2,...,{2p}}]\) , respectively. Note that \( [{ 0, 1,2,...,{2p}}] = -[{0, {2p}, 1,...,{2p-1}}].\) When \( p\) is odd a cyclic permutation of the coordinates of a \( p\) -simplex determines a simplex in the opposite orientation class, so there is one class of order 2, and the \( p\) -th chain group is isomorphic to \( \mathbb{Z}_2.\) The homology of \( H_0^v{\mathcal{C}}\) is \( { \Bbb Z}\) in even dimensions and \( 0\) otherwise, and is therefore generated in dimension \( 2p\) by the class of the cycle \( { \mathbf{o}_{p} }= 2[{0, {2p}, 1,...,{2p-1}}]\) or equivalently \( [{0, {2p}, 1,...,{2p-1}}] - [{ 0, 1,2,...,{2p}}].\) The cohomology of \( H_0^v{\mathcal{C}}\) is isomorphic to \( \Bbb Z\) in even dimensions and \( 0\) in odd. This completes the proof of a).

For b) we will use the action of \( G\) on ordered simplices as well as on oriented simplices. The former is “right for isotropy" and the latter is “right for orbits". The homomorphism from ordered chains on a simplicial complex to oriented chains is defined by associating to an ordered simplex its orientation class. It induces a map from the double chain complex \( \Delta\) of the action of \( G\) on ordered simplices to the double chain complex \( {\mathcal{C}}\) of the action of \( G\) on oriented simplices which is a homology equivalence on each horizontal complex. Therefore there is chain homomorphism \( T{\Delta} \longrightarrow T{\mathcal{C}}\) which is well defined on orbits and functorially determines a chain homomorphism \( H_0^v\Delta \longrightarrow H_0^v\mathcal{C}.\) A chain inverse \( T{\mathcal{C}} \longrightarrow T{\Delta}\) is defined by totally ordering the vertices and choosing for each oriented simplex the ordered simplex given by the total ordering. It too is well defined on orbit complexes so induces a chain inverse \( H_0^v{\mathcal{C}} \longrightarrow H_0^v\Delta.\) Consider the commutative diagram of chain complexes

The chain homomorphisms \( T{\Delta} \longrightarrow T{\mathcal{C}}\) and \( H_0^v\Delta \longrightarrow H_0^v\mathcal{C}\) induce homology equivalences. We show that \( \rm q_{\Delta}\) is a homology equivalence, which implies that \( \rm q\) is also, and proves b).

The double complex \( { \Delta}_{p,q}\) is the \( {\mathcal{E}}^0\) -term of the spectral sequence

We observe that computing homology vertically then horizontally in the the spectral sequence gives

The homology of each vertical groupoid is isomorphic to the direct sum of the homology of its isotropy subgroups. The isotropy group of each \( p\) -simplex is acyclic, for the isotropy group of any point \( b\) is isomorphic to the group of orientation preserving homeomorphisms of \( \mathbb S^1 - \lbrace b \rbrace,\) which in turn is isomorphic to \( Homeo^{+}{\Bbb R}.\) The isotropy group of a \( (p+1)\) -element subset of \( \mathbb{S}^1\) is isomorphic to a \( (p+1)\) -fold cartesian product of \( Homeo^{+}{\Bbb R},\) so it too is acyclic. This implies that all the homology groups in \( {\mathcal{E}}_{p,q}^{1}\) for \( q>0\) are \( 0.\)

It remains to show that the isomorphism between \( H_p(T\Delta)\) and \( H_{p}(H_0^v{\Delta})\) is induced by \( \mathrm{ q}_\Delta.\) Let \( c_0 \in {\Delta}_{p,0}\) represent a cycle in \( H_{p}(H_0^v{\Delta}).\) Because all the vertical groupoids are acyclic it follows that the successive differentials of the spectral sequence are trivial, and \( c_0\) lifts to a \( p\) -cycle \( c\) in \( T{\Delta}\) (see the introduction to Section 5 for more on the lifting process). Then \( \mathrm{ q}_{\Delta}(c) = [c_0]^v\) as required.

Proof

Since the class \( {\mathbf E}^p\) generates the cohomology group \( H^{2p}(G;\mathbb{Z})\cong\mathbb{Z}\) , the cocycle \( (\mathbf{e}_p/2)^*\) represents an integral multiple of \( {\mathbf E}^p\) . The total complex \( T{\mathcal{C}}\) satisfies the Universal Coefficient Theorem (1) and we know from Theorem 1 that \( \mathrm{ q}\) induces an isomorphism in homology. Under the composition of isomorphisms

the cohomology class \( {\mathbf E}^p\) corresponds to \( \mathbf{o}_p^*\) the homomorphism dual to the orbit cycle \( \mathbf{o}_p\) , which generates \( Hom(H_{2p}(H_0^v{\mathcal{C}}), \Bbb Z)\cong \Bbb Z\) . On the other hand,

Therefore the composition \( (\mathrm{ q}^*)^{-1}\circ\beta\) takes the cohomology class represented by the cocycle \( (\mathbf{e}_p/2)^*\) to \( 2\mathbf{o}_p^*\) . It follows that the cocycle \( (\mathbf{e}_p/2)^*\) corresponds to \( 2{\mathbf E}^p\) .

Proof

We group the horizontal face maps of \( e_g\) into pairs that lie in the same orbit. but have opposite signs. Let \( Q= [ {A_0, A_{2g}, A_1,...,A_{2g-1}}]\) and \( R = [ {A_0, A_1, A_2,...,A_{2g}}],\) then, by definition, \( e_g=Q-R\) . Notice that \( \partial_0 Q - \partial_1 Q = [{\hat{A}_0, A_{2g}, A_1,...,A_{2g-1}}] - [{A_0, {\hat {A}_{2g}},...,A_{2g-1}}].\)

The two simplices on the right hand side are in the same orbit since the characteristic mapping class \( d_0\) maps \( [{A_0, A_1,...,A_{2g-1}}]\) to \( [{A_{2g}, A_1,...,A_{2g-1}}],\) then \( \partial_0 Q - \partial_1 Q= 0\) in the homology of the orbit complex. For \( 3 \leq k \leq 2g-1,\) and \( k\) odd consider

The two simplices are in the same orbit of \( d_k\) and \( \partial_{k-1} Q - \partial_{k}Q= 0\) . There is one face of \( Q\) remaining which is \( \partial_{2g}Q = [ {A_0, A_{2g}, 1,...,\hat {A}_{2g-1}}].\) Now consider \( R\) , and notice that the difference \( \partial_{k-1} R - \partial_{k} R=[{A_0, A_1,...,\hat {A}_{k},...,A_{2g-1},A_{2g}}] - [{A_0, A_1, A_2,...,\hat {A}_{k-1},...,A_{2g}}]\) consists of simplices in the same orbit of \( d_{k-1}\) for \( 1 \leq k \leq 2g-1,\) and \( k\) odd. Then \( \partial_{k-1} R - \partial_{k} R=0\) . The remaining face is \( \partial_{2g}R = [ {A_0, A_1,...,A_{2g-1}, \hat {A}_{2g}}].\) The two remaining faces of \( {{e}_g},\) \( [ {A_0, A_{2g}, A_1,...,\hat {A}_{2g-1}}] - [ A_0, A_1,...,A_{2g-1}, \hat {A}_{2g}],\) are in the orbit of \( d_{2g},\) which can be seen by cycling \( A_{2g}\) to the last slot. So \( \partial^h(e_g)\) bounds vertically.

Proof

First consider any of the \( 2g+1\) terms of \( L_0.\) Each is on its own a vertical cycle.

Now consider \( L_k\) for \( 1 \leq k \leq g-1,\) and the simplex \( [\hat {A}_0,…, \hat {A}_{k},…,A_{2g}]\) which is the coefficient of the first term in the sum. To prove the Proposition we construct, for each \( k,\) a sequence of composable characteristic morphisms, starting and finishing at the object \( [\hat {A}_0,..., \hat {A}_{k},...,A_{2g}].\) By construction these are \( 1\) -cycles in the groupoid \( \Lambda_{2g-2}\) , hence vertical cycles. Then we show that each sequence represents the \( 1\) -chain \( L_k.\) In the following formula, for simplicity, we suppress the coefficients of each characteristic morphism, for they are determined by the initial object. The composite

maps the simplex \( [\hat {A}_0,…, \hat{A}_{k},...,A_{2g}]\) component-wise to \( [ A_{2g-1},A_{2g}, \hat{A}_0,...,\hat {A}_k,...,A_{2g-2}],\) which is in the same orientation class, as we now observe. The pair of characteristic homeomorphisms in each set of parentheses corresponds to the composite of two characteristic morphisms with a fixed index \( i\) the first one of which comes from the sum on the left and the second from the sum on the right. The first pair of characteristic morphisms corresponds to \( i=0\) and maps \( [{ \hat {A}_0,...,\hat {A}_k,...,A_{2g}}]\) to \( [{A_0, \hat {A}_1,...,\hat {A}_{k+1},...,A_{2g}}].\) Continuing in this manner, we see that the \( 2(2g+1)\) morphisms in (9) match up with the terms in \( L_k,\) as claimed.

When \( k = g\) the composite \( d_0(d_{g}d_{2g})( d_{g-1}d_{2g-1})…(d_2d_{g+2})(d_1d_{g+1})\) maps \( A_0\) to \( A_g\) and \( A_g \) back to \( A_0.\) This requires \( 2g+1\) transformations, so in this case the \( (2g-1)\) -tuple \( [{\hat {A}_0,...,\hat {A}_{g+1},...,A_{2g}}]\) is restored in \( 2g+1\) steps, and shows that \( L_g\) is a vertical cycle.

Proof

Consider neighboring chains \( L_k\) and \( -L_{k+1},\) \( 1 \leq k \leq g-2\) each oriented by the direction of the loops representing them. The loop \( L_k,\) starting at \( [{\hat {A}_0},...,{\hat {A}_{k+1}},...,A_{2g}],\) is formed by a sequence of morphisms using the composite \( (d_{k+1}d_{0})(d_{k} d_{2g}) … (d_{k+3}d_2)(d_{k+2}d_1). \) If we flip the transformations within each set of parentheses, \( (d_{0}d_{k+1}) … (d_2d_{k+3})(d_1d_{k+2}),\) we obtain the loop \( L_{k+1}\) starting at \( [\hat {A}_0,...,\hat {A}_{k+1},...,A_{2g}].\) Any square formed by pairs of consecutive morphisms in the two loops has the form

where horizontal followed by vertical is in \( L_k\) and vertical followed by horizontal is in \( L_{k+1}.\) For each square the separation between vertices indexed by \( m\) and those by \( n\) is at least \( 1\) . Then the characteristic mapping classes \( d_{m}\) and \( d_{n}\) commute since the loop \( d_n^{-1}d_m^{-1}d_nd_m\) fixes all the \( \mathrm{ a}_i.\) Consequently each square closes up as a vertical chain. All loops \( L_{k}\) and \( -L_{k+1},\) for \( k \neq 0, k \neq g-1,\) are therefore freely homotopic. In the exceptional case recall \( L_{g}\) closes up with half the morphisms of \( L_{g-1}\) so that \( L_{g-1}\) is freely homotopic, with a change in sign, to twice \( L_g.\) Free homotopy of a pair of loops implies the loops are homologous.

Proof

The \( 2g(2g+1)\) distinct morphisms which are the terms of the sum \( L_0 + L_1+ … + L_g\) are in \( 1-1\) correspondence with the morphisms forming the composite \( (d_{2g}d_{2g-1} … d_{0})^{4g}\) , which is the identity in \( \Gamma_g^1\) by (5). That means there is a composite in the groupoid of all the morphisms whose square is the identity, so as a cycle the sum is homologous to \( 0.\) In fact it is represented by a loop which is trivial homotopically.

Proof

Combining the results of Lemmas 1 and 2 gives

Applying Lemma 2 to the expression (7) for \( t\) gives

After eliminating \( L_g\) from (10) and (11) we obtain \( t \sim_v 2g\ L_0. \) Now \( L_0\) is a sum of \( 2g+1\) distinct terms but each is counted twice so there are \( 2(2g+1)\) isotropic terms in all. Isotropic morphisms are freely homotopic for they are conjugate. In particular each is freely homotopic to \( d_{2g}.\) This gives the desired formula for \( t.\)

Proof

Consider \( H_1(\Sigma_g) \cong \Bbb Z^{2g}\) generated by \( \mathrm{ a}_0,…,\mathrm{ a}_{2g-1}\) . The action of the mapping class group \( \Gamma_g^1\) on \( H_1(\Sigma_g)\) gives, with respect to this generating set, a group homomorphism \( \psi: \Gamma_g^1\rightarrow SL(2g, \Bbb Z)\) defined by \( f\mapsto f_*\) .

If \( f\in\Lambda_{[A]}\) , then \( f\) is a mapping class that permutes the inversives \( A_0,A_1,…, A_{2g-2}\) preserving the orientation class \( [A_0,A_1,…, A_{2g-2}]\) . Moreover, the mapping class \( f\) must preserve the cyclic ordering (3). Then \( f_*\) acts on the generators \( \mathrm{ a}_0,…,\mathrm{ a}_{2g-2}\) by \( \pm P\) , where \( P\) is a \( (2g-1)\times(2g-1)\) permutation matrix with \( \det P=1\) . The image \( K= \psi(f)\) is a matrix of the form \( K = QT\) below, where \( I\) is the identity \( (2g-1)\times(2g-1)\) matrix and \( n_i\in\mathbb{Z}\) for \( 0\leq i\leq 2g-2\) .

Matrices of the form \( K\) and \( Q\) are closed under products and inverses so they determine subgroups, \( {\mathcal{K}}\) and \( {\mathcal{Q}},\) of \( SL(2g,\mathbb{Z}).\) The subset \( {\mathcal{T}}\) of \( {\mathcal{K}}\) which consists of matrices of the form \( K\) with \( n_0 + … +n_{2g-2} = 0\) is a normal subgroup of \( {\mathcal{K}}\) .

We claim that the quotient group \( {\mathcal{K}}/{\mathcal{T}}\) is abelian. Indeed, consider the composite \( {\mathcal{Q}} \hookrightarrow {\mathcal{K}} \twoheadrightarrow {\mathcal{K}}/{\mathcal{T}}. \) The image of this homomorphism is the subgroup of cosets represented by \( Q \in {\mathcal{Q}}.\) The product decomposition \( K=QT\) shows that every coset in \( {\mathcal{K}}/{\mathcal{T}}\) has a representative in \( {\mathcal{Q}}\) . Therefore, the homomorphism \( {\mathcal{Q}} \rightarrow {\mathcal{K}}/{\mathcal{T}}\) is onto. It follows that \( {\mathcal{K}}/{\mathcal{T}}\) is isomorphic to a quotient of \( {\mathcal{Q}}\) which must be abelian since \( {\mathcal{Q}}\) is abelian.

Hence, the composite \( \Lambda_{[A]}\xrightarrow{\psi} {\mathcal{K}} \twoheadrightarrow {\mathcal{K}}/{\mathcal{T}}\) factors through the abelianization \( H_1(\Lambda_{[A]})\) . Moreover, the mapping class \( d_{2g}^{-1}\) maps under this composite to an element in \( {\mathcal{K}}/{\mathcal{T}}\) of infinite order, namely the coset represented by the matrix \( Q\) in \( {\mathcal{Q}}\) with \( n_i =1\) for \( i=0,…, 2g-2\) . So the characteristic mapping class \( d_{2g}\) has infinite order in \( H_1( \Lambda_{[A]}).\)

Proof

By Proposition 8, the characteristic mapping class \( d_{2g}\) represents a class of infinite order in \( H_1( \Lambda_{[A]})\) , then so does \( 4g(2g+1)d_{2g}.\) From Proposition 7 the transition cycle \( t\) and the \( 1\) -cycle \( 4g(2g+1)[A_0,A_1,…,A_{2g-2}]\cdot d_{2g}\) represent the same class in \( H_1( \Lambda).\) Since the holonomy homomorphism \( \Lambda\rightarrow \Lambda_{[A]}\) induces an isomophims in homology, the corollary follows.

Proof

We attempt to lift the orbit chain \( k(o_g/2)\) to a cycle in the total complex, as explained in the introduction of Section 5, starting with the chain \( c_0=k(e_g/2)\in \mathcal{C}_{2g,0}\) .

If \( k\) is odd, then there is no chain \( c_1\in {\mathcal{C}}_{2g-1,1}\) such that \( \mathrm{ q}(c_0+c_1)=k(o_g/2)\) , for its chain boundary is a sum of an odd number of distinct faces so orbits cannot cancel.

If \( k=2m\) is even, we can continue the lifting process of by \( k(o_g/2)\) taking

where \( i \equiv n \mathrm{ .025in mod}(2g+1)\) . If a further extension were to exist, there would be a chain \( c_2\) satisfying \( -\partial^v c_2 = \partial^h c_1 = mt.\) Since \( c_2\) is a \( 2\) -chain in the groupoid \( \Lambda_{2g-2}\) , this implies that a non-trivial multiple \( t\) bounds vertically in \( \Lambda_{2g-2}.\) However, by Corollary 1, the transition cycle \( t\) has infinite order in \( H_1(\Lambda)\) , and hence in \( H_1(\Lambda_{2g-2})\) . Therefore, no such chain \( c_2\) can exist, the lifting terminates, and there is no cycle \( c\) such that \( \mathrm{ q}(c)=k(o_g/2)\) .

Proof

By Proposition 4 the class \( 2\text{E}^g\) is represented by the cocycle \( (e_g/2)^*\) satisfying \( \langle (e_g/2)^*, (e_g/2) \rangle = 1.\) Since \( (e_g/2)^*\) is a homomorphism from \( T\mathcal{C}_{2g}\) onto \( \Bbb Z\) , it splits the \( 2g\) -chains \( T\mathcal{C}_{2g}\) into a summand \( C\) generated by the chain \( (e_g/2)\) and a summand \( C'\) on which \( (e_g/2)^*\) is trivial. The homomorphism \( \beta(2\text{E}^g)\in Hom(H_{2g}(T{\mathcal{C}}), \Bbb Z)\) is represented by the restriction of the cocycle \( (e_g/2)^*\) to \( 2g\) -cycles \( \mathcal{K}_{2g}\) in the total complex \( T\mathcal{C}\) .

If \( \beta(2\text{E}^g)\) were non-trivial in \( Hom(H_{2p}(T{\mathcal{C}}), \Bbb Z)\) there would exist a \( 2g\) -cycle \( z\) with the property that \( (e_g/2)^*(z)\neq 0\) . Therefore, when the cycle \( z\) is written in terms of a basis determined by the splitting of \( T\mathcal{C}_{2g}\) as \( C\oplus C'\) , it must have a non-trivial term in \( C.\) However, by Corollary 2, neither the chain \( (e_g/2)\) nor any non-zero multiple of it, can be extended, by adding terms in \( C',\) to a cycle in the total complex. Consequently \( z\) must be an element of the subgroup \( C' \) in which case we obtain \( (e_g/2)^*\) is the zero homomorphism when restricted to \( \mathcal{K}_{2g}\) . We conclude that \( \beta\) maps \( 2\text{E}^g\) to \( 0\) , which implies that \( \beta\) maps \( \text{E}^g\) to \( 0\) as well.

Proof

By definition \( \mathrm{ q}(e_g/2)=[(e_g/2)]^v=(o_g/2)\) . Then

By Theorem 2 the class \( \text{E}^g\) , represented by the cocycle \( (e_g/2)^*\) , is a torsion class. Hence, the Universal Coefficient Theorem (1) implies that there exists \( \chi \in Hom({\mathcal{B}}_{2g-1}, \Bbb Z)\) such that \( \alpha(\chi) = (e_g/2)^*.\) Moreover, it satisfies \( \langle \chi, (b/2) \rangle=\langle \chi, \partial(e_g/2 ) \rangle=\langle \alpha(\chi), (e_g/2) \rangle=\langle (e_g/2)^*, (e_g/2) \rangle=1.\)

Proof

We have \( \mathrm{ q}(c_0)=\mathrm{ q}(c_0+c_1)=[e_g]^v=o_g\) , and \( t=\partial(c_0+c_1)\) . Therefore,

By Theorem 2 the cohomology class \( 2\text{E}^g\) , represented by the cocycle \( (e_g/2)^*\) , is a torsion class. Hence, the Universal Coefficient Theorem (1) implies that there exists \( \chi \in Hom({\mathcal{B}}_{2g-1}, \mathbb{Z})\) such that \( \alpha(\chi) = (e_g/2)^*.\) Moreover, it satisfies

\( \langle \chi, t \rangle=\langle \chi, \partial(c_0 + c_1) \rangle=\langle \alpha(\chi), c_0 + c_1 \rangle=\langle (e_g/2)^*, c_0 +c_1 \rangle=2.\)

Proof

First observe that \( \mathrm{ q}(c_0 +c_1+c_2)=[c_0]^v=o_g\) , then

Since \( \alpha(\chi)=(e_g/2)^*\) , it follows that

    \( 2 = \langle (e_g/2)^*, c_0 +c_1+c_2 \rangle = \langle \alpha(\chi), c_0 + c_1 +c_2\rangle = \langle \chi, \partial(c_0 + c_1+c_2 ) \rangle = \langle \chi, \lambda \mathrm{ d} +R \rangle.\)

Proof

By Proposition 6.6 the evaluation of \( m\chi\) on the chain \( \lambda \mathrm{ d} +R\) can be computed as

To complete the proof we show that \( m\chi\) evaluates \( R\) to \( 0,\) hence \( \lambda d\) to \( 2m.\)

Consider the differential \( \partial = \partial^h +\partial^v\) of the total complex \( T{\mathcal{C}}\) , restricted to \( {\mathcal{C}}_{2g-2,2}\) , and the following short exact sequences:

The groups \( H\) and \( V\) are free so the homomorphisms \( \partial^h,\) \( \partial^v\) and \( \partial=\partial^h +\partial^v\) split. Let \( \sigma\) denote the splitting homomorphism for \( \partial\) . We claim \( \sigma( H \oplus V) = \sigma{\vert_ {H}(H)} \oplus \sigma{\vert_ {V}(V)}.\) Indeed, since \( \sigma\) is \( 1-1\) the image of \( \sigma\) is a subgroup isomorphic to \( H \oplus V.\) An element \( \alpha\) in the image of \( \sigma\) has the form \( \alpha = \sigma(h+v)\) for unique elements \( h \in H,\) \( v \in V.\) Then also \( \alpha = \sigma(h)+\sigma(v)\) for unique elements \( h \in H,\) \( v \in V,\) which verifies the claim.

Denote \( \sigma{\vert_ {H}}\) and \( \sigma{\vert_ {V}}\) by \( \sigma^h\) and \( \sigma^v.\) Note that \( \sigma^h\) splits \( \partial^h\) and \( \sigma^v\) splits \( \partial^v.\) Note also that \( \sigma^h(H) = \sigma( H, 0)\) and \( \sigma^v(V) = \sigma( 0, V)\) have only the \( 0\) -element in common.

Now \( {\mathcal{C}}_{2g-2,2} = \sigma^h(H) \oplus ker \partial^h = \sigma^v(V) \oplus ker \partial^v,\) hence \( \sigma^h(H) \subset ker \partial^v.\) Then \( \partial^v \sigma^h =0,\) and in particular \( \partial^v \sigma^h(R)=0.\) By definition of the splitting \( \partial^h \sigma^h(R)=R\) so the chain \( \sigma^h(R)\) bounds \( R\) , i.e. \( \partial(\sigma^h(R))=R\) . Therefore,

The evaluation is 0 since \( \sigma^h(R) \in {\mathcal{C}}_{2g-2,2}\) is in the subgroup complementary to the summand generated by \( (e_g/2).\)

Proof

Let \( m>0\) be the order of \( 2 \text{E}^g\) , then \( \text{E}^g\) has order \( 2m\) . By Proposition 7, \( t\sim_{v} \lambda \mathrm{ d}\) where \( \lambda = 4g(2g+1)\) and \( \mathrm{ d}=[A_0,...,A_{2g-2}]\cdot d_{2g}\in\Lambda_{[A]}\subset\Lambda\) . Proposition 12 implies that \( \lambda=4g(2g+1)\) must divide \( 2m\) as claimed.

Proof

The automorphism \( w^{2g-1}\) maps \( \mathrm{{ a}}_{2g-1}\) to \( (\mathrm{{ a}}_{2g-2}^{-1} … \mathrm{{ a}}_0^{-1}) \mathrm{{ a}}_{2g-1} (\mathrm{{ a}}_0^{-1} … \mathrm{{ a}}_{2g-2}^{-1})\) and fixes all the remaining \( \mathrm{ a}\) ’s. On the other hand, recall \( d_{2g}^{-1}\) maps \( \mathrm{ a}_{2g-1}\) to \( \mathrm{ a}_{2g}^{-1}=\mathrm{{ a}}_0 … \mathrm{{ a}}_{2g-1} = \mathrm{{ a}}_{2g-1} … \mathrm{{ a}}_{0}\) (see Section 3.3). Composing \( w^{2g-1}\) with \( d_{2g}^{-1}\) on the left and using the defining relation gives \( \mathrm{{ a}}_{2g-1} \to \mathrm{{ a}}_{2g-1}(\mathrm{{ a}}_0^{-1} … \mathrm{{ a}}_{2g-2}^{-1})\) and composing again gives \( d_{2g}^{-2}w^{2g-1}: \mathrm{{ a}}_{2g-1} \to \mathrm{{ a}}_{2g-1}\) so that \( d_{2g}^{-2}w^{2g-1}\) is the identity automorphism. Note \( w\) is orientation preserving since \( w^{2g-1}=d_{2g}^2\) is and \( 2g-1\) is odd.

Proof

Since \( w\) acts by an even cyclic permutation on the generators \( \{{\mathrm{{ a}}}_0,...,{\mathrm{{ a}}}_{2g-2}\}\) , it fixes \( [A]=[A_0,…, A_{2g-2}]\) . Then \( w\in \Lambda_{[A]}\) and Proposition 14 implies that \( 2d_{2g} = (2g-1)w\) holds in \( H_1( \Lambda_{[A]})\) . Hence, from the isomorphism in homology induced by the holonomy homomorphim \( \Lambda\rightarrow \Lambda_{[A]}\) , we have that \( 2[A_0,…,A_{2g-2}]\cdot d_{2g} \sim_v (2g-1)[A_0,…,A_{2g-2}]\cdot w\) . The corollary follows then from Proposition 7.

Proof

Let \( m>0\) be the order of \( 2\text{E}^g\) , then \( 2m\) is the order of \( \text{E}^g\) . From Corollary 3, we have that \( t\sim_{v} \lambda \mathrm{ d}\) where \( \lambda = (2g)(2g+1)(2g-1) \) and \( \mathrm{ d}=[A_0,…,A_{2g-2}]\cdot w\in \Lambda_{[A]}\subset\Lambda\) . Proposition 12 implies \( \lambda=(2g)(2g+1)(2g-1)\) must divide \( 2m\) . From Propostion 13 we have that \( 4g\) also divides \( 2m\) . Since \( (2g+1)(2g-1)\) and \( 4g\) are relatively prime, the statement of the theorem follows.