Table of Contents
Fetching ...

Torsion invariants of complexes of groups

Boris Okun, Kevin Schreve

Abstract

Suppose a residually finite group $G$ acts cocompactly on a contractible complex with strict fundamental domain $Q$, where the stabilizers are either trivial or have normal $\mathbb{Z}$-subgroups. Let $\partial Q$ be the subcomplex of $Q$ with nontrivial stabilizers. Our main result is a computation of the homology torsion growth of a chain of finite index normal subgroups of $G$. We show that independent of the chain, the normalized torsion limits to the torsion of $\partial Q$, shifted a degree. Under milder assumptions of acyclicity of nontrivial stabilizers, we show similar formulas for the mod p-homology growth. We also obtain formulas for the universal and the usual $L^2$-torsion of $G$ in terms of the torsion of stabilizers and topology of $\partial Q$. In particular, we get complete answers for right-angled Artin groups, which shows they satisfy a torsion analogue of the Lück approximation theorem.

Torsion invariants of complexes of groups

Abstract

Suppose a residually finite group acts cocompactly on a contractible complex with strict fundamental domain , where the stabilizers are either trivial or have normal -subgroups. Let be the subcomplex of with nontrivial stabilizers. Our main result is a computation of the homology torsion growth of a chain of finite index normal subgroups of . We show that independent of the chain, the normalized torsion limits to the torsion of , shifted a degree. Under milder assumptions of acyclicity of nontrivial stabilizers, we show similar formulas for the mod p-homology growth. We also obtain formulas for the universal and the usual -torsion of in terms of the torsion of stabilizers and topology of . In particular, we get complete answers for right-angled Artin groups, which shows they satisfy a torsion analogue of the Lück approximation theorem.

Paper Structure

This paper contains 9 sections, 19 theorems, 78 equations.

Key Result

Theorem 1.1

Let $G$ be a residually finite group which acts cocompactly on a contractible complex with strict fundamental domain $Q$. Suppose the stabilizer of any cell fixes it, and that each nontrivial stabilizer has a normal, infinite cyclic subgroup with type $F$ quotient. Let $\partial Q$ be the subcomplex

Theorems & Definitions (41)

  • Theorem 1.1
  • Lemma 2.1
  • proof
  • Lemma 2.2
  • proof
  • Remark
  • Lemma 2.3
  • Lemma 2.4
  • proof
  • Lemma 2.5
  • ...and 31 more