The one-term distributive homology was introduced by J.H.Przytycki as an atomic replacement of rack and quandle homology, which was first introduced and developed by R.Fenn, C.Rourke and B.Sanderson, and J.S.Carter, S.Kamada and M.Saito. This homology was initially suspected to be torsion-free, but we show in this paper that the one-term homology of a finite spindle can have torsion. We carefully analyze spindles of block decomposition of type (n,1) and introduce various techniques to compute their homology precisely. In addition, we show that any finite group can appear as the torsion subgroup of the first homology of some finite spindle. Finally, we show that if a shelf satisfies a certain, rather general, condition then the one-term homology is trivial.
We prove that the degenerate part of the distributive homology of a multispindle is determined by the normalized homology. In particular, when the multispindle is a quandle $Q$, the degenerate homology of $Q$ is completely determined by the quandle homology of $Q$. For this case (and generally for two term homology of a spindle) we provide an explicit Künneth-type formula for the degenerate part. This solves the mystery in algebraic knot theory of the meaning of the degenerate quandle homology, brought over 15 years ago when the homology theories were defined, and the degenerate part was obser…
We develop a theory of sets with distributive products (called shelves and multi-shelves) and of their homology. We relate the shelf homology to the rack and quandle homology.
We outline the theory of sets with distributive operations: multishelves and multispindles, with examples provided by semi-lattices, lattices and skew lattices. For every such a structure we define multi-term distributive homology and show some of its properties. The main result is a complete formula for the homology of a finite distributive lattice. We also indicate the answer for unital spindles and conjecture the general formula for semi-lattices and some skew lattices. Then we propose a generalization of a lattice as a set with a number of idempotent operations satisfying the absorption la…
This paper is a sequel to my essay "Distributivity versus associativity in the homology theory of algebraic structures" Demonstratio Math., 44(4), 2011, 821-867 (arXiv:1109.4850 [math.GT]). We start from naive invariants of arc colorings and survey associative and distributive magmas and their homology with relation to knot theory. We outline potential relations to Khovanov homology and categorification, via Yang-Baxter operators. We use here the fact that Yang-Baxter equation can be thought of as a generalization of self-distributivity. We show how to define and visualize Yang-Baxter homology…
This is an extended abstract of the talk given at the Oberwolfach Workshop "Algebraic Structures in Low-Dimensional Topology", 25 May -- 31 May 2014. My goal was to describe progress in distributive homology from the previous Oberwolfach Workshop June 3 - June 9, 2012, in particular my work on Yang-Baxter homology; however I concentrated my talk on my recent discovery of q-polynomial of a rooted tree; the appropriate topic as my talk was on May 30, 2014, the 30 anniversary of the Jones polynomial, and the polynomial has its roots in the Kauffman bracket approach to the Jones polynomial.
Homology theories for associative algebraic structures are well established and have been studied for a long time. More recently, homology theories for self-distributive algebraic structures motivated by knot theory, such as quandles and their relatives, have been developed and investigated. In this paper, we study associative self-distributive algebraic structures and their one-term and two-term (rack) homology groups.
While homology theory of associative structures, such as groups and rings, has been extensively studied in the past beginning with the work of Hopf, Eilenberg, and Hochschild, homology of non-associative distributive structures, such as quandles, were neglected until recently. Distributive structures have been studied for a long time. In 1880, C.S. Peirce emphasized the importance of (right) self-distributivity in algebraic structures. However, homology for these universal algebras was introduced only sixteen years ago by Fenn, Rourke, and Sanderson. We develop this theory in the historical co…
In the first few homological gradings, there is an isomorphism between the Khovanov homology of a link and the categorification of the chromatic polynomial of a graph related to the link. In this article, we show that the categorification of the chromatic polynomial only contains torsion of order two, and hence Khovanov homology only contains torsion of order two in the gradings where the isomorphism is defined. We also prove that odd Khovanov homology is torsion-free in its first few homological gradings.
In the Khovanov homology of links, presence of $\mathbb{Z}_2$-torsion is a very common phenomenon. Finite number of examples of knots with $\mathbb{Z}_n$-torsion for $n>2$ were also known, none for $n>8$. In this paper, we prove that there are infinite families of links whose Khovanov homology contains $\mathbb{Z}_n$-torsion for $2 < n < 9$ and $\mathbb{Z}_{2^s}$-torsion for $s < 24$. We also introduce $4$-braid links with $\mathbb{Z}_3$-torsion which are counterexamples to the PS braid conjecture. We also provide an infinite family of knots with $\mathbb{Z}_5$-torsion in reduced Khovanov homo…
In this note, we show that if there is a knot in $S^3$ having $\mathbb{Z}_m$ torsion in its Khovanov homology, then there are infinitely many hyperbolic knots and infinitely many prime satellite knots having $\mathbb{Z}_m$ torsion in their Khovanov homology. As an application, we give the first known examples of hyperbolic knots and links with odd (and other non-$\mathbb{Z}_2$ torsion) in their Khovanov homology.
This short note resolves the most important part of the PS braid conjecture while introducing the first known examples of knots and links with odd torsion of order 9, 27, 81, and 25 in their even Khovanov homology.
It is a classical result in reduced homology of finite groups that the order of a group annihilates its homology. Similarly, we have proved that the torsion subgroup of rack and quandle homology of a finite quasigroup quandle is annihilated by its order. However, it does not hold for connected quandles in general. In this paper, we define an $m$-almost quasigroup ($m$-AQ) quandle which is a generalization of a quasigroup quandle and study annihilation of torsion in its rack and quandle homology groups.
We give an upper bound for the growth of homology torsions of finite coverings of irreducible 3-manifolds with tori boundary in terms of hyperbolic volume.
We show some computations on representations of the fundamental group in SL(2;C) and Reidemeister torsion for a homology 3-sphere obtained by Dehn surgery along the figure-eight knot. This is the second version. We recorrected several errors in the first version.
This paper continues our exploration of homology cobordism of 3-manifolds using our recent results on Cheeger-Gromov rho-invariants associated to amenable representations. We introduce a new type of torsion in 3-manifold groups we call hidden torsion, and an algebraic approximation we call local hidden torsion. We construct infinitely many hyperbolic 3-manifolds which have local hidden torsion in the transfinite lower central subgroup. By realizing Cheeger-Gromov invariants over amenable groups, we show that our hyperbolic 3-manifolds are not pairwise homology cobordant, yet remain indistingui…
We construct a variant of Floer homology groups and prove a gluing formula for a variant of Donaldson invariants. As a corollary, the variant of Donaldson invariants is non-trivial for connected sums of 4-manifolds which satisfy a condition for Donaldson invariants. We also show a non-existence result of compact, spin 4-manifolds with boundary some homology 3-spheres and with certain intersection forms.
We show that Lück's conjecture on torsion growth in homology implies that two 3-manifolds have equal volume if the fundamental groups have the same set of finite quotients.
When does the amount of torsion in the homology of an arithmetic group grow exponentially with the covolume? We give many examples where this is so, and conjecture precise conditions.
Magnitude homology is a bigraded homology theory for finite graphs defined by Hepworth and Willerton, categorifying the power series invariant known as magnitude which was introduced by Leinster. We analyze the structure and implications of torsion in magnitude homology. We show that any finitely generated abelian group may appear as a subgroup of the magnitude homology of a graph, and, in particular, that torsion of a given prime order can appear in the magnitude homology of a graph and that there are infinitely many such graphs. Finally, we provide complete computations of magnitude homology…
Khovanov homology is a recently introduced invariant of oriented links in $\mathbb{R}^3$. It categorifies the Jones polynomial in the sense that the (graded) Euler characteristic of the Khovanov homology is a version of the Jones polynomial for links. In this paper we study torsion of the Khovanov homology. Based on our calculations, we formulate several conjectures about the torsion and prove weaker versions of the first two of them. In particular, we prove that all non-split alternating links have their integer Khovanov homology almost determined by the Jones polynomial and signature. The on…
Let $M_n$ be a homology 3-sphere obtained by $\frac1n$-Dehn surgery along a $(p,q)$-torus knot. We consider a polynomial $σ_{(p,q,n)}(t)$ whose zeros are the inverses of the Reideimeister torsion of $M_n$ for $\mathit{SL}(2;\mathbb{C})$-irreducible representations. We give an explicit formula of this polynomial by using Tchebychev polynomials of the first kind. Further we also give a 3-term relations of these polynomials.
We show that (under mild assumptions) the generating function of log homology torsion of a knot exterior has a meromorphic continuation to the entire complex plane. As corollaries, this gives new proofs of (a) the Silver-Williams asymptotic, (b) Fried's theorem on reconstructing the Alexander polynomial (c) Gordon's theorem on periodic homology. Our results generalize to other rank 1 growth phenomena, e.g. Reidemeister-Franz torsion growth for higher-dimensional knots. We also analyze the exceptional cases where the meromorphic continuation does not exist.
Let M be an arithmetic hyperbolic 3-manifold, such as a Bianchi manifold. We conjecture that there is a basis for the second homology of M, where each basis element is represented by a surface of `low' genus, and give evidence for this. We explain the relationship between this conjecture and the study of torsion homology growth.
Let $N$ be a prime 3-manifold that is not a closed graph manifold. Building on a result of Hongbin Sun and using a result of Asaf Hadari we show that for every $k\in\Bbb{N}$ there exists a finite cover $\tilde{N}$ of $N$ such that $|\operatorname{Tor} H_1(\tilde{N};\Bbb{Z})|>k$.
We prove that every $\mathbb{Z}_2$H-thin link has no $2^k$-torsion for $k>1$ in its Khovanov homology. Together with previous results by Eun Soo Lee and the author, this implies that integer Khovanov homology of non-split alternating links is completely determined by the Jones polynomial and signature. Our proof is based on establishing an algebraic relation between Bockstein and Turner differentials on Khovanov homology over $\mathbb{Z}_2$. We conjecture that a similar relation exists between the corresponding spectral sequences.
Let K be a (2p,q)-torus knot and M_n is a 3-manifold obtained by 1/n-Dehn surgery along K. We consider a polynomial whose zeros are the inverses of the Reideimeister torsion of M_n for SL(2;C)-irreducible representations. Johnson gave a formula for the case of the (2,3)-torus knot under some modification and normalization. We generalize this formula by using Tchebychev polynomials.
We outline Hutchings's prescription that produces an ECH analog of Latschev and Wendl's algebraic $k$-torsion in the context of $ech$, a variant of ECH used in a proof of the isomorphism between Heegaard Floer and Seiberg-Witten Floer homologies; and we explain how it translates into Heegaard Floer homology.
In this paper, we construct a new homology theory for semi-groups satisfying the self distributivity axiom or the idempotency axiom. Next, we consider the geometric realization corresponding to the homology theory. We continue with the comparison of this homology theory with one term and two term (rack) homology theories of self-distributive algebraic structures. Finally, we propose connections between the homology theory and knot theory via Temperley-Lieb algebras.
We study upper bounds for the torsion in homology of nonuniform arithmetic lattices. Together with recent results of Calegari-Venkatesh, this can be used to obtain upper bounds on K2 of the ring of integers of totally imaginary fields.
As is well-known, the homology groups of the complement of a complex hyperplane arrangement are torsion-free. Nevertheless, as we showed in a recent paper [arXiv:1209.3414] the homology groups of the Milnor fiber of such an arrangement can have non-trivial integer torsion. We give here a brief account of the techniques that go into proving this result, outline some of its applications, and indicate some further questions that it brings to light.
Let S be an orientable surface with negative Euler characteristic, let ψ\in\Mod(S) be a mapping class of S, and let T_ψ be the mapping torus of ψ. We study the action of lifts of ψon the homology of finite covers of S via the torsion homology growth of towers of finite covers of T_ψ. We show that ψadmits a lift to a finite cover with a homological eigenvalue of length greater than one if and only if the mapping torus T_ψ admits a finite cover X and a certain tower of abelian covers which have exponential torsion homology growth. We show that the existence of such a lift of ψis intrinsic to T_ψ…
We prove that if Q is a finite quasigroup quandle, then |Q| annihilates the torsion of its homology. It is a classical result in reduced homology of finite groups that the order of a group annihilates its homology. From the very beginning of the rack homology (between 1990 and 1995) the analogous result was suspected. The first general results in this direction were obtained independently about 2001 by R.A.Litherland and S.Nelson, and P.Etingof and M.Grana. In Litherland-Nelson paper it is proven that if (Q;*) is a finite homogeneous rack (this includes quasigroup racks) then the torsion of ho…
Given a connected cobordism between two knots in the 3-sphere, our main result is an inequality involving torsion orders of the knot Floer homology of the knots, and the number of local maxima and the genus of the cobordism. This has several topological applications: The torsion order gives lower bounds on the bridge index and the band-unlinking number of a knot, the fusion number of a ribbon knot, and the number of minima appearing in a slice disk of a knot. It also gives a lower bound on the number of bands appearing in a ribbon concordance between two knots. Our bounds on the bridge index a…
For a connected cobordism S between two knots K1,K2 in S3, we establish an inequality involving the number of local maxima, the genus of S, and the torsion orders of Kht(K1),Kht(K2), where Kht denotes Lee's perturbation of Khovanov homology. This shows that the torsion order gives a lower bound for the band-unlinking number.
