几何拓扑

In this paper, we standardize a homotopy $4$-sphere constructed by Dunfield and Gong. As a corollary, we show that the $18$-crossing knot $18_{\text{nh}00000601}$, which is not known to be ribbon, is slice in the standard $4$-ball. Thus,…

In this short expository note, we give a detailed proof of Markov's theorem on the unsolvability of the homeomorphism problem and of the existence of unrecognizable manifolds in all dimensions larger than 3.

Two distinct knots are said to be friends if their complements, filled along the 0-slope, produce diffeomorphic 3-manifolds. In this article, we develop a practical algorithm, implemented using SnapPy and Regina, to search for a friend of a…

It is known that each knot has a semimeander diagram (i. e. a diagram composed of two smooth simple arcs), however the number of crossings in such a diagram can only be roughly estimated. In the present paper we provide a new estimate of…

This paper concerns the lattice counting problem for the mapping class group of a surface $S$ acting on Teichm\"uller space with the Teichm\"uller metric. In that problem the goal is to count the number of mapping classes that send a given…

We study decomposition into simple arcs (i. e., arcs without self-intersections) for diagrams of knots and spatial graphs. In this paper, it is proved in particular that if no edge of a finite spatial graph $G$ is a knotted loop, then there…

We prove the following boundary-theoretic characterization of relatively hyperbolic groups. Let $G$ be a finitely generated group with a finite collection $\mathcal{H}$ of finitely generated subgroups, and let $G^h$ denote the associated…

Pick's astonishing theorem explains how to obtain the area of any integer polygon by counting lattice points. It is a notoriously difficult challenge to translate the geometric statement and intuitive reasoning into a formal statement and…

For every Sol manifold $M$, we determine the $\mathbb{Z}_2$-Thurston norm of every element in $H_2(M;\mathbb{Z}_2)$. Each Sol manifold is either a torus bundle over the circle or a torus semi-bundle, thus corresponds to a torus map. We…

We give conditions on a Haken hyperbolic rational homology three sphere that imply that any other 3-manifold with profinitely equivalent fundamental group must also be Haken. In the appendix, we show that a regular finite-sheeted cover of…

Let $Y\to X$ be a proper map between proper hyperbolic metric spaces. A Cannon--Thurston map is a continuous extension $\partial Y \to \partial X$. We prove that in most known settings in which a Cannon--Thurston map exists it is uniformly…

For any link in the 3-sphere, there is a natural lower bound for the unlinking number in terms of the classical signature. We prove that if this lower bound is sharp for a special alternating link $L$, then the unlinking number of $L$ is…

We study the large-scale geometry of graph braid groups $\mathbb{B}_n(\mathsf{\Gamma})$, viewed as the fundamental groups of discrete configuration spaces $UD_n(\mathsf{\Gamma})$, which are special cube complexes in the sense of…

We show that the smooth equivariant concordance group of 2-knots in $S^4$ invariant under a linear $\mathbb{Z}/d\mathbb{Z}$ action is isomorphic to $\mathbb{Z}/2\mathbb{Z}$ for all $d \geq 2$. This is in contrast to the non-equivariant…

Recently, Kashaev and the first author constructed an $R$-matrix from a Nichols algebra with an automorphism, that leads, via the Reshetikhin--Turaev functor, to a multivariable polynomial invariant of knots. Applying this to a rank 2…

The Benard-Conway invariant of links in the 3-sphere is a Casson-Lin type invariant defined by counting irreducible SU(2) representations of the link group with fixed meridional traces. For two-component links with linking number one, the…

We prove that the $(2n,1)$-cable of the figure-eight knot is not smoothly slice when $n$ is odd, by using the real Seiberg-Witten Fr{\o}yshov invariant of Konno-Miyazawa-Taniguchi. For the computation, we develop an $O(2)$-equivariant…

In this note we prove that alternating chainmail links are L-space links. The proof is inspired by corresponding proofs for double branched covers of alternating links. We also more generally show that flat augmented chainmail links are…

We initiate the study of outer automorphism groups of special groups $G$, in the Haglund-Wise sense. We show that ${\rm Out}(G)$ is infinite if and only if $G$ splits over a co-abelian subgroup of a centraliser and there exists an…

We show that every action of a finitely generated group on a finite-rank median algebra admits a nonempty "convex core", even when no metric or topology is given. We then use this to deduce an analogue of the flat torus theorem for actions…