For S a compact connected oriented surface, we consider homology cylinders over S: these are homology cobordisms with an extra homological triviality condition. When considered up to Y_2-equivalence, which is a surgery equivalence relation arising from the Goussarov-Habiro theory, homology cylinders form an Abelian group.
In this paper, when S has one or zero boundary component, we define a surgery map from a certain space of graphs to this group. This map is shown to be an isomorphism, with inverse given by some extensions of the first Johnson homomorphism and Birman-Craggs homomorphisms.
The homology cobordism group of homology cylinders is a generalization of the mapping class group and the string link concordance group. We study this group and its filtrations by subgroups by developing new homomorphisms. First, we define extended Milnor invariants by combining the ideas of Milnor's link invariants and Johnson homomorphisms. They give rise to a descending filtration of the homology cobordism group of homology cylinders. We show that each successive quotient of the filtration is free abelian of finite rank. Second, we define Hirzebruch-type intersection form defect invariants …
Upsilon is a homomorphism on the smooth concordance group of knots defined by Ozsváth, Stipsicz and Szabó. In this paper, we define a generalization of upsilon for a family of embedded graphs in rational homolog spheres. We show that our invariant will induce a homomorphism on the homology cobordism group of homology cylinders, and present some applications. To define this invariant, we use tangle Floer homology. We lift relative gradings on tangle Floer homology to absolute gradings (for certain tangles) and prove a concatenation formula for it.
The homology cobordism group of homology cylinders is a generalization of both the mapping class group of surfaces and the string link concordance group. We consider extensions of Johnson homomorphisms of a mapping class group, Milnor invariants and Orr invariants of links to homology cylinders, all of which are related to free nilpotent groups. We establish a combined filtration via kernels of extended Johnson homomorphisms and extended Milnor invariants. We determine its image under the three invariants, and investigate relations among the invariants, and relations of the filtration to autom…
A homology cylinder of a surface induces an automorphism of the completed group ring of the fundamental group of the surface. We introduce a new method of computing the automorphism by using the Goldman Lie algebra of the surface or some skein algebra. In particular, we give a refinement of a formula by Kuno and Massuyeau.
We study algebraic structures of certain submonoids of the monoid of homology cylinders over a surface and the homology cobordism groups, using Reidemeister torsion with non-commutative coefficients. The submonoids consist of ones whose natural inclusion maps from the boundary surfaces induce isomorphisms on higher solvable quotients of the fundamental groups. We show that for a surface whose first Betti number is positive, the homology cobordism groups are other enlargements of the mapping class group of the surface than that of ordinary homology cylinders. Furthermore we show that for a surf…
Garoufalidis and Levine introduced the homology cobordism group of homology cylinders over a surface. This group can be regarded as a generalization of the mapping class group. Using torsion invariants, we show that the abelianization of this group is infinitely generated provided that the first Betti number of the surface is positive. In particular, this shows that the group is not perfect. This answers questions of Garoufalidis-Levine and Goda-Sakasai. Furthermore we show that the abelianization of the group has infinite rank for the case that the surface has more than one boundary component…
In a previous paper [Homology cylinders: an enlargement of the mapping class group, Algebr. Geom. Topol. 1 (2001) 243--270, arXiv:math.GT/0010247], a group H_g of homology cylinders over the oriented surface of genus g is defined. A filtration of H_g is defined, using the Goussarov-Habiro notion of finite-type. It is erroneously claimed that this filtration essentially coincides with the relative weight filtration. The present note corrects this error and studies the actual relation between the two filtrations.
We show that the Artin representation on concordance classes of string links induces a well-defined epimorphism modulo order n twisted Whitney tower concordance, and that the kernel of this map is generated by band sums of iterated Bing-doubles of any string knot with nonzero Arf invariant. We also continue J. Levine's work [20, 21, 22] comparing two filtrations of the group of homology cobordism classes of 3-dimensional homology cylinders, one defined in terms of an Artin-type representation (the Johnson filtration) and one defined using clasper surgery (the Goussarov-Habiro filtration). In p…
We give a Dehn-Nielsen type theorem for the homology cobordism group of homology cylinders by considering its action on the acyclic closure, which was defined by Levine, of a free group. Then we construct an additive invariant of those homology cylinders which act on the acyclic closure trivially. We also describe some tools to study the automorphism group of the acyclic closure of a free group generalizing those for the automorphism group of a free group or the homology cobordism group of homology cylinders.
A homology cylinder over a surface consists of a homology cobordism between two copies of the surface and markings of its boundary. The set of isomorphism classes of homology cylinders over a fixed surface has a natural monoid structure and it is known that this monoid can be seen as an enlargement of the mapping class group of the surface. We now focus on abelian quotients of this monoid. We show that both the monoid of all homology cylinders and that of irreducible homology cylinders are not finitely generated and moreover they have big abelian quotients. These properties contrast with the f…
Let R be a compact oriented surface of genus g with one boundary component. Homology cylinders over R form a monoid IC into which the Torelli group I of R embeds by the mapping cylinder construction. Two homology cylinders M and M' are said to be Y_k-equivalent if M' is obtained from M by "twisting" an arbitrary surface S in M with a homeomorphim belonging to the k-th term of the lower central series of the Torelli group of S. The J_k-equivalence relation on IC is defined in a similar way using the k-th term of the Johnson filtration. In this paper, we characterize the Y_3-equivalence with thr…
Sutured manifolds defined by Gabai are useful in the geometrical study of knots and 3-dimensional manifolds. On the other hand, homology cylinders are in an important position in the recent theory of homology cobordisms of surfaces and finite-type invariants. We study a relationship between them by focusing on sutured manifolds associated with a special class of knots which we call {\it homologically fibered knots}. Then we use invariants of homology cylinders to give applications to knot theory such as fibering obstructions, Reidemeister torsions and handle numbers of homologically fibered kn…
In his study of the group of homology cylinders, J. Levine made the conjecture that a certain homomorphism eta': T -> D' is an isomorphism. Here T is an abelian group on labeled oriented trees, and D' is the kernel of a bracketing map on a quasi-Lie algebra. Both T and D' have strong connections to a variety of topological settings, including the mapping class group, homology cylinders, finite type invariants, Whitney tower intersection theory, and the homology of the group of automorphisms of the free group. In this paper, we confirm Levine's conjecture. This is a central step in classifying …
We consider a homological enlargement of the mapping class group, defined by homology cylinders over a closed oriented surface (up to homology cobordism). These are important model objects in the recent Goussarov-Habiro theory of finite-type invariants of 3-manifolds. We study the structure of this group from several directions: the relative weight filtration of Dennis Johnson, the finite-type filtration of Goussarov-Habiro, and the relation to string link concordance. We also consider a new Lagrangian filtration of both the mapping class group and the group of homology cylinders.
A homology cylinder over a compact manifold is a homology cobordism between two copies of the manifold together with a boundary parametrization. We study abelian quotients of the homology cobordism group of homology cylinders. For homology cylinders over general surfaces, it was shown by Cha, Friedl and Kim that their homology cobordism groups have infinitely generated abelian quotient groups by using Reidemeister torsion invariants. In this paper, we first investigate their abelian quotients again by using another invariant called the Magnus representation. After that, we apply the machinery …
We define families of invariants for elements of the mapping class group of S, a compact orientable surface. Fix any characteristic subgroup H of pi_1(S) and restrict to J(H), any subgroup of mapping classes that induce the identity modulo H. To any unitary representation, r of pi_1(S)/H we associate a higher-order rho_r-invariant and a signature 2-cocycle sigma_r. These signature cocycles are shown to be generalizations of the Meyer cocycle. In particular each rho_r is a quasimorphism and each sigma_r is a bounded 2-cocycle on J(H). In one of the simplest non-trivial cases, by varying r, we e…
Let S be a compact connected oriented surface, whose boundary is connected or empty. A homology cylinder over the surface S is a cobordism between S and itself, homologically equivalent to the cylinder over S. The Y-filtration on the monoid of homology cylinders over S is defined by clasper surgery. Using a functorial extension of the Le-Murakami-Ohtsuki invariant, we show that the graded Lie algebra associated to the Y-filtration is isomorphic to the Lie algebra of ``symplectic Jacobi diagrams.'' This Lie algebra consists of the primitive elements of a certain Hopf algebra whose multiplicatio…
We construct a series of homomorphisms from the $Y$-filtration on the monoid of homology cylinders to torsion modules via the mod $\mathbb{Z}$ reduction of the LMO functor. The restriction of our homomorphism to the lower central series of the Torelli group does not factor through Morita's refinement of the Johnson homomorphism. We use it to show that the abelianization of the Johnson kernel of a closed surface has torsion elements. We also determine the third graded quotient $Y_3\mathcal{IC}_{g,1}/Y_4$ of the $Y$-filtration.
We show that the contact gluing map of Honda, Kazez, and Matic has a natural algebraic description. In particular, we establish a conjecture of Zarev, that his gluing map on sutured Floer homology is equivalent to the contact gluing map.
We establish a structural understanding of the involutive Heegaard Floer homology for all linear combinations of almost-rational (AR) plumbed three-manifolds. We use this to show that the Neumann-Siebenmann invariant is a homology cobordism invariant for all linear combinations of AR plumbed homology spheres. As a corollary, we prove that if $Y$ is a linear combination of AR plumbed homology spheres with $μ(Y) = 1$, then $Y$ is not torsion in the homology cobordism group. A general computation of the involutive Heegaard Floer correction terms for these spaces is also included.
We study the sutured Floer homology invariants of the sutured manifold obtained by cutting a knot complement along a Seifert surface, R. We show that these invariants are finer than the "top term" of the knot Floer homology, which they contain. In particular, we use sutured Floer homology to distinguish two non-isotopic minimal genus Seifert surfaces for the knot 8_3. A key ingredient for this technique is finding appropriate Heegaard diagrams for the sutured manifold associated to the complement of a Seifert surface.
In 2004, Carter, Elhamdadi and Saito defined a homology theory for set-theoretic Yang-Baxter operators(we will call it the "algebraic" version in this article). In 2012, Przytycki defined another homology theory for pre-Yang-Baxter operators which has a nice graphic visualization(we will call it the "graphic" version in this article). We show that they are equivalent. The "graphic" homology is also defined for pre-Yang-Baxter operators, and we give some examples of it's one-term and two-term homologies. In the two-term case, we have found torsion in homology of Yang-Baxter operator that yields…
Let $Σ$ be a compact oriented surface. The Dehn twist along every simple closed curve $γ\subset Σ$ induces an automorphism of the fundamental group $π$ of $Σ$. There are two possible ways to generalize such automorphisms if the curve $γ$ is allowed to have self-intersections. One way is to consider the `generalized Dehn twist' along $γ$: an automorphism of the Malcev completion of $π$ whose definition involves intersection operations and only depends on the homotopy class $[γ]\in π$ of $γ$. Another way is to choose in the usual cylinder $U:=Σ\times [-1,+1]$ a knot $L$ projecting onto $γ$, to p…
This paper is the sequel to "The equivalence of Heegaard Floer homology and embedded contact homology via open book decompositions I" and is devoted to proving some of the technical parts of the HF=ECH isomorphism.
We prove that all homology 3-spheres are $J_4$-equivalent, i.e. that any homology 3-sphere can be obtained from one another by twisting one of its Heegaard splittings by an element of the mapping class group acting trivially on the fourth nilpotent quotient of the fundamental group of the gluing surface. We do so by exhibiting an element of $J_4$, the fourth term of the Johnson filtration of the mapping class group, on which (the core of) the Casson invariant takes the value $1$. In particular, this provides an explicit example of an element of $J_4$ that is not a commutator of length $2$ in t…
We show that monopole Floer homology (as defined by Kronheimer and Mrowka) is isomorphic to the S^1-equivariant homology of the Seiberg-Witten Floer spectrum constructed by the second author.
This article is a survey on the authors' proof of the isomorphism between Heegaard Floer homology and embedded contact homology appeared in This article is a survey on the authors' proof of the isomorphism between Heegaard Floer homology and embedded contact homology appeared in arXiv:1208.1074, arXiv:1208.1077 and arXiv:1208.1526.
An explicit isomorphism between Morse homology and singular homology is constructed via the technique of pseudo-cycles. Given a Morse cycle as a formal sum of critical points of a Morse function, the unstable manifolds for the negative gradient flow are compactified in a suitable way, such that gluing them appropriately leads to a pseudo-cycle and a well-defined integral homology class in singular homology.
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 $ι_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 2d geometry and 3d quantum topology. For each fixed G, this invariant is shown to be universal for homology cylinders, i.e.,…
Given a closed oriented 3-manifold M, we establish an isomorphism between the Heegaard Floer homology group HF^+(-M) and the embedded contact homology group ECH(M). Starting from an open book decomposition (S,h) of M, we construct a chain map Φ^+ from a Heegaard Floer chain complex associated to (S,h) to an embedded contact homology chain complex for a contact form supported by (S,h). The chain map Φ^+ commutes up to homotopy with the U-maps defined on both sides and reduces to the quasi-isomorphism Φfrom "The equivalence of Heegaard Floer homology and embedded contact homology I, II" on subco…
We prove that, up to local equivalences, a suitable truncation of the involutive knot Floer homology of a knot in $S^3$ and the involutive bordered Heegaard Floer theory of its complement determine each other. In particular, given two knots $K_1$ and $K_2$, we prove that the $\mathbb{F}_2[U,V]/(UV)$-coefficient involutive knot Floer homology of $K_1 \sharp -K_2$ is $ι_K$-locally trivial if $\widehat{CFD}(S^3 \backslash K_1)$ and $\widehat{CFD}(S^2 \backslash K_2)$ satisfy a certain condition which can be seen as the bordered counterpart of $ι_K$-local equivalence. We further establish an expli…
Given an open book decomposition (S,h) adapted to a closed, oriented 3-manifold M, we define a chain map from a certain Heegaard Floer chain complex associated to (S,h) to a certain embedded contact homology chain complex associated to (S,h), as defined in arXiv:1008.2734, and prove that it induces an isomorphism on the level of homology. This implies the isomorphism between the hat version of Heegaard Floer homology of -M and the hat version of embedded contact homology of M.
We give a sufficient and necessary condition of the fundamental group homomorphism of a map between manifolds to induce homology equivalences. Moreover, a classification of one-sided h-cobordism of manifolds up to diffeomorphisms is obtained, based on Quillen's plus construction with Whitehead torsions.
Let S be a compact oriented surface. A homology cobordism of S is a cobordism C between two copies of S, such that both the "top" inclusion and the "bottom" inclusion of S in C induce isomorphisms in homology. Homology cobordisms of S form a monoid, into which the mapping class group of S embeds by the mapping cylinder construction. In this paper, we survey recent works on the structure of the monoid of homology cobordisms, and we outline their relations with the study of the mapping class group. We are mainly interested in the cases where the boundary of S is empty or connected.
We give a proof that the geometric K-homology theory for finite CW-complexes defined by Baum and Douglas is isomorphic to Kasparov's K-homology. The proof is a simplification of more elaborate arguments which deal with the geometric formulation of equivariant K-homology theory.
Using the grid diagram formulation of knot Floer homology, Ozsvath, Szabo and Thurston defined an invariant of transverse knots in the tight contact 3-sphere. Shortly afterwards, Lisca, Ozsvath, Stipsicz and Szabo defined an invariant of transverse knots in arbitrary contact 3-manifolds using open book decompositions. It has been conjectured that these invariants agree where they are both defined. We prove this fact by defining yet another invariant of transverse knots, showing that this third invariant agrees with the two mentioned above.
We recently defined an invariant of contact manifolds with convex boundary in Kronheimer and Mrowka's sutured monopole Floer homology theory. Here, we prove that there is an isomorphism between sutured monopole Floer homology and sutured Heegaard Floer homology which identifies our invariant with the contact class defined by Honda, Kazez and Matić in the latter theory. One consequence is that the Legendrian invariants in knot Floer homology behave functorially with respect to Lagrangian concordance. In particular, these invariants provide computable and effective obstructions to the existence …
We investigate link homology theories for stable equivalence classes of link diagrams on orientable surfaces. We apply (1+1)-dimensional unoriented topological quantum field theories to Bar-Natan's geometric formalism to define new theories for stable equivalence classes.
Working with group homomorphisms, a construction of manifolds is introduced to preserve homology groups. The construction gives as special cases Qullien's plus construction with handles obtained by Hausmann, the existence of one-sided $h$-cobordism of Guilbault and Tinsley, the existence of homology spheres and higher-dimensional knots proved by Karvaire. We also use it to get counter-examples to the zero-in-the-spectrum conjecture found by Farber-Weinberger, and by Higson-Roe-Schick.
In this paper we study the relation between two diagrammatic representations of links in lens spaces: the disk diagram and the grid diagram and we find how to pass from one to the other. We also investigate whether the HOMFLY-PT invariant and the Link Floer Homology are essential invariants, that is, we try to understand if these invariants are able to distinguish links in $L(p,q)$ covered by the same link in $\mathbf{S}^3$. In order to do so, we generalize the combinatorial definition of Knot Floer Homology in lens spaces to the case of links and we analyze how both the invariants change when…
We prove a connected sum formula for involutive Heegaard Floer homology, and use it to study the involutive correction terms of connected sums. In particular, we give an example of a three-manifold with $\underline{d}(Y) \neq d(Y) \neq \overline{d}(Y)$. We also construct a homomorphism from the three-dimensional homology cobordism group to an algebraically defined Abelian group, consisting of certain complexes (equipped with a homotopy involution) modulo a notion of local equivalence.
We prove a formula for the conjugation action on the knot Floer complex of the connected sum of two knots. Using the formula we construct a homomorphism from the smooth concordance group to an abelian group consisting of chain complexes with homotopy automorphisms, modulo an equivalence relation. Using our connected sum formula, we perform some example computations of Hendricks and Manolescu's involutive invariants on large surgeries of connected sums of knots.
Two references added and the introduction slightly expanded. We show that the tree-level part of a recent theory of invariants of 3-manifolds (due, independently, to Goussarov and Habiro) is essentially given by classical algebraic topology in terms of the Johnson homomorphism and Massey products, for arbitrary 3-manifolds. A key role of our proof is played by the notion of a homology cylinder, viewed as an enlargement of the mapping class group, and an apparently new Lie algebra of graphs colored by the first homology of a closed surface, closely related to deformation quantization on a surfa…
We define an infinite family of linearly independent, integer-valued smooth concordance homomorphisms. Our homomorphisms are explicitly computable and rely on local equivalence classes of knot Floer complexes over the ring $\mathbb{F}[U, V]/(UV=0)$. We compare our invariants to other concordance homomorphisms coming from knot Floer homology, and discuss applications to topologically slice knots, concordance genus, and concordance unknotting number.
The study of triangulations on manifolds is closely related to understanding the three-dimensional homology cobordism group. We review here what is known about this group, with an emphasis on the local equivalence methods coming from Pin(2)- equivariant Seiberg-Witten Floer spectra and involutive Heegaard Floer homology.
