Related papers: Finite type invariants III: manifold weight system…

Cubic complexes appear in the theory of finite type invariants so often that one can ascribe them to basic notions of the theory. In this paper we begin the exposition of finite type invariants from the `cubic' point of view. Finite type…

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…

An essential goal in the study of finite type invariants of some objects (knots, manifolds) is the construction of a universal finite type invariant, universal in the sense that it contains all finite type invariants of the given objects.…

We attempt to define a new invariant I of (almost) Calabi-Yau 3-folds M, by counting special Lagrangian rational homology 3-spheres N in M in each 3-homology class, with a certain weight w(N) depending on the topology of N. This is…

We give a new definition of a universal finite type invariant of three-dimensional oriented rational homology spheres which counts configurations of trivalent graphs in such manifolds. Kontsevich introduced this invariant following Witten's…

The invariant classification of superintegrable systems is reviewed and utilized to construct singular limits between the systems. It is shown, by construction, that all superintegrable systems on conformally flat, 3D complex Riemannian…

In this paper we develop the theory of finite-type invariants for homologically nontrivial 3-manifolds. We construct an infinite-dimensional affine space with a hypersurface in it corresponding to manifolds with Morse singularities.…

We construct power series invariants of rational homology 3-spheres from quantum PSU(n)-invariants. The power series can be regarded as perturbative invariants corresponding to the contribution of the trivial connection in the hypothetical…

This paper compares the definitions of finite-type invariants due to Ohtsuki and to Garoufalidis, showing that, residually, type 3m of the former equals type m of the latter. It also shows that type 2m Ohtsuki invariants define knot…

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…

We consider the rational vector space generated by all rational homology spheres up to orientation-preserving homeomorphism, and the filtration defined on this space by Lagrangian-preserving rational homology handlebody replacements. We…

We define a notion of finite type invariants for links with a fixed linking matrix. We show that Milnor's triple link homotopy invariant is a finite type invariant, of type 1, in this sense. We also generalize the approach to Milnor's…

In this paper we prove a tertiary index theorem which relates a spectral geometric and a homotopy theoretic invariant of an almost complex manifold with framed boundary. It is derived from the index theoretic and homotopy theoretic versions…

For every rational homology 3-sphere with 2-torsion only we construct a unified invariant (which takes values in a certain cyclotomic completion of a polynomial ring), such that the evaluation of this invariant at any odd root of unity…

This is a survey of our recent work with Tom Mrowka on Seiberg-Witten gauge theory and index theory for manifolds with periodic ends. We explain how this work leads to a new invariant, which is related to the classical Rohlin invariant of…

We construct a hyperbolic three-manifold with trivial finite type invariants up to a given degree.

We construct Bott-type and equivariant Seiberg-Witten Floer homology and cohomology for 3-manifolds, in particular rational homology spheres, and prove their diffeomorphism invariance. This paper is a revised version of math.DG/9701010.…

For smooth embeddings of an integral homology 3-sphere in the 6-sphere, we define an integer invariant in terms of their Seifert surfaces. Our invariant gives a bijection between the set of smooth isotopy classes of such embeddings and the…

We study the classifying space B Diff(M) of the diffeomorphism group of a connected, compact, orientable 3-manifold M. In the case that M is reducible we build a contractible space parametrising the systems of reducing spheres. We use this…

A new diffeomorphism invariant of integral homology 3-spheres is defined using a non-abelian 'quaternionic' version of the Seiberg-Witten equations.