arXiv subjects
Publications and source records attributed to Arunima Ray.
We investigate which 3-manifolds bound 4-manifolds that are homeomorphic but not stably diffeomorphic, where stabilising means taking connected sum with copies of $S^2\times S^2$. We show that every closed, orientable 3-manifold admits such fillings, as do certain families of nonorientable 3-manifolds. In contrast we show that for a 3-manifold containing a 2-sided $\mathbb{RP}^2$, any two smooth, homeomorphic fillings are stably diffeomorphic.
A $2$-knot is an embedding of a $2$-sphere into the $4$-sphere. Similar to the case of embedding circles into the $3$-sphere, this allows the $2$-sphere to be knotted. In this short paper, we present an algorithm to generate triangulations of the exteriors of $2$-knots obtained by spinning $1$-knots. We give an implementation of the algorithm in \emph{Regina} and present triangulations of exteriors obtained from all $1$-knots with up to eight crossings.
For every $n \geq 4$, we demonstrate the existence of non-isotopic smooth $(n-2)$-knots in $S^n$ with diffeomorphic traces by generalising the RBG link construction to all dimensions. Conversely, we prove that for every $n \geq 4$, the unknot in $S^n$ is detected by the diffeomorphism type of its surgery and hence by its trace.
We give a criterion on a group $\pi$ and a homomorphism $w \colon \pi \to C_2$ under which closed $4$-manifolds with fundamental group $\pi$ and orientation character $w$ are classified up to homotopy equivalence by their quadratic $2$-types. We verify the criterion for a large class of $3$-manifold groups and orientation characters, in particular for the fundamental group $\pi$ of any closed, orientable $3$-manifold whose finite subgroups are cyclic, provided $w$ vanishes on every element of $\pi$ of finite order. We deduce a homeomorphism classification of closed, orientable $4$-manifolds with infinite dihedral fundamental group $\mathbb{Z}/2 * \mathbb{Z}/2$.
Freedman and Krushkal showed that if the surgery conjecture and the $s$-cobordism conjecture hold for all topological 4-manifolds, then every link with pairwise zero linking numbers is topologically round handle slice. Kim, Powell, and Teichner showed that every knot is topologically round handle slice. We show that infinitely many knots fail to be smoothly round handle slice.
There are two main approaches to building locally flat embedded surfaces in 4-manifolds: direct methods which geometrically manipulate a given map of a surface, and more indirect methods using surgery theory. Both rely on Freedman-Quinn's disc embedding theorem. In this expository article, we give an introduction to these methods by sketching proofs of the following results: every primitive second homology class in a closed, simply connected 4-manifold is represented by a locally flat embedded torus (Lee-Wilczynski); and every Alexander polynomial one knot in $S^3$ is topologically slice (Freedman-Quinn).
This paper investigates a real-valued topological invariant of 3-manifolds called topological volume. For a given 3-manifold M it is defined as the smallest volume of the complement of a (possibly empty) hyperbolic link in M. Various refinements of this invariant are given, asymptotically tight upper and lower bounds are determined, and all non-hyperbolic closed 3-manifolds with topological volume of at most 3.07 are classified. Moreover, it is shown that for all but finitely many lens spaces, the volume minimiser is obtained by Dehn filling one of the cusps of the complement of the Whitehead link or its sister manifold.
These notes were prepared to accompany a sequence of three lectures at the conference Winterbraids XI in Dijon, held in December 2021. In them, we provide an introduction to slice knots and the equivalence relation of concordance. We explain some connections between slice knots and exotic smooth structures on $\mathbb{R}^4$. We also introduce filtrations of the knot concordance groups and satellite operations.
In this brief note, we investigate the $\mathbb{CP}^2$-genus of knots, i.e. the least genus of a smooth, compact, orientable surface in $\mathbb{CP}^2\setminus \mathring{B^4}$ bounded by a knot in $S^3$. We show that this quantity is unbounded, unlike its topological counterpart. We also investigate the $\mathbb{CP}^2$-genus of torus knots. We apply these results to improve the minimal genus bound for some homology classes in $\mathbb{CP}^2\# \mathbb{CP}^2$.
Let $M$ be a compact $4$-manifold and let $S$ and $T$ be embedded $2$-spheres in $M$, both with trivial normal bundle. We write $M_S$ and $M_T$ for the $4$-manifolds obtained by the Gluck twist operation on $M$ along $S$ and $T$ respectively. We show that if $S$ and $T$ are concordant, then $M_S$ and $M_T$ are $s$-cobordant, and so if $\pi_1(M)$ is good, then $M_S$ and $M_T$ are homeomorphic. Similarly, if $S$ and $T$ are homotopic then we show that $M_S$ and $M_T$ are simple homotopy equivalent. Under some further assumptions, we deduce that $M_S$ and $M_T$ are homeomorphic. We show that additional assumptions are necessary by giving an example where $S$ and $T$ are homotopic but $M_S$ and $M_T$ are not homeomorphic. We also give an example where $S$ and $T$ are homotopic and $M_S$ and $M_T$ are homeomorphic but not diffeomorphic.
We illustrate the rich landscape of 4-manifold topology through the lens of counterexamples. We consider several of the most commonly studied equivalence relations on 4-manifolds and how they are related to one another. We explain implications e.g. that $h$-cobordant manifolds are stably homeomorphic, and we provide examples illustrating the failure of other potential implications. The information is conveniently organised in a flowchart and a table.
We prove a surface embedding theorem for 4-manifolds with good fundamental group in the presence of dual spheres, with no restriction on the normal bundles. The new obstruction is a Kervaire-Milnor invariant for surfaces and we give a combinatorial formula for its computation. For this we introduce the notion of band characteristic surfaces.
We study the $\mathbb{CP}^2$-slicing number of knots, i.e. the smallest $m\geq 0$ such that a knot $K\subseteq S^3$ bounds a properly embedded, null-homologous disk in a punctured connected sum $(\#^m\mathbb{CP}^2)^{\times}$. We give a lower bound on the smooth $\mathbb{CP}^2$-slicing number of a knot in terms of its double branched cover, and we find knots with arbitrarily large but finite smooth $\mathbb{CP}^2$-slicing number. We also give an upper bound on the topological $\mathbb{CP}^2$-slicing number in terms of the Seifert form and find knots for which the smooth and topological $\mathbb{CP}^2$-slicing numbers are both finite, nonzero, and distinct.
We show that in a prime, closed, oriented 3-manifold M, equivalent knots are isotopic if and only if the orientation preserving mapping class group is trivial. In the case of irreducible, closed, oriented $3$-manifolds we show the more general fact that every orientation preserving homeomorphism which preserves free homotopy classes of loops is isotopic to the identity. In the case of $S^1\times S^2$, we give infinitely many examples of knots whose isotopy classes are changed by the Gluck twist.
We modify the proof of the disc embedding theorem for $4$-manifolds, which appeared as Theorem 5.1A in the book "Topology of 4-manifolds" by Freedman and Quinn, in order to construct geometrically dual spheres. These were claimed in the statement but not constructed in the proof. We also prove Proposition 1.6 from the Freedman-Quinn book regarding generic homotopies of discs or spheres in a 4-manifolds, which was not proven there.
The trace of $n$-framed surgery on a knot in $S^3$ is a 4-manifold homotopy equivalent to the 2-sphere. We characterise when a generator of the second homotopy group of such a manifold can be realised by a locally flat embedded 2-sphere whose complement has abelian fundamental group. Our characterisation is in terms of classical and computable 3-dimensional knot invariants. For each $n$, this provides conditions that imply a knot is topologically $n$-shake slice, directly analogous to the result of Freedman and Quinn that a knot with trivial Alexander polynomial is topologically slice.
A subset $E$ of a metric space $X$ is said to be starlike-equivalent if it has a neighbourhood which is mapped homeomorphically into $\mathbb{R}^n$ for some $n$, sending $E$ to a starlike set. A subset $E\subset X$ is said to be recursively starlike-equivalent if it can be expressed as a finite nested union of closed subsets $\{E_i\}_{i=0}^{N+1}$ such that $E_{i}/E_{i+1}\subset X/E_{i+1}$ is starlike-equivalent for each $i$ and $E_{N+1}$ is a point. A decomposition $\mathcal{D}$ of a metric space $X$ is said to be recursively starlike-equivalent, if there exists $N\geq 0$ such that each element of $\mathcal{D}$ is recursively starlike-equivalent of filtration length $N$. We prove that any null, recursively starlike-equivalent decomposition $\mathcal{D}$ of a compact metric space $X$ shrinks, that is, the quotient map $X\to X/\mathcal{D}$ is the limit of a sequence of homeomorphisms. This is a strong generalisation of results of Denman-Starbird and Freedman and is applicable to the proof of Freedman's celebrated disc embedding theorem. The latter leads to a multitude of foundational results for topological $4$-manifolds, including the $4$-dimensional Poincar\'{e} conjecture.
We prove that the expected value of the ratio between the smooth four-genus and the Seifert genus of two-bridge knots tends to zero as the crossing number tends to infinity.