Abstract:This paper has 3 principal goals: (1) to survey what is know about mapping class and Torelli groups of simply connected compact Kaehler manifolds, (2) supplement these results, and (3) present a list of questions and open problems to stimulate future work. Apart from reviewing general background, the paper focuses on the case of hypersurfaces in projective space. We explain how older results of Carlson--Toledo <a class="link-https" data-arxiv-id="alg-geom/9708002" href="https://arxiv.org/abs/alg-geom/9708002">arXiv:alg-geom/9708002</a> and recent results of Kreck--Su <a class="link-https" data-arxiv-id="2009.08054" href="https://arxiv.org/abs/2009.08054">arXiv:2009.08054</a> imply that the homomorphism from the fundamental group of the moduli space of hypersurfaces in P^4 to the mapping class group of the underlying manifold has a very large kernel (contains a free group of rank 2) and has image of infinite index. This is in contrast to the case of curves, where the homomorphism is an isomorphism.
What problem does this paper attempt to address?
The paper attempts to address issues primarily focused on the study of the mapping class group and its Torelli group of high-dimensional Kähler manifolds. Specifically:
1. **Understanding the Torelli group**: An important goal of the paper is to understand and describe the Torelli group (\( T_M \)) of high-dimensional Kähler manifolds, especially when the manifold \( M \) is a complex projective algebraic manifold, and the relationship between the Torelli group and the fundamental group of the moduli space.
2. **Relationship between the mapping class group and the moduli space**: The paper explores the relationship between the mapping class group \( \Gamma_M \) and the fundamental group of the moduli space, particularly whether this relationship still holds in higher dimensions. For complex projective curves (genus ≥ 2), the mapping class group \( \Gamma_M \) is the orbifold fundamental group of the moduli space \( M_g \). The authors hope to find a similar relationship in higher dimensions.
3. **Application of Sullivan's results**: The paper utilizes some of Sullivan's results, which indicate that if \( M \) is a simply connected manifold with real dimension ≥ 5, then \( S_M \) is an arithmetic subgroup, and \( T_M \) modulo a finite group is a lattice in a single-power Q-group. The authors further study the application of these results in high-dimensional Kähler manifolds in conjunction with Hodge theory.
4. **Generalization of the Johnson homomorphism**: The paper attempts to generalize the classical Johnson homomorphism to higher dimensions. Due to the presence of a "distortion group," the generalization process needs to be carried out in two steps: first, constructing a \( S_M \)-invariant homomorphism to detect \( hoT_M \), and then calculating the distortion group and its image in \( H_1(T_M; \mathbb{Q}) \).
5. **Role of the distortion group**: The paper discusses in detail the role of the distortion group in high-dimensional Kähler manifolds, particularly how to detect elements of the Torelli group through the distortion group. The authors also provide specific definitions and calculation methods for the distortion group.
6. **Properties of the fundamental group of the moduli space**: The paper explores the properties of the fundamental group of the moduli space of high-dimensional hypersurfaces, particularly when the dimension meets certain conditions, the relationship between the fundamental group of the moduli space and the mapping class group. For example, for hypersurfaces of degree ≥ 3 and dimension ≡ 3 (mod 4), there is a significant difference between the fundamental group of the moduli space and the mapping class group.
In summary, the paper aims to advance the field by conducting an in-depth study of the mapping class group and the Torelli group of high-dimensional Kähler manifolds, and proposes a series of open questions and directions for future research.