Automatic structures, rational growth, and geometrically finite hyperbolic groups

DOI10.1007/BF01241129MaRDI QIDQ1895679zbMATH OpenFDO

Authors Walter D. Neumann, Michael Shapiro

Publication date 6 February 1996

Published in Inventiones Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9401201, https://eudml.org/doc/144276

zbMATH Keywords

geodesicsregular languagescuspsgeometrically finite hyperbolic groupsmaximal parabolic subgroupsbiautomatic structuresreal hyperbolic spacesrational growth functionssynchronous automatic structures

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Generators, relations, and presentations of groups (20F05) Geometric group theory (20F65) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Abstract: We show that the set $SA(G)$ of equivalence classes of synchronously automatic structures on a geometrically finite hyperbolic group $G$ is dense in the product of the sets $SA(P)$ over all maximal parabolic subgroups $P$. The set $BSA(G)$ of equivalence classes of biautomatic structures on $G$ is isomorphic to the product of the sets $BSA(P)$ over the cusps (conjugacy classes of maximal parabolic subgroups) of $G$. Each maximal parabolic $P$ is a virtually abelian group, so $SA(P)$ and $BSA(P)$ were computed in ``Equivalent automatic structures and their boundaries by M.Shapiro and W.Neumann, Intern. J. of Alg. Comp. 2 (1992) We show that any geometrically finite hyperbolic group has a generating set for which the full language of geodesics for $G$ is regular. Moreover, the growth function of $G$ with respect to this generating set is rational. We also determine which automatic structures on such a group are equivalent to geodesic ones. Not all are, though all biautomatic structures are.

Recommendations

• Geometric finiteness and rationality
• scientific article; zbMATH DE number 139736
• scientific article; zbMATH DE number 850241
• REGULARITY OF QUASIGEODESICS IN A HYPERBOLIC GROUP
• Growth Functions and Automatic Groups

Cites work

• scientific article; zbMATH DE number 691164 (Why is no real title available?)
• scientific article; zbMATH DE number 849252 (Why is no real title available?)
• A note on curvature and fundamental group
• AUTOMATIC STRUCTURES AND BOUNDARIES FOR GRAPHS OF GROUPS
• Automatic groups and amalgams
• DETERMINISTIC AND NON-DETERMINISTIC ASYNCHRONOUS AUTOMATIC STRUCTURES
• EQUIVALENT AUTOMATIC STRUCTURES AND THEIR BOUNDARIES
• Geometrical finiteness for hyperbolic groups
• Rational subgroups of biautomatic groups
• The Hadamard-Cartan theorem in locally convex metric spaces
• The combinatorial structure of cocompact discrete hyperbolic groups

Cited in

(42)

• Graphs with convex balls
• On groups whose geodesic growth is polynomial.
• Rational cross-sections, bounded generation, and orders on groups
• Conjugacy languages in groups
• STAR-FREE GEODESIC LANGUAGES FOR GROUPS
• Triangles, squares and geodesics.
• Garside groups have the falsification by fellow-traveller property.
• Rational Growth and Almost Convexity of Higher-Dimensional Torus Bundles
• PATTERNS THEORY AND GEODESIC AUTOMATIC STRUCTURE FOR A CLASS OF GROUPS
• The language of geodesics for Garside groups
• The rationality of Sol-manifolds
• Quantitative residual properties of Γ-limit groups
• A non-Hopfian almost convex group.
• Strongly geodesically automatic groups are hyperbolic
• Large hyperbolic lattices.
• Geometric finiteness and rationality
• Data center interconnection networks are not hyperbolic
• Conjugacy languages in virtual graph products
• Rational growth in torus bundle groups of odd trace
• scientific article; zbMATH DE number 7614195 (Why is no real title available?)
• Conjugacy growth series and languages in groups.
• Counting problems in graph products and relatively hyperbolic groups
• Regular geodesic languages and the falsification by fellow traveler property.
• On endomorphisms of automatic groups
• Cone types and geodesic languages for lamplighter groups and Thompson's group \(F\).
• The Heisenberg group is pan-rational
• Self-avoiding walks on Cayley graphs through the lens of symbolic dynamics
• Some geodesic problems in groups
• Counting subgraphs in fftp graphs with symmetry
• Finite generating sets of relatively hyperbolic groups and applications to geodesic languages
• REGULARITY OF QUASIGEODESICS IN A HYPERBOLIC GROUP
• GRAPH PRODUCTS AND CANNON PAIRS
• Local limit theorems in relatively hyperbolic groups. I: Rough estimates
• Injective hulls of certain discrete metric spaces and groups.
• ON A GENERALIZATION OF DEHN'S ALGORITHM
• A Cayley graph for F2 × F2 which is not minimally almost convex
• GROUPS WHOSE GEODESICS ARE LOCALLY TESTABLE
• On problems related to growth, entropy, and spectrum in group theory
• Regular geodesic normal forms in virtually Abelian groups
• A QUASI-ISOMETRY INVARIANT LOOP SHORTENING PROPERTY FOR GROUPS
• scientific article; zbMATH DE number 1284208 (Why is no real title available?)
• Growth of certain non-positively curved cube groups

This page was built for publication: Automatic structures, rational growth, and geometrically finite hyperbolic groups

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