Search

Iwase and Matsumoto defined `pochette surgery' as a cut-and-paste on 4-manifolds along a 4-manifold homotopy equivalent to $S^2\vee S^1$. The first author in [10] studied infinitely many homotopy 4-spheres obtained by pochette surgery. In this paper we compute the homology of pochette surgery of any homology 4-sphere by using `linking number' of a pochette embedding. We prove that pochette surgery with the trivial cord does not change the diffeomorphism type or gives a Gluck surgery. We also show that there exist pochette surgeries on the 4-sphere with a non-trivial core sphere and a non-trivial cord such that the surgeries give the 4-sphere., Comment: 23 pages, 15 figures

It is well-known that the second coefficient of the Alexander polynomial of any lens space knot in $S^3$ is $-1$. We show that the non-zero third coefficient condition of the Alexander polynomial of a lens space knot $K$ in $S^3$ confines the surgery to the one realized by the $(2,2g+1)$-torus knot, where $g$ is the genus of $K$. In particular, such a lens surgery polynomial coincides with $\Delta_{T(2,2g+1)}(t)$., Comment: 6 pages, 2 figures. Comments are welcome

In this paper, we construct the first families of distinct Lagrangian ribbon disks in the standard symplectic 4-ball which have the same boundary Legendrian knots, and are not smoothly isotopic or have non-homeomorphic exteriors., Comment: 16 pages, 22 figures

In this paper we construct families of homology spheres which bound 4-manifolds with intersection forms isomorphic to $-E_8$. We show that these families have arbitrary large correction terms. This result says that among homology spheres, the difference of the maximal rank of minimal sub-lattice of definite filling and the maximal rank of even definite filling is arbitrarily large., Comment: 14 pages, 2 figures. Comments are welcome

It is known by the author that there exist 20 families of Dehn surgeries in the Poincar\'e homology sphere yielding lens spaces. In this paper, we give the concrete knot diagrams of the families and extend them to families of lens space surgeries in Brieskorn homology spheres. We illustrate families of lens space surgeries in $\Sigma(2,3,6n\pm1)$ and $\Sigma(2,2s+1,2(2s+1)n\pm1)$ and so on. As other examples, we give lens space surgeries in graph homology spheres, which are obtained by splicing two Brieskorn homology spheres., Comment: 40 pages and 45 figures, to appear in Proceedings of the Gokova Geometry-Topology Conference 2017

We prove for any positive integer $n$ there exist boundary-sum irreducible ${\mathbb Z}_n$-corks with Stein structure. Here `boundary-sum irreducible' means the manifold is indecomposable with respect to boundary-sum. We also verify that some of the finite order corks admit hyperbolic boundary by HIKMOT., Comment: 11 pages, 7 figures

We give a formula of the Upsilon invariant of any L-space cable knot $K_{p,q}$ using $p,\Upsilon_K$ and $\Upsilon_{T_{p,q}}$. The integral value of the Upsilon invariant gives a ${\mathbb Q}$-valued knot concordance invariant. We compute the integral values for L-space iterated cable knots., Comment: 25 pages, 9 figures

We construct an infinite family of slice disks with the same exterior, which gives an affirmative answer to an old question asked by Hitt and Sumners in 1981. Furthermore, we prove that these slice disks are ribbon disks., Comment: 9 pages, 14 figures. Statements of Lemmas 4.1 and 4.2 are clarified

Suppose that $X,X'$ are simply-connected closed exotic 4-manifolds. It is well-known that $X'$ is obtained by an order 2 cork twist of $X$. We give an infinite exotic family of 4-manifolds not generated by any infinite order cork. This is the first example admitting such a condition. We prove a necessary condition of 4-dimensional OS-invariants for a family to be generated by an infinite order cork and give non-contractible relatively exotic 4-manifolds that are never induced by any cork. Furthermore, we prove an estimate of the number of OS-invariants of 4-manifolds generated by a cork., Comment: 17 pages, 6 figures

For any positive integer $n$ we give a ${\mathbb Z}^n$-cork with a ${\mathbb Z}^n$-effective embedding in a 4-manifold being homeomorphic to $E(n)$. This means that a cork gives a subset ${\mathbb Z}^n$ in the differential structures on $E(n)$. Further, we describe handle decompositions of the twisted doubles (homotopy $S^4$) of Gompf's infinite order corks and show that they are Gluck twists and log transforms of $S^4$., Comment: 16 pages, 15 figures

We show that for any po sitive integer $m$, there exist order $n$ Stein corks. The boundaries are cyclic branched covers of slice knots embedded in the boundary of corks. By applying these corks to generalized forms, we give a method producing examples of many finite order corks, which are possibly not Stein cork., Comment: 21 pages, 22 figures

In the previous paper the author defined an infinite order plug $(P,\varphi)$ which gives rise to infinite Fintushel-Stern's knot-surgeries. Here, we give two 4-dimensional infinitely many exotic families $Y_n$, $Z_n$ of exotic enlargements of the plug. The families $Y_n$, $Z_n$ have $b_2=3$, $4$ and the boundaries are 3-manifolds with $b_1=1$, $0$ respectively. We give a plug (or g-cork) twist $(P,\varphi_{p,q})$ producing the 2-bridge knot or link surgery by combining the plug $(P,\varphi)$. As a further example, we describe a 4-dimensional twist $(M,\mu)$ between knot-surgeries for two mutant knots. The twisted double concerning $(M,\mu)$ gives a candidate of exotic $\#^2S^2\times S^2$., Comment: 31 pages, 33 figures

We consider a homology sphere $M_n(K_1,K_2)$ presented by two knots $K_1,K_2$ with linking number 1 and framing $(0,n)$. We call the manifold {\it Matsumoto's manifold}. We show that there exists no contractible bound of $M_n(T_{2,3},K_2)$ if $n<2\tau(K_2)$ holds. We also give a formula of Ozsv\'ath-Szab\'o's $\tau$-invariant as the total sum of the Euler numbers of the reduced filtration. We compute the $\delta$-invariants of the twisted Whitehead doubles of torus knots and correction terms of the branched covers of the Whitehead doubles. By using Owens and Strle's obstruction we show that the $12$-twisted Whitehead double of the $(2,7)$-torus knot and the $20$-twisted Whitehead double of the $(3,7)$-torus knot are not slice but the double branched covers bound rational homology 4-balls. These are the first examples having a gap between sliceness and rational 4-ball bound-ness of the double branched cover., Comment: 22 pages, 15 figures, 1 table

Ozsv\'ath-Szab\'o proved the property that any coefficient of Alexander polynomial of lens space knot is either $\pm1$ or $0$ and the non-zero coefficients are alternating. Combining the formulas of the Alexander polynomial of lens space knots due to Kadokami-Yamada and Ichihara-Saito-Teragaito, we refine Ozsv\'ath-Szab\'o's property as the existence of simple curves included in a region in ${\Bbb R}^2$. The existence of curves, that has no end-points connected, is just 1-component in a region, can search distribution of non-zero coefficients of the Alexander polynomial of the lens space knot. This curve is much useful to obtain constraints of Alexander polynomials of lens space knots. For example, we can investigate the location of the second, third and fourth non-zero coefficients. The curve extracts new invariant $\alpha$-index. The invariant is an important factor to determine Alexander polynomial of lens space knot. We classify lens space surgeries that the Alexander polynomial is the same as a $(2,r)$-torus knot and lens space surgeries with small genus and so on. As well as lens space knots in $S^3$, we also deal with lens space knots in homology spheres, which the surgery duals are simple (1,1)-knots., Comment: 38 pages, 22 figures, 3 tables

We define invariants $\frak{ds}$ and $\overline{\frak{ds}}$, which are the maximal and minimal second Betti number divided by $8$ among definite spin boundings of a homology sphere. The similar invariants $g_8$ and $\overline{g_8}$ are defined by the maximal (or minimal) product sum of $E_8$-form of bounding 4-manifolds. We compute these invariants for some homology spheres. We construct $E_8$-boundings for some of Brieskorn 3-spheres $\Sigma(2,3,12n+5)$ by handle decomposition. As a by-product of the construction, some negative classes which consist of addition of several fiber classes plus one sectional class in $E(1)$ are represented by spheres., Comment: 24 pages, 16 figures

For any knot $K$ which bounds non-orientable and null-homologous surfaces $F$ in punctured $n\mathbb{C}P^2$, we construct a lower bound of the first Betti number of $F$ which consists of the signature of $K$ and the Heegaard Floer $d$-invariant of the integer homology sphere obtained by $1$-surgery along $K$. By using this lower bound, we prove that for any integer $k$, a certain knot cannot bound any surface which satisfies the above conditions and whose first Betti number is less than $k$., Comment: 11 pages, 6 figures

We give a new construction of slice knots via annulus twists. The simplest slice knots obtained by our method are those constructed by Omae. In this paper, we introduce a sufficient condition for given slice knots to be ribbon, and prove that all Omae's knots are ribbon., Comment: 26 pages and 28 figures. Comments are welcome.Version 2: A new section added. Version 3: The definition of an annulus twist was clarified. The anonymous referee pointed out a gap of Theorem 3.1. The statement of Theorem 3.1 was weakened. Version 4: Abstract, Introduction and Section 6 are rewritten

Every exotic pair in 4-dimension is obtained each other by twisting a {\it cork} or {\it plug} which are codimension 0 submanifolds embedded in the 4-manifolds. The twist was an involution on the boundary of the submanifold. We define cork (or plug) with order $p\in {\Bbb N}\cup \{\infty\}$ and show there exists a plug with infinite order. Furthermore we show twisting $(P,\varphi^2)$ gives to enlargements of $P$ compact exotic manifolds with boundary., Comment: 13 pages, 17 figures

D.Nash defined a family of homotopy 4-spheres in [11]. Proving that his manifolds ${\mathcal S}_{m,n,m',n'}$ are all real $S^4$, we find that they have handle decomposition with no 1-handles, two 2-handles and two 3-handles. The handle structures give new potential counterexamples of Property 2R conjecture., Comment: 19 pages, 39 figures

Fintushel-Stern's knot surgery gave many pairs of exotic manifolds, which are homeomorphic but non-diffeomorphic. We show that if an elliptic fibration has two parallel, oppositely oriented vanishing circles (for example $S^2\times S^2$ or Matsumoto's $S^4$), then the knot surgery gives rise to standard manifolds. The diffeomorphism can give an alternative proof that Scharlemann's manifold is standard (originally by Akbulut [Ak1])., Comment: 20 pages, 30 figures

Berge in [1] defined doubly primitive knots, which yield lens spaces by Dehn surgery. At the same paper he listed the knots into several types. In this paper we will prove the list is complete when $\tau>1$. The invariant $\tau$ is a quantity with regard to lens space surgery, which is defined in this paper. Furthermore at the same time we will also prove that Table~6 in [8] is complete as Poincar\'e homology sphere surgery when $\tau>1$., Comment: 46 pages, 41 figures and 4 tables

This paper was withdrawn as Lemma 2 is incorrect., Comment: 6 pages, 7 figures

We consider the problem when lens spaces are given from homology spheres, and demonstrate that many lens spaces are obtained from L-space homology sphere which the Ozsv\'ath Szab\'o's correction term $d(Y)$ is equal to 2. We show an inequality of slope and genus when $Y$ is L-space and $Y_p(K)$ is lens space., Comment: 11 pages, 2 tables, 2 figures

We exhibit homology spheres which never yield lens spaces by any integral Dehn surgery by using Ozsvath Szabo's contact invariant., Comment: 5 pages