Rigorous computations with an approximate Dirichlet domain
type: Item
instance of: scholarly article
title: Rigorous computations with an approximate Dirichlet domain
zbMATH Open document ID: 1458.57028
author: Maria Trnkova
published in: Topology and its Applications
publication date: 2019-11-06T00:00:00Z
full work available at URL: https://arxiv.org/abs/1703.02595
review text: If a topological 3-manifold is known to be hyperbolic (for example if solutions to Thurston's gluing equations are known) then the usual way to compute geometric invariants which cannot be immediately deduced from the existence proof such as length spectrum goes through computing first a Dirichlet domain for the action on hyperbolic 3-space (this is implemented in particular in SnapPea). On the other hand it is hard to compute a certifiable Dirichlet domain for manifolds with very thin parts. The present paper shows that for certain problems (in particular computing the length spectrum) it is sufficient to stop when one has computed up to an upper bound on the volume of the remaining facets, justifying rigorously the efficiency shown in practice by SnapPea's algorithm. More precisely it shows that the graph obtained by taking all group elements which move a well-chosen basepoint at distance at most \(R\) and connecting those for which the translates of the approximate Dirichlet domain \(D'\) is connected; thus, to compute the elements which will contribute to the length spectrum up to length \(R\) it is sufficient to use this graph.
reviewed by: Jean Raimbault
Mathematics Subject Classification ID: 57M50
Mathematics Subject Classification ID: 22E40
zbMATH DE Number: 7127244
zbMATH Keywords: length spectrum
zbMATH Keywords: Dirichlet domain
zbMATH Keywords: hyperbolic 3-manifold
describes a project that uses: SnapPea
describes a project that uses: SnapPy
describes a project that uses: Snap
MaRDI profile type: Publication
OpenAlex ID: W2977129729
arXiv ID: 1703.02595
cites work: On Poincaré's theorem for fundamental polygons
cites work: Applications of a Computer Implementation of Poincare's Theorem on Fundamental Polyhedra
cites work: Verified Computations for Hyperbolic 3-Manifolds
cites work: Q5716095
cites work: Strong Rigidity of Locally Symmetric Spaces. (AM-78)
cites work: Lectures on hyperbolic geometry
cites work: Q5323752
cites work: Isospectral and non-isometric Riemannian manifolds
cites work: Traces, lengths, axes and commensurability
cites work: Spectrally similar incommensurable 3‐manifolds
cites work: Q4896966
cites work: Isometry transformations of hyperbolic 3-manifolds
cites work: Q4005892
cites work: Symmetries, Isometries and Length Spectra of Closed Hyperbolic Three-Manifolds
cites work: The shape of hyperbolic Dehn surgery space
cites work: Practical bounds for a Dehn parental test
cites work: Exceptional hyperbolic 3-manifolds
Wikidata QID: Q127211234
DOI: 10.1016/J.TOPOL.2019.106900
description: scientific article