Related papers: Lens spaces, rational balls and the ribbon conject…

We establish the slice-ribbon conjecture for a large family of Montesinos' knots by means of Donaldson's theorem on the intersection forms of definite 4-manifolds.

We classify connected sums of three-dimensional lens spaces which smoothly bound rational homology balls. We use this result to determine the order of each lens space in the group of rational homology 3-spheres up to rational homology…

We show that all large enough positive integral surgeries on algebraic knots bound a 4-manifold with a negative definite plumbing tree, which we describe explicitly. Then we apply the lattice embedding obstruction coming from Donaldson's…

We determine when there exists a ribbon rational homology cobordism between two connected sums of lens spaces, i.e. one without $3$-handles. In particular, we show that if a lens space $L$ admits a ribbon rational homology cobordism to a…

Let L be a nonunimodular definite lattice. Using a theorem of Elkies we show that whether L embeds in the standard definite lattice of the same rank is completely determined by a collection of lattice correction terms, one for each…

We consider the question of when a rational homology 3-sphere is rational homology cobordant to a connected sum of lens spaces. We prove that every rational homology cobordism class in the subgroup generated by lens spaces is represented by…

A proof via the Seiberg-Witten moduli space of Donaldson's theorem on smooth 4-manifolds with definite intersection forms.

Closed 3-string braids admit many bandings to two-bridge links. By way of the Montesinos Trick, this allows us to construct infinite families of knots in the connected sum of lens spaces L(r,1) # L(s,1) that admit a surgery to a lens space…

We conjecture two generalisations of Elkies' theorem on unimodular quadratic forms to non-unimodular forms. We give some evidence for these conjectures including a result for determinant 3. These conjectures, when combined with results of…

We present three large families of new examples of plumbed 3-manifolds that bound rational homology 4-balls. These are constructed using two operations, also defined here, that preserve the lack of a lattice embedding obstruction to…

It is known that for coprime integers $p>q\geq 1$, the lens space $L(p^2,pq-1)$ bounds a rational ball, $B_{p,q}$, arising as the 2-fold branched cover of a (smooth) slice disk in $B^4$ bounding the associated 2-bridge knot. Lekilli and…

We show that, if a rational homology 3-sphere $Y$ bounds a positive definite smooth 4-manifold, then there are finitely many negative definite lattices, up to the stable-equivalence, which can be realized as the intersection form of a…

Using an obstruction based on Donaldson's theorem on the intersection forms of definite 4-manifolds, we determine which connected sums of lens spaces smoothly embed in S^4. We also find constraints on the Seifert invariants of Seifert…

We prove that there are rational homology balls $B_p$ smoothly embedded in the $2$-handlebodies associated to certain knots. Furthermore we show that, if we rationally blow up the $2$-handlebody along the embedded rational homology ball…

We consider free symmetries on cobordisms between knots. We classify which freely periodic knots bound equivariant surfaces in the 4-ball in terms of corresponding homology classes in lens spaces. A key tool is the homology cobordism…

We study which lens spaces can bound smooth 4-manifolds with second Betti number one under various topological conditions. Specifically, we show that there are infinite families of lens spaces that bound compact, simply-connected, smooth…

Given a rational homology sphere which bounds rational homology balls, we investigate the complexity of these balls as measured by the number of 1-handles in a handle decomposition. We use Casson-Gordon invariants to obtain lower bounds…

It is shown that if a link in 3-space bounds a proper oriented surface (without closed component) in the upper half 4-space, then the link bounds a proper oriented ribbon surface in the upper half 4-space which is a renewal embedding of the…

We exhibit an infinite family of rational homology balls which embed smoothly but not symplectically in the complex projective plane. We also obtain a new lattice embedding obstruction from Donaldson's diagonalisation theorem, and use this…

We apply Bayesian optimization and reinforcement learning to a problem in topology: the question of when a knot bounds a ribbon disk. This question is relevant in an approach to disproving the four-dimensional smooth Poincar\'e conjecture;…