Alphabeta Math
Open problemQuestion: Literature-sourcedProof: Not applicablePipeline-generated‡ sources checked 2026-10-22‡ unresolved
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.

This problem is unresolved. Its sources and status may be reviewed, but no solution is accepted here. It cannot be used as a proof premise.

Kashaev–Murakami–Murakami volume conjecture for hyperbolic knots

Open problem

Assume the Axiom of Choice and Countable Choice for the normalized colored Jones sequence used below.

Let K be an oriented smooth knot in S3, let EK be its compact exterior, and equip int⁡(EK) with a complete finite-volume hyperbolic metric g having exactly one peripheral torus cusp. Write Vol⁡g(K) for its Riemannian volume. Let JN(K;q)∈Z[q,q−1] be the normalized N-dimensional colored Jones Laurent polynomial with JN(◯;q)=1, in the variable q=A4 declared in the generic color definition. Put qN=exp⁡(2πi/N). The conjecture is that JN(K;qN)≠0 for all sufficiently large N and that lim⁡N→∞2πNlog⁡∣JN(K;qN)∣=Vol⁡g(K). This is the real absolute-value formulation; the complex-volume refinement is a separate conjecture.

Status

As of 2026-10-19, the classical diagonal-sequence conjecture for arbitrary hyperbolic knots remains open in the inspected status source. Aistleitner and Borda (2025), §1, state that the classical volume conjecture is proved for some low-crossing knots, including the figure-eight knot, but remains open for general knots. Kakuta's version-3 preprint (2026), §1, proves a different varying-color, deformed-parameter statement for a range of cone angles on the figure-eight knot; its stated parameter and color regime do not settle the classical sequence with color dimension N and parameter qN=exp⁡(2πi/N) for every hyperbolic knot. The complex-volume/Chern–Simons refinement is distinct from the real limit stated above.

The local Laurent-polynomial supplier proves that the displayed generic normalization is an element of Z[q,q−1] for every knot and color and matches Murakami’s explicit normalization with q=A4. Thus JN(K;qN) is evaluation of that Laurent polynomial. For N≥2 the quantum dimension in the generic quotient vanishes at qN; direct specialized division is not its definition. This algebraic well-definedness does not prove the conjectured asymptotic limit.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

23 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