Abstract:
We prove that the knot invariant induced by a $\Bbb Z$-homology 3-sphere invariant of order $\leq k$ in Ohtsuki's sense, where $k\geq 4$, is of order $\leq k-2$. The method developed in our computation shows that there is no $\Bbb Z$-homology 3-sphere invariant of order 5. This result agrees with a conjecture of Rozansky based on physical predictions about the asymptotic behavior of Witten's Chern-Simons path integral.

Abstract:
In this paper, we establish the general theory of (2+1)-dimensional topological quantum field theory (in short, TQFT) with a Verlinde basis. It is a consequence that we have a Dehn surgery formula for 3-manifold invariants for this kind of TQFT's. We will show that Turaev-Viro-Ocneanu unitary TQFT's obtained from subfactors satisfy the axioms of TQFT's with Verlinde bases. Hence, in a Turaev-Viro-Ocneanu TQFT, we have a Dehn surgery formula for 3-manifolds. It turns out that this Dehn surgery formula is nothing but the formula of the Reshetikhin-Turaev invariant constructed from a tube system, which is a modular category corresponding to the quantum double construction of a C^*-tensor category. In the forthcoming paper, we will exbit computations of Turaev-Viro-Ocneanu invariants for several ``basic 3-manifolds ''. In Appendix, we discuss the relationship between the system of M_{infinity}-M_{infinity} bimodules arising from the asymptotic inclusion M V M^{op} subset M_{infinity} constructed from N subset M and the tube system obtained from a subfactor N subset M.

Abstract:
We show that the renormalized quantum invariants of links and graphs in the 3-sphere, derived from tensor categories in ["Modified quantum dimensions and re-normalized link invariants", arXiv:0711.4229] lead to modified 6j-symbols and to new state sum 3-manifold invariants. We give examples of categories such that the associated standard Turaev-Viro 3-manifold invariants vanish but the secondary invariants may be non-zero. The categories in these examples are pivotal categories which are neither ribbon nor semi-simple and have an infinite number of simple objects.

Abstract:
Let M = H^3 / \Gamma be a hyperbolic 3-manifold of finite volume. We show that if H and K are abelian subgroups of \Gamma and g is in \Gamma, then the double coset HgK is separable in \Gamma. As a consequence we prove that if M is a closed, orientable, Haken 3-manifold and the fundamental group of every hyperbolic piece of the torus decomposition of M is conjugacy separable then so is the fundamental group of M. Invoking recent work of Agol and Wise, it follows that if M is a compact, orientable 3-manifold then \pi_1(M) is conjugacy separable.

Abstract:
The invariants of 3-manifolds defined by Kuperberg for involutory Hopf algebras and those defined by the authors for spherical Hopf algebras are the same for Hopf algebras on which they are both defined.

Abstract:
We establish a 3-manifold invariant for each finite-dimensional, involutory Hopf algebra. If the Hopf algebra is the group algebra of a group $G$, the invariant counts homomorphisms from the fundamental group of the manifold to $G$. The invariant can be viewed as a state model on a Heegaard diagram or a triangulation of the manifold. The computation of the invariant involves tensor products and contractions of the structure tensors of the algebra. We show that every formal expression involving these tensors corresponds to a unique 3-manifold modulo a well-understood equivalence. This raises the possibility of an algorithm which can determine whether two given 3-manifolds are homeomorphic.

Abstract:
We show how the periodicity of a homology sphere is reflected in the Reshetikhin-Turaev-Witten invariants of the manifold. These yield a criterion for the periodicity of a homology sphere.

Abstract:
We prove that the SU(2) and SO(3) Witten-Reshetikhin-Turaev invariants of any 3-manifold with any colored link inside at any root of unity are algebraic integers.

Abstract:
Invariants for framed links in $S^3$ obtained from Chern-Simons gauge field theory based on an arbitrary gauge group (semi-simple) have been used to construct a three-manifold invariant. This is a generalization of a similar construction developed earlier for SU(2) Chern-Simons theory. The procedure exploits a theorem of Lickorish and Wallace and also those of Kirby, Fenn and Rourke which relate three-manifolds to surgeries on framed unoriented links. The invariant is an appropriate linear combination of framed link invariants which does not change under Kirby calculus. This combination does not see the relative orientation of the component knots. The invariant is related to the partition function of Chern-Simons theory. This thus provides an efficient method of evaluating the partition function for these field theories. As some examples, explicit computations of these manifold invariants for a few three-manifolds have been done.