Computing arithmetic invariants for hyperbolic reflection groups

MaRDI QIDQ3653996zbMATH OpenFDO

Authors Omar Antolín Camarena, Gregory R. Maloney, Roland K. W. Roeder

Publication date 4 January 2010

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

zbMATH Keywords

Andreev polyhedracommensurable groupsCoxeter polyhedradoubly-truncated prismsGram matrixinvariant quaternion algebrainvariant trace fieldKleinian groups, hyperbolic polyhedronLambert cubesLöbell polyhedraramificationsSNAPtruncated cubes

Mathematics Subject Classification ID

Reflection and Coxeter groups (group-theoretic aspects) (20F55) Fuchsian groups and their generalizations (group-theoretic aspects) (20H10) Kleinian groups (aspects of compact Riemann surfaces and uniformization) (30F40) Reflection groups, reflection geometries (51F15) Hyperbolic and elliptic geometries (general) and generalizations (51M10) (n)-dimensional polytopes (52B11)

Abstract: We describe a collection of computer scripts written in PARI/GP to compute, for reflection groups determined by finite-volume polyhedra in $mathbb{H}^3$, the commensurability invariants known as the invariant trace field and invariant quaternion algebra. Our scripts also allow one to determine arithmeticity of such groups and the isomorphism class of the invariant quaternion algebra by analyzing its ramification. We present many computed examples of these invariants. This is enough to show that most of the groups that we consider are pairwise incommensurable. For pairs of groups with identical invariants, not all is lost: when both groups are arithmetic, having identical invariants guarantees commensurability. We discover many ``unexpected commensurable pairs this way. We also present a non-arithmetic pair with identical invariants for which we cannot determine commensurability.

Recommendations

• Invariant Trace-Fields and Quaternion Algebras of Polyhedral Groups
• scientific article; zbMATH DE number 1859039
• Computing arithmetic Kleinian groups
• Computing Arithmetic Invariants of 3-Manifolds
• CoxIter -- computing invariants of hyperbolic Coxeter groups.

Cited in

(14)

• Complete and computable orbit invariants in the geometry of the affine group over the integers
• Arithmetic hyperbolic reflection groups
• A method to compute the number of regular reversible Rosenberg hypergroup.
• On commensurable hyperbolic Coxeter groups
• Amalgamation and the invariant trace field of a Kleinian group
• CoxIter -- computing invariants of hyperbolic Coxeter groups.
• scientific article; zbMATH DE number 733575 (Why is no real title available?)
• Computing Arithmetic Invariants of 3-Manifolds
• Computing arithmetic Kleinian groups
• Cohomological rigidity of manifolds defined by 3-dimensional polytopes
• Right-angled polyhedra and hyperbolic 3-manifolds
• Two-sided bounds for the volume of right-angled hyperbolic polyhedra
• The right-angled Coxeter group of minimal covolume in three-dimensional hyperbolic space
• Geometric and arithmetic properties of Löbell polyhedra

Describes a project that uses

Uses Software

• PARI/GP

This page was built for publication: Computing arithmetic invariants for hyperbolic reflection groups

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