Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedverified 2026-10-22 (gpt-6.1-sol)
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 H3={(x+iy,t):x,y∈R, t>0},ds2=t−2(dx2+dy2+dt2), whose ideal boundary is C∪{∞}. An oriented ideal tetrahedron in normalized position has ideal vertices 0,1,∞,z, where Im⁡z>0. Its three edge-shape parameters are z,z′=11−z,z′′=z−1z, Assign z to the edges 0∞ and 1z, z′ to 1∞ and 0z, and z′′ to z∞ and 01. 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 H(γ) 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

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources