Applications of a Computer Implementation of Poincare's Theorem on Fundamental Polyhedra

DOI10.2307/2007537zbMath0528.51010OpenAlexW4234568539MaRDI QIDQ3310500

Robert Riley

Publication date: 1983

Published in: Mathematics of Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2007537

zbMATH Keywords

Bianchi groupsprojective groupshyperbolic structureshyperbolic isometriescomplex quadratic number fieldknot groupsFortran programsparabolicsalgorithmically defined group

Mathematics Subject Classification ID

Hyperbolic and elliptic geometries (general) and generalizations (51M10) Unimodular groups, congruence subgroups (group-theoretic aspects) (20H05) Polyhedra and polytopes; regular figures, division of spaces (51M20) Linear algebraic groups over the reals, the complexes, the quaternions (20G20) Software, source code, etc. for problems pertaining to geometry (51-04) Software, source code, etc. for problems pertaining to group theory (20-04) Kleinian groups (aspects of compact Riemann surfaces and uniformization) (30F40) Word problems, etc. in computability and recursion theory (03D40) Algorithms in computer science (68W99) Software, source code, etc. for problems pertaining to manifolds and cell complexes (57-04)

Related Items (29)

Presentations of the unit group of an order in a non-split quaternion algebra. ⋮ Computability Models: Algebraic, Topological and Geometric Algorithms ⋮ Geometric algorithms for discreteness and faithfulness ⋮ Holomorphically parameterized families of subgroups of sl(2, ℂ) ⋮ Almost all Bianchi groups have free, non-cyclic quotients ⋮ Almost all Bianchi groups have free, non-cyclic quotients ⋮ A personal account of the discovery of hyperbolic structures on some knot complements ⋮ Algorithms, complexity and discreteness criteria in \(PSL(2,C)\) ⋮ Free quotients of subgroups of the Bianchi groups whose kernels contain many elementary matrices ⋮ Link complements and the Bianchi modular groups ⋮ On the concept of level for subgroups of \(\text{SL}_2\) over arithmetic rings ⋮ Closed spaces in cosmology ⋮ The Farey octahedron graph, the Poincaré polyhedron theorem and Gaussian integer continued fractions ⋮ Macfarlane hyperbolic 3-manifolds ⋮ Reduction theory over quadratic imaginary fields ⋮ From the Poincaré Theorem to generators of the unit group of integral group rings of finite groups ⋮ Wythoff polytopes and low-dimensional homology of Mathieu groups. ⋮ Bounds on exceptional Dehn filling. II ⋮ Algebra for Heckoid Groups ⋮ Some Amalgam Structures for Bianchi Groups ⋮ A discreteness algorithm for 4-punctured sphere groups ⋮ Discreteness is undecidable ⋮ Reversing Palindromic Enumeration in Rank-Two Free Groups ⋮ Arithmetic Aspects of Bianchi Groups ⋮ Rigorous computations with an approximate Dirichlet domain ⋮ Computing in arithmetic groups with Voronoï's algorithm. ⋮ Computing arithmetic Kleinian groups ⋮ Algorithmic detection and description of hyperbolic structures on closed 3-manifolds with solvable word problem ⋮ Free quotients of congruence subgroups of Bianchi groups

This page was built for publication: Applications of a Computer Implementation of Poincare's Theorem on Fundamental Polyhedra