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.
Integral simplicial volume is a homotopy invariant of oriented closed connected manifolds, defined as the minimal weighted number of singular simplices needed to represent the fundamental class with integral coefficients. We show that odd-dimensional spheres are the only manifolds with integral simplicial volume equal to 1. Consequently, we obtain an elementary proof that, in general, the integral simplicial volume of (triangulated) manifolds is not computable.
Graph manifolds are manifolds that decompose along tori into pieces with a tame $S^1$-structure. In this paper, we prove that the simplicial volume of graph manifolds (which is known to be zero) can be approximated by integral simplicial volumes of their finite coverings. This gives a uniform proof of the vanishing of rank gradients, Betti number gradients and torsion homology gradients for graph manifolds.
We show that non-elliptic prime 3-manifolds satisfy integral approximation for the simplicial volume, i.e., that their simplicial volume equals the stable integral simplicial volume. The proof makes use of integral foliated simplicial volume and tools from ergodic theory.
Closed essential surfaces in a three-manifold can be detected by ideal points of the character variety or by algebraic non-integral representations. We give examples of closed essential surfaces not detected in either of these ways. For ideal points, we use Chesebro's module-theoretic interpretation of Culler-Shalen theory. As a corollary, we construct an infinite family of closed hyperbolic Haken 3-manifolds with no algebraic non-integral representations into PSL(2, C), resolving a question of Shanuel and Zhang.
The t-invariant can be considered as the Turaev-Viro invariant of order 5 computed for integer colors only. We compute all values of the t-invariant for Seifert manifolds with base sphere and three singular fibers. As a result we show that the manifolds parameters modulo five define the value of the t-invariant. Partially we show that there are 12 distinct values of the t-invariant for these manifolds. Some examples show that the t-invariant for these manifolds is not defined by the first homology group.
We establish a framework for extending invariants of sutured manifolds to invariants of pairs of sutured manifolds who differ by attaching a basic slice along a torus boundary component. In the particular case of (bordered-)sutured Floer homology we show that this recovers the bordered-sutured Floer homology of a corresponding bordered-sutured three-manifold - though the framework is broad enough that it should be applicable in the setting of other invariants of sutured manifolds.
We introduce a generalization of the Dijkgraaf-Witten invariants for cusped or compact oriented 3-manifolds. We show that the generalized DW invariants distinguish some pairs of cusped hyperbolic 3-manifolds with the same hyperbolic volumes and with the same Turaev-Viro invariants. We also present an example of a pair of cusped hyperbolic 3-manifolds with the same hyperbolic volumes and with the same homology groups, whereas with distinct generalized DW invariants.
I calculate optimistically asymptotic behaviors of the WRT SU(2) invariants for the three-manifolds obtained from the figure-eight knot by p-surgeries with p=0,1,2,...,10, from which one can extract volumes and the Chern-Simons invariants of these closed manifolds. I conjecture that this also holds for general closed three-manifolds.
Motivated by the Turaev-Viro invariant of 3-manifolds, we construct a formal topological invariant of closed, oriented 3-manifolds involving spherical tetrahedra as an application of the asymptotic formula of 6j symbols for the Quantum Enveloping Algebra of sl(2). This invariant can be considered as a spherical version of a formal invariant of Ponzano-Regge and Korepanov defined via Euclidean tetrahedra.
We construct an invariant of open four-manifolds using the Heegaard Floer theory of Ozsvath and Szabo. We show that there is a manifold X homeomorphic to R^4 for which the invariant is non-trivial, showing that X is an exotic R^4.
On a smooth closed oriented $4$-manifold $M$ with a smooth action of a finite group $G$ on a Spin$^c$ structure, $G$-monopole invariant is defined by "counting" $G$-invariant solutions of Seiberg-Witten equations for any $G$-invariant Riemannian metric on $M$. We compute $G$-monopole invariants on some $G$-manifolds. For example, the connected sum of $k$ copies of a 4-manifold with nontrivial mod 2 Seiberg-Witten invariant has nonzero $\Bbb Z_k$-monopole invariant mod 2, where the $\Bbb Z_k$-action is given by cyclic permutations of $k$ summands.
Generalized Donaldson invariants of 4-manifolds are defined, using moduli spaces of anti-self-dual connections with structure group SU(N) or PSU(N). Some values of the invariants are calculated for the case that the 4-manifold arises by the knot-complement construction of Fintushel and Stern. The results are consistent with predictions of Marino and Moore.
We extend Turaev's definition of torsion invariants of 3-dimensional manifolds equipped with non-singular vector fields, by allowing (suitable) tangency circles to the boundary, and manifolds with non-zero Euler characteristic. We show that these invariants apply in particular to (the exterior of) Legendrian links in contact 3-manifolds. Our approach uses a combinatorial encoding of vector fields, based on standard spines. In this paper we extend this encoding from closed manifolds to manifolds with boundary.
We show the existence of hyperbolic 4-manifolds with vanishing Seiberg-Witten invariants, addressing a conjecture of Claude LeBrun. This is achieved by showing, using results in geometric and arithmetic group theory, that certain hyperbolic 4-manifolds contain L-spaces as hypersurfaces.
In this paper, we exploit a subtle indeterminacy in the definition of the spherical Kervaire-Milnor invariant which was discovered by R. Stong to construct non-spin 4-manifolds with even intersection form and prescribed signature.
Integral foliated simplicial volume is a version of simplicial volume combining the rigidity of integral coefficients with the flexibility of measure spaces. In this article, using the language of measure equivalence of groups we prove a proportionality principle for integral foliated simplicial volume for aspherical manifolds and give refined upper bounds of integral foliated simplicial volume in terms of stable integral simplicial volume. This allows us to compute the integral foliated simplicial volume of hyperbolic 3-manifolds. This is complemented by the calculation of the integral foliat…
The based loop space homology of a special family of homogeneous spaces, flag manifolds of connected compact Lie groups is studied. First, the rational homology of the based loop space on a complete flag manifold is calculated together with its Pontrjagin structure. Second, it is shown that the integral homology of the based loop space on a flag manifold is torsion free. This results in a description of the integral homology. In addition, the integral Pontrjagin structure is determined.
This paper gives a summary of our approach to invariants of three manifolds via right integrals on finite dimensional Hopf algebras and their relation to the Kirby calculus.
We prove that the quantum SO(3)-invariant of an arbitrary 3-manifold $M$ is always an algebraic integer, if the order of the quantum parameter is co-prime with the order of the torsion part of $H_1(M,\BZ)$. An even stronger integrality, known as cyclotomic integrality, was established by Habiro for integral homology 3-spheres. Here we generalize Habiro's result to all rational homology 3-spheres.
We consider the relation between simplicial volume and two of its variants: the stable integral simplicial volume and the integral foliated simplicial volume. The definition of the latter depends on a choice of a measure preserving action of the fundamental group on a probability space. We show that integral foliated simplicial volume is monotone with respect to weak containment of measure preserving actions and yields upper bounds on (integral) homology growth. Using ergodic theory we prove that simplicial volume, integral foliated simplicial volume and stable integral simplicial volume coinc…
In this article, we show the existence of conjugations on many simply-connected spin 6-manifolds with free integral cohomology. In a certain class the only condition on X^6 to admit a conjugation with fixed point set M^3 is the obvious one: the existence of a degree-halving ring isomorphism between the Z_2-cohomologies of X and M.
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.
In this paper, it is explained that a topological invariant for 3-manifold $M$ with $b_1(M)=1$ can be constructed by applying Fukaya's Morse homotopy theoretic approach for Chern--Simons perturbation theory to a local system on $M$ of rational functions associated to the free abelian covering of $M$. Our invariant takes values in Garoufalidis--Rozansky's space of Jacobi diagrams whose edges are colored by rational functions. It is expected that our invariant gives a lot of nontrivial finite type invariants of 3-manifolds.
We develop a class of integrals on a manifold M called exponential iterated integrals, an extension of K. T. Chen's iterated integrals. It is shown that the matrix entries of any upper triangular representation of the fundamental group of M can be expressed via these new integrals. The ring of exponential iterated integrals contains the coordinate rings for a class of universal representations, called relative solvable completions, of the fundamental group. We consider exponential iterated integrals in the particular case of fibered knot complements, where the fundamental group always has a fa…
We propose a modification of the three-manifold invariant based on the use of Euclidean metric values ascribed to the elements of manifold triangulation. We thus obtain a nontrivial invariant that can, in particular, distinguish non-homeomorphic lens spaces.
A new quantum gauge model is proposed. From this quantum gauge model we derive a quantum invariant of 3-manifolds. We show that this quantum invariant of 3-manifolds gives a classification of closed (orientable and connected) 3-manifolds. From this classification we then prove the Poincaré conjecture.
If a real value invariant of compact combinatorial manifolds (with or without boundary) depends only on the number of simplices in each dimension on the manifold, then the invariant is completely determined by Euler characteristics of the manifold and its boundary. So essentially, Euler characteristic is the unique invariant of this type.
We calculate Perelman's invariant for compact complex surfaces and a few other smooth four-manifolds. We also prove some results concerning the dependence of Perelman's invariant on the smooth structure.
New estimates are derived concerning the behavior of self-dual hamonic 2-forms on a compact Riemannian 4-manifold with non-trivial Seiberg-Witten invariants. Applications include a vanishing theorem for certain Seiberg-Witten invariants on compact 4-manifolds of constant negative sectional curvature.
In this paper, we study polyhedral 3-manifolds with nonnegative curvature and integral monodromy, two conditions motivated by Thurston's work in arXiv:math/9801088. We classify the 32 isometry types of codimension 3 singularities in such manifolds. We also show that the number of these singularities is bounded.
The integrality of the Kontsevich integral and perturbative invariants is discussed. We show that the denominator of the degree $n$ part of the Kontsevich integral of any knot or link is a divisor of $(2!3!... n!)^4(n+1)!$. We also show that the denominator of of the degree $n$ part of the universal perturbative invariant of homology 3-spheres is not divisible by any prime greater than $2n+1$.
We introduce a cap product pairing for homology and cohomology of tropical cycles on integral affine manifolds with singularities. We show the pairing is perfect over $\mathbb{Q}$ in degree one when the manifold has at worst symple singularities. By joint work with Siebert, the pairing computes period integrals and its perfectness implies the versality of canonical Calabi-Yau degenerations. We also give an intersection theoretic application for Strominger-Yau-Zaslow fibrations. The treatment of the cap product and Poincaré-Lefschetz by simplicial methods for constructible sheaves might be of i…
Kashaev's invariants for a knot in a three sphere are generalized to invariants of a knot in a three manifold. A relation between the newly constructed invariants and the hyperbolic volume of the knot complement is observed for some knots in lens spaces.
We show that any compact Kahler manifold with integral Kahler form, parametrizes a natural holomorphic family of Cauchy-Riemann operators on the Riemann sphere such that the Quillen determinant line bundle of this family is isomorphic to a sufficiently high tensor power of the holomorphic line bundle determined by the integral Kahler form. We also establish a symplectic version of the result. We conjecture that an equivariant version of our result is true.
The Kuperberg invariant is a topological invariant of closed 3-manifolds based on finite-dimensional Hopf algebras. In this paper, we initiate the program of constructing 4-manifold invariants in the spirit of Kuperberg's 3-manifold invariant. We utilize a structure called a Hopf triplet, which consists of three Hopf algebras and a bilinear form on each pair subject to certain compatibility conditions. In our construction, we present 4-manifolds by their trisection diagrams, a four-dimensional analog of Heegaard diagrams. The main result is that every Hopf triplet yields a diffeomorphism invar…