Automatic structures, rational growth, and geometrically finite hyperbolic groups

DOI10.1007/BF01241129zbMATH Open0831.20041arXivmath/9401201MaRDI QIDQ1895679FDOQ1895679

Authors: Walter D. Neumann, Michael Shapiro 

Publication date: 6 February 1996

Published in: Inventiones Mathematicae (Search for Journal in Brave)

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.

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

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

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)

Cites Work

• A note on curvature and fundamental group
• Title not available (Why is that?)
• Title not available (Why is that?)
• The combinatorial structure of cocompact discrete hyperbolic groups
• Geometrical finiteness for hyperbolic groups
• Automatic groups and amalgams
• The Hadamard-Cartan theorem in locally convex metric spaces
• Rational subgroups of biautomatic groups
• EQUIVALENT AUTOMATIC STRUCTURES AND THEIR BOUNDARIES
• DETERMINISTIC AND NON-DETERMINISTIC ASYNCHRONOUS AUTOMATIC STRUCTURES
• AUTOMATIC STRUCTURES AND BOUNDARIES FOR GRAPHS OF GROUPS

Cited In (42)

• 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
• Rational Growth and Almost Convexity of Higher-Dimensional Torus Bundles
• Triangles, squares and geodesics.
• Garside groups have the falsification by fellow-traveller property.
• PATTERNS THEORY AND GEODESIC AUTOMATIC STRUCTURE FOR A CLASS OF GROUPS
• Quantitative residual properties of Γ-limit groups
• The language of geodesics for Garside groups
• The rationality of Sol-manifolds
• A non-Hopfian almost convex group.
• Strongly geodesically automatic groups are hyperbolic
• Large hyperbolic lattices.
• Geometric finiteness and rationality
• Conjugacy languages in virtual graph products
• Data center interconnection networks are not hyperbolic
• Rational growth in torus bundle groups of odd trace
• Title not available (Why is that?)
• 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
• Self-avoiding walks on Cayley graphs through the lens of symbolic dynamics
• Cone types and geodesic languages for lamplighter groups and Thompson's group \(F\).
• The Heisenberg group is pan-rational
• 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
• ON A GENERALIZATION OF DEHN'S ALGORITHM
• Injective hulls of certain discrete metric spaces and groups.
• 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
• Title not available (Why is that?)
• Graphs with convex balls
• 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)