What problem does this paper attempt to address?

This paper aims to solve a specific mathematical problem, that is, to construct infinitely many exotic smooth structures on 4 - dimensional manifolds with non - cyclic fundamental group \(G=\mathbb{Z}/2\times\mathbb{Z}/2\). Specifically, the authors attempt to prove the existence of a 4 - dimensional manifold \(Q\) that satisfies the following conditions: 1. The fundamental group \(\pi_1(Q)\cong\mathbb{Z}/2\times\mathbb{Z}/2\); 2. The second Betti number \(b_2(Q) = 4\), and the intersection form is negative definite; 3. \(Q\) has infinitely many pairwise non - diffeomorphic smooth structures. To achieve this goal, the authors adopt a method to construct these exotic smooth structures by performing Fintushel - Stern knot surgery on complex K3 surfaces. The specific steps are as follows: 1. **Selection of complex K3 surfaces**: Select a complex K3 surface \(X\) with a free \(\mathbb{Z}/2\times\mathbb{Z}/2\) action, and this action keeps the elliptic fibration invariant. 2. **Selection of four disjoint torus fibers**: Select a torus fiber \(T\) on \(X\), and its orbit under the \(\mathbb{Z}/2\times\mathbb{Z}/2\) action consists of four disjoint torus fibers. 3. **Performing Fintushel - Stern knot surgery**: Perform knot surgery using different knots \(K_m\) in the same family on each selected torus fiber to obtain new 4 - dimensional manifolds \(X_m\). 4. **Constructing quotient spaces**: Obtain the required 4 - dimensional manifolds by taking the quotient space \(Q_m = X_m/(\mathbb{Z}/2\times\mathbb{Z}/2)\) of \(X_m\) with respect to the \(\mathbb{Z}/2\times\mathbb{Z}/2\) action. Through the above steps, the authors prove that these quotient spaces \(Q_m\) have the same topological type but are pairwise non - diffeomorphic, thus constructing infinitely many exotic smooth structures on 4 - dimensional manifolds with non - cyclic fundamental groups.

Exotic definite four-manifolds with non-cyclic fundamental group

Exotic definite four-manifolds with non-trivial fundamental group

New Exotic four-manifolds with $\mathbb{Z}/2\mathbb{Z}$ fundamental group

Smooth structures on four-manifolds with finite cyclic fundamental groups

Exotic aspherical 4-manifolds

New constructions and invariants of closed exotic 4-manifolds

Some examples of small irreducible exotic 4-manifolds with free abelian fundamental group

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

From zero surgeries to candidates for exotic definite four-manifolds

From diffeomorphisms to exotic phenomena in small 4-manifolds

Constructions of Smooth 4-Manifolds

An introduction to exotic 4-manifolds

Exotic diffeomorphisms on $4$-manifolds with $b_2^+ = 2$

Diffeotopy groups of non-compact 4-manifolds

Exotic 4-manifolds with small trisection genus

Exotic Dehn twists on 4-manifolds

Exotically knotted 2-spheres and the fundamental groups of their complements

Exotic Dehn twists and homotopy coherent group actions

Irreducible 4-manifolds with abelian non-cyclic fundamental group of small rank

Diffeomorphisms of 4-manifolds with boundary and exotic embeddings