Alphabeta Math
Pipeline-generated
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.

Root-of-unity skein TQFT for 3-manifolds — Examples and Counterexamples

1 · Prerequisites

2 · Logical flowchart

3 · Definitions, theorems and proofs

None yet.

4 · Examples, counterexamples and false statements

CounterexampleConstruction: AI-generatedVerification: AI-generatedjudge pass (gpt-6-luna)verified 2026-10-22 (gpt-6.1-sol)Open item page →

The next Jones–Wenzl recursion denominator vanishes at p=6

Statement refuted

For every even p≥4 and every primitive 2p-th root A, the standard Jones–Wenzl recursion for the BHMV Kauffman bracket can be continued to every strand number by cancelling any zero quantum-integer denominator against a zero numerator.

Facts & Assumptions

Given: The BHMV conventions at p=6, a primitive twelfth root A, and the standard recursive formula for Jones–Wenzl projectors.

[F1]

The BHMV root-of-unity skein parameter: r=p/2, δ=−A2−A−2, and [1]=1, [2]=δ, [3]=δ[2]−[1].

[F2]

Jones–Wenzl recursion over unit quantum integers: the next projector in the standard recursion uses the inverse of the next quantum integer.

Counterexample

Given: Take p=6 and any primitive twelfth root A.

1.1givenF1algebra

Here r=3, q=−A2 has q2 of order three, and q+q−1=−1. Thus δ=−1, [2]=δ=−1, and [3]=δ[2]−[1]=(−1)(−1)−1=0.

2.1F2step 1.1algebra∎

The recursion for p3 requires division by [3]. Since [3]=0 in C, no multiplicative inverse exists, so this recursive expression is undefined. In particular, cancellation cannot assign it a value. The calculation refutes the asserted universal continuation; it makes no claim that a projector at rank three cannot be constructed by a different method.

ExampleConstruction: AI-generatedVerification: Literature-sourcedverified 2026-10-22 (gpt-6.1-sol)Open item page →

Worked root-of-unity fusion and torus-state cases

Example

Use the BHMV convention A primitive of order 2p, p even, r=p/2, and labels 0,…,r−2. At p=4 the label set is {0} and the torus state space has dimension 1. At p=6 the label set is {0,1}, the fusion rule is 1⊗1≅0, and the torus state space has dimension 2.

Facts & Assumptions

Given: The fixed BHMV roots p=4 and p=6 and the corresponding specialized Temperley–Lieb categories.

[F1]

The BHMV root-of-unity skein parameter: at p=4, r=2; at p=6, r=3; the label set is {0,…,r−2}.

[F2]

Jones–Wenzl projectors exist up to the first zero quantum integer: at p=6, p2 is defined and has zero trace.

[F3]

Root fusion rules and completeness of the simple objects supplies the resolved full root fusion/completeness interface; no accepted proof is replayed.

[F4]

The solid-torus skein module has a core-multicurve basis: the framed skein module of the solid torus has the core multicurves as a free basis; its authorship record assumes full AC.

[F5]

Handlebody pairing nondegeneracy and gluing supplies the normalized perfect pairing and gluing at this root.

[F6]

External input — exact torus basis. BHMV Corollary4.10 p.909 gives the solid-torus core states as an actual basis of the torus state space; at even p=2r its colors are 0,…,r−2. Proposition1.9 identifies this space with the declared complementary-handlebody radical quotient. This is an actual basis statement, not a dimension inferred merely from a finite spanning list.

Verification

Given: The two root choices in the Example.

1.1F1givenalgebra

At p=4, r=2 and r−2=0, so the displayed label set is exactly {0}. At p=6, r=3 and r−2=1, so it is exactly {0,1}.

2.1F2F3step 1.1algebra

At p=6, δ=−1, p2=12+U1, and e0=−U1 is an idempotent isomorphic to the tensor unit. Since p2 is negligible by [F2], the decomposition 12=p2+e0 gives 1⊗1≅0 in the quotient. This verifies the stated fusion calculation.

3.1F1F3F4F5F6step 1.1step 2.1algebra∎

By [F6] the torus dimension is the number of these basis labels, namely r−1. Step1.1 gives one label for p=4 and two labels for p=6, so the dimensions are 1 and 2. Together with the retained local fusion calculation in step2.1 this proves every Example clause. No polynomial skein basis before radical quotient is confused with the finite TQFT basis.

Sources