Gersten's recursive upper bound for Dehn functions of linear groups

At least 19 years old · documented by

Let f ⁣:N→Nf\colon\mathbb{N}\to\mathbb{N} be a recursive function, for example f(n)=2nf(n)=2^n, and consider finite presentations of linear groups. The Dehn function, denoted by Area⁡(n)\operatorname{Area}(n), measures the maximal minimal filling area of null-homotopic words of length at most nn.

Gersten's conjecture. There is a recursive function f ⁣:N→Nf\colon\mathbb{N}\to\mathbb{N}, such that every finite presentation of a linear group has

Area⁡(n)⪯f(n).\operatorname{Area}(n)\preceq f(n).

The question is motivated by the problem of extending linear filling-length bounds from nilpotent groups to polycyclic or, more generally, linear groups. The source presents this as a conjectural consequence supported by progress toward those filling-length bounds, and no resolution is supplied.

References

Primary source

T. R. Riley, “Filling functions”, arXiv:math/0603059 (2006).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.