Verified computations for hyperbolic 3-manifolds
From MaRDI portal
Publication:2801070
Abstract: For a given cusped 3-manifold admitting an ideal triangulation, we describe a method to rigorously prove that either or a filling of admits a complete hyperbolic structure via verified computer calculations. Central to our method are an implementation of interval arithmetic and Krawczyk's Test. These techniques represent an improvement over existing algorithms as they are faster, while accounting for error accumulation in a more direct and user friendly way.
Recommendations
- Verified computations for closed hyperbolic 3‐manifolds
- Algorithmic detection and description of hyperbolic structures on closed 3-manifolds with solvable word problem
- Proving a manifold to be hyperbolic once it has been approximated to be so
- Combinatorial Ricci flows with applications to the hyperbolization of cusped 3-manifolds
- Construction and recognition of hyperbolic 3-manifolds with geodesic boundary
Cites work
- A census of cusped hyperbolic 3-manifolds
- Computing Arithmetic Invariants of 3-Manifolds
- Exceptional Dehn surgery on the minimally twisted five-chain link
- Fehlerabschätzung reeller Eigenwerte und Eigenvektoren von Matrizen
- Homotopy hyperbolic 3-manifolds are hyperbolic
- Introduction to Automatic Differentiation and MATLAB Object-Oriented Programming
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- Proving a manifold to be hyperbolic once it has been approximated to be so
- Symmetries, Isometries and Length Spectra of Closed Hyperbolic Three-Manifolds
- Three dimensional manifolds, Kleinian groups and hyperbolic geometry
- Verification methods: rigorous results using floating-point arithmetic
- Volumes of hyperbolic three-manifolds
Cited in
(24)- Ideal points of character varieties, algebraic non-integral representations, and undetected closed essential surfaces in 3–manifolds
- Floer homology, group orderability, and taut foliations of hyperbolic 3-manifolds
- Rigorous computations with an approximate Dirichlet domain
- Complete exceptional surgeries on two-bridge links
- Cosmetic banding on knots and links
- Absolutely exotic compact 4-manifolds
- COMPUTING CONSTANT-CURVATURE METRICS FOR HYPERBOLIC 3-MANIFOLDS WITH BOUNDARIES USING TRUNCATED TETRAHEDRAL MESHES
- Norms on the cohomology of hyperbolic 3-manifolds
- A census of exceptional Dehn fillings
- Prime amphicheiral knots with free period 2
- Experimental statistics of veering triangulations
- Random veering triangulations are not geometric
- Knot concordances in \(S^1\times S^2\) and exotic smooth \(4\)-manifolds
- hikmot
- On satellite knots with symmetric union presentations
- Practical bounds for a Dehn parental test
- The Seiberg-Witten equations and the length spectrum of hyperbolic three-manifolds
- On the geometry of rod packings in the 3‐torus
- A Survey of the Impact of Thurston’s Work on Knot Theory
- Infinitely many virtual geometric triangulations
- Verified computations for closed hyperbolic 3‐manifolds
- On constraints for knots to admit chirally cosmetic surgeries and their calculations
- Equivariant hyperbolization of 3-manifolds via homology cobordisms
- Proving a manifold to be hyperbolic once it has been approximated to be so
This page was built for publication: Verified computations for hyperbolic 3-manifolds
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2801070)
