Infinite hyperbolic symmetries reduce to three seeds
- What it is
- The paper claims a broad family of hyperbolic symmetries reduces to three seed shapes.
- Who did it
- Daniel Allcock, Pat Devlin, Anna Felikson, Alex Kontorovich, and Ian Whitehead
- What it could mean
- Just three building blocks could organize a sprawling family of hyperbolic shapes. That would turn an intimidating geometric wilderness into a map researchers can actually use.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
Arithmetic Polyhedra ↗See the proposed checks
Source-lock the TeX bundle; independently verify arithmeticity and commensurability invariants for the three seed polyhedra; reconstruct the gluing classification for ideal right-angled cases; then trace the reduction from the Koebe-Andreev-Thurston correspondence to the stated conjecture with specialist hyperbolic-geometry review.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- The paper claims that every arithmetic reflection group arising from a combinatorial polyhedron is commensurable to one arising from a tetrahedron, square pyramid, or cuboctahedron, proving the Kontorovich-Nakamura conjecture. Its stated intermediate theorem classifies arithmetic ideal right-angled hyperbolic polyhedra as gluings of three seed polyhedra.
- Why this could matter
- Infinite hyperbolic symmetries reduce to three seeds Hyperbolic polyhedra can encode vast families of geometric symmetries. This paper claims every arithmetic case in one major construction descends from just three building blocks, turning a classification puzzle into a finite map.
- If it holds up
- It would organize a broad class of arithmetic reflection groups around three seed geometries, enabling sharper classification work.
- If it does not
- The proposed seeds may not cover every case, exposing where arithmeticity or gluing arguments need stronger conditions.
- Impact horizon
- Foundational · Hyperbolic geometry · Number theory · Symmetry
- Version
- submitted 2026-09-04 16:57:28 UTC
- Why we tracked it
- a fresh claimed proof of the 2016 Kontorovich-Nakamura conjecture on arithmetic hyperbolic reflection groups, with an explicit structural reduction but no linked formalization, codebase, or certificate artifact; no docket created.
- Highest-risk dependency
- The crucial issue is whether the proposed gluing classification is exhaustive and preserves the arithmetic and commensurability conditions needed for the original reflection-group statement. The abstract does not expose exceptional polyhedra, field hypotheses, or the reduction's treatment of non-ideal cases.
- Available artifacts
- arXiv supplies PDF, experimental HTML, and TeX source; the abstract page notes 39 pages and 24 figures. No source-linked formal proof, executable code, data, or certificate repository was found. No manuscript artifact was downloaded or run.
- Current boundary
- Intake record only; examination not started.