We construct a finite 1-connected CW complex X such that $H_*(ΩX; Z)$ has p-torsion for the infinitely many primes satisfying p ~ 5,7,17,19 mod 24, but no p-torsion for the infinitely many primes satisfying p ~ 13 or 23 mod 24.
According to a result of Ehresmann, the torsions of integral homology of real Grassmannian are all of order $2$. In this note, We compute the $\mathbb{Z}_2$-dimensions of torsions in the integral homology and cohomology of real Grassmannian.
We show that Lupercio-Uribe-Xicoténcatl's orbifold loop product and coproduct can be described by a group cohomology class in some cases. By computing this cohomology class, we show that in some cases the orbifold loop product is trivial.
We use ku-cohomology to determine lower bounds for the topological complexity of 2-torsion lens spaces. In the process, we give an almost-complete description of the tensor product of two copies of the ku-homology of infinite mod 2^e lens space, proving a conjecture of Gonzalez about the annihilator ideal of the bottom class. Our proof involves an elaborate row reduction of presentation matrices of arbitrary size.
In this paper, we classify the congruence classes of $\mathbf{F}^5_{n(2)}$-polyhedra, i.e. $(n-1)$-connected, at most $(n+5)$-dimensional polyhedra with 2-torsion free homology. The proof relies on the matrix problem technique which was developed in the classification of representations of algebras and applied to homotopy theory by Baues and Drozd.
In this paper, we study the stable homotopy types of $\mathbf{F}^4_{n(2)}$-polyhedra, i.e., $(n-1)$-connected, at most $(n+4)$-dimensional polyhedra with 2-torsion free homologies. We are able to classify the indecomposable $\mathbf{F}^4_{n(2)}$-polyhedra. The proof relies on the matrix problem technique which was developed in the classification of representaions of algebras and applied to homotopy theory by Baues and Drozd.
We provide a calculational method for rational stable equivariant homotopy theory for a torus G based on the homology of the Borel construction on fixed points. More precisely we define an abelian torsion model, A_t(G) of finite injective dimension, a homology theory \piAt_* taking values in A_t(G) based on the homology of the Borel construction, and a finite Adams spectral sequence Ext_{A_t(G)}^{*,*}(\piAt_*(X), \piAt_*(Y)) ==> [X,Y]^G_* for rational G-spectra X and Y.
We study the integral torsion of the values of strict polynomial functors defined over the integers. We interpret some classical homological invariants as values of strict polynomial functors and therefore obtain estimates of the integral torsion of these invariants, including cancellation results.
Let $X$ be a toric variety. Rationally Borel-Moore homology of $X$ is isomorphic to the homology of the Koszul complex $A^T_*(X)\otimes Λ^\x M$, where $A^T_*(X)$ is the equivariant Chow group and $M$ is the character group of $T$. Moreover, the same holds for coefficients which are the integers with certain primes inverted.
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.
We partially solve the conjecture by A.Shumakovitch about torsion in the Khovanov homology of prime, non-split links in S^3. We give a size restriction on the Khovanov homology of almost alternating links. We relate the Khovanov homology of the connected sum of a link diagram and the Hopf link with the Khovanov homology of the diagram via a short exact sequence of homology which splits. Finally we show that our results can be adapted to reduced Khovanov homology and we show that there is a long exact sequence connecting reduced Khovanov homology with unreduced homology.
The present lack of a stable method to compare persistent homology groups with torsion is a relevant problem in current research about Persistent Homology and its applications in Pattern Recognition. In this paper we introduce a pseudo-distance d_T that represents a possible solution to this problem. Indeed, d_T is a pseudo-distance between multidimensional persistent homology groups with coefficients in an Abelian group, hence possibly having torsion. Our main theorem proves the stability of the new pseudo-distance with respect to the change of the filtering function, expressed both with resp…
Suppose an amenable group $G$ is acting freely on a simply connected simplicial complex $\tilde X$ with compact quotient $X$. Fix $n \geq 1$, assume $H_n(\tilde X, \mathbb{Z})=0$ and let $(H_i)$ be a Farber chain in $G$. We prove that the torsion of the integral homology in dimension $n$ of $\tilde{X}/H_i$ grows subexponentially in $[G:H_i]$. By way of contrast, if $X$ is not compact, there are solvable groups of derived length 3 for which torsion in homology can grow faster than any given function.
In this paper we consider the asymptotic behavior of invariants such as Betti numbers, minimal numbers of generators of singular homology, the order of the torsion subgroup of singular homology, and torsion invariants. We will show that all these vanish in the limit if the CW-complex under consideration fibers in a specific way. In particular we will show that all these vanish in the limit if one considers an aspherical closed manifold which admits a non-trivial S^1-action or whose fundamental group contains an infinite normal elementary amenable subgroup. By considering classifying spaces we …
Given a finite group G, a G-covering of closed Riemannian manifolds, and a so-called G-relation, a construction of Sunada produces a pair of manifolds M_1 and M_2 that are strongly isospectral. Such manifolds have the same dimension and the same volume, and their rational homology groups are isomorphic. We investigate the relationship between their integral homology. The Cheeger-Mueller Theorem implies that a certain product of orders of torsion homology and of regulators for M_1 agrees with that for M_2. We exhibit a connection between the torsion in the integral homology of M_1 and M_2 on th…
Given a Heegaard splitting of a closed 3-manifold, the skein modules of the two handlebodies are modules over the skein algebra of their common boundary surface. The zeroth Hochschild homology of the skein algebra of a surface with coefficients in the tensor product of the skein modules of two handlebodies is interpreted as the skein module of the 3-manifold obtained by gluing the two handlebodies together along this surface. A spectral sequence associated to the Hochschild complex is constructed and conditions are given for the existence of algebraic torsion in the skein module of this 3-mani…
The Reidemeister torsion construction can be applied to the chain complex used to compute the Khovanov homology of a knot or a link. This defines a volume form on Khovanov homology. The volume form transforms correctly under Reidemeister moves to give an invariant volume on the Khovanov homology. In this paper, its construction and invariance under these moves is demonstrated. Also, some examples of the invariant are presented for particular choices for the bases of homology groups to obtain a numerical invariant of knots and links. In these examples, the algebraic torsion seen in the Khovanov…
We study torsion in homology of the random $d$-complex $Y \sim Y_d(n,p)$ experimentally. Our experiments suggest that there is almost always a moment in the process where there is an enormous burst of torsion in homology $H_{d-1}(Y)$. This moment seems to coincide with the phase transition studied in \cite{AL,LP,LP3} , where cycles in $H_d(Y)$ first appear with high probability. Our main study is the limiting distribution on the $q$-part of the torsion subgroup of $H_{d-1}(Y)$ for small primes $q$. We find strong evidence for a limiting Cohen--Lenstra distribution, where the probability that t…
In this note we describe the role of the Schur multiplier in the structure of the $p$-torsion of discrete groups. More concretely, we show how the knowledge of $H_2G$ allows to approximate many groups by colimits of copies of finite $p$-groups. Our examples include interesting families of non-commutative infinite groups, including Burnside groups, certain solvable examples and the first Grigorchuk group. We also provide a counterexample for a conjecture of E. Farjoun.
We classify flag complexes on at most 12 vertices with torsion in the first homology group. The result is moderately computer-aided. As a consequence we confirm a folklore conjecture that the smallest poset whose order complex is homotopy equivalent to the real projective plane (and also the smallest poset with torsion in the first homology group) has exactly 13 elements.
We prove that the mod $2$ Betti numbers of double coverings of a complex hyperplane arrangement complement are combinatorially determined. The proof is based on a relation between the mod $2$ Aomoto complex and the transfer long exact sequence. Applying the above result to the icosidodecahedral arrangement ($16$ planes in the three dimensional space related to the icosidodecahedron), we conclude that the first homology of the Milnor fiber has non-trivial $2$-torsion.
Let $G$ be a compact connected Lie group, and let $\mathrm{Hom}(\mathbb{Z}^m,G)$ be the space of pairwise commuting $m$-tuples in $G$. We study the problem of which primes $p$ $\mathrm{Hom}(\mathbb{Z}^m,G)_1$, the connected component of $\mathrm{Hom}(\mathbb{Z}^m,G)$ containing the element $(1,\ldots,1)$, has $p$-torsion in homology. We will prove that $\mathrm{Hom}(\mathbb{Z}^m,G)_1$ for $m\ge 2$ has $p$-torsion in homology if and only if $p$ divides the order of the Weyl group of $G$ for $G=SU(n)$ and some exceptional groups. We will also compute the top homology of $\mathrm{Hom}(\mathbb{Z}^…
For $d \geq 2$ and $G$ a finite abelian group, define $T_d(G)$ to be the minimum number of vertices $n$ so that there exists a simplicial complex $X$ on $n$ vertices which has the torsion part of $H_{d - 1}(X)$ isomorphic to $G$. Here we establish an upper bound on $T_d(G)$ which matches the known lower bound up to a constant factor. That is, we prove that for every $d \geq 2$ there exist constants $c_d$ and $C_d$ so that for any finite abelian group $c_d(\log |G|)^{1/d} \leq T_d(G) \leq C_d(\log |G|)^{1/d}.$
Linear upper bounds are provided for the size of the torsion homology of negatively curved manifolds of finite volume in all dimensions $d\ne 3$. This extends a classical theorem by Gromov. In dimension $3$, as opposed to the Betti numbers, the size of torsion homology is unbounded in terms of the volume. Moreover, there is a sequence of $3$-dimensional hyperbolic manifolds that converges to $\mathbb{H}^3$ in the Benjamini--Schramm topology while its normalized torsion in the first homology is dense in $[0,\infty]$. In dimension $d\geq 4$ a somewhat precise estimate is given for the number of …
We study the effect of edge contractions on simplicial homology because these contractions have turned to be useful in various applications involving topology. It was observed previously that contracting edges that satisfy the so called link condition preserves homeomorphism in low dimensional complexes, and homotopy in general. But, checking the link condition involves computation in all dimensions, and hence can be costly, especially in high dimensional complexes. We define a weaker and more local condition called the p-link condition for each dimension p, and study its effect on edge contra…
We will provide bounds on both the Betti numbers and the torsion part of the homology of hyperbolic orbifolds. These bounds are linear in the volume and are a direct consequence of an efficient simplicial model of the thick part, which we will construct as well. The homology statements complement previous work of Bader, Gelander and Sauer (torsion homology of manifolds), Samet (Betti numbers of orbifolds) and a classical theorem of Gromov (Betti numbers of manifolds). For arithmetic, non-compact hyperbolic orbifolds -- i.e. in the case of arithmetic, non-uniform lattices in $\operatorname{Isom…
TDA (topological data analysis) is a relatively new area of research related to importing classical ideas from topology into the realm of data analysis. Under the umbrella term TDA, there falls, in particular, the notion of persistent homology, which can be described in a nutshell, as the study of scale dependent homological invariants of datasets. In these notes, we provide a terse self contained description of the main ideas behind the construction of persistent homology as an invariant feature of datasets, and its stability to perturbations.
We prove new vanishing results on the growth of higher torsion homologies for suitable arithmetic lattices, Artin groups and mapping class groups. The growth is understood along Farber sequences, in particular, along residual chains. For principal congruence subgroups, we also obtain strong asymptotic bounds for the torsion growth. As a central tool, we introduce a quantitative homotopical method called effective rebuilding. This constructs small classifying spaces of finite index subgroups, at the same time controlling the complexity of the homotopy. The method easily applies to free abelian …
We investigate the (co)homological properties of two classes of Lie algebras that are constructed from any finite poset: the solvable class $\frak{gl}^\preceq$ and the nilpotent class $\frak{gl}^\prec$. We confirm the conjecture of Jollenbeck that says: every prime power $p^r\!\leq\!n\!-\!2$ appears as torsion in $H_\ast(\frak{nil}_n;\mathbb{Z})$, and every prime power $p^r\!\leq\!n\!-\!1$ appears as torsion in $H_\ast(\frak{sol}_n;\mathbb{Z})$. If $\preceq$ is a bounded poset, then the (co)homology of $\frak{gl}^\preceq$ is \emph{torsion-convex}, i.e. if it contains $p$-torsion, then it also …
We provide a bottom up construction of torsion generators for weighted homology of a weighted complex over a discrete valuation ring $R=\mathbb{F}[[π]]$. This is achieved by starting from a basis for classical homology of the $n$-th skeleton for the underlying complex with coefficients in the residue field $\mathbb{F}$ and then lifting it to a basis for the weighted homology with coefficients in the ring $R$. Using the latter, a bijection is established between $n+1$ and $n$ dimensional simplices whose weight ratios provide the exponents of the $π$-monomials that generate each torsion summand …
We prove an extension of the Cheeger-Müller theorem to spaces with isolated conical singularities: the $L^2$-analytic torsion coincides with the Ray-Singer intersection torsion on an even dimensional space, and they are trivial, while the ratio is non trivial on an odd dimensional space, and the anomaly depends only on the link of the singularities. For this aim, we develop on one side a combinatorial cellular theory whose homology coincides with the intersection homology of Gregory and Macpherson, and where the Ray-Singer intersection torsion is well defined. On the other side, we elaborate t…
We compute the equivariant $K$-homology of the classifying space for proper actions, for compact 3-dimensional hyperbolic reflection groups. This coincides with the topological $K$-theory of the reduced $C^\ast$-algebra associated to the group, via the Baum-Connes conjecture. We show that, for any such reflection group, the associated $K$-theory groups are torsion-free. As a result we can promote previous rational computations to integral compu- tations. Our proof relies on a new efficient algebraic criterion for checking torsion-freeness of K-theory groups, which could be applied to many othe…