No Arabic abstract
We prove that any diagram of the unknot with c crossings may be reduced to the trivial diagram using at most (236 c)^{11} Reidemeister moves. Moreover, every diagram in this sequence has at most (7 c)^2 crossings. We also prove a similar theorem for split links, which provides a polynomial upper bound on the number of Reidemeister moves required to transform a diagram of the link into a disconnected diagram.
We study the number of Reidemeister type III moves using Fox n-colorings of knot diagrams.
The dual to a tetrahedron consists of a single vertex at which four edges and six faces are incident. Along each edge, three faces converge. A 2-foam is a compact topological space such that each point has a neighborhood homeomorphic to a neighborhood of that complex. Knotted foams in 4-dimensional space are to knotted surfaces, as knotted trivalent graphs are to classical knots. The diagram of a knotted foam consists of a generic projection into 4-space with crossing information indicated via a broken surface. In this paper, a finite set of moves to foams are presented that are analogous to the Reidemeister-type moves for knotted graphs. These moves include the Roseman moves for knotted surfaces. Given a pair of diagrams of isotopic knotted foams there is a finite sequence of moves taken from this set that, when applied to one diagram sequentially, produces the other diagram.
We prove that the crossing changes, Delta moves, and sharp moves are unknotting operations on welded knots.
We study two sorts of actions on the space of conjugacy classes of irreducible $SU_2$-representations of a knot group. One of them is an involution which comes from the algebraic structure of $SU_2$ and the other is the action by the outer automorphism group of the knot group. In particular, we consider them on an 1-dimensional smooth part of the space, which is canonically oriented and metrized via a Reidemeister torsion volume form. As an application we show that the Reidemeister torsion function on the 1-dimensional subspace has symmetry about the metrization.
We study an invariant of a 3-manifold which consists of Reidemeister torsion for linear representations which pass through a finite group. We show a Dehn surgery formula on this invariant and compute that of a Seifert manifold over $S^2$. As a consequence we obtain a necessary condition for a result of Dehn surgery along a knot to be Seifert fibered, which can be applied even in a case where abelian Reidemeister torsion gives no information.