Constructions of Smooth 4-Manifolds

Ronald Fintushel,Ronald J. Stern

DOI: https://doi.org/10.48550/arXiv.math/9907178

1999-07-27

Geometric Topology

Abstract:We describe a collection of constructions which illustrate a panoply of ``exotic'' smooth 4-manifolds.

What problem does this paper attempt to address?

Exotic aspherical 4-manifolds

Michael Davis,Kyle Hayden,Jingyin Huang,Daniel Ruberman,Nathan Sunukjian

2024-11-29

Abstract:We construct closed, aspherical, smooth 4-manifolds that are homeomorphic but not diffeomorphic. These provide counterexamples to a smooth analog of the Borel conjecture in dimension four. Our technique is to apply the `reflection group trick' of the first author to pairs of exotic 4-manifolds with boundary constructed by Hayden and Piccirillo.

Geometric Topology
Six Lectures on Four 4-Manifolds

Ronald Fintushel,Ronald J. Stern

DOI: https://doi.org/10.48550/arXiv.math/0610700

2007-01-04

Abstract:Despite spectacular advances in defining invariants for simply connected smooth and symplectic 4-dimensional manifolds and the discovery of effective surgical techniques, we still have been unable to classify simply connected smooth manifolds up to diffeomorphism. In these notes, adapted from six lectures given at the 2006 Park City Mathematics Institute Graduate Summer School on Low Dimensional Topology, we will review what we do and do not know about the existence and uniqueness of smooth and symplectic structures on closed, simply connected 4-manifolds. We will focus on those surgical techniques that have been effective in altering smooth and symplectic structures and the Seiberg-Witten invariants that are used to distinguish them. In the last lecture we will then pose a possible classification scheme and test it on a few examples.

Geometric Topology
Exotic definite four-manifolds with non-cyclic fundamental group

Robert Harris,Patrick Naylor,B. Doug Park

2024-06-11

Abstract:We construct infinitely many pairwise non-diffeomorphic smooth structures on a definite $4$-manifold with non-cyclic fundamental group $\mathbb{Z}/2\times \mathbb{Z}/2$.

Geometric Topology
An introduction to exotic 4-manifolds

Dean Bodenham

DOI: https://doi.org/10.48550/arXiv.0812.1883

2009-01-01

Abstract:This article intends to provide an introduction to the construction of small exotic 4-manifolds. Some of the necessary background is covered. An exposition is given of J. Park's construction in <a class="link-https" data-arxiv-id="math.GT/0311395" href="https://arxiv.org/abs/math.GT/0311395">arXiv:math.GT/0311395</a> of an exotic CP^2#7(-CP^2). This article does not intend to present any new results. It was originally a Master's thesis, and its aim is merely to provide a leisurely introduction to exotic 4-manifolds that might be of use to interested graduate students.

Geometric Topology
New constructions and invariants of closed exotic 4-manifolds

Adam Simon Levine,Tye Lidman,Lisa Piccirillo

2023-07-17

Abstract:In this article, we give new means of constructing and distinguishing closed exotic four-manifolds. Using Heegaard Floer homology, we define new closed four-manifold invariants that are distinct from the Seiberg--Witten and Bauer--Furuta invariants and can remain distinct in covers. Our constructions include exotic definite manifolds with fundamental group $\mathbb Z/2$, infinite families of exotic manifolds that are related by knot surgeries on Alexander polynomial 1 knots, and exotic manifolds that contain square-zero spheres.

Geometric Topology
Smooth structures on four-manifolds with finite cyclic fundamental groups

R. Inanc Baykur,Andras I. Stipsicz,Zoltan Szabo

2024-06-13

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.

Geometric Topology,Differential Geometry
Exotic definite four-manifolds with non-trivial fundamental group

Andras I. Stipsicz,Zoltan Szabo

2023-10-27

Abstract:Inspired by a recent result of Levine-Lidman-Piccirillo, we construct infinitely many exotic smooth structures on some closed four-manifolds with definite intersection form and fundamental group isomorphic to $\Z /2\Z$. Similar constructions provide exotic smooth structures on further four-manifolds with fundamental group $Z/2\Z$, including examples with even $b_2^+$.

Geometric Topology
Conjugation spaces and 4-manifolds

Ian Hambleton,Jean-Claude Hausmann

DOI: https://doi.org/10.1007/s00209-010-0748-8

2010-06-30

Mathematische Zeitschrift

Abstract:We show that 4-dimensional conjugation manifolds are all obtained from branched twofold coverings of knotted surfaces in $${\mathbb{Z}_2}$$ -homology 4-spheres.

mathematics
Diffeotopy groups of non-compact 4-manifolds

Isacco Nonino

2024-06-17

Abstract:We provide information on diffeotopy groups of exotic smoothings of punctured 4-manifolds, extending previous results on diffeotopy groups of exotic $\mathbb{R}^4$'s. In particular, we prove that for a smoothable 4-manifold $M$ and for a non-empty, discrete set of points $S \subsetneq \mathring{M}$, there are uncountably many distinct smoothings of $M\smallsetminus S$ whose diffeotopy groups are uncountable. We then prove that for a smoothable 4-manifold $M$ and for a non-empty, discrete set of points $S \subsetneq \mathring{M}$, there exists a smoothing of $M\smallsetminus S$ whose diffeotopy groups have similar properties as $\mathcal{R}_U$, Freedman and Taylor's universal $\mathbb{R}^4$. Moreover, we prove that if $M$ is non-smoothable, both results still hold under the assumption that $|S| \ge 2$.

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

Márton Beke,László Koltai,Sarah Zampa

2024-10-16

Abstract:We extend a construction of Stipsicz-Szabó of infinitely many irreducible exotic smooth structures of some closed four-manifolds with even $b_2^+$ and fundamental group $\mathbb{Z}/2\mathbb{Z}$. We use the double node surgery and rational blow down constructions of Fintushel-Stern on some elliptic fibrations equipped with a free involution. The construction is done in an equivariant manner and the factor manifolds are distinguished by the Seiberg-Witten invariants of their universal covers.

Geometric Topology
Diffeomorphisms of 4-manifolds with boundary and exotic embeddings

Nobuo Iida,Hokuto Konno,Anubhav Mukherjee,Masaki Taniguchi

DOI: https://doi.org/10.1007/s00208-024-02974-x

2024-08-19

Mathematische Annalen

Abstract:We define family versions of the invariant of 4-manifolds with contact boundary due to Kronheimer and Mrowka and use these to detect exotic diffeomorphisms of 4-manifolds with boundary. Further, we show the existence of the first example of exotic 3-spheres in a smooth closed 4-manifold with diffeomorphic complements.

mathematics
Smoothly knotted and topologically unknotted nullhomologous surfaces in 4-manifolds

Rafael Torres

2024-05-22

Abstract:We point out that recent constructions of inequivalent smooth structures yield a manufacturing procedure of infinite sets of pairwise smoothly non-isotopic nullhomologous 2-tori and spheres inside a myriad of 4-manifolds. The corresponding infinite set consists of topologically isotopic surfaces that topologically bound a handlebody in several instances.

Geometric Topology
Smooth structures on non-orientable $4$-manifolds via twisting operations

Valentina Bais,Rafael Torres

2023-08-08

Abstract:Four observations compose the main results of this note. The first records the existence of a smoothly embedded 2-sphere $S$ inside $\mathbb{R} P^2\times S^2$ such that performing a Gluck twist on $S$ produces a manifold $Y$ that is homeomorphic but not diffeomorphic to the total space of the non-trivial 2-sphere bundle over the real projective plane $S(2\gamma \oplus \mathbb{R})$. The second observation is that there is a 5-dimensional cobordism with a single 2-handle between the 4-manifold $Y$ and a mapping torus that was used by Cappell-Shaneson to construct an exotic $\mathbb{R} P^4$. This construction of $Y$ is similar to the one of the Cappell-Shaneson homotopy 4-spheres. The third observation is that twisting an embedded real projective plane inside $Y$ produces a manifold that is homeomorphic but not diffeomorphic to the circle sum of two copies of $\mathbb{R}P^4$. Knotting phenomena of 2-spheres in non-orientable 4-manifolds that stands in glaring contrast with known phenomena in the orientable domain is pointed out in the fourth observation.

Geometric Topology
From diffeomorphisms to exotic phenomena in small 4-manifolds

Hokuto Konno,Abhishek Mallick,Masaki Taniguchi

2023-04-13

Abstract:We provide an approach to study exotic phenomena in relatively small 4-manifolds that captures many different exotic behaviors under one umbrella. These phenomena include exotic smooth structures on 4-manifolds with $b_2=1$, examples of strong corks, and exotic codimension-$1$ embeddings into $\mathbb{C} P^2 \# - \mathbb{C} P^2$ that survive external stabilization. We also give a new way to detect a homeomorphism of a 4-manifold that is not topologically isotopic to any diffeomorphism and give lower bounds of relative genera of certain knots. Our primary tools are constraints on diffeomorphisms of 4-manifolds obtained from families Seiberg-Witten theory.

Geometric Topology
Non-smoothable homeomorphisms of $4$-manifolds with boundary

Daniel Galvin,Roberto Ladu

2023-11-04

Abstract:We construct the first examples of non-smoothable self-homeomorphisms of smooth $4$-manifolds with boundary that fix the boundary and act trivially on homology. As a corollary, we construct self-diffeomorphisms of $4$-manifolds with boundary that fix the boundary and act trivially on homology but cannot be isotoped to any self-diffeomorphism supported in a collar of the boundary and, in particular, are not isotopic to any generalised Dehn twist.

Geometric Topology,Differential Geometry
From zero surgeries to candidates for exotic definite four-manifolds

Ciprian Manolescu,Lisa Piccirillo

2023-07-11

Abstract:One strategy for distinguishing smooth structures on closed $4$-manifolds is to produce a knot $K$ in $S^3$ that is slice in one smooth filling $W$ of $S^3$ but not slice in some homeomorphic smooth filling $W'$. In this paper we explore how $0$-surgery homeomorphisms can be used to potentially construct exotic pairs of this form. In order to systematically generate a plethora of candidates for exotic pairs, we give a fully general construction of pairs of knots with the same zero surgeries. By computer experimentation, we find $5$ topologically slice knots such that, if any of them were slice, we would obtain an exotic four-sphere. We also investigate the possibility of constructing exotic smooth structures on $\#^n \mathbb{C}P^2$ in a similar fashion.

Geometric Topology
Constructions of symplectic forms on 4-manifolds

Peter Lambert-Cole

2024-03-09

Abstract:Given a symplectic 4-manifold $(X,\omega)$ with rational symplectic form, Auroux constructed branched coverings to $(CP^2,\omega_{FS})$. By modifying a previous construction of Lambert-Cole--Meier--Starkston, we prove that the branch locus in $CP^2$ can be assumed holomorphic in a neighborhood of the spine of the standard trisection of $CP^2$. Consequently, the symplectic 4-manifold $(X,\omega)$ admits a cohomologous symplectic form that is Kähler in a neighborhood of the 2-skeleton of $X$. We define the Picard group of holomorphic line bundles over the holomorphic 2-skeleton. We then investigate Hodge theory and apply harmonic spinors to construct holomorphic sections over the Kähler subset.

Geometric Topology,Symplectic Geometry
The Existence of 𝐾(𝜋,1)4-manifolds Which Are Rational Homology 4-Spheres

F LUO

DOI: https://doi.org/10.1090/s0002-9939-1988-0969062-1

IF: 0.9709

1988-01-01

Proceedings of the American Mathematical Society

Abstract:We construct rational homology 4 4 -sphere manifolds with contractible universal cover.
Practical Software for Triangulating and Simplifying 4-Manifolds

Rhuaidi Antonio Burke

2024-02-23

Abstract:Dimension 4 is the first dimension in which exotic smooth manifold pairs appear -- manifolds which are topologically the same but for which there is no smooth deformation of one into the other. Whilst smooth and triangulated 4-manifolds do coincide, comparatively little work has been done towards gaining an understanding of smooth 4-manifolds from the discrete and algorithmic perspective. In this paper we introduce new software tools to make this possible, including a software implementation of an algorithm which enables us to build triangulations of 4-manifolds from Kirby diagrams, as well as a new heuristic for simplifying 4-manifold triangulations. Using these tools, we present new triangulations of several bounded exotic pairs, corks and plugs (objects responsible for "exoticity"), as well as the smallest known triangulation of the fundamental K3 surface. The small size of these triangulations benefit us by revealing fine structural features in 4-manifold triangulations.

Geometric Topology,Computational Geometry

Constructions of Smooth 4-Manifolds

Exotic aspherical 4-manifolds

Six Lectures on Four 4-Manifolds

Exotic definite four-manifolds with non-cyclic fundamental group

An introduction to exotic 4-manifolds

New constructions and invariants of closed exotic 4-manifolds

Smooth structures on four-manifolds with finite cyclic fundamental groups

Exotic definite four-manifolds with non-trivial fundamental group

Conjugation spaces and 4-manifolds

Diffeotopy groups of non-compact 4-manifolds

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

Diffeomorphisms of 4-manifolds with boundary and exotic embeddings

Smoothly knotted and topologically unknotted nullhomologous surfaces in 4-manifolds

Smooth structures on non-orientable $4$-manifolds via twisting operations

From diffeomorphisms to exotic phenomena in small 4-manifolds

Non-smoothable homeomorphisms of $4$-manifolds with boundary

From zero surgeries to candidates for exotic definite four-manifolds

Constructions of symplectic forms on 4-manifolds

The Existence of 𝐾(𝜋,1)4-manifolds Which Are Rational Homology 4-Spheres

Practical Software for Triangulating and Simplifying 4-Manifolds