English

Delzant's T-invariant, Kolmogorov complexity and one-relator groups

Group Theory 2007-05-23 v3 Geometric Topology

Abstract

We prove that ``almost generically'' for a one-relator group Delzant's TT-invariant (which measures the smallest size of a finite presentation for a group) is comparable in magnitude with the length of the defining relator. The proof relies on our previous results regarding isomorphism rigidity of generic one-relator groups and on the methods of the theory of Kolmogorov-Chaitin complexity. We also give a precise asymptotic estimate (when kk is fixed and nn goes to infinity) for the number Ik,nI_{k,n} of isomorphism classes of kk-generator one-relator groups with a cyclically reduced defining relator of length nn: Ik,n(2k1)nnk!2k+1. I_{k,n}\sim \frac{(2k-1)^n}{nk!2^{k+1}}. Here f(n)g(n)f(n)\sim g(n) means that limnf(n)/g(n)=1\lim_{n\to\infty} f(n)/g(n)=1.

Keywords

Cite

@article{arxiv.math/0305353,
  title  = {Delzant's T-invariant, Kolmogorov complexity and one-relator groups},
  author = {Ilya Kapovich and Paul Schupp},
  journal= {arXiv preprint arXiv:math/0305353},
  year   = {2007}
}

Comments

A revised version, to appear in Comment. Math. Helv