It is a well-known procedure for constructing a torus knot or link that first we prepare an unknotted torus and meridian disks in its complementary solid tori, and second we smooth the intersections of the boundaries of the meridian disks uniformly. Then we obtain a torus knot or link on the unknotted torus and its Seifert surface made of meridian disks. In the present paper, we generalize this procedure by using a closed fake surface and show that the two resulting surfaces obtained by smoothing triple points uniformly are essential. We also show that a knot obtained by this procedure satisfies the Neuwirth conjecture and that the distance of two boundary slopes for the knot is equal to the number of triple points of the closed fake surface.

We present the results of computer experiments suggesting that the probability that a random multiword in a free group is virtually geometric decays to zero exponentially quickly in the length of the multiword. We also prove this fact.

This paper is devoted to determine the connectedness of the branch loci of the moduli space of non-orientable unbordered Klein surfaces. We obtain a result similar to Nielsen's in order to determine topological conjugacy of automorphisms of prime order on such surfaces. Using this result we prove that the branch locus is connected for surfaces of topological genus 4 and 5.

We apply the methods of Heegaard Floer homology to identify topological properties of complex curves in $\mathbb{C}P^{2}$. As one application, we resolve an open conjecture that constrains the Alexander polynomial of the link of the singular point of the curve in the case that there is exactly one singular point, having connected link, and the curve is of genus zero. Generalizations apply in the case of multiple singular points.

We prove that if $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}S$ is a properly embedded $\pi _1$-injective surface in a compact 3-manifold $M$, then $\pi _1S$ is separable in $\pi _1M$.

This paper contains some applications of the description of knot diagrams by genus, and Gabai’s methods of disk decomposition. We show that there exists no genus one knot of canonical genus 2, and that canonical genus 2 fiber surfaces realize almost every Alexander polynomial only finitely many times (partially confirming a conjecture of Neuwirth).

Let $M$ be a complete hyperbolic 3-manifold homotopy equivalent to a compact surface $\Sigma $. Let $\Phi $ be a proper subsurface of $\Sigma $, whose boundary is sufficiently short in $M$. We show that the union of all Margulis tubes and cusps homotopic into $\Phi $ lifts to a uniformly quasiconvex subset of hyperbolic 3-space.

In this work, we describe a method to construct the generic braid monodromy of the preimage of a curve by a Kummer cover. This method is interesting since it combines two techniques, namely, the construction of a highly non-generic braid monodromy and a systematic method to go from a non-generic to a generic braid monodromy. The latter process, called generification, is independent from Kummer covers, and it can be applied in more general circumstances since non-generic braid monodromies appear more naturally and are oftentimes much easier to compute. Explicit examples are computed using these techniques.

We study lens space surgeries along two different families of 2-component links, denoted by ${A}_{m, n} $ and ${B}_{p, q} $, related with the rational homology $4$-ball used in J. Park’s (generalized) rational blow down. We determine which coefficient $r$ of the knotted component of the link yields a lens space by Dehn surgery. The link ${A}_{m, n} $ yields a lens space only by the known surgery with $r= mn$ and unexpectedly with $r= 7$ for $(m, n)= (2, 3)$. On the other hand, ${B}_{p, q} $ yields a lens space by infinitely many $r$. Our main tool for the proof are the Reidemeister-Turaev torsions, that is, Reidemeister torsions with combinatorial Euler structures. Our results can be extended to the links whose Alexander polynomials are same as those of ${A}_{m, n} $ and ${B}_{p, q} $.

We compute the rings ${H}^{\ast } (N; { \mathbb{F} }_{2} )$ for $N$ a closed $ \mathbb{S} {\mathrm{ol} }^{3} $-manifold, and then determine the Borsuk–Ulam indices $\text{BU} (N, \phi )$ with $\phi \not = 0$ in ${H}^{1} (N; { \mathbb{F} }_{2} )$.

Let $G$ be a simple algebraic group. Labelled trivalent graphs called webs can be used to produce invariants in tensor products of minuscule representations. For each web, we construct a configuration space of points in the affine Grassmannian. Via the geometric Satake correspondence, we relate these configuration spaces to the invariant vectors coming from webs. In the case of $G= \mathrm{SL} (3)$, non-elliptic webs yield a basis for the invariant spaces. The non-elliptic condition, which is equivalent to the condition that the dual diskoid of the web is $\mathrm{CAT} (0)$, is explained by the fact that affine buildings are $\mathrm{CAT} (0)$.

This paper establishes a version of the Chebotarev density theorem in which number fields are replaced by 3-manifolds.

An unknotting tunnel in a 3-manifold with boundary is a properly embedded arc, the complement of an open neighborhood of which is a handlebody. A geodesic with endpoints on the cusp boundary of a hyperbolic 3-manifold and perpendicular to the cusp boundary is called a vertical geodesic. Given a vertical geodesic $\alpha $ in a hyperbolic 3-manifold $M$, we find sufficient conditions for it to be an unknotting tunnel. In particular, if $\alpha $ corresponds to a 4-bracelet, 5-bracelet or 6-bracelet in the universal cover and has short enough length, it must be an unknotting tunnel. Furthermore, we consider a vertical geodesic $\alpha $ that satisfies the elder sibling property, which means that in the universal cover, every horoball except the one centered at $\infty $ is connected to a larger horoball by a lift of $\alpha $. Such an $\alpha $ with length less than $\ln (2)$ is then shown to be an unknotting tunnel.

This paper discusses a flaw in Murasugi–Przytycki’s Memoir ‘An index of a graph with applications to knot theory’ [Mem. Amer. Math. Soc. 106 (1993)]. We point out and partly fix a gap occurring in the proof of Murasugi–Przytycki’s braid index inequalities involving the graph index. We explain why their notion of index fails to precisely reflect the reduction of Seifert circles by their diagram move, and redefine the index to account for that discrepancy.

Khovanov homology, an invariant of links in ${ \mathbb{R} }^{3} $, is a graded homology theory that categorifies the Jones polynomial in the sense that the graded Euler characteristic of the homology is the Jones polynomial. Asaeda et al. [‘Categorification of the Kauffman bracket skein module of $I$-bundles over surfaces’, Algebr. Geom. Topol. 4 (2004), 1177–1210] generalised this construction by defining a double graded homology theory that categorifies the Kauffman bracket skein module of links in $I$-bundles over surfaces, except for the surface $ \mathbb{R} {\mathrm{P} }^{2} $, where the construction fails due to strange behaviour of links when projected to the nonorientable surface $ \mathbb{R} {\mathrm{P} }^{2} $. This paper categorifies the missing case of the twisted $I$-bundle over $ \mathbb{R} {\mathrm{P} }^{2} $, $ \mathbb{R} {\mathrm{P} }^{2} \widetilde {\times } I\approx \mathbb{R} {\mathrm{P} }^{3} \setminus \{ \ast \} $, by redefining the differential in the Khovanov chain complex in a suitable manner.

We study a canonical spanning surface obtained from a knot or link diagram, depending on a given Kauffman state. We give a sufficient condition for the surface to be essential. By using the essential surface, we can deduce the triviality and splittability of a knot or link from its diagrams. This has been done on the extended knot or link class that includes all semiadequate, homogeneous knots and links, and most algebraic knots and links. In order to prove the main theorem, we extend Gabai’s Murasugi sum theorem to the case of nonorientable spanning surfaces.

We consider orientable closed connected 3-manifolds obtained by performing Dehn surgery on the components of some classical links such as Borromean rings and twisted Whitehead links. We find geometric presentations of their fundamental groups and describe many of them as 2-fold branched coverings of the 3-sphere. Finally, we obtain some topological applications on the manifolds given by exceptional surgeries on hyperbolic 2-bridge knots.

Given a diagram D of a knot K, we give easily computable bounds for Rasmussen’s concordance invariant s(K). The bounds are not independent of the diagram D chosen, but we show that for diagrams satisfying a given condition the bounds are tight. As a corollary we improve on previously known Bennequin-type bounds on the slice genus.

Garoufalidis and Levine introduced the homology cobordism group of homology cylinders over a surface. This group can be regarded as an enlargement of the mapping class group. Using torsion invariants, we show that the abelianization of this group is infinitely generated provided that the first Betti number of the surface is positive. In particular, this shows that the group is not perfect. This answers questions of Garoufalidis and Levine, and Goda and Sakasai. Furthermore, we show that the abelianization of the group has infinite rank for the case that the surface has more than one boundary component. These results also hold for the homology cylinder analogue of the Torelli group.

Clark et al. [‘The axiomatizability of topological prevarieties’, Adv. Math.218 (2008), 1604–1653] have shown that, for k≥2, there exists a Boolean topological graph that is k-colourable but not topologically k-colourable; that is, for every ϵ>0, it cannot be coloured by a paintbrush of width ϵ. We generalize this result to show that, for k≥2, there is a Boolean topological graph that is 2-colourable but not topologically k-colourable. This graph is an inverse limit of finite graphs which are shown to exist by an Erdős-style probabilistic argument of Hell and Nešetřil [‘The core of a graph’, Discrete Math.109 (1992), 117–126]. We use the fact that there exists a Boolean topological graph that is 2-colourable but not k-colourable, and some other results (some new and some previously known), to answer the question of which finitely generated topological residual classes of graphs are axiomatizable by universal Horn sentences. A more general version of this question was raised in the above-mentioned paper by Clark et al., and has been investigated by various authors for other structures.