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.
Euclidean length of a slope on a horospherical cusp section
Definition
Let be the interior of a compact connected orientable three-manifold with a complete finite-volume hyperbolic metric and torus cusps . For a chosen cusp , choose a horospherical section and identify its Euclidean universal cover with so its deck group is a rank-two translation lattice. A slope on is represented by a primitive lattice vector modulo sign. Its Euclidean slope length on the chosen section is in the induced Euclidean metric. In upper half-space coordinates, if the section is the quotient of the horosphere of height by lattice , then , where are the translation vectors representing the chosen basis. Replacing height by multiplies every slope length by ; therefore the length depends on the chosen section and is not an intrinsic number until that section is fixed.
Depends on
Used by
Dependency tree · two levels
4 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- William P. Thurston, The Geometry and Topology of Three-Manifolds (standard reference, not scraped)
- Danny Calegari, Kleinian Groups (standard reference, not scraped)