几何拓扑

We compute the multivariate signatures of any Seifert link (that is a union of some fibers in a Seifert homology sphere), in particular, of the union of a torus link with one or both of its cores (cored torus link). The signatures of cored…

We prove that if a quasipositive link can be represented by an alternating diagram satisfying the condition that no pair of Seifert circles is connected by a single crossing, then the diagram is positive and the link is strongly…

We prove that the connected sum of two links is quasipositive if and onlyif each summand is quasipositive. The prove is based on the filling disk technique

We are motivated by the question that for which class of right-angled Artin groups (RAAG's), the quasi-isometry classification coincides with commensurability classification. This is previously known for RAAG's with finite outer…

In the present paper, we construct an invariant of braids in the real projective plane which corresponds to an ``action'' of braids on certain graphs in $\R{}P^{2}$ with labels. This paper is a sequel of papers \cite{M},\cite{KM}. It…

We prove that for any knot $K$, there exists a one-vertex triangulation of the $3$-sphere containing an edge forming $K$. The proof is constructive, and based on fully augmented links. We use our method to produce ``complicated'' simplicial…

In this paper, we define generalized braid theories in alignment with the language of Fenn and Bartholomew for knot theories, and compute a generating set for the pure generalized braid theories. Using this, we prove that every oriented…

In this self-contained book, following Edward Witten, Maxim Kontsevich, Greg Kuperberg and Dylan Thurston, we define an invariant Z of framed links in rational homology 3-spheres, and we study its properties. The invariant Z, which is often…

Let G be the fundamental group of a connected, closed, orientable 3-manifold. We explicitly compute its virtually cyclic geometric dimension. Among the tools we use are the prime and JSJ decompositions of M, several push-out type…

We describe a scheme for constructing generating sets for Kronheimer and Mrowka's singular instanton knot homology for the case of knots in lens spaces. The scheme involves Heegaard-splitting a lens space containing a knot into two solid…

We show that large classes of non-arithmetic hyperbolic $n$-manifolds, including the hybrids introduced by Gromov and Piatetski-Shapiro and many of their generalizations, have only finitely many finite-volume immersed totally geodesic…

Motivated by the question of whether braid groups are CAT(0), we investigate the CAT(0) behavior of fundamental groups of plane curve complements and certain universal families. If $C$ is the branch locus of a generic projection of a…

This is an English translation of the expository article written by the author in Japanese for publication in {\em Sugaku}. The author will explain Milnor invariants from the viewpoint of his research.

Morse functions are important objects and tools in understanding topologies of manifolds since the 20th century. Their classification has been natural and difficult problems, and surprisingly, this is recently developing. Since the 2010's,…

McReynolds showed that every compact Nil 3-manifold occurs as the cusp cross-section of some arithmetic complex hyperbolic 2-manifold. We classify which commensurability classes of cusped, arithmetic, complex hyperbolic 2-manifolds admit…

I investigated the capability of medial quandle, quandle whose operation satisfying that $(a_1*b_1)*(a_2*b_2)=(a_1*a_2)*(b_1*b_2)$, to detect causality in (2+1)-dimensional globally hyperbolic spacetime by determining if they can…

We show that the $q$-dilogarithm identities associated to the unidirectional $A_n$-quiver lift to the HOMFLYPT-skein algebra of a genus $n$ handlebody.

In the present paper, we consider two applications of the pentagon equation. The first deals with actions of flips on edges of triangulations labelled by rational functions in some variables. The second can be formulated as a system of…

We study two classical representations of Artin's braid group and their modulo $p$ reductions. We use topological methods to show that the Gassner representation $\tau_n: B_n\to\text{GL}_n(\mathbb{Z}[t_1^{\pm 1}, \ldots, t_n^{\pm 1}])$ is…

Many structures in science, engineering, and art can be viewed as curves in 3-space. The entanglement of these curves plays a crucial role in determining the functionality and physical properties of materials. Many concepts in knot theory…