Singular maps on exotic 4-manifold pairs (Q1954158)

In this paper, an infinite family \((X_1(n),X_2(n))_{n \in \mathbb{Z}}\) of homeomorphic, non-diffeomorphic compact \(4\)-manifold pairs which are non-homeomorphic for different \(n\) are constructed, and it is shown that the smooth structure of \(X_1(n)\) is distinguished from that of \(X_2(n)\) by the topology of the singular sets of smooth stable maps defined on them. The infinite family \((X_1(n),X_2(n))_{n \in \mathbb{Z}}\) is constructed by generalizing the exotic pair of \(4\)-manifolds due to \textit{S. Akbulut} and \textit{R. Matveyev} [Turk. J. Math. 21, No. 1, 47--53 (1997; Zbl 0885.57011)]. It is shown that \(\partial X_1(n)\) are non-homeomorphic for different \(n\) by using \textit{T. Ohtsuki}'s invariants of integral homology spheres [Math. Proc. Camb. Philos. Soc. 117, No. 1, 83--112 (1995; Zbl 0843.57019)]. The existence of the fold maps with prescribed topological type of singularity sets is discussed by using the results by \textit{O. Saeki} [Comment. Math. Helv. 78, No. 3, 627-647 (2003; Zbl 1047.57017)].