R. Inanc Baykur,Andras I. Stipsicz,Zoltan Szabo
Abstract:For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely many distinct smooth structures up to diffeomorphism. Moreover, we construct infinite families of non-complex irreducible fake projective planes with diverse fundamental groups.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the existence and diversity of smooth structures of four - dimensional manifolds with a finite cyclic fundamental group. Specifically, the authors explore closed, oriented topological four - dimensional manifolds \(X\) with a specific fundamental group \(\mathbb{Z}_{4m + 2}\). When these manifolds have an odd intersection form, they investigate whether they can have no smooth structure or have infinitely many different smooth structures.
### Main Results
**Theorem 1.1**: Let \(X\) be a closed, oriented topological four - dimensional manifold whose fundamental group is \(\mathbb{Z}_{4m+2}\) (where \(m\) is a non - negative integer) and has an odd intersection form. Unless \(b_2^+(X)=b_2^-(X)\leq7\), the four - dimensional manifold \(X\) either has no smooth structure or has infinitely many different smooth structures (in the sense of diffeomorphism).
### Key Concepts
- **Intersection Form**: The intersection form \(Q_X\) of a closed, oriented four - dimensional manifold \(X\) is odd if there exists some \(\alpha\in H^2(X;\mathbb{Z})\) such that \(Q_X(\alpha,\alpha)=\langle\alpha\cup\alpha,[X]\rangle\) is odd; otherwise, the intersection form is even.
- **Smooth Structure**: A topological manifold can have different smooth structures, which may be different in the sense of diffeomorphism.
- **Diffeomorphism Invariant**: The Seiberg - Witten invariant is a powerful tool for distinguishing four - dimensional manifolds with different smooth structures.
### Research Background
Since the introduction of diffeomorphism invariants from gauge theory, many topological four - dimensional manifolds have been proven to support infinitely many different smooth structures. However, for some four - dimensional manifolds with specific fundamental groups, whether this phenomenon generally holds is still an open problem. The research results of this paper support this expectation, that is, for four - dimensional manifolds with some finite cyclic fundamental groups, they either have no smooth structure or have infinitely many different smooth structures.
### Other Results
In addition to the main theorem, the authors also construct an infinite family of non - complex irreducible fake projective planes with diverse fundamental groups. These results further expand the understanding of the diversity of smooth structures of four - dimensional manifolds.
### Conclusion
This paper provides a new perspective by analyzing the smooth structures of four - dimensional manifolds with finite cyclic fundamental groups, especially the smooth structures under the finite coverings of these manifolds. These results not only deepen our understanding of four - dimensional topology, but also provide new tools and methods for further research.