pith. sign in

arxiv: 1906.08723 · v1 · pith:VJKT7HQRnew · submitted 2019-06-20 · 🧮 math.GT

Problem on Mutant Pairs of Hyperbolic Polyhedra

Croix Gyurek , Roland Roeder This is my paper

Pith reviewed 2026-05-25 19:05 UTC · model grok-4.3

classification 🧮 math.GT
keywords hyperbolic polyhedramutationcommensurabilitygeometric topology3-manifoldsknot theory
0
0 comments X

The pith

A mutation operation on compact hyperbolic polyhedra is defined and a question is posed about whether mutant pairs are commensurable.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces a mutation operation for compact hyperbolic polyhedra that is modeled directly on the mutation operation from knot theory. It then states an open question: whether every pair of mutant polyhedra must be commensurable. Several explicit examples of such mutant pairs are supplied to show that the question is nontrivial, and the authors note that the usual cusp-based methods for distinguishing knot mutants cannot be used here because the polyhedra are compact. A sympathetic reader would care because an affirmative answer would link two areas of geometric topology while a negative answer would require entirely new invariants for these objects.

Core claim

We present a notion of mutation of hyperbolic polyhedra, analogous to mutation in knot theory, and then present a general question about commensurability of mutant pairs of polyhedra. We motivate that question with several concrete examples of mutant pairs for which commensurability is unknown.

What carries the argument

The mutation operation on hyperbolic polyhedra, defined by cutting along a surface and regluing after a suitable isometry in a manner parallel to knot mutation.

If this is right

  • If mutant pairs are always commensurable then they must share all commensurability invariants despite the change in combinatorial structure.
  • Standard cusp techniques from knot theory cannot distinguish these pairs, so any proof or counterexample requires new methods adapted to closed polyhedra.
  • The mutation operation produces families of polyhedra whose hyperbolic structures are related by a simple cut-and-paste move.
  • Answering the commensurability question would determine whether mutation preserves the commensurability class for this class of objects.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If some mutant pairs turn out to be incommensurable, the mutation operation would supply a systematic way to produce incommensurable compact hyperbolic polyhedra from a single starting example.
  • The definition may extend naturally to mutation of other geometric structures on polyhedra, such as spherical or Euclidean ones.
  • Resolving the question could clarify how combinatorial changes affect the geometry of the complement or the fundamental group in ways that knot mutation already illustrates.

Load-bearing premise

The concrete examples are valid mutant pairs under the defined operation and the operation preserves the hyperbolic structure on the compact polyhedra.

What would settle it

An explicit computation of a geometric invariant (such as volume or a representation variety) on one of the concrete mutant pairs that shows the two polyhedra are incommensurable.

Figures

Figures reproduced from arXiv: 1906.08723 by Croix Gyurek, Roland Roeder.

Figure 1
Figure 1. Figure 1: Slicing the first polyhedron in half and rotating the lower half by 2π 3 results in the second. Two compact hyperbolic polyhedra P, P0 are commensurable iff their Kleinian groups Γ(P) and Γ(P 0 ) are commensurable in the wide sense. Pairs of commensurable Kleinian groups share several properties, and therefore determining if a pair of Kleinian groups is commensurable is an important problem. We refer the r… view at source ↗
Figure 2
Figure 2. Figure 2: A mutant pair of prisms for which we do not know if they are commensurable or not. An edge is labeled by n if it is assigned a dihedral angle of π n . Unlabeled edges are assigned right dihedral angles. Moreover, each of the polyhedra has a vertex where two edges having dihedral angles π 3 and π 5 meet. Therefore, Proposition 2.4 gives that AA5 and AA5m have isomorphic invariant quater￾nion algebras, each … view at source ↗
Figure 3
Figure 3. Figure 3: The definitions for the three half-polyhedra. Unlabeled edges have right dihedral angles. We use the following notation to describe these polyhedra. The first two letters refer to the two halves that make it up (like AC or BB). Then we put a number q to denote that each of the edges of the prismatic circuit where the mutation occurs has dihedral angle π/q. Finally, we append the letter “m” to refer to the … view at source ↗
read the original abstract

We present a notion of mutation of hyperbolic polyhedra, analogous to mutation in knot theory, and then present a general question about commensurability of mutant pairs of polyhedra. We motivate that question with several concrete examples of mutant pairs for which commensurability is unknown. The polyhedra we consider are compact, so techniques involving cusps that are typically used to distinguishing mutant pairs of knots are not applicable. Indeed, new techniques may need to be developed to study commensurability of mutant pairs of polyhedra.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript defines a mutation operation on compact hyperbolic polyhedra, modeled on knot mutation, poses the open question of whether mutant pairs are commensurable, and motivates the question with several concrete examples of such pairs. It notes that compactness precludes the use of cusp-based techniques standard in knot theory.

Significance. If the mutation is well-defined and the supplied examples are valid instances, the work could usefully frame a new line of inquiry into commensurability invariants for closed hyperbolic polyhedra, extending the knot-theoretic analogy and highlighting the need for techniques beyond those relying on cusps.

major comments (1)
  1. [motivation with examples paragraph] The central motivation for the commensurability question rests on the concrete examples being valid mutant pairs. The text provides no explicit verification that the mutation operation preserves hyperbolicity and compactness of the polyhedra (see the paragraph describing the motivation with examples). Without this check, the examples do not necessarily support the claim that new techniques may be needed.
minor comments (2)
  1. [definition section] The definition of the mutation operation should be stated in a numbered definition environment for easy reference in subsequent discussion.
  2. [introduction] Add a reference to the original knot-mutation literature (e.g., Ruberman or other standard citations) when introducing the analogy.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the report and the constructive observation on the motivation section. We address the single major comment below.

read point-by-point responses

  1. Referee: The central motivation for the commensurability question rests on the concrete examples being valid mutant pairs. The text provides no explicit verification that the mutation operation preserves hyperbolicity and compactness of the polyhedra (see the paragraph describing the motivation with examples). Without this check, the examples do not necessarily support the claim that new techniques may be needed.

    Authors: We agree that an explicit statement would strengthen the motivation. The mutation is introduced and defined earlier in the manuscript as an operation that cuts along a sphere and reglues isometrically, which by construction preserves both the hyperbolic structure and compactness. In the revised version we will add one clarifying sentence in the motivation paragraph noting that the supplied examples are obtained directly from this operation applied to known compact hyperbolic polyhedra, thereby confirming they remain compact and hyperbolic. revision: yes

Circularity Check

0 steps flagged

No derivation or prediction present; purely definitional and interrogative

full rationale

The paper defines a mutation operation on hyperbolic polyhedra (analogous to knot mutation) and poses an open commensurability question, motivated by concrete examples. No equations, first-principles derivations, parameter fitting, or predictions are claimed. The content reduces to introducing terminology and stating an unresolved problem; the examples serve only as motivation, with no reduction of any result to its own inputs by construction. This matches the default non-circular case for definitional papers.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract contains no mathematical derivations, fitted parameters, background axioms beyond standard topology, or invented entities; the work is purely definitional and question-posing.

pith-pipeline@v0.9.0 · 5595 in / 1053 out tokens · 37601 ms · 2026-05-25T19:05:31.561611+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    Finiteness of arithmetic Kleinian reflection groups

    Ian Agol. Finiteness of arithmetic Kleinian reflection groups. In International Congress of Mathematicians. Vol. II, pages 951–960. Eur. Math. Soc., Z¨ urich, 2006

    work page 2006

  2. [2]

    E. M. Andreev. Convex polyhedra in Lobaˇ cevski˘ ı spaces.Mat. Sb. (N.S.) , 81 (123):445–478, 1970

    work page 1970

  3. [3]

    Maloney, and Roland K

    Omar Antol´ ın-Camarena, Gregory R. Maloney, and Roland K. W. Roeder. Computing arithmetic invariants for hyperbolic reflection groups. In Complex dynamics, pages 597–631. A K Peters, Wellesley, MA, 2009

    work page 2009

  4. [4]

    Arithmetic hyperbolic reflection groups

    Mikhail Belolipetsky. Arithmetic hyperbolic reflection groups. Bull. Amer. Math. Soc. (N.S.) , 53(3):437–475, 2016

    work page 2016

  5. [5]

    Three-dimensional orbifolds and their geometric structures , volume 15 of Panoramas et Synth` eses [Panoramas and Syntheses]

    Michel Boileau, Sylvain Maillot, and Joan Porti. Three-dimensional orbifolds and their geometric structures , volume 15 of Panoramas et Synth` eses [Panoramas and Syntheses]. Soci´ et´ e Math´ ematique de France, Paris, 2003

    work page 2003

  6. [6]

    A branched Andreev-Thurston theorem for circle packings of the sphere

    Phil Bowers and Kenneth Stephenson. A branched Andreev-Thurston theorem for circle packings of the sphere. Proc. London Math. Soc. (3) , 73(1):185–215, 1996

    work page 1996

  7. [7]

    Algebraic invariants, mutation, and commensurability of link complements

    Eric Chesebro and Jason DeBlois. Algebraic invariants, mutation, and commensurability of link complements. Pacific J. Math. , 267(2):341–398, 2014

    work page 2014

  8. [8]

    J. H. Conway. An enumeration of knots and links, and some of their algebraic properties. In Computational Problems in Abstract Algebra (Proc. Conf., Oxford, 1967) , pages 329–358. Pergamon, Oxford, 1970

    work page 1967

  9. [9]

    Michael W. Davis. The geometry and topology of Coxeter groups , volume 32 of London Mathematical Society Monographs Series. Princeton University Press, Princeton, NJ, 2008

    work page 2008

  10. [10]

    Commensurators of cusped hyperbolic manifolds

    Oliver Goodman, Damian Heard, and Craig Hodgson. Commensurators of cusped hyperbolic manifolds. Experiment. Math., 17(3):283–306, 2008

    work page 2008

  11. [11]

    On commensurable hyperbolic Coxeter groups

    Rafael Guglielmetti, Matthieu Jacquemet, and Ruth Kellerhals. On commensurable hyperbolic Coxeter groups. Geom. Dedicata, 183:143–167, 2016

    work page 2016

  12. [12]

    Craig D. Hodgson. Deduction of Andreev’s theorem from Rivin’s characterization of convex hyperbolic poly- hedra. In Topology ’90 (Columbus, OH, 1990) , volume 1 of Ohio State Univ. Math. Res. Inst. Publ. , pages 185–193. de Gruyter, Berlin, 1992

    work page 1990

  13. [13]

    Hodgson and Igor Rivin

    Craig D. Hodgson and Igor Rivin. A characterization of compact convex polyhedra in hyperbolic 3-space. Invent. Math., 111(1):77–111, 1993

    work page 1993

  14. [14]

    Written by Roland K.W

    Hyper-hedron hyperbolic geometry software. Written by Roland K.W. Roeder. https://www.math.iupui.edu/~roederr/HYPER-HEDRON/

    work page

  15. [15]

    Ortiz, Alexander D

    Jean-Fran¸ cois Lafont, Ivonne J. Ortiz, Alexander D. Rahm, and Rub´ en J. S´ anchez-Garc´ ıa. EquivariantK- homology for hyperbolic reflection groups. Q. J. Math. , 69(4):1475–1505, 2018

    work page 2018

  16. [16]

    Colin Maclachlan and Alan W. Reid. The arithmetic of hyperbolic 3-manifolds, volume 219 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2003

    work page 2003

  17. [17]

    Roland K. W. Roeder, John H. Hubbard, and William D. Dunbar. Andreev’s theorem on hyperbolic poly- hedra. Ann. Inst. Fourier (Grenoble) , 57(3):825–882, 2007

    work page 2007

  18. [18]

    Written by Omar Antolin-Camarena, Gregory R

    Snap-hedron hyperbolic geometry software. Written by Omar Antolin-Camarena, Gregory R. Maloney, and Roland K.W. Roeder. https://www.math.iupui.edu/~roederr/SNAP-HEDRON/

    work page

  19. [19]

    `E. B. Vinberg. Hyperbolic groups of reflections. Uspekhi Mat. Nauk , 40(1(241)):29–66, 255, 1985. IUPUI Department of Mathematical Sciences, LD Building, Room 255, 402 North Blackford Street, Indianapolis, Indiana 46202-3267, United States IUPUI Department of Mathematical Sciences, LD Building, Room 224Q, 402 North Blackford Street, Indianapolis, Indiana ...

    work page 1985