Polynomially-bounded Dehn functions of groups

DOI10.4171/JCA/2-4-1MaRDI QIDQ1630588zbMATH OpenOpenAlexWikidataFDO

Authors Alexander Y. Olshanskii

Publication date 10 December 2018

Published in Journal of Combinatorial Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1710.00550

zbMATH Keywords

Dehn function of groupfinitely presented groupgenerators and relations in groupsisoperimetric spectrumS-machineTuring machinevan Kampen diagram

Mathematics Subject Classification ID

Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Generators, relations, and presentations of groups (20F05) Cancellation theory of groups; application of van Kampen diagrams (20F06) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Geometric group theory (20F65) Asymptotic properties of groups (20F69)

Abstract: On the one hand, it is well known that the only subquadratic Dehn function of finitely presented groups is the linear one. On the other hand there is a huge class of Dehn functions $d(n)$ with growth at least $n^4$ (essentially all possible such Dehn functions) constructed in cite{SBR} and based on the time functions of Turing machines and S-machines. The class of Dehn functions $n^{alpha}$ with $alphain(2;4)$ remained more mysterious even though it has attracted quite a bit of attention (see, for example, cite{BB}). We fill the gap obtaining Dehn functions of the form $n^{alpha}$ (and much more) for all real $alphage2$ computable in reasonable time, for example, $alpha=pi$ or $alpha=e$, or $alpha$ is any algebraic number. As in cite{SBR}, we use S-machines but new tools and new way of proof are needed for the best possible lower bound $d(n)ge{n}^2$.

Review text

Summary: It is well known that every subquadratic Dehn function is linear. A question by Bridson asked to describe the isoperimetric spectrum of groups, that is the set of all numbers \(\alpha\) such that \(n^\alpha\) is equivalent to the Dehn function of a finitely presented group. The goal of this paper is to give a description of the isoperimetric spectrum. Earlier a similar description was given by \textit{M. V. Sapir} et al. [Ann. Math. (2) 156, No. 2, 345--466 (2002; Zbl 1026.20021)] for the intersection of the isoperimetric spectrum with \([4,\infty]\). Lowering the bound from 4 to 2 required significant new ideas and tools.

Recommendations

• The isoperimetric spectrum of finitely presented groups
• There is only one gap in the isoperimetric spectrum
• HYPERBOLICITY OF GROUPS WITH SUBQUADRATIC ISOPERIMETRIC INEQUALITY
• Density of isoperimetric spectra.
• Dehn functions of groups and extensions of complexes

Cites work

• Algorithmic and asymptotic properties of groups.
• Fractional isoperimetric inequalities and subgroup distortion
• Groups with small Dehn functions and bipartite chord diagrams.
• Groups with undecidable word problem and almost quadratic Dehn function. (With an appendix written by M. V. Sapir)
• scientific article; zbMATH DE number 437296 (Why is no real title available?)
• scientific article; zbMATH DE number 3920761 (Why is no real title available?)
• scientific article; zbMATH DE number 4031953 (Why is no real title available?)
• scientific article; zbMATH DE number 3574107 (Why is no real title available?)
• scientific article; zbMATH DE number 849253 (Why is no real title available?)
• scientific article; zbMATH DE number 1418967 (Why is no real title available?)
• scientific article; zbMATH DE number 3290993 (Why is no real title available?)
• HYPERBOLICITY OF GROUPS WITH SUBQUADRATIC ISOPERIMETRIC INEQUALITY
• Isoperimetric and isodiametric functions of groups
• Isoperimetric functions of groups and computational complexity of the word problem
• Isoperimetric inequalities and the homology of groups
• LENGTH AND AREA FUNCTIONS ON GROUPS AND QUASI-ISOMETRIC HIGMAN EMBEDDINGS
• On subgroup distortion in finitely presented groups
• Pseudo-natural algorithms for the word problem for finitely presented monoids and groups
• Snowflake groups, Perron-Frobenius eigenvalues and isoperimetric spectra.
• There is only one gap in the isoperimetric spectrum

Cited in

(12)

• Density of isoperimetric spectra.
• There is only one gap in the isoperimetric spectrum
• The isoperimetric spectrum of finitely presented groups
• The Dehn functions of Stallings-Bieri groups
• Algorithmic problems in groups with quadratic Dehn function
• The word problem in the Baumslag group with a non-elementary Dehn function is polynomial time decidable.
• Annular Dehn functions of groups
• Conjugacy problem in groups with quadratic Dehn function
• On Subquadratic Derivational Complexity of Semi-Thue Systems
• scientific article; zbMATH DE number 7624301 (Why is no real title available?)
• A semigroup with linearithmic Dehn function
• Torsion subgroups of groups with quadratic Dehn function

This page was built for publication: Polynomially-bounded Dehn functions of groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1630588)