Finite type invariants of 3-manifolds

This note is a sequel to our earlier paper of the same title [dg-ga/9710001] and describes invariants of rational homology 3-spheres associated to acyclic orthogonal local systems. Our work is in the spirit of the Axelrod-Singer papers, generalizes some of their results, and furnishes a new setting for the purely topological implications of their work.

Using elementary counting methods of weight systems for finite type invariants of knots and integral homology 3-spheres, in the spirit of [B-NG], we answer positively three questions raised in [Ga]. In particular, we exhibit a one-to-one map from the space of finite type invariants of integral homology 3-spheres to the space of finite type invariants of knots in $S^3$.

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 ex...

This is a revised version (replacing an older one) with typos fixed and the introduction expanded.

Quantum topology provides various frameworks for defining and computing invariants of manifolds. One such framework of substantial interest in both mathematics and physics is the Turaev-Viro-Barrett-Westbury state sum construction, which uses the data of a spherical fusion category to define topological invariants of triangulated 3-manifolds via tensor network contractions. In this work we consider a restricted class of state sum invariants of 3-manifolds derived from Tambara...

A clover is a framed trivalent graph with some additional structure, embedded in a 3-manifold. We define surgery on clovers, generalizing surgery on Y-graphs used earlier by the second author to define a new theory of finite-type invariants of 3--manifolds. We give a systematic exposition of a topological calculus of clovers and use it to deduce some important results about the corresponding theory of finite type invariants. In particular, we give a description of the weight ...

Removed because of inappropriateness for e-print archives.

We introduce new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed via surgery on manifolds of the form $F \times I$ where $I$ denotes the unit interval. Since virtual knots and links are represented as links in such thickened surfaces, we are able also to construct invariants in terms of virtual link diagrams (planar diagrams with virtual crossings). ...

We define an invariant $\nabla_G(M)$ of pairs M,G, where M is a 3-manifold obtained by surgery on some framed link in the cylinder $S\times I$, S is a connected surface with at least one boundary component, and G is a fatgraph spine of S. In effect, $\nabla_G$ is the composition with the $\iota_n$ maps of Le-Murakami-Ohtsuki of the link invariant of Andersen-Mattes-Reshetikhin computed relative to choices determined by the fatgraph G; this provides a basic connection between ...

A new class of 3-manifold invariants is constructed from representations of the category of framed tangles.