Related papers: Mazur-type manifolds with $L$-space boundaries

We show that an infinite family of contractible 4-manifolds have the same boundary as a special type of plumbing. Consequently their Ozsvath--Szabo invariants can be calculated algorithmically. We run this algorithm for the first few…

A central problem in low-dimensional topology asks which homology $3$-spheres bound contractible $4$-manifolds or homology $4$-balls. In this paper, we address this question for plumbed $3$-manifolds and we present two new infinite…

We show that a certain involution on the well known homology sphere (the boundary of the Mazur manifold) induces a nontrivial homomorphism on its Heegard-Floer homology groups (recently defined by Ozsvath and Szabo). We discuss a possible…

From a handlebody-theoretic perspective, the simplest compact, contractible 4-manifolds, other than the 4-ball, are Mazur manifolds. We produce the first pairs of Mazur manifolds that are homeomorphic but not diffeomorphic. Our…

We use the Heegaard Floer homology cobordism maps to obstruct the existence of a symplectic structure on the Akbulut-Kirby Mazur manifolds whose boundary is a Brieskorn sphere $Y$ among $\Sigma(2,3,13),$ $\Sigma(2,5,7)$ and $\Sigma(3,4,5)$.…

We consider a class of manifolds with torus boundary admitting bordered Heegaard Floer homology of a particularly simple form, namely, the type D structure may be described graphically by a disjoint union of loops. We develop a calculus for…

We call a non-trivial homology sphere a Kirby-Ramanujam sphere if it bounds both a homology plane and a Mazur or Po\'enaru manifold. In 1980, Kirby found the first example by proving that the boundary of the Ramanujam surface bounds a Mazur…

In $1961$, Mazur constructed a contractible, compact, smooth $4$-manifold with boundary which is not homeomorphic to the standard $4$-ball, using a $0$-handle, a $1$-handle and a $2$-handle. In this paper, for any integer $n\geq2,$ we…

We show if M is a closed, connected, orientable, hyperbolic 3-manifold with Heegaard genus g then g >= 1/2 cosh(r) where r denotes the radius of any isometrically embedded ball in M. Assuming an unpublished result of Pitts and Rubinstein…

In terms of Turaev's shadows, we provide a sufficient condition for a compact, smooth, acyclic 4-manifold with boundary the 3-sphere to be diffeomorphic to the standard 4-ball. As a consequence, we prove that if a compact, smooth, acyclic…

We give several criteria on a closed, oriented 3-manifold that will imply that it is the boundary of a (simply connected) 4-manifold that admits infinitely many distinct smooth structures. We also show that any weakly fillable contact…

We prove Furuta-type bounds for the intersection forms of spin cobordisms between homology 3-spheres. The bounds are in terms of a new numerical invariant of homology spheres, obtained from Pin(2)-equivariant Seiberg-Witten Floer K-theory.…

We construct Heegaard Floer theory for 3-manifolds with connected boundary. The theory associates to an oriented, parametrized two-manifold a differential graded algebra. For a three-manifold with parametrized boundary, the invariant comes…

This paper gives a geometric interpretation of bordered Heegaard Floer homology for manifolds with torus boundary. If $M$ is such a manifold, we show that the type D structure $\widehat{\mathit{CFD}}$ may be viewed as a set of immersed…

We prove that there are homology three-spheres that bound definite four-manifolds, but any such bounding four-manifold must be built out of many handles. The argument uses the homology cobordism invariant $\Gamma$ from instanton Floer…

Let $K$ denote a knot inside the homology sphere $Y$. The zero-framed longitude of $K$ gives the complement of $K$ in $Y$ the structure of a bordered three-manifold, which may be denoted by $Y(K)$. We compute the quasi-isomorphism type of…

We construct an invariant of open four-manifolds using the Heegaard Floer theory of Ozsvath and Szabo. We show that there is a manifold X homeomorphic to R^4 for which the invariant is non-trivial, showing that X is an exotic R^4.

Bordered Floer homology assigns invariants to 3-manifolds with boundary, such that the Heegaard Floer homology of a closed 3-manifold, split into two pieces, can be recovered as a tensor product of the bordered invariants of the pieces. We…

Bordered Heegaard Floer homology is an invariant for 3-manifolds, which associates to a surface F an algebra A(Z), and to a 3-manifold Y with boundary, together with an orientation-preserving diffeomorphism \phi from F to \bdy Y, a module…

The main theorem of this article provides sufficient conditions for a degree $d$ finite cover $M'$ of a hyperbolic 3-manifold $M$ to be a surface-bundle. Let $F$ be an embedded, closed and orientable surface of genus $g$, close to a minimal…