Mapping class group of manifolds which look like $3$-dimensional complete intersections

Matthias Kreck,Yang Su
2024-06-11
Abstract:In this paper we compute the mapping class group of closed simply-connected 6-manifolds $M$ which look like complete intersections, i.~e.~ $H_2(M;\mathbb Z) \cong \mathbb Z $ and $x^3 \ne 0$ where $x \in H^2(M; \mathbb Z)$ is a generator. We determine some algebraic properties of the mapping class group; for example we compute its abelianization and its center. We show that modulo the center the mapping class group is residually finite and virtually torsion-free. We also study low dimensional homology groups. The results are very similar to the computation of the mapping class group of Riemann surfaces. We give generators of the mapping class group, and generators and relations for the subgroup acting trivially on $\pi_{3}(M)$.
Geometric Topology,Algebraic Topology,Differential Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to calculate the Mapping Class Group of a specific class of 6 - dimensional manifolds. These manifolds are called manifolds that "look like 3 - dimensional complete intersections", that is, they are closed, simply - connected 6 - dimensional manifolds \(M\) satisfying \(H_2(M; \mathbb{Z})\cong\mathbb{Z}\) and there exists a generator \(x\in H_2(M; \mathbb{Z})\) such that \(x^3\neq0\). Specifically, the main objectives of the paper include: 1. **Calculating the Mapping Class Group**: Determine the Mapping Class Group of these specific 6 - dimensional manifolds and study their algebraic properties, such as abelianization and the center. 2. **Studying Low - Dimensional Homology Groups**: Explore the low - dimensional homology groups of these manifolds. 3. **Analogy with Riemann Surfaces**: By comparing with the Mapping Class Group of Riemann surfaces, find similarities and differences. 4. **Generators and Relations**: Give the generators of the Mapping Class Group and provide generators and relations for the subgroup that acts trivially on \(\pi_3(M)\). The paper studies the structure of the Torelli group by introducing a variational homomorphism \(v_{x,p}\) similar to the Johnson homomorphism on Riemann surfaces, and finally determines the specific form of the Mapping Class Group. These results not only provide a deep understanding of these specific 6 - dimensional manifolds, but also lay the foundation for further research on the moduli space of high - dimensional manifolds.