Mapping class group of manifolds which look like 3-dimensional complete intersections
Let \(M\) be a closed smooth manifold. The \textit{mapping class group} of \(M\), \(\mathrm{Mod}(M)\) is the group of isotopy classes of orientation preserving self diffeomorphisms. This can also be interpreted as the path components of the group of orientation preserving self diffeomorphisms \(Diff(M)\). A 6-dimensional smooth simply connected manifold, \(M\), looks like a complete intersection if \(H_{2}(M;\mathbb{Z})\cong \mathbb{Z}\) and \(x^{3}\not=0\), where \(x\in H^{2}(M;\mathbb{Z})\) is a generator. The authors study \(\mathrm{Mod}(M)\) for 6-dimensional manifolds that look like a complete intersections, this includes complete intersection complex manifolds of dimension 3. The technique is to embed \(\mathrm{Mod}(M)\) in a short exact sequence and study the terms involved. For this, observe that \(\mathrm{Mod}(M)\) naturally acts on the cohomology ring \(H^{*}(M;\mathbb{Z})\), the kernel of this action is called the \textit{Torelli group} and is denoted as \(\mathcal{J}(M)\). This action induces, by cohomological considerations, a homomorphism from \(\mathrm{Mod}(M)\) to \(Sp(b_{3}(M),\mathbb{Z})\), where \(b_{3}(M)\) denotes the third Betti number of \(M\). The authors prove that this homomorphism is surjective and therefore, there is a short exact sequence \(1\to \mathcal{J}(M)\to \mathrm{Mod}(M)\to Sp(b_{3}(M),\mathbb{Z})\to 1\). On the other hand, again by cohomological considerations, \(x^{2}=d(M)y\) for some integer \(d(M)\) and \(y\) the generator of \(H^{4}(M;\mathbb{Z})\). Let \(k(M)\) be an integer determined by the first Pontryagin class, \(p_{1}(M)\), as follows: If \(M\) is spin, \(p_{1}(M)=4k(M)\) and for \(M\) non-spin \(k(M)\) is such that \(p_{1}(M)=(4k(M)-d(M))y\), where \(d(M)\) is the degree of \(M\). Consider the following subgroup of \(H^{3}(M;\mathbb{Z})\times H^{3}(M;\mathbb{Z})\).\N\[\N\Delta_{d(M),k(M)}=\{ d(M)u , k(M)u \mid u\in H^{3}(M;\mathbb{Z})\}. \N\]\NThe authors construct a surjective homomorphism \N\[\Nv_{x,p}:\mathcal{J}(M)\to( (H^{3}(M;\mathbb{Z})\times H^{3}(M;\mathbb{Z}))/\Delta_{d(M),k(M)} \N\]\Nwhose kernel is denoted by \(\mathcal{K}(M)\). Hence, there is a short exact sequence \N\[\N1\to \mathcal{K}(M)\to \mathcal{J}(M)\to( (H^{3}(M;\mathbb{Z})\times H^{3}(M;\mathbb{Z}))/\Delta_{d(M),k(M)} \to 1. \N\]\NThe authors describe the groups \(\mathcal{J}(M)\) and \(\mathcal{K}(M)\) in order to understand \(\mathrm{Mod}(M)\) and give several examples. They also prove that \(\mathcal{K}(M)\) is the center of \(\mathrm{Mod}(M)\) and give generators for \(\mathrm{Mod}(M)\).
- A CLASSIFICATION OF SMOOTH EMBEDDINGS OF FOUR-MANIFOLDS IN SEVEN-SPACE, II
- A diffeomorphism classification of 7-dimensional homogeneous Einstein manifolds with \(SU(3)\times SU(2)\times U(1)\)-symmetry
- Classification problems in differential topology. II: Diffeomorphisms of handlebodies
- Classification problems in differential topology. V: On certain 6- manifolds
- Cohomology of symplectic groups and Meyer's signature theorem
- DIFFEOMORPHISM GROUPS OF Sp × Sq EXOTIC SPHERES
- Differentiable embeddings of \(S^ n\) in \(S^{n+q}\) for \(q > 2\)
- Differentiable imbeddings
- Extensions of residually finite groups
- Finiteness and infiniteness results for Torelli groups of (hyper-)Kähler manifolds
- Groups of homotopy spheres. I
- scientific article; zbMATH DE number 3935317 (Why is no real title available?)
- scientific article; zbMATH DE number 3655024 (Why is no real title available?)
- scientific article; zbMATH DE number 3201273 (Why is no real title available?)
- scientific article; zbMATH DE number 3349054 (Why is no real title available?)
- scientific article; zbMATH DE number 3395065 (Why is no real title available?)
- Infinitesimal computations in topology
- Mapping class group and a global Torelli theorem for hyperkähler manifolds
- Mapping class groups of highly connected \((4k+2)\)-manifolds
- Moduli spaces of manifolds: a user's guide
- Non-additivity of the signature
- On \( < 8 > \) -cobordism
- On manifolds homeomorphic to the 7-sphere
- On Siegel's modular group
- On the classification of 1-connected 7-manifolds with torsion free second homology
- On the groups \(H(\Pi,n)\). II
- On the Jacobi group and the mapping class group of S^3\times S^3
- On the mapping class groups of \(\#_r(S^p \times S^p)\) for \(p = 3, 7\)
- On the signature of four-manifolds with universal covering spin
- Problems in differential and algebraic topology. Seattle conference, 1963
- Singularities and topology of hypersurfaces
- Some nondiffeomorphic homeomorphic homogeneous 7-manifolds with positive sectional curvature
- Stable real cohomology of arithmetic groups
- Surgery and duality
- The extension of Johnson's homomorphism from the Torelli group to the mapping class group
This page was built for publication: Mapping class group of manifolds which look like 3-dimensional complete intersections
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6976345)
