In a recent paper we defined a new filtration of the mapping class group--the "Lagrangian" filtration. We here determine the successive quotients of this filtration, up to finite index. As an application we show that, for any additive invariant of finite-type (e.g. the Casson invariant), and any level of the Lagrangian filtration, there is a homology 3-sphere which has a Heegaard decomposition whose gluing diffeomorphism lies at that level, on which this invariant is non-zero. In a final section we examine the relationship between the Johnson and Lagrangian filtrations.
In earlier work of the authors, the Khovanov complex of a knot or link appeared as the first page in a spectral sequence abutting to the instanton homology. The quantum and (co)homological gradings on Khovanov homology do not survive as gradings, but we show that they survive as filtrations.
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.
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 introduce an extra filtration of $\CFK(Y,K)$ and use it in order to obtain formulas for Floer homology of $(Y,K)$, which is obtained from $(Y_i,K_i), i=1,2$ by gluing the knot complements on the framed torus boundaries.
In 2016 Levine showed that there exists a knot in a homology 3-sphere which is not smoothly concordant to any knot in the 3-sphere where one allows concordances in any smooth homology cobordism. Whether the same is true if one allows topological concordances is not known. One might hope that such an example might be detected by the powerful filtration of knot concordance introduced by Cochran-Orr-Teichner. We prove that this is not the case, demonstrating that for any knot in any homology sphere there is a knot in the 3-sphere equivalent to the original knot modulo any term of this filtration.…
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 …
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 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.
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…
We let the mapping class group $Γ_{g,1}$ of a genus $g$ surface $Σ_{g,1}$ with one boundary component act on the homology $H_*(F_{n}(Σ_{g,1});\mathbb{Q})$ of the $n^{th}$ ordered configuration space of the surface. We prove that the action is non-trivial when restricted to the $(n-1)^{st}$ stage of the Johnson filtration, for all $n\ge 1$ and $g\ge 2$. We deduce an analogous result for closed surfaces.
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 new invariant of transverse links in the standard contact structure on R^3. This invariant is a doubly filtered version of the knot contact homology differential graded algebra (DGA) of the link. Here the knot contact homology of a link in R^3 is the Legendrian contact homology DGA of its conormal lift into the unit cotangent bundle S^*R^3 of R^3, and the filtrations are constructed by counting intersections of the holomorphic disks of the DGA differential with two conormal lifts of the contact structure. We also present a combinatorial formula for the filtered DGA in terms of b…
We define trace-like operators on a subspace of the space of derivations of the free Lie algebra generated by the first homology group $H$ of a surface $Σ$. This definition depends on the choice of a Lagrangian of $H$, and we call these operators the \emph{Lagrangian traces}. We suppose that $Σ$ is the boundary of a handlebody with first homology group $H'$, and we show that the Lagrangian traces corresponding to the Lagrangian $\operatorname{Ker} (H \rightarrow H')$ vanish on the image by the Johnson homomorphisms of the elements of the Johnson filtration that extend to the handlebody.
For any group G, we define a new characteristic series related to the derived series, that we call the torsion-free derived series of G. Using this series and the Cheeger-Gromov rho-invariant, we obtain new real-valued homology cobordism invariants rho_n for closed (4k-1)-dimensional manifolds. For 3-dimensional manifolds, we show that {rho_n} is a linearly independent set and for each n, the image of rho_n is an infinitely generated and dense subset of R. In their seminal work on knot concordance, T. Cochran, K. Orr, and P. Teichner define a filtration F_(n)^m of the m-component (string) link…
We study Khovanov homology over the Frobenius algebra $\mathbb{F}[U,V,X]/((X-U)(X-V))$, or $U(1) \times U(1)$-equivariant Khovanov homology, and extract two families of concordance invariants using the algebraic $U$-power and $V$-power filtrations on the chain complex. We also further develop the reduced version of the theory and study its behavior under mirroring.
We present complete classifications of links in the 3-sphere modulo framed and twisted Whitney towers in a rational homology 4-ball. This provides a geometric characterization of the vanishing of the Milnor invariants of links in terms of Whitney towers. Our result also says that the higher order Arf invariants, which are conjectured to be nontrivial, measure the potential difference between the Whitney tower theory in rational homology 4-balls and that in the 4-ball extensively developed by Conant, Schneiderman and Teichner.
Let M denote the mapping class group of S, a compact connected oriented surface with one boundary component. The action of M on the nilpotent quotients of the fundamental group of S allows to define the so-called Johnson filtration and the Johnson homomorphisms. J. Levine introduced a new filtration of M, called the Lagrangian filtration. He also introduced a version of the Johnson homomorphisms for this new filtration. The first term of the Lagrangian filtration is the Lagrangian mapping class group, whose definition involves a handlebody bounded by S, and which contains the Torelli group. Th…
It is known that if any prime power branched cyclic cover of a knot in the 3-sphere is a homology sphere, then the knot has vanishing Casson-Gordon invariants. We construct infinitely many examples of (topologically) non-slice knots in the 3-sphere whose prime power branched cyclic covers are homology spheres. We show that these knots generate an infinite rank subgroup of F_(1.0)/F_(1.5) for which Casson-Gordon invariants vanish in Cochran-Orr-Teichner's filtration of the classical knot concordance group . As a corollary, it follows that Casson-Gordon invariants are not a complete set of obstr…
We define sutured Heegaard diagrams for null-homologous knots in 3-manifolds. These diagrams are useful for computing the knot Floer homology at the top filtration level. As an application, we give a formula for the knot Floer homology of a Murasugi sum. Our result echoes Gabai's earlier works. We also show that for so-called 'semifibred' satellite knots, the top filtration term of the knot Floer homology is isomorphic to the counterpart of the companion.
Topological 4-dimensional surgery is conjectured to fail, in general, for free fundamental groups. M. Freedman and P. Teichner have shown that surgery problems with an arbitrary fundamental group have a solution, provided they satisfy a certain condition on Dwyer's filtration on second homology. We give a new geometric proof of this result, and analyze its relation to the canonical surgery problems.
In this paper we show that there exist simply connected symplectic 4-manifolds which contain infinitely many knotted lagrangian tori, i.e. lagrangian embeddings of tori that are homotopic but not isotopic. Moreover, the homology class they represent can be assumed to be nontrivial and primitive. This answers a question of Eliashberg and Polterovich.
In this paper we introduce a representation of a embedded knotted (sometimes Lagrangian) tori in $\BR^4$ called a hypercube diagram, i.e., a 4-dimensional cube diagram. We prove the existence of hypercube homology that is invariant under 4-dimensional cube diagram moves, a homology that is based on knot Floer homology. We provide examples of hypercube diagrams and hypercube homology, including using the new invariant to distinguish (up to cube moves) two "Hopf linked" tori. We also give examples of a "Trefoil" torus and an immersed knotted torus that is an amalgamation of the $5_2$ knot and a …
This paper is devoted to the study of the knot Floer homology groups HFK(S^3,K_{2,n}), where K_{2,n} denotes the (2,n) cable of an arbitrary knot, K. It is shown that for sufficiently large |n|, the Floer homology of the cabled knot depends only on the filtered chain homotopy type of CFK(K). A precise formula for this relationship is presented. In fact, the homology groups in the top 2 filtration dimensions for the cabled knot are isomorphic to the original knot's Floer homology group in the top filtration dimension. The results are extended to (p,pn+-1) cables. As an example we compute HFK((T…
We present an alternative definition for the Goussarov--Habiro filtration of the Z-module freely generated by oriented integral homology 3-spheres, by means of Lagrangian-preserving homology handlebody replacements (LP-surgeries). Garoufalidis, Goussarov and Polyak proved that the graded space (G_n)_n associated to this filtration is generated by Jacobi diagrams. Here, we express elements associated to LP-surgeries as explicit combinations of these Jacobi diagrams in (G_n)_n. The obtained coefficient in front of a Jacobi diagram is computed like its weight system with respect to a Lie algebra …
We prove that the LOSS and GRID invariants of Legendrian links in knot Floer homology behave in certain functorial ways with respect to decomposable Lagrangian cobordisms in the symplectization of the standard contact structure on $\mathbb{R}^3$. Our results give new, computable, and effective obstructions to the existence of such cobordisms.
We conjecture an expression for the dimensions of the Khovanov-Rozansky HOMFLY homology groups of the link of a plane curve singularity in terms of the weight polynomials of Hilbert schemes of points scheme-theoretically supported on the singularity. The conjecture specializes to our previous conjecture relating the HOMFLY polynomial to the Euler numbers of the same spaces upon setting t = -1. By generalizing results of Piontkowski on the structure of compactified Jacobians to the case of Hilbert schemes of points, we give an explicit prediction of the HOMFLY homology of a (k, n) torus knot as…
We introduce several geometric notions, including the width of a homology class, to the theory of persistent homology. These ideas provide geometric interpretations of persistence diagrams. Indeed, we give quantitative and geometric descriptions of the "life span" or "persistence" of a homology class. As a case study, we analyze the power filtration on unweighted graphs, and provide explicit bounds for the life spans of homology classes in persistence diagrams in all dimensions.
We prove the existence of a spectral sequence for Lagrangian Floer homology which converges to the Floer homology of the image of a Lagrangian submanifold under multiple fibred Dehn twists. The $E_1$ term of the sequence is given by the hypercube of "resolutions" of the Dehn twists involved. The proof relies on the exact triangle for fibered Dehn twists due to Wehrheim and Woodward. As applications we obtain a spectral sequences from Khovanov homology to symplectic Khovanov homology. Also when a 3-manifold $M$ is given by gluing two handlebodies by a surface diffeomorphism $ϕ$, we obtain a spe…
We construct an algebraic version of Lagrangian Floer homology for immersed curves inside the pillowcase. We first associate to the pillowcase an algebra A. Then to an immersed curve L inside the pillowcase we associate an A infinity module M(L) over A. Then we prove that Lagrangian Floer homology HF(L,L') is isomorphic to a suitable algebraic pairing of modules M(L) and M(L'). This extends the pillowcase homology construction - given a 2-stranded tangle inside a 3-ball, if one obtains an immersed unobstructed Lagrangian inside the pillowcase, one can further associate an A infinity module to …
It is shown that an embedded Lagrangian Klein bottle represents a non-trivial mod 2 homology class in a compact symplectic four-manifold $(X,ω)$ with $c_1(X)\cdot[ω]>0$. (In versions 1 and 2, the last assumption was missing. A counterexample to this general claim and the first proof of the corrected result have been found by Vsevolod Shevchishin.) As a corollary one obtains that the Klein bottle does not admit a Lagrangian embedding into the standard symplectic four-space.
