In a recent paper, Park constructs certain exotic simply-connected four-manifolds with small Euler characteristics. Our aim here is to prove that the four-manifolds in his constructions are minimal.
In an article from 2008, A. Akhmedov and B. D. Park constructed irreducible symplectic 4-manifolds homeomorphic but not diffeomorphic to the manifolds CP^2#3CP^2bar and 3CP^2#5CP^2bar. These manifolds are constructed by using generalized fibre sums. In this note we describe an explicit splitting of the second (co-)homology of these manifolds adapted to their construction as fibre sums. We also calculate the canonical classes of the symplectic structures. This gives a new proof for a formula derived by A. Akhmedov, R. I. Baykur and B. D. Park.
We present an infinite sequence of smooth embeddings of a connected sum of 6 projective planes in the 4-sphere, which are all ambient homeomorphic, but pairwise ambient non-diffeomorphic. The double covers of the 4-sphere ramified along these surfaces form a family of the exotic $\Bbb CP^2#5\bar{\Bbb CP^2}$ constructed recently by Park, Stipsicz and Szabó.
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 arXiv:math.GT/0311395 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.
We produce infinite families of exotic actions of finite cyclic groups on simply connected smooth 4-manifolds with nontrivial Seiberg-Witten invariants.
Motivated by Stipsicz and Szabó's exotic 4-manifolds with b_2^+=3 and b_2^-=8, we construct a family of simply connected smooth 4-manifolds with b_2^+=3 and b_2^-=8. As a corollary, we conclude that the topological 4-manifold 3{CP}^2#8{-CP}^2 admits infinitely many distinct smooth structures.
As an application of `reverse engineering' technique introduced by R. Fintushel, D. Park and R. Stern \cite{FPS}, we construct an infinite family of fake (2n+2l-1)CP^2#(2n+4l-1)(-CP^2)'s for all n \ge 0, l \ge 1.
In this article, we construct infinitley many simply connected, nonsymplectic and pairwise nondiffeomorphic 4-manifolds starting from E(n) and applying the sequence of knot surgery, ordinary blowups and rational blowdown. We also compute the Seiberg-Witten invariants of these manifolds.
We study the relationship between exotic R^4's and Stein surfaces as it applies to smoothing theory on more general open 4-manifolds. In particular, we construct the first known examples of large exotic R^4's that embed in Stein surfaces. This relies on an extension of Casson's Embedding Theorem for locating Casson handles in closed 4-manifolds. Under sufficiently nice conditions, we show that using these R^4's as end-summands produces uncountably many diffeomorphism types while maintaining independent control over the genus-rank function and the Taylor invariant.
We show how to construct absolutely exotic smooth structures on compact 4-manifolds with boundary, including contractible manifolds. In particular, we prove that any compact smooth 4-manifold W with boundary that admits a relatively exotic structure contains a pair of codimension-zero submanifolds homotopy equivalent to W that are absolutely exotic copies of each other. In this context, {\em absolute} means that the exotic structure is not relative to a particular parameterization of the boundary. Our examples are constructed by modifying a relatively exotic manifold by adding an invertible ho…
Classical work of Lee, Schultz, and Stolz relates the smooth transformation groups of exotic spheres to the stable homotopy groups of spheres. In this note, we apply recent progress on the latter to produce smooth circle and cyclic group actions on certain exotic spheres.
We show examples of pairs of smooth, compact, homeomorphic 4-manifolds, whose diffeomorphism types are distinguished by the topology of the singular sets of smooth stable maps defined on them. In this distinction we rely on results from Seiberg-Witten theory.
We study the possibility of realizing exotic smooth structures on punctured simply connected $4$-manifolds as leaves of a codimension one foliation on a compact manifold. In particular, we show the existence of uncountably many smooth open $4$-manifolds which are not diffeomorphic to any leaf of a codimension one transversely $C^{2}$ foliation on a compact manifold. These examples include some exotic ${\mathbb R}^4$'s and exotic cylinders $S^3\times{\mathbb R}$.
We present a pair of smooth fiber bundles over the circle with a common $4$-dimensional fiber with the following properties: (1) their total spaces are diffeomorphic to each other; (2) they are isomorphic to each other as topological fiber bundles; (3) they are not isomorphic to each other as smooth fiber bundles. In particular, we exhibit an example with non-simply-connected fiber.
We study finite group actions on smooth manifolds of the form $M\#Σ$, where $Σ$ is an exotic $n$-sphere and $M$ is a closed aspherical space form. We give a classification result for free actions of finite groups on $M\#Σ$ when $M$ is 7-dimensional. We show that if $\mathbb Z/p\mathbb Z$ acts freely on $T^n\#Σ$, then $Σ$ is divisible by $p$ in the group of homotopy spheres. When $M$ is hyperbolic, we give examples $M\#Σ$ that admit no nontrivial smooth action of a finite group, even though Isom($M$) is arbitrarily large. Our proofs combine geometric and topological rigidity results with smooth…
Motivated by a construction of Fintushel and Stern, we show that the topological 4--manifold $CP^2#5{\bar CP^2}$ supports infinitely many distinct smooth structures.
Let M be either CP^2#3CP^2bar or 3CP^2#5CP^2bar. We construct the first example of a simply-connected symplectic 4-manifold that is homeomorphic but not diffeomorphic to M.
We construct series of examples of exotic smooth structures on compact locally symmetric spaces of noncompact type. In particular, we obtain higher rank examples, which do not support Riemannian metric of nonpositive curvature. The examples are obtained by taking the connected sum with an exotic sphere. To detect the change of the smooth structure we use a tangential map from the locally symmetric space its dual compact type twin.
For every integer $k\geq 2$, we construct infinite families of mutually nondiffeomorphic irreducible smooth structures on the topological $4$-manifolds $(2k-1)(S^2\times S^2)$ and $(2k-1)(\CP#\CPb)$, the connected sums of $2k-1$ copies of $S^2\times S^2$ and $\CP#\CPb$.
Let $M$ be $\CP#2\CPb$, $3\CP#4\CPb$ or $(2n-1)\CP#2n\CPb$ for any integer $n\geq 3$. We construct an irreducible symplectic 4-manifold homeomorphic to $M$ and also an infinite family of pairwise non-diffeomorphic irreducible non-symplectic 4-manifolds homeomorphic to $M$. We also construct such exotic smooth structures when $M$ is $\CP#4\CPb$ or $3\CP# k \CPb$ for $k=6,8,10$.
We study the set $\widehat{\mathcal S}_M$ of framed smoothly slice links which lie on the boundary of the complement of a 1-handlebody in a closed, simply connected, smooth 4-manifold $M$. We show that $\widehat{\mathcal S}_M$ is well-defined and describe how it relates to exotic phenomena in dimension four. In particular, in the case when $X$ is smooth, with a handle decompositions with no 1-handles and homeomorphic to but not smoothly embeddable in $D^4$, our results tell us that $X$ is exotic if and only if there is a link $L\hookrightarrow S^3$ which is smoothly slice in $X$, but not in $D…
The rational homology balls $B_n$ appeared in Fintushel and Stern's rational blow-down construction [FS] and were subsequently used (e.g. Fintushel-Stern[FS4], Park[Pa2]) to construct exotic smooth manifolds with small Euler numbers. We show that a large class of smooth 4-manifolds have all of the $B_n$'s for odd $n \geq 3$ embedded in them. In particular, we give explicit examples, using Kirby calculus, of several families of smooth embeddings of the rational homology balls $B_n$.
Harer, Kas and Kirby have conjectured that every handle decomposition of the elliptic surface $E(1)_{2,3}$ requires both 1- and 3-handles. In this article, we construct a smooth 4-manifold which has the same Seiberg-Witten invariant as $E(1)_{2,3}$ and admits neither 1- nor 3-handles, by using rational blow-downs and Kirby calculus. Our manifold gives the first example of either a counterexample to the Harer-Kas-Kirby conjecture or a homeomorphic but non-diffeomorphic pair of simply connected closed smooth 4-manifolds with the same non-vanishing Seiberg-Witten invariants.
We define a new 4-dimensional symplectic cut and paste operation which is analogous to Fintushel and Stern's rational blow-down. We use this operation to produce multiple constructions of symplectic smoothly exotic complex projective space blown-up eight times, seven times, and six times. We also show how this operation can be used in conjunction with knot surgery to construct an infinite family of minimal exotic smooth structures on the complex projective space blown-up seven times.
We discuss corks, and introduce new objects which we call plugs. Though plugs are fundamentally different objects, they also detect exotic smooth structures in 4-manifolds like corks. We discuss relation between corks, plugs and rational blow-downs. We show how to detect corks and plugs inside of some exotic manifolds. Furthermore, we construct knotted corks and plugs.
A short survey of exotic smooth structutes on 4-manifolds is given with a special emphasis on the corresponding cork structures. Along the way we discuss some of the more recent results in this direction, obtained jointly with R.Matveyev, B.Ozbagci, C.Karakurt and K.Yasui.
The main theorem of the paper shows that a smooth manifold which is homeomorphic to S^2xS^2 and has nonvanishing Ozsvath-Szabo invariant does not admit a perfect Morse function. I am withdrawing the paper because it is unclear to me if such a manifold exists.
Smooth and symplectic symmetries of an infinite family of distinct exotic $K3$ surfaces are studied, and comparison with the corresponding symmetries of the standard $K3$ is made. The action on the $K3$ lattice induced by a smooth finite group action is shown to be strongly restricted, and as a result, nonsmoothability of actions induced by a holomorphic automorphism of a prime order $\geq 7$ is proved and nonexistence of smooth actions by several $K3$ groups is established (included among which is the binary tetrahedral group $T_{24}$ which has the smallest order). Concerning symplectic symme…
We show that any simply connected topological closed $4$-manifold punctured along any compact, totally disconnected tame subset $Λ$ admits a continuum of smoothings which are not diffeomorphic to any leaf of a $C^{1,0}$ codimension one foliation on a compact manifold. This includes the remarkable case of $S^4$ punctured along a tame Cantor set. This is the lowest reasonable regularity for this realization problem. These results come from a new criterion for nonleaves in $C^{1,0}$ regularity. We also include a new criterion for nonleaves in the $C^2$-category. Some of our smooth nonleaves are "…
In this article, we shall investigate the relationship between the existence or non-existence of non-singular solutions to the normalized Ricci flow and smooth structures on closed 4-manifolds, where non-singular solutions to the normalized Ricci flow are solutions which exist for all time $t \in [0, \infty)$ with uniformly bounded sectional curvature. In dimension 4, there exist many compact topological manifolds admitting distinct smooth structures, i.e., exotic smooth structures. Interestingly, in this article, the difference between existence and non-existence of non-singular solutions to …
It is known that there is a unique concordance class in the free homotopy class of $S^1\times pt \subset S^1 \times S^2$. The constructive proof of this fact is given by the second author. It turns out that all the concordances in this construction are invertible. The knots $K\subset S^{1}\times S^{2}$ with hyperbolic complements and trivial symmetry group are special interest here, because they can be used to generate absolutely exotic compact 4-manifolds by the recipe given by Akbulut and Ruberman. Here we built absolutely exotic manifold pairs by this construction, and show that this constr…
Let $N$ be a smooth manifold that is homeomorphic but not diffeomorphic to a closed hyperbolic manifold $M$. In this paper, we study the extent to which $N$ admits as much symmetry as $M$. Our main results are examples of $N$ that exhibit two extremes of behavior. On the one hand, we find $N$ with maximal symmetry, i.e. Isom($M$) acts on $N$ by isometries with respect to some negatively curved metric on $N$. For these examples, Isom($M$) can be made arbitrarily large. On the other hand, we find $N$ with little symmetry, i.e. no subgroup of Isom($M$) of "small" index acts by diffeomorphisms of …
We show that the cobordism maps on Khovanov homology can distinguish smooth surfaces in the 4-ball that are exotically knotted (i.e., isotopic through ambient homeomorphisms but not ambient diffeomorphisms). We develop new techniques for distinguishing cobordism maps on Khovanov homology, drawing on knot symmetries and braid factorizations. We also show that Plamenevskaya's transverse invariant in Khovanov homology is preserved by maps induced by positive ascending cobordisms.
We show that the minimal volume entropy of closed manifolds remains unaffected when nonessential manifolds are added in a connected sum. We combine this result with the stable cohomotopy invariant of Bauer-Furuta in order to present an infinite family of four-manifolds with the following properties: 1) They have positive minimal volume entropy. 2) They satisfy a strict version of the Gromov-Hitchin-Thorpe inequality, with a minimal volume entropy term. 3) They nevertheless admit infinitely many distinct smooth structures for which no compatible Einstein metric exists.
In this paper we exhibit infinite families of embedded tori in 4-manifolds that are topologically isotopic but smoothly distinct. The interesting thing about these tori is that they are topologically trivial in the sense that each bounds a topologically embedded solid handlebody. This implies that there are stably ribbon surfaces in 4-manifolds that are not ribbon.
It is known that every exotic smooth structure on a simply connected closed 4-manifold is determined by a codimention zero compact contractible Stein submanifold and an involution on its boundary. Such a pair is called a cork. In this paper, we construct infinitely many knotted imbeddings of corks in 4-manifolds such that they induce infinitely many different exotic smooth structures. We also show that we can imbed an arbitrary finite number of corks disjointly into 4-manifolds, so that the corresponding involutions on the boundary of the contractible 4-manifolds give mutually different exotic…
The broken genera are orientation preserving diffeomorphism invariants of closed oriented 4-manifolds, defined via broken Lefschetz fibrations. We study the properties of the broken genera invariants, and calculate them for various 4-manifolds, while showing that the invariants are sensitive to exotic smooth structures.
Exotic diffeomorphisms on closed aspherical $4$-manifolds
Graduate School of Mathematical Sciences, the University of Tokyo(东京大学大学院数理科学研究科);RIKEN iTHEMS(理化学研究所 iTHEMS);Yau Mathematical Sciences Center, Tsinghua University(清华大学丘成桐数学科学中心);Department of Mathematics, University of Southern California(南加州大学数学系);Department of Mathematics, State University of New York, Stony Brook(纽约州立大学石溪分校数学系)
In this article we prove that any unitary, axiomatic topological quantum field theory in four-dimensions can not detect changes in the smooth structure of M, a simply connected, closed (compact without boundary), oriented smooth manifold. However, as Donaldson-Witten theory (a topological quantum field theory but not an axiomatic one) is able to detect changes in the smooth structure of such an M, this seemingly leads to a contradiction. This seeming contradiction is resolved by introducing a new set of axioms for a "differential quantum field theory", which in truth only slightly modify the n…
We introduce a new generalization of Gompf nuclei and give applications. We construct infinitely many exotic smooth structures for a large class of compact 4-manifolds with boundary, regarding topological invariants. We prove that a large class of closed 3-manifolds (including disjoint unions of Stein fillable 3-manifolds) bound compact connected oriented 4-manifolds which admit infinitely many smooth structures. To detect smooth structures, we introduce a relative genus function. As a side result, we show that log transform and knot surgery of 4-manifolds do not admit any Stein structure, und…
By using the relation between foliations and exotic R^4, orbifold $K$-theory deformed by a gerbe can be interpreted as coming from the change in the smoothness of R^4. We give various interpretations of integral 3-rd cohomology classes on S^3 and discuss the difference between large and small exotic R^4. Then we show that $K$-theories deformed by gerbes of the Leray orbifold of S^3 are in one-to-one correspondence with some exotic smooth R^4's. The equivalence can be understood in the sense that stable isomorphisms classes of bundle gerbes on S^{3} whose codimension-1 foliations generates the …