arXiv subjects
Publications and source records attributed to Kouichi Yasui.
It is known that the only Stein filling of the standard contact structure on S^3 is B^4. In this paper, we construct simply connected exotic compact Stein 4-manifold pairs for any Betti number $b_2 \geq 1$; we do this by enlarging corks and plugs.
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 structures. Furthermore, we construct similar examples for plugs.
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.
Harer-Kas-Kirby conjectured that every handle decomposition of the elliptic surface E(1)_{2,3} requires both 1- and 3-handles. We prove that the elliptic surface E(n)_{p,q} has a handle decomposition without 1-handles for $n\geq 1$ and (p,q)=(2,3),(2,5),(3,4),(4,5).
We give new rational blowdown constructions of exotic CP^2#n(-CP^2) (5\leq n\leq 9) without using elliptic fibrations. We also show that our 4-manifolds admit handle decompositions without 1- and 3-handles, for 7\leq n\leq 9. A strategy for rational blowdown constructions of exotic CP^2#n(-CP^2) (1\leq n\leq 4) is also proposed.
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.