Related papers: A Dunfield--Gong 4-Sphere is Standard
We develop the theory of the diagrammatics of surface cross sections to prove that there are an infinite number of homology 3-spheres smoothly embeddable in a homology 4-sphere but not in a homotopy 4-sphere. Our primary obstruction comes…
By using corks we construct diffeomorphic ribbon disks $D\subset B^{4}$, which are non-isotopic rel boundary to each other.
For a 4-manifold $M$ and a knot $k\colon\mathbb{S}^1\hookrightarrow\partial M$ with dual sphere $G\colon\mathbb{S}^2\hookrightarrow\partial M$, we compute the set $\mathbb{D}(M;k)$ of smooth isotopy classes of neat embeddings…
By examining the homology groups of a 4-manifold associated to an integral surgery on a knot $K$ in a rational homology 3-sphere $Y$ yielding a rational homology 3-sphere $Y^*$ with surgery dual knot $K^*$, we show that the subgroups…
A knot in the 3-sphere is called doubly slice if it is a slice of an unknotted 2-sphere in the 4-sphere. We give a bi-sequence of new obstructions for a knot being doubly slice. We construct it following the idea of Cochran-Orr-Teichner's…
The theory of strict deformation quantization of the two sphere $S^2\subset\mathbb{R}^3$ is used to prove the existence of the classical limit of mean-field quantum spin chains, whose ensuing Hamiltonians are denoted by $H_N$ and where $N$…
A knot in the three-sphere is doubly slice if it is the cross-section of an unknotted two-sphere in the four-sphere. For low-crossing knots, the most complete work to date gives a classification of doubly slice knots through 9 crossings. We…
We construct a family of pairs of non-isotopic symplectic surfaces in the standard symplectic $4$-disk such that they are bounded by the same transverse knot in the standard contact $3$-sphere and fundamental groups of their complements are…
By results of Morita, Pitsch and, more recently, Faes, it is known that any integral homology 3-sphere can be constructed as a Heegaard splitting with a gluing map an element of the fourth Johnson subgroup. In this work we prove that the…
We construct an orientable ribbon surface F in B^4, which is universal in the following sense: any compact orientable pl 4-manifold having a handle decomposition with 0-, 1- and 2-handles can be represented as a cover of B^4 branched over…
We prove that a Casson tower of height 4 contains a flat embedded disc bounded by the attaching circle, and we prove disc embedding results for height 2 and 3 Casson towers which are embedded into a 4-manifold, with some additional…
We show that certain smooth tori with group $\mathbb{Z}$ in $S^4$ have exteriors with standard equivariant intersection forms, and so are topologically unknotted. These include the turned 1-twist-spun tori in the 4-sphere constructed by…
We explore the construction of Legendrian spheres in contact manifolds of any dimension. Two constructions involving open books work in any contact manifold, while one introduced by Ekholm works only in $\mathbb{R}^{2n+1}$. We show that…
In relation to the 4-dimensional smooth Poincar\'e conjecture we construct a tentative invariant of homotopy 4-spheres using embedded contact homology (ECH) and Seiberg-Witten theory (SWF). But for good reason it is a constant value…
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,…
New examples of noncommutative 4-spheres are introduced.
The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…
Ng constructed an invariant of knots in ${\mathbb{R}}^3$, a combinatorial knot contact homology. Extending his study, we construct an invariant of surface-knots in ${\mathbb{R}}^4$ using marked graph diagrams.
We construct a compact PL 5-manifold $M$ (with boundary) which is homotopy equivalent to the wedge of eleven 2-spheres, $\vee^{}_{1 1}S^2$, which is "spineless", meaning $M$ is not the regular neighborhood of any 2-complex PL embedded in…
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.