几何拓扑
We present explicit infinite families of twisted torus knots that are not fibered. Our approach relies on an explicit formula for the Alexander polynomial derived in our previous work. We show that the leading coefficients of the Alexander…
We study the interplay between braid group theory and topological dynamics in three dimensions. While classical braid theory has been extensively applied to surface homeomorphisms to analyze fixed and periodic points, an analogous framework…
The generalized Property R conjecture (GPRC) predicts that if framed surgery on an $n$-component link $L$ in $S^3$ produces $\#^{n} (S^1\times S^2)$, then $L$ is handleslide equivalent to an unlink, the obvious way to construct such a…
We give an alternative proof of a result of Miyazaki and Yasuhara that there exists links that are not smoothly slice in $S^2 \times S^2$. We discuss potential applications to the detection of exotic $S^2 \times S^2$. This is a follow-up…
We show that a compact polyhedron $P$ collapses to a subpolyhedron $Q$ if and only if it admits a piecewise-linear free deformation retraction onto $Q$. We also consider further possibilities for invariant characterisations of…
We show that the $2$-component unlink in $S^4$ admits infinitely many isotopy classes of spanning $3$-disks that are Brunnian.
Let $M =\mathbb{H}^3/\Gamma$ be a finite-volume, noncompact hyperbolic 3-manifold. We show that the number of quasi-Fuchsian surface subgroups of $\Gamma$ (up to conjugacy and commensurability) of genus at most $g$ is bounded both above and…
A Real structure on a $4$-manifold $X$ is an orientation preserving smooth involution $\sigma$. We say that an embedded surface $\Sigma \subset X$ is Real if $\sigma$ maps $\Sigma$ to itself orientation reversingly. We prove that a…
The flip symmetry on knot diagrams induces an involution on Khovanov homology. We prove that this involution is determined by its behavior on unlinks; in particular, it is the identity map when working over $\mathbb{F}_2$. This confirms a…
If $M$ is a hyperbolic 3-manifold fibering over the circle, the fundamental group of $M$ acts faithfully by homeomorphisms on a circle (the circle at infinity of the universal cover of the fiber), preserving a pair of invariant (stable and…
The celebrated Morlet-Burghelea-Lashof-Kirby-Siebenmann smoothing theory theorem states that the group $\mathrm{Diff}_\partial(D^n)$ of diffeomorphisms of a disc $D^n$ relative to the boundary is equivalent to…
We construct analogs of Khovanov-Jacobsson classes and the Rasmussen invariant for links in the boundary of any smooth oriented 4-manifold. The main tools are skein lasagna modules based on equivariant and deformed versions of…
Masur and Minsky showed that the curve graph is quasi-isometric to the Teichm\"uller space electrified along its thin part, and hence the Teichm\"uller space is weakly relatively hyperbolic with respect to the thin part. In this paper, we…
We give an upper bound for the number of compact essential orientable non-isotopic surfaces, with Euler characteristic at least some constant $\chi$, properly embedded in a finite-volume hyperbolic 3-manifold $M$, closed or cusped. This…
We extend the complete census of orientable cusped hyperbolic $3$-manifolds to $10$ tetrahedra, giving the next $150730$ manifolds and their $496638$ minimal ideal triangulations. As applications, we find the precisely $439898$ exceptional…
In this paper, we give a geometric interpretation of virtual knotoids as arcs in thickened surfaces. Then we show that virtual knotoid theory is a generalization of classical knotoid theory. This gives a proof of a conjecture of Kauffman…
We study the property $P_{\text {naive }}$ of mapping class groups of surfaces of infinite type, that is, for any finite collection of non-trivial elements $h_{1},h_{2}, \cdots, h_{n}$, there exists another element $g\neq 1$ of infinite…
We show that every locally flat topological embedding of a 3-manifold in a smooth 5-manifold is homotopic, by a small homotopy, to a smooth embedding. We deduce that topologically locally flat concordance implies smooth concordance for…
We show that the Coxeter polytopes that have finite volume in their Vinberg domains are exactly the quasiperfect Coxeter polytopes of negative type, i.e. the Coxeter polytopes that are contained in their properly convex Vinberg domain, at…
We prove twisted homological stability for handlebody mapping class groups. Using the categorical framework developed by Randal-Williams and Wahl, we establish that the homology of the handlebody groups stabilises with respect to both genus…