Related papers: An involution acting nontrivially on Heegard-Floer…

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…

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 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.

We utilize the Ozsvath-Szabo contact invariant to detect the action of involutions on certain homology spheres that are surgeries on symmetric links, generalizing a previous result of Akbulut and Durusoy. Potentially this may be useful to…

In this note, we prove that if the boundary of a Mazur-type $4$-manifold is an irreducible Heegaard Floer homology $L$-space, then the manifold must be the $4$-ball, and the boundary must be the $3$-sphere. We use this to give a new proof…

We describe an invariant of a contact 3-manifold with convex boundary as an element of Juh\'asz's sutured Floer homology. Our invariant generalizes the contact invariant in Heegaard Floer homology in the closed case, due to Ozsv\'ath and…

We construct a number of topologically trivial but smoothly non-trivial families of embeddings of 3-manifolds in 4-manifolds. These include embeddings of homology spheres in $S^4$ that are not isotopic but have diffeomorphic complements,…

The main goal of the present article is the computation of the Heegaard Floer homology introduced by Ozsvath and Szabo for a family of plumbed rational homology 3-spheres. The main motivation is the study of the Seiberg-Witten type…

In this paper, we investigate existence of inequivalent smooth structures on closed smooth non-orientable 4-manifolds building upon results of Akbulut, Cappell-Shaneson, Fintushel-Stern, Gompf, and Stolz. We add to the number of known…

An involution on a surface induces involutions on the cohomology, the Chow group and the Brauer group of the surface. We give a detailed study of those actions. We show that the odd part of these groups can be used to describe the geometry…

Using Heegaard Floer homology, we construct a numerical invariant for any smooth, oriented $4$-manifold $X$ with the homology of $S^1 \times S^3$. Specifically, we show that for any smoothly embedded $3$-manifold $Y$ representing a…

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…

This work surveys classical and recent advances around the existence of exotic differentiable structures on spheres and its connection to stable homotopy theory.

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…

We develop a version of Seiberg--Witten Floer cohomology/homotopy type for a spin$^c$ 4-manifold with boundary and with an involution which reverses the spin$^c$ structure, as well as a version of Floer cohomology/homotopy type for oriented…

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 use Heegaard Floer homology to define an invariant of homology cobordism. This invariant is isomorphic to a summand of the reduced Heegaard Floer homology of a rational homology sphere equipped with a spin structure and is analogous to…

Using the conjugation symmetry on Heegaard Floer complexes, we define a three-manifold invariant called involutive Heegaard Floer homology, which is meant to correspond to $\mathbb{Z}_4$-equivariant Seiberg-Witten Floer homology. Further,…

We use monopole Floer homology to study the topology of the space of contact structures on a 3-manifold. Our main tool is a generalisation of the Kronheimer--Mrowka--Ozsv\'ath--Szab\'o contact invariant to an invariant for families of…

Using instanton homology with coefficients in $Z/2$ we construct a homomorphism $q_2$ from the homology cobordism group in dimension 3 to the integers which is not a rational linear combination of the instanton $h$--invariant and the…