arXiv research

This paper describes a method to construct standard 4-balls from homotopy 4-balls in $\mathbb{C}^2$.

We extend the definition of Khovanov-Lee homology to links in connected sums of $S^1 \times S^2$'s, and construct a Rasmussen-type invariant for null-homologous links in these manifolds. For certain links in $S^1 \times S^2$, we compute the invariant by reinterpreting it in terms of Hochschild homology. As applications…

The A-B slice problem is a reformulation of the topological 4-dimensional surgery conjecture in terms of decompositions of the 4-ball and link homotopy. We show that link groups, a recently developed invariant of 4-manifolds, provide an obstruction for the class of model decompositions, introduced by M. Freedman and X.…

New theorem connects handle-ribbon knots to slice derivatives.

We give a method for obtaining infinitely many framed knots which represent a diffeomorphic 4-manifold. We also study a relationship between the $n$-shake genus and the 4-ball genus of a knot. Furthermore we give a construction of homotopy 4-spheres from a slice knot with unknotting number one.

Let $Γ$ be either the infinite cyclic group $\mathbb{Z}$ or the Baumslag-Solitar group $\mathbb{Z} \ltimes \mathbb{Z}[\frac{1}{2}]$. Let $K$ be a slice knot admitting a slice disc $D$ in the 4-ball whose exterior has fundamental group $Γ$. We classify the $Γ$-homotopy ribbon slice discs for $K$ up to topological ambien…

Let $LHT$ be a left handed trefoil knot and $K$ be any knot. We define $M_n(K)$ to be the homology $3$-sphere which is represented by a simple link of $LHT$ and $LHT \sharp K$ with framings $0$ and $n$ respectively. Starting with this link, we construct homotopy $K3$ and spin rational homology $K3$ surfaces containing …

Link concordance and Whitney towers linked to Milnor invariants.

Standardizes Dunfield-Gong's 4-sphere, solves knot sliceness problem.

We can construct a 4-manifold by attaching 2-handles to a 4-ball with framing r along the components of a link in the boundary of the 4-ball. We define a link as r-shake slice if there exists embedded spheres that represent the generators of the second homology of the 4-manifold. This naturally extends r-shake slice, a…

The paper constructs new rational homology 3-spheres bounding rational homology 4-balls.

4-ball can be tiled with knotted surfaces.

New techniques in Khovanov homology help distinguish exotic surfaces in 4-ball.

Study shows surgeries on certain knots bound rational homology 4-balls.

New surfaces in 4-ball differ topologically but not diffeomorphically.

Same-genus Seifert surfaces for non-split alternating links are smoothly isotopic.

We present complete classifications of links in the 3-sphere modulo framed and twisted Whitney towers in a rational homology 4-ball. This provides a geometric characterization of the vanishing of the Milnor invariants of links in terms of Whitney towers. Our result also says that the higher order Arf invariants, which …

Paper tackles which 3-spheres bound contractible 4-manifolds or homology 4-balls.

Classifies knots that bound equivariant surfaces with free symmetries.

The paper constructs exotic surface links in 4-ball, proving their Brunnian nature.

New non-isotopic Seifert surfaces found in 4-ball.

We give a new proof that the Levine-Tristram signatures of a link give lower bounds for the minimal sum of the genera of a collection of oriented, locally flat, disjointly embedded surfaces that the link can bound in the 4-ball. We call this minimal sum the 4-genus of the link. We also extend a theorem of Cochran, Frie…

The study classifies $χ-$slice pretzel links and Seifert fiber spaces.

A long-standing conjecture due to Michael Freedman asserts that the 4-dimensional topological surgery conjecture fails for non-abelian free groups, or equivalently that a family of canonical examples of links (the generalized Borromean rings) are not A-B slice. A stronger version of the conjecture, that the Borromean r…

We found an infinite family of counterexamples to Batson's conjecture.

New Seifert surfaces in 4-ball differ even when pushed in.

A link in the 3-sphere is called (smoothly) slice if its components bound disjoint smoothly embedded disks in the 4-ball. More generally, given a 4-manifold M with a distinguished circle in its boundary, a link in the 3-sphere is called M-slice if its components bound in the 4-ball disjoint embedded copies of M. A 4-ma…

Counterexamples found for knot conjectures.

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 4-manifold with boundary the 3-sphere has shadow-complexity at most 2, then it is…

Algorithms compute invariants of 4-manifolds as branched covers.

Call a smooth knot (or smooth link) in the unit sphere in $\mathbb{C}^2$ analytic (respectively, smoothly analytic) if it bounds a complex curve (respectively, a smooth complex curve) in the complex ball. Let $K$ be a smoothly analytic knot. For a small tubular neighbourhood of $K$ we give a sharp lower bound for the 4…

We exhibit a knot $P$ in the solid torus, representing a generator of first homology, such that for any knot $K$ in the 3-sphere, the satellite knot with pattern $P$ and companion $K$ is not smoothly slice in any homology 4-ball. As a consequence, we obtain a knot in a homology 3-sphere that does not bound a piecewise-…

The paper calculates homology and intersection pairing of branched covers using disoriented homology.

New surfaces in 4-ball constructed from knits, described by charts.

New spanning tree model connects knot homology, s-invariant, and exotic discs.

The concordance genus of a knot K is the minimum Seifert genus of all knots smoothly concordant to K. Concordance genus is bounded below by the 4-ball genus and above by the Seifert genus. We give a lower bound for the concordance genus of K coming from the knot Floer complex of K. As an application, we prove that ther…

New 3-manifolds bound rational 4-balls through specific operations.

The paper quantifies how much of a 4-ball must be removed to squeeze into a cylinder, proving a lower bound on the Minkowski dimension.

We consider the set of connected surfaces in the 4-ball with boundary a fixed knot in the 3-sphere. We define the stabilization distance between two surfaces as the minimal $g$ such that we can get from one to the other using stabilizations and destabilizations through surfaces of genus at most $g$. Similarly, we consi…

The paper presents fundamental groups of complements of shadows in 4-balls.

Study shows no smooth embeddings of rational homology balls into complex projective plane.

The n-solvable filtration $\{\mathcal{F}_n\}_{n=0}^\infty$ of the smooth knot concordance group (denoted by $\mathcal{C}$), due to Cochran-Orr-Teichner, has been instrumental in the study of knot concordance in recent years. Part of its significance is due to the fact that certain geometric characterizations of a knot …

New knots not slice in rational 4-balls found.

We construct cobordisms of small genus between torus knots and use them to determine the cobordism distance between torus knots of small braid index. In fact, the cobordisms we construct arise as the intersection of a smooth algebraic curve in $\mathbb{C}^2$ with the unit 4-ball from which a 4-ball of smaller radius is…

Lisa Piccirillo solved the mystery of the Conway knot's sliceness.

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 obstructions are based on the Ozsvath-Szabo correction term in Heegaard-Floer homology, al…

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 when used in place of disks in an analogous definition. We show that there are 4-…

New method classifies $\mathbb C$-boundaries up to 6 crossings.