scholarly journals The cohomology of Torelli groups is algebraic

2020 ◽  
Vol 8 ◽  
Author(s):  
Alexander Kupers ◽  
Oscar Randal-Williams

Abstract The Torelli group of $W_g = \#^g S^n \times S^n$ is the group of diffeomorphisms of $W_g$ fixing a disc that act trivially on $H_n(W_g;\mathbb{Z} )$ . The rational cohomology groups of the Torelli group are representations of an arithmetic subgroup of $\text{Sp}_{2g}(\mathbb{Z} )$ or $\text{O}_{g,g}(\mathbb{Z} )$ . In this article we prove that for $2n \geq 6$ and $g \geq 2$ , they are in fact algebraic representations. Combined with previous work, this determines the rational cohomology of the Torelli group in a stable range. We further prove that the classifying space of the Torelli group is nilpotent.

2020 ◽  
Vol 8 ◽  
Author(s):  
ALEXANDER KUPERS ◽  
OSCAR RANDAL-WILLIAMS

We completely describe the algebraic part of the rational cohomology of the Torelli groups of the manifolds $\#^{g}S^{n}\times S^{n}$ relative to a disc in a stable range, for $2n\geqslant 6$ . Our calculation is also valid for $2n=2$ assuming that the rational cohomology groups of these Torelli groups are finite-dimensional in a stable range.


2013 ◽  
Vol 154 (3) ◽  
pp. 419-438 ◽  
Author(s):  
OSCAR RANDAL–WILLIAMS

AbstractWe study the cohomology of the space of immersed genus g surfaces in a simply-connected manifold. We compute the rational cohomology of this space in a stable range which goes to infinity with g. In fact, in this stable range we are also able to obtain information about torsion in the cohomology of this space, as long as we localise away from (g-1).


Author(s):  
Erik Lindell

Abstract In the early 1980s, Johnson defined a homomorphism $\mathcal {I}_{g}^1\to \bigwedge ^3 H_1\left (S_{g},\mathbb {Z}\right )$ , where $\mathcal {I}_{g}^1$ is the Torelli group of a closed, connected, and oriented surface of genus g with a boundary component and $S_g$ is the corresponding surface without a boundary component. This is known as the Johnson homomorphism. We study the map induced by the Johnson homomorphism on rational homology groups and apply it to abelian cycles determined by disjoint bounding-pair maps, in order to compute a large quotient of $H_n\left (\mathcal {I}_{g}^1,\mathbb {Q}\right )$ in the stable range. This also implies an analogous result for the stable rational homology of the Torelli group $\mathcal {I}_{g,1}$ of a surface with a marked point instead of a boundary component. Further, we investigate how much of the image of this map is generated by images of such cycles and use this to prove that in the pointed case, they generate a proper subrepresentation of $H_n\left (\mathcal {I}_{g,1}\right )$ for $n\ge 2$ and g large enough.


Author(s):  
Christopher P. Bendel ◽  
Brian D. Boe ◽  
Christopher M. Drupieski ◽  
Daniel K. Nakano ◽  
Brian J. Parshall ◽  
...  

1969 ◽  
Vol 16 (4) ◽  
pp. 309-314 ◽  
Author(s):  
Robert R. Clough

2021 ◽  
Author(s):  
Đặng Võ Phúc

Let $F_2$ be the prime field of two elements and let $GL_s:= GL(s, F_2)$ be the general linear group of rank $s.$ Denote by $\mathscr A$ the Steenrod algebra over $F_2.$ The (mod-2) Lambda algebra, $\Lambda,$ is one of the tools to describe those mysterious "Ext-groups". In addition, the $s$-th algebraic transfer of William Singer \cite{Singer} is also expected to be a useful tool in the study of them. This transfer is a homomorphism $Tr_s: F_2 \otimes_{GL_s}P_{\mathscr A}(H_{*}(B\mathbb V_s))\to {\rm Ext}_{\mathscr {A}}^{s,s+*}(F_2, F_2),$ where $\mathbb V_s$ denotes an elementary abelian $2$-group of rank $s$, and $H_*(B\mathbb V_s)$ is the (mod-2) homology of a classifying space of $\mathbb V_s,$ while $P_{\mathscr A}(H_{*}(B\mathbb V_s))$ means the primitive part of $H_*(B\mathbb V_s)$ under the action of $\mathscr A.$ It has been shown that $Tr_s$ is highly non-trivial and, more precisely, that $Tr_s$ is an isomorphism for $s\leq 3.$ In addition, Singer proved that $Tr_4$ is an isomorphism in some internal degrees. He also investigated the image of the fifth transfer by using the invariant theory. In this note, we use another method to study the image of $Tr_5.$ More precisely, by direct computations using a representation of $Tr_5$ over the algebra $\Lambda,$ we show that $Tr_5$ detects the non-zero elements $h_0d_0\in {\rm Ext}_{\mathscr A}^{5, 5+14}(F_2, F_2),\ h_2e_0 = h_0g\in {\rm Ext}_{\mathscr A}^{5, 5+20}(F_2, F_2)$ and $h_3e_0 = h_4h_1c_0\in {\rm Ext}_{\mathscr A}^{5, 5+24}(F_2, F_2).$ The same argument can be used for homological degrees $s\geq 6$ under certain conditions.


Author(s):  
Benson Farb ◽  
Dan Margalit

The study of the mapping class group Mod(S) is a classical topic that is experiencing a renaissance. It lies at the juncture of geometry, topology, and group theory. This book explains as many important theorems, examples, and techniques as possible, quickly and directly, while at the same time giving full details and keeping the text nearly self-contained. The book is suitable for graduate students. It begins by explaining the main group-theoretical properties of Mod(S), from finite generation by Dehn twists and low-dimensional homology to the Dehn–Nielsen–Baer–theorem. Along the way, central objects and tools are introduced, such as the Birman exact sequence, the complex of curves, the braid group, the symplectic representation, and the Torelli group. The book then introduces Teichmüller space and its geometry, and uses the action of Mod(S) on it to prove the Nielsen-Thurston classification of surface homeomorphisms. Topics include the topology of the moduli space of Riemann surfaces, the connection with surface bundles, pseudo-Anosov theory, and Thurston's approach to the classification.


Author(s):  
Friedhelm Waldhausen ◽  
Bjørn Jahren ◽  
John Rognes

Since its introduction by the author in the 1970s, the algebraic K-theory of spaces has been recognized as the main tool for studying parametrized phenomena in the theory of manifolds. However, a full proof of the equivalence relating the two areas has not appeared until now. This book presents such a proof, essentially completing the author's program from more than thirty years ago. The main result is a stable parametrized h-cobordism theorem, derived from a homotopy equivalence between a space of PL h-cobordisms on a space X and the classifying space of a category of simple maps of spaces having X as deformation retract. The smooth and topological results then follow by smoothing and triangulation theory. The proof has two main parts. The essence of the first part is a “desingularization,” improving arbitrary finite simplicial sets to polyhedra. The second part compares polyhedra with PL manifolds by a thickening procedure. Many of the techniques and results developed should be useful in other connections.


2020 ◽  
pp. 1-24
Author(s):  
VICTORIA SADOVSKAYA

Abstract We consider Hölder continuous cocycles over an accessible partially hyperbolic system with values in the group of diffeomorphisms of a compact manifold $\mathcal {M}$ . We obtain several results for this setting. If a cocycle is bounded in $C^{1+\gamma }$ , we show that it has a continuous invariant family of $\gamma $ -Hölder Riemannian metrics on $\mathcal {M}$ . We establish continuity of a measurable conjugacy between two cocycles assuming bunching or existence of holonomies for both and pre-compactness in $C^0$ for one of them. We give conditions for existence of a continuous conjugacy between two cocycles in terms of their cycle weights. We also study the relation between the conjugacy and holonomies of the cocycles. Our results give arbitrarily small loss of regularity of the conjugacy along the fiber compared to that of the holonomies and of the cocycle.


Sign in / Sign up

Export Citation Format

Share Document