
Let K be a nontrivial knot in the 3sphere with the exterior E(K), and u in
G(K), the fundamental group of E(K), a slope element represented by an
essential simple closed curve on the boundary of E(K). Since the normal closure
of u in G(K) coincides with that of the inverse of u, and u and its inverse u
correspond to a slope r, a rational number or 1/0, we write << r >> = << u >>.
The normal closure << u >> describes elements which are trivialized by rDehn
filling of E(K). In this article, we prove that << r_1 >> =<< r_2 >> if and
only if r_1 = r_2, and for a given finite family of slopes S = {r_1, ..., r_n},
the intersection of << r_1 >> , << r_2>>, ..., and << r_n >> contains
infinitely many elements except when K is a (p, q)torus knot and pq belongs to
S. We also investigate inclusion relation among normal closures of slope
elements.

We study chirally cosmetic surgeries, that is, a pair of Dehn surgeries on a
knot producing homeomorphic 3manifolds with opposite orientations. Several
constraints on knots and surgery slopes to admit such surgeries are given. Our
main ingredients are the original and the $SL(2,\mathbb{C})$ version of Casson
invariants. As applications, we give a complete classification of chirally
cosmetic surgeries on alternating knots of genus one.

We introduce a notion of "quasirightveering" for closed braids, which plays
an analogous role to "rightveering" for open books. We show that a transverse
link $K$ in a contact 3manifold $(M,\xi)$ is nonloose if and only if every
braid representative of $K$ with respect to every open book decomposition that
supports $(M,\xi)$ is quasirightveering. We also show that several
definitions of "rightveering" closed braids are equivalent.

For a nullhomologous transverse link $\mathcal T$ in a general contact
manifold with an open book, we explore strongly quasipositive braids and
Bennequin surfaces. We define the defect $\delta(\mathcal T)$ of the
BennequinEliashberg inequality.
We study relations between $\delta(\mathcal T)$ and minimal genus Bennequin
surfaces of $\mathcal T$. In particular, in the disk open book case, under some
large fractional Dehn twist coefficient assumption, we show that
$\delta(\mathcal T)=N$ if and only if $\mathcal T$ is the boundary of a
Bennequin surface with exactly $N$ negatively twisted bands. That is, the
Bennequin inequality is sharp if and only if it is the closure of a strongly
quasipositive braid.

We study Question 7.9 in the paper "Monoids in the mapping class group" by
Etnyre and Van HornMorris; whether a symmetric mapping class admitting a
positive factorization is a lift of a quasipositive braid. We answer
affirmatively for mapping classes satisfying certain cyclic conditions.

We use the LMO invariant to find constraints for a knot to admit a purely or
reflectively cosmetic surgery. We also get a constraint for knots to admit a
Lens space surgery, and some information for characterizing slopes.

Generalizing Howie and Greene's characterization of alternating knots, we
give a topological characterization of almost alternating knots.

We show that if the fundamental group of the complement of a rationally
homologically fibered knot in a rational homology 3sphere is biorderable,
then its Alexander polynomial has at least one positive real root. Our argument
can be applied for a finitely generated group which is an HNN extension with
certain properties.

We answer Question 6.12 in the paper "Monoids in the mapping class group"
written by Etnyre and Van HornMorris.

We give a formula of 3dimensional invariant for a cyclic contact branched
covering of the standard contact S^{3}.

We prove a generalization of the JonesKawamuro conjecture that relates the
selflinking number and the braid index of closed braids, for planar open books
with certain additional conditions and modifications. We show that our result
is optimal in some sense by giving several counter examples for naive
generalizations of the JonesKawamuro conjecture.

We study a coverings of open books and virtually overtwisted contact
manifolds using open book foliations. We show that open book coverings produces
interesting examples such as transverse knots with depth grater than 1. We also
demonstrate explicit examples of virtually overtwisted open books.

We introduce an essential open book foliation, a refinement of the open book
foliation, and develop technical estimates of the fractional Dehn twist
coefficient (FDTC) of monodromies and the FDTC for closed braids, which we
introduce as well.
As applications, we quantitatively study the `gap' of overtwisted contact
structures and a nonrightveering monodromies. We give sufficient conditions
for a 3manifold to be irreducible and atoroidal. We also show that the
geometries of a 3manifold and the complement of a closed braid are determined
by the NielsenThurston types of the monodromies of their open book
decompositions.

A result of Malyutin shows that a random walk on the mapping class group
gives rise to an element whose fractional Dehn twist coefficient is large or
small enough. We show that this leads to several properties of random
3manifolds and links. For example, random closed braids and open books are
hyperbolic.

We give a formula of the colored Alexander invariant in terms of the
homological representation of the braid groups which we call truncated
Lawrence's representation. This formula generalizes the famous Burau
representation formula of the Alexander polynomial.

Using open book foliations we show that an overtwisted disc in a planar open
book can be put in a topologically nice position. As a corollary, we prove that
a planar open book whose fractional Dehn twist coefficients grater than one for
all the boundary components supports a tight contact structure.

We study surface links whose link groups are free abelian, and construct
various stimulating and highly nontrivial examples of such surface links.

We give a topological formula of the loop expansion of the colored Jones
polynomials by using identification of generic quantum sl2 representation with
homological representations. This gives a direct topological proof of the
MelvinMortonRozansky conjecture, and a connection between entropy of braids
and quantum representations.

We give a lower estimate of the framing function of knots, and prove a
strengthened version of Dehn's lemma conjectured by GreeneWiest.

We review a braid theoretic selflinking number formula and study its
applications.

We classify an action of the $n$strand braid group on the free group of rank
$n$ which is similar to the Artin representation in the sense that the $i$th
generator $\sigma_{i}$ of $B_{n}$ acts so that it fixes all free generators
$x_{j}$ except $j = i,i+1$. We determine all such representations and discuss
knot invariants coming from such representations.

We develop a theory of curve diagrams for Artin groups of type B. We define
the winding number labeling and the wall crossing labeling of curve diagrams,
and show that these labelings detect the classical and the dual Garside length,
respectively. A remarkable point is that our argument does not require Garside
theory machinery like normal forms, and is more geometric in nature.

We show that an amalgamated free product $G*_{A}H$ admits a discrete isolated
ordering, under some assumptions of $G,H$ and $A$. This generalizes the
author's previous construction of isolated orderings, and unlike known
constructions of isolated orderings, can produce an isolated ordering with many
nontrivial proper convex subgroups.

We show that a nontrivial, noncentral normal subgroup of the braid groups
contains a braid whose closure is a hyperbolic knot with arbitrary large genus.
This shows that nonfaithfulness of a quantum representation implies that the
corresponding quantum invariant fails to detect the unknot. The proof utilizes
the Dehornoy ordering of the braid groups.

We establish relations between both the classical and the dual Garside
structures of the braid group and the Burau representation. Using the classical
structure, we formulate a nonvanishing criterion for the Burau representation
of the 4strand braid group. In the dual context, it is shown that the Burau
representation for arbitrary braid index is injective when restricted to the
set of \emph{simplynested braids}.