On Kontsevich's characteristic classes for smooth 5- and 7-dimensional homology sphere bundles
Tadayuki Watanabe
备注：
31 pages, 9 figures, Corollary 4.4, 4.5 and detailed proof for Proposition 4.15 are added. Many typos are corrected. Proof of the IHX relation is removed because of an error
M. Kontsevich constructed universal characteristic classes of smooth bundles with fiber a framed odd-dimensional integral homology sphere. In dimension 3, they are known to give a universal finite type invariants of homology 3-spheres. However, they have not been well understood for higher fiber dimensions. The purpose of the present paper is twofold. First, we obtain a bordism invariant of smooth unframed bundles with fiber a 5-dimensional homology sphere, which is defined as a sum of the simplest Kontsevich class and the second signature defect. It may be in some sense a higher dimensional analogue of the Casson invariant. Second, we construct a family of M-bundles. By evaluating on those M-bundles, we show that Kontsevich's universal characteristic classes are highly non-trivial in the case of fiber dimension 7. As a corollary, new estimates for unstable rational homotopy groups of Diff(D^7,\partial D^7) are obtained.
M. Kontsevich proposed a topological construction for an invariant Z of rational homology 3-spheres using configuration space integrals. G. Kuperberg and D. Thurston proved that Z is a universal real finite type invariant for integral homology spheres in the sense of Ohtsuki, Habiro and Goussarov. We review the Kontsevich-Kuperberg-Thurston construction and we provide detailed and elementary proofs for the invariance of Z. This article is the preliminary part of a work that aims to prove splitting formulae for this powerful invariant of rational homology spheres. It contains the needed backgro…
M. Kontsevich proposed a topological construction for an invariant Z of rational homology 3-spheres using configuration space integrals. G. Kuperberg and D. Thurston proved that Z is a universal real finite type invariant for integral homology spheres in the sense of Ohtsuki, Habiro and Goussarov. We discuss the behaviour of Z under rational homology handlebodies replacements. The explicit formulae that we present generalize a sum formula obtained by the author for the Casson-Walker invariant in 1994. They allow us to identify the degree one term of Z with the Walker invariant for rational hom…
In this paper we will prove a super-analogue of a well-known result by Kontsevich which states that the homology of a certain complex which is generated by isomorphism classes of oriented graphs can be calculated as the Lie algebra homology of an infinite-dimensional Lie algebra of symplectic vector fields.
Fatgraphs are multigraphs enriched with a cyclic order of the edges incident to a vertex. This paper presents algorithms to: (1) generate the set of all fatgraphs having a given genus and number of boundary cycles; (2) compute automorphisms of any given fatgraph; (3) compute the homology of the fatgraph complex. The algorithms are suitable for effective computer implementation. In particular, this allows us to compute the rational homology of the moduli space of Riemann surfaces with marked points. We thus compute the Betti numbers of $M_{g,n}$ with $(2g + n) \leq 6$, corroborating known resul…
We define an invariant of rational homology 3-spheres via vector fields. The construction of our invariant is a generalization of both that of the Kontsevich-Kuperberg-Thurston invariant and that of Watanabe's Morse homotopy invariant, which implies the equivalence of these two invariants.
In the present note we describe geometrically the homology classes in the total space of a surface bundle over a surface in terms of the holonomy map. We treat the cases where the base surface is closed or has one boundary component. We replace the wrong theorem of the previous version by some observations on the homology of surface bundles and explain why our previous strategy failed.
This paper introduces a homology theory for links in I-bundles over an orientable surface. The theory is unique in that the elements of the chain groups are surfaces instead of diagrams. It is then shown this theory yields the same results as the homology theory constructed by Asaeda, Przytycki and Sikora.
Given a torus bundle $Y$ over the circle and a cohomology class $[ω]\in H^2(Y;\mathbb{Z})$ which evaluates nontrivially on the fiber, we compute the Heegaard Floer homology of $Y$ with twisted coefficients in the universal Novikov ring.
Let $M$ be a once-punctured torus bundle over $S^1$ with monodromy $h$. We show that, under certain hypotheses on $h$, "most" Dehn-fillings of $M$ (in some cases all but finitely many) are virtually $\mathbb{Z}$-representable. We apply our results to show that surgeries on the figure-eight knot with even numerator are virtually $\mathbb{Z}$-representable.
In a previous article, we constructed an invariant Z for null-homologous knots in rational homology spheres, from equivariant intersections in configuration spaces. Here we present an equivalent definition of Z in terms of configuration space integrals, we prove that Z is multiplicative under connected sum, and we prove null Lagrangian-preserving surgery formulae for Z. Our formulae generalize similar formulae that are satisfied by the Kricker rational lift of the Kontsevich integral for null Borromean surgeries. They imply that Z is universal with respect to a natural filtration. According to…
We introduce an algebra bundle of chord diagrams over the configuration space of N points in the complex plane on which we put the Knizhnik-Zamolodchikov connection. For that particular connection, the holonomy along a loop in the base is shown to be generating the Kontsevich integral for that loop's associated braid.
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$.
In the setting of finite type invariants for null-homologous knots in rational homology 3-spheres with respect to null Lagrangian-preserving surgeries, there are two candidates to be universal invariants, defined respectively by Kricker and Lescop. In a previous paper, the second author defined maps between spaces of Jacobi diagrams. Injectivity for these maps would imply that Kricker and Lescop invariants are indeed universal invariants; this would prove in particular that these two invariants are equivalent. In the present paper, we investigate the injectivity status of these maps for degree…
We study a theory of finite type invariants for null-homologous knots in rational homology 3-spheres with respect to null Lagrangian-preserving surgeries. It is an analogue in the setting of the rational homology of the Goussarov-Rozansky theory for knots in integral homology 3-spheres. We give a partial combinatorial description of the graded space associated with our theory and determine some cases when this description is complete. For null-homologous knots in rational homology 3-spheres with a trivial Alexander polynomial, we show that the Kricker lift of the Kontsevich integral and the Le…
For rational homology 3-spheres, there exist two universal finite-type invariants: the Le-Murakami-Ohtsuki invariant and the Kontsevich-Kuperberg-Thurston invariant. These invariants take values in the same space of "Jacobi diagrams", but it is not known whether they are equal. In 2004, Lescop proved that the KKT invariant satisfies some "splitting formulas" which relate the variations of KKT under replacement of embedded rational homology handlebodies by others in a "Lagrangian-preserving" way. We show that the LMO invariant satisfies exactly the same relations. The proof is based on the LMO …
In two seminal papers Kontsevich used a construction called_graph homology_ as a bridge between certain infinite dimensional Lie algebras and various topological objects, including moduli spaces of curves, the group of outer automorphisms of a free group, and invariants of odd dimensional manifolds. In this paper, we show that Kontsevich's graph complexes, which include graph complexes studied earlier by Culler and Vogtmann and by Penner, have a rich algebraic structure. We define a Lie bracket and cobracket on graph complexes, and in fact show that they are Batalin-Vilkovisky algebras, and th…
Given a flexible $n$-gon with generic side lengths, the moduli space of its configurations in $\mathbb{R}^2$ as well as in $\mathbb{R}^3$ is a smooth manifold. It is equipped with $n$ \textit{tautological} line bundles whose definition is motivated by M. Kontsevich's tautological bundles over $\mathcal{M}_{0,n}$. We study their Euler classes, first Chern classes and intersection numbers, that is, top monomials in Chern (Euler) classes. The latter are interpreted geometrically as the signed numbers of some \textit{triangular configurations} of the flexible polygon.
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 Witten's integral. This generalizes a result of Ohtsuki (the $n=2$ case) which led him to the definition of finite type invariants of 3-manifolds. The proof utilizes some symmetry properties of quantum invariants (of links) derived from the theory of affine Lie algebras and the theory of the Kontsevich integral.
To each connected component in the space of semisimple representations from the orbifold fundamental group of the base orbifold of a Seifert fibered homology 3-sphere into the Lie group U(2,1), we associate a real number called the "orbifold Toledo invariant." For each such orbifold, there exists an elliptic surface over it, called a Dolgachev surface. Using the theory of Higgs bundles on these Dolgachev surfaces, we explicitly compute all values taken on by the orbifold Toledo invariant.
We prove a "splicing formula" for the LMO invariant, which is the universal finite-type invariant of rational homology $3$-spheres. Specifically, if a rational homology $3$-sphere $M$ is obtained by gluing the exteriors of two framed knots $K_1 \subset M_1$ and $K_2\subset M_2$ in rational homology $3$-spheres, our formula expresses the LMO invariant of $M$ in terms of the Kontsevich-LMO invariants of $(M_1,K_1)$ and $(M_2,K_2)$. The proof uses the techniques that Bar-Natan and Lawrence developed to obtain a rational surgery formula for the LMO invariant. In low degrees, we recover Fujita's fo…
The decorated hypercube found in the construction of Khovanov homology for links is an example of a Boolean lattice equipped with a presheaf of modules. One can place this in a wider setting as an example of a coloured poset, that is to say a poset with a unique maximal element equipped with a presheaf of modules. In this paper we initiate the study of a bundle theory for coloured posets, producing for a certain class of base posets a Leray-Serre type spectral sequence. We then show how this theory finds application in Khovanov homology by producing a new spectral sequence converging to the Kh…
We summarize recent work on a combinatorial knot invariant called knot contact homology. We also discuss the origins of this invariant in symplectic topology, via holomorphic curves and a conormal bundle naturally associated to the knot.
We study the topology of a space parametrizing stable tropical curves of genus g with volume 1, showing that its reduced rational homology is canonically identified with both the top weight cohomology of M_g and also with the genus g part of the homology of Kontsevich's graph complex. Using a theorem of Willwacher relating this graph complex to the Grothendieck-Teichmueller Lie algebra, we deduce that H^{4g-6}(M_g;Q) is nonzero for g=3, g=5, and g at least 7. This disproves a recent conjecture of Church, Farb, and Putman as well as an older, more general conjecture of Kontsevich. We also give …
The papers math.QA/0403527 and math.QA/0409414 v.1 are now merged together. The final version is available at math.QA/0409414 v.2. To avoid duplication of papers, math.QA/0403527 is now removed.
We first present three graphic surgery formulae for the degree $n$ part $Z_n$ of the Kontsevich-Kuperberg-Thurston universal finite type invariant of rational homology spheres. Each of these three formulae determines an alternate sum of the form $$\sum_{I \subset N} (-1)^{\sharp I}Z_n(M_I)$$ where $N$ is the set of components of a framed algebraically split link $L$ in a rational homology sphere $M$, and $M_I$ denotes the manifold resulting from the Dehn surgeries on the components of $I$. The first formula treats the case when $L$ is a boundary link with $n$ components, while the second one i…
We prove that group homology of the diffeomorphism group of $\#^g S^n \times S^n$ as a discrete group is independent of $g$ in a range, provided that $n>2$. This answers the high dimensional version of a question posed by Morita about surface diffeomorphism groups made discrete. The stable homology is isomorphic to the homology of a certain infinite loop space related to the Haefliger's classifying space of foliations. One geometric consequence of this description of the stable homology is a splitting theorem that implies certain classes called generalized Mumford-Morita-Miller classes can be …
We study the topology of exact and Stein fillings of the canonical contact structure on the unit cotangent bundle of a closed surface $Σ_g$, where $g$ is at least 2. In particular, we prove a uniqueness theorem asserting that any Stein filling must be s-cobordant rel boundary to the disk cotangent bundle of $Σ_g$. For exact fillings, we show that the rational homology agrees with that of the disk cotangent bundle, and that the integral homology takes on finitely many possible values: for example, if $g-1$ is square-free, then any exact filling has the same integral homology and intersection fo…
Khovanov defined graded homology groups for links L in R^3 and showed that their polynomial Euler characteristic is the Jones polynomial of L. Khovanov's construction does not extend in a straightforward way to links in I-bundles M over surfaces F not D^2 (except for the homology with Z/2 coefficients only). Hence, the goal of this paper is to provide a nontrivial generalization of his method leading to homology invariants of links in M with arbitrary rings of coefficients. After proving the invariance of our homology groups under Reidemeister moves, we show that the polynomial Euler character…
We study the hairy graph homology of a cyclic operad; in particular we show how to assemble corresponding hairy graph cohomology classes to form cocycles for ordinary graph homology, as defined by Kontsevich. We identify the part of hairy graph homology coming from graphs with cyclic fundamental group as the dihedral homology of a related associative algebra with involution. For the operads Comm, Assoc and Lie we compute this algebra explicitly, enabling us to apply known results on dihedral homology to the computation of hairy graph homology. In addition we determine the image in hairy graph …
We compute the Heegaard Floer homology of any rational homology 3-sphere with an open book decomposition of the form (T,ϕ), where T is a genus one surface with one boundary component. In addition, we compute the Heegaard Floer homology of any T^2-bundle over S^1 with first Betti number equal to one, and we compare our results with those of Lebow on the embedded contact homology of such torus bundles. We use these computations to place restrictions on Stein-filllings of the contact structures compatible with such open books, to narrow down somewhat the class of 3-braid knots with finite concord…
In this paper, we prove homological stability of symplectomorphisms and extended hamiltonians of surfaces made discrete. We construct an isomorphism from the stable homology group of symplectomorphisms and extended Hamiltonians of surfaces to the homology of certain infinite loop spaces. We use these infinite loop spaces to study characteristic classes of surface bundles whose holonomy groups are area preserving, in particular we give a homotopy theoretic proof of the Kotschick-Morita theorem.
Let E be a circle bundle over a Riemann surface that supports a contact structure transverse to the fibers. This paper presents a combinatorial definition of a differential graded algebra (DGA) that is an invariant of Legendrian knots in E. The invariant generalizes Chekanov's combinatorial DGA invariant of Legendrian knots in the standard contact 3-space using ideas from Eliashberg, Givental, and Hofer's contact homology. The main difficulty lies in dealing with what are ostensibly 1-parameter families of generators for the DGA; these are solved using ``Morse-Bott'' techniques. As an applicat…
The conormal Lagrangian $L_K$ of a knot $K$ in $\mathbb{R}^3$ is the submanifold of the cotangent bundle $T^* \mathbb{R}^3$ consisting of covectors along $K$ that annihilate tangent vectors to $K$. By intersecting with the unit cotangent bundle $S^* \mathbb{R}^3$, one obtains the unit conormal $Λ_K$, and the Legendrian contact homology of $Λ_K$ is a knot invariant of $K$, known as knot contact homology. We define a version of string topology for strings in $\mathbb{R}^3 \cup L_K$ and prove that this is isomorphic in degree 0 to knot contact homology. The string topology perspective gives a top…
The first part of this paper is a short review of the construction [dg-ga/9710001] of invariants of rational homology 3-spheres and knots in terms of configuration space integrals. The second part describes the relationship between the above construction and Kontsevich's proposal of removing one point from the rational homology sphere. Explicit formulae are computed. In the case of the "Theta" invariant, a comparison with Taubes's construction is briefly discussed.
We make explicit computations in the formal symplectic geometry of Kontsevich and determine the Euler characteristics of the three cases, namely commutative, Lie and associative ones, up to certain weights.From these, we obtain some non-triviality results in each case. In particular, we determine the integral Euler characteristics of the outer automorphism groups Out F_n of free groups for all n <= 10 and prove the existence of plenty of rational cohomology classes of odd degrees. We also clarify the relationship of the commutative graph homology with finite type invariants of homology 3-spher…
We give explicit examples of degree 3 cohomology classes not Poincare dual to submanifolds, and discuss the realisability of homology classes by submanifolds with Spin-C normal bundles.
We prove a version of the Arnol'd conjecture for Lagrangian submanifolds of conformal symplectic manifolds: a Lagrangian $L$ which has non-zero Morse-Novikov homology for the restriction of the Lee form $β$ cannot be disjoined from itself by a $C^0$-small Hamiltonian isotopy. Furthermore for generic such isotopies the number of intersection points equals at least the sum of the free Betti numbers of the Morse-Novikov homology of $β$. We also give a short exposition of conformal symplectic geometry, aimed at readers who are familiar with (standard) symplectic or contact geometry.
