相关论文: Exotic Mazur manifolds and knot trace invariants

Recently Auckly-Kim-Melvin-Ruberman showed that for any finite subgroup G of SO(4) there exists a contractible 4-manifold with an effective G-action on its boundary so that the twists associated to the non-trivial elements of G do not…

We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply…

Lickorish has constructed large families of contractible 4--manifolds that have knotted embeddings in the 4--sphere and has also shown that every finitely presented perfect group with balanced presentation occurs as the fundamental group of…

Using instanton Floer theory, extending methods due to Froyshov, we determine the definite lattices that arise from smooth 4-manifolds bounded by certain homology 3-spheres. For example, we show that for +1 surgery on the (2,5) torus knot,…

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…

Meier and Zupan showed that every surface in the four-sphere admits a bridge trisection and can therefore be represented by three simple tangles. This raises the possibility of applying methods from link homology to knotted surfaces. We use…

In \cite{MR1957829}, Ozsv\'ath and Szab\'o use Heegaard Floer homology to define numerical invariants $d_{1/2}$ and $d_{-1/2}$ for 3-manifolds $Y$ with $H_{1}(Y;\mathbb{Z})\cong \mathbb{Z}$. We define involutive Heegaard Floer theoretic…

We construct closed, aspherical, smooth 4-manifolds that are homeomorphic but not diffeomorphic. These provide counterexamples to a smooth analog of the Borel conjecture in dimension four. Our technique is to apply the `reflection group…

We develop obstructions to a knot K in the 3-sphere bounding a smooth punctured Klein bottle in the 4-ball. The simplest of these is based on the linking form of the 2-fold branched cover of the 3-sphere branched over K. Stronger…

Sutured Floer homology, denoted by SFH, is an invariant of balanced sutured manifolds previously defined by the author. In this paper we give a formula that shows how this invariant changes under surface decompositions. In particular, if…

For a given smooth $2$-knot in $S^4$, we relate the existence of a smooth Seifert hypersurface of a certain class to the existence of irreducible $ SU(2)$-representations of its knot group. For example, we see that any smooth $2$-knot…

We use Heegaard Floer homology with twisted coefficients to define numerical invariants for arbitrary closed 3-manifolds equipped torsion spin$^c$ structures, generalising the correction terms (or $d$--invariants) defined by Ozsv\'ath and…

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…

Seiberg-Witten (Floer) theory, Ozsvath-Szabo's Heegaard Floer theory, Hutchings's embedded contact homology, in different stages of development, define (or are expected to define) packages of invariants for 3- and 4-manifolds (including…

Links of singularity and generalized algebraic links are ways of constructing three-manifolds and smooth links inside them from potentially singular complex algebraic surfaces and complex curves inside them. We prove that knot lattice…

A link in the 3-sphere is homotopically trivial, according to Milnor, if its components bound disjoint maps of disks in the 4-ball. This paper concerns the question of what spaces give rise to the same class of homotopically trivial links…

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 show that the Khovanov-Rozansky $\mathfrak{gl}_2$ skein lasagna module distinguishes the exotic pair of knot traces $X_{-1}(-5_2)$ and $X_{-1}(P(3,-3,-8))$, an example first discovered by Akbulut. This gives the first analysis-free proof…

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…

We introduce a method to detect exotic surfaces without explicitly using a smooth 4-manifold invariant or an invariant of a 4-manifold-surface pair in the construction. Our main tools are two versions of families (Seiberg-Witten)…