Related papers: Man and machine thinking about the smooth 4-dimens…
We associate several invariants to a knot in an integer homology 3-sphere using $SU(2)$ singular instanton gauge theory. There is a space of framed singular connections for such a knot, equipped with a circle action and an equivariant…
We classify the cohomology classes of Lagrangian 4-planes $\P^4$ in a smooth manifold $X$ deformation equivalent to a Hilbert scheme of 4 points on a $K3$ surface, up to the monodromy action. Classically, the cone of effective curves on a…
Using 1-twist rim surgery, we construct infinitely many smoothly embedded, orientable surfaces in the 4-ball bounding a knot in the 3-sphere that are pairwise topologically isotopic, but not ambient diffeomorphic. We distinguish the…
Kreck's modified surgery gives an approach to classifying smooth $2n$-manifolds up to stable diffeomorphism, i.e. up to connected sum with copies of $S^n \times S^n$. In dimension 4, we use a combination of modified and classical surgery to…
We give a short exposition of Ren and Willis's analysis-free proof of the existence of exotic compact, orientable 4-manifolds. There are two distinguishing features of our exposition. First, we avoid skein lasagna modules; we use Beliakova…
We construct an invariant of closed ${\rm spin}^c$ 4-manifolds using families of Seiberg-Witten equations. This invariant is formulated as a cohomology class on a certain abstract simplicial complex consisting of embedded surfaces of a…
For a rational homology 3-sphere $Y$ with a $\spinc$ structure $\s$, we show that simple algebraic manipulations of our construction of equivariant Seiberg-Witten Floer homology lead to a collection of variants which are topological…
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…
We say a null-homologous knot $K$ in a $3$--manifold $Y$ has Property G, if the properties about the Thurston norm and fiberedness of the complement of $K$ is preserved under the zero surgery on $K$. In this paper, we will show that, if the…
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 a state-sum type invariant of smooth closed oriented $4$-manifolds out of a $G$-crossed braided spherical fusion category ($G$-BSFC) for $G$ a finite group. The construction can be extended to obtain a $(3+1)$-dimensional…
We establish inequalities that constrain the genera of smooth cobordisms between knots in 4-dimensional cobordisms. These "relative adjunction inequalities" improve the adjunction inequalities for closed surfaces which have been…
We show P\'eter Csorba's conjecture that the graph homomorphism complex Hom(C_5,K_{n+2}) is homeomorphic to a Stiefel manifold, the space of unit tangent vectors to the n-dimensional sphere. For this a general tool is developed that allows…
The aim of this paper is to give an $s$-cobordism classification of topological $4$-manifolds in terms of the standard invariants using the group of homotopy self-equivalences. Hambleton and Kreck constructed a braid to study the group of…
We construct a new family of knot concordance invariants $\theta^{(q)}(K)$, where $q$ is a prime number. Our invariants are obtained from the equivariant Seiberg-Witten-Floer cohomology, constructed by the author and Hekmati, applied to the…
We construct a Poincar\'e complex whose periodic total surgery obstruction vanishes but whose Spivak normal fibration does not admit a reduction to a stable euclidean bundle. This contradicts the conjunction of two claims in the literature:…
We present new obstructions for a knot K in S^3 to admit purely cosmetic surgeries, which arise from the study of Witten-Reshetikhin-Turaev invariants at fixed level. In particular, we strengthen a recent result of Hanselman, showing that…
We construct an invariant $z (M) =1+a_1(A^4-1)+ a_2(A^4-1)^2+a_3(A^4-1)^3 + \cdots \in \mathbb{Q} [[A^4-1]]= \mathbb{Q} [[A+1]]$ for an integral homology $3$-sphere $M$ using a completed skein algebra and a Heegaard splitting. The invariant…
We prove a basic inequality for the d-invariants of a splice of knots in homology spheres. As a result, we are able to prove a new relation on the rank of reduced Floer homology under maps between Seifert fibered homology spheres, improving…
This paper studies the rational homotopy groups of the group $\mathrm{Diff}(S^4)$ of self-diffeomorphisms of $S^4$ with the $C^\infty$-topology. We present a method to prove that there are many `exotic' non-trivial elements in…