What problem does this paper attempt to address?

The core problem that this paper attempts to solve is about the homotopy properties of certain specific sub - manifolds in 4 - dimensional graph - manifolds and whether they can be homotopic to diffeomorphisms while keeping the structure invariant. Specifically, by introducing and studying \(Z_n\)-manifolds, especially their mapping behaviors in 4 - dimensional graph - manifolds, the author explores the following problems: 1. **The relationship between homotopy equivalence and diffeomorphism**: Prove whether the homotopy equivalence between any closed oriented 4 - dimensional graph - manifolds with reduced graph - structures can be transformed into a diffeomorphism that preserves these structures through homotopy. 2. **Properties of \(\pi_1\)-injective mappings**: Study the properties of \(\pi_1\)-injective mappings from 3 - dimensional \(Z_n\)-manifolds to 4 - dimensional manifolds, and prove that these mappings can be homotoped so that their singular sets do not intersect a given 3 - dimensional sub - manifold through homotopy, and their inverse images are \(\pi_1\)-injective tori. ### Main contributions of the paper - **Lemma 1**: For a compact smooth oriented 4 - dimensional manifold \(W\) and a compact oriented \(\pi_1\)-injective 3 - dimensional sub - manifold \(M\), if there exists a \(\pi_1\)-injective mapping \(f:(Z,\partial Z)\to (W,W\setminus M)\), then it can be homotoped so that \(f(Z_s)\cap M = \emptyset\), and each connected component \(F = f^{-1}(M)\) is a \(\pi_1\)-injective torus in \(M\). - **Proposition 1**: For a block \(S\) and a 4 - dimensional graph - manifold \(W\) with a reduced graph - structure, any \(\pi_1\)-injective mapping \(f:S\to W\) can be homotoped to a block in \(W\). ### Key concepts - **\(Z_n\)-manifolds**: A manifold obtained by identifying \(n\) isomorphic parts on the boundary, with special singularity sets and regular sets. - **Graph - manifolds**: Manifolds formed by gluing multiple blocks (Seifert fibered spaces) through diffeomorphisms on the boundaries. - **Reduced graph - structure**: Refers to the situation where the gluing map is not a fiber - preserving map. ### Application background This research is mainly applied to 4 - dimensional geometric topology, especially the classification and property study of 4 - dimensional graph - manifolds. Through these results, the author provides new tools and methods for understanding the topological structures of high - dimensional manifolds. In summary, this paper solves important problems regarding the relationship between homotopy equivalence and diffeomorphism by in - depth study of \(Z_n\)-manifolds and their mapping behaviors in 4 - dimensional graph - manifolds, thus promoting the development of 4 - dimensional geometric topology.

$\mathbb{Z}_n$-manifolds in 4-dimensional graph-manifolds

$4$-manifolds with boundary and fundamental group $\mathbb{Z}$

A note on homotopy and pseudoisotopy of diffeomorphisms of $4$-manifolds

Smooth structures on four-manifolds with finite cyclic fundamental groups

Immersed surfaces with knot group $\mathbb{Z}$

From diffeomorphisms to exotic phenomena in small 4-manifolds

Extended surgery theory for simply-connected $4k$-manifolds

Exotic definite four-manifolds with non-cyclic fundamental group

Obstruction theory for the $\mathbb{Z}_2$-index of $4$-manifolds

Conjugation spaces and 4-manifolds

The Casson-Sullivan invariant for homeomorphisms of 4-manifolds

Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

Cohomotopy Sets of $(n-1)$-connected $(2n+2)$-manifolds for small $n$

On four-manifolds without 1- and 3-handles

Stable equivalence relations on 4-manifolds

Manifolds realized as orbit spaces of non-free $\mathbb Z_2^k$-actions on real moment-angle manifolds

Relative genus bounds in indefinite four-manifolds

Algorithms in 4-manifold topology

Invariants of links and 3-manifolds from graph configurations

New constructions and invariants of closed exotic 4-manifolds