How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Ideal tetrahedron shape and cusp holonomy
Definition
Use the upper half-space model whose ideal boundary is . An oriented ideal tetrahedron in normalized position has ideal vertices , where . Its three edge-shape parameters are Assign to the edges and , to and , and to and . The parameter at a corner of a truncated ideal vertex triangle is the parameter of the incident edge. In a triangulated oriented torus link of ideal vertices, use oriented normal paths: paths avoiding link vertices, transverse to link edges, and meeting each triangle in arcs joining distinct sides, each cutting off one corner. Represent a loop by such a path before computing its cusp multiplier. For a chosen normal path , its cusp multiplier is the product of the corner parameters it cuts off, using the parameter when the corner is on its left and its reciprocal when the corner is on its right.
Used by
- A rank-two horocusp truncation has finite volume Lemma
- Cusp multipliers detect completeness Lemma
- Ideal gluing equations and trivial peripheral linear holonomy give a complete structure Lemma
- Shape parameters of an ideal tetrahedron Lemma
- The standard two-tetrahedron figure-eight gluing is complete Lemma
- Volume of an ideal orthoscheme region Lemma
- Volume of the regular ideal tetrahedron Theorem
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- Jessica S. Purcell, Hyperbolic Knot Theory (standard reference, not scraped)
- William P. Thurston, The Geometry and Topology of Three-Manifolds (standard reference, not scraped)