arXiv research

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…

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…

The paper extends a knot invariant to graphs and connects it to homology cylinders.

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 an…

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 …

The study examines invariants of homology cylinders and their relations to free nilpotent groups.

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 …

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 d…

Researchers compute torsion for homology cylinders, proving it a finite-type invariant.

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 gro…

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 …

New homomorphisms from homology cylinders to torsion modules via LMO functor.

New method computes automorphisms of surface groups using skein algebras.

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 e…

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 sol…

This paper detects torsion elements in homology cylinder monoids.

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 sur…

The study reveals conditions for infinite closed geodesics on specific surfaces.

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 topolog…

Study the kernel of surgery map restricted to 1-loop part of homology cylinders.

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 surfac…

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-Ohtsu…

We generalize our previous work on categorification of Kauffman bracket skein module of surfaces, by extending our homology to tangles in cylinders over surfaces, F x [0,1]. Our homology of 0-tangles and 1-tangles in D^3 coincides (up to normalization) with Khovanov link homology and the reduced Khovanov link homology.…

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 Deh…

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-manif…

We construct a spectral sequence from the reduced odd Khovanov homology of a link converging to the framed instanton homology of the double cover branched over the link, with orientation reversed. Framed instanton homology counts certain instantons on the cylinder of a 3-manifold connect-summed with a 3-torus. En route…

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…

Sharp inequalities link manifold's systole to curvature of boundary.

Lagrangian cobordisms are three-dimensional compact oriented cobordisms between once-punctured surfaces, subject to some homological conditions. We extend the Le-Murakami-Ohtsuki invariant of homology three-spheres to a functor from the category of Lagrangian cobordisms to a certain category of Jacobi diagrams. We prov…

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…

In this paper, we develop Leray-Serre-type spectral sequences to compute the intersection homology of the regular neighborhood and deleted regular neighborhood of the bottom stratum of a stratified PL-pseudomanifold. The E^2 terms of the spectral sequences are given by the homology of the bottom stratum with a local co…

The symplectic Floer homology HF_*(f) of a symplectomorphism f:S->S encodes data about the fixed points of f using counts of holomorphic cylinders in R x M_f, where M_f is the mapping torus of f. We give an algorithm to compute HF_*(f) for f a surface symplectomorphism in a pseudo-Anosov or reducible mapping class, com…

Lipshitz, Ozsváth and Thurston defined a bordered Heegaard Floer invariant CFDA for 3-manifolds with two boundary components, including mapping cylinders for surface diffeomorphisms. We define a related invariant for certain 4-dimensional cobordisms with corners, by associating a morphism F from CFDA(f) to CFDA(g) to e…

Homologically fibered knots are knots whose exteriors satisfy the same homological conditions as fibered knots. In our previous paper, we observed that for such a knot, higher-order Alexander invariants defined by Cochran, Harvey and Friedl are generally factorized into the part of the Magnus matrix and that of a certa…

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…

Classifies GL(2,R)-invariant subvarieties with zero Lyapunov exponents.

We study the Goussarov-Habiro finite type invariants theory for framed string links in homology balls. Their degree 1 invariants are computed: they are given by Milnor's triple linking numbers, the mod 2 reduction of the Sato-Levine invariant, Arf and Rochlin's $μ$ invariant. These invariants are seen to be naturally r…

The paper introduces a new family of instanton-invariants for four-manifolds and connects them to Khovanov homology.

Defines a Rasmussen invariant for links in RP^3.

For a given free group $F$ of arbitrary rank (possibly infinite), and its subgroup $G$, we address the question whether a lower central subgroup of $G$ can contain a lower central subgroup of $F$. We show that the answer is no if $G$ does not normally generate $F$. The question comes from a study of Hirzebruch-type inv…

The study explores pinwheels in symplectic surfaces and non-squeezing of rational homology balls.

We analyze the degree-two part of the Torelli group's associated graded.

We define cylinder knots as billiard knots in a cylinder. We present a necessary condition for cylinder knots: after dividing cylinder knots by possible rotational symmetries we obtain ribbon knots. We obtain an upper bound for the number of cylinder knots with two fixed parameters (out of three). In addition we prove …

We consider contact elements in the sutured Floer homology of solid tori with longitudinal sutures, as part of the (1+1)-dimensional topological quantum field theory defined by Honda--Kazez--Matić in \cite{HKM08}. The $\Z_2$ $SFH$ of these solid tori forms a "categorification of Pascal's triangle", and contact structur…

We give a simple, combinatorial construction of a unital, spherical, non-degenerate $\ast$-planar algebra over the ring $\mathbb{Z}[q^{1/2},q^{-1/2}]$. This planar algebra is similar in spirit to the Temperley-Lieb planar algebra, but computations show that they are different. The construction comes from the combinator…

This paper and its sequel prove a generalization of the usual gluing theorem for two index 1 pseudoholomorphic curves u_+ and u_- in the symplectization of a contact 3-manifold. We assume that for each embedded Reeb orbit gamma, the total multiplicity of the negative ends of u_+ at covers of gamma agrees with the total…

Minimal cylinders in Heisenberg group characterized using loop group method.

Holomorphic cylinders converge to disks joined by flow lines.