Alphabeta Math
LemmaStatement: Literature-sourcedProof: Literature-sourcedPipeline-generatedjudge pass (gpt-6-luna)verified 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.

Root Kirby-color handle-slide and blow-up invariance

Statement

Fix even p≥4, a primitive 2p-th root A, the BHMV semisimplified category, and its quantum dimensions dj and twists θj for 0≤j≤r−2. Put Ωp=∑j=0r−2djpj, Δ+=∑jdj2θj, and Δ−=∑jdj2θj−1. The Statement asserts that both Δ+ and Δ− are nonzero. For a finite integral framed link L in the oriented three-sphere, color each surgery component by Ωp and normalize the bracket evaluation by Δ+b+(L)Δ−b−(L), where b±(L) are the positive and negative indices of the framing matrix. With the stated BHMV root and weighted anomaly convention, the resulting value is unchanged under framed isotopy, handle slides, and addition or deletion of a split ±1-framed unknot.

Facts & Assumptions

Given: The root parameter, the semisimplified category, its simple projectors, quantum dimensions, twist, and a finite integral framed surgery link.

[F1]

The BHMV root-of-unity skein parameter fixes p, A, r, δ, and C.

[F2]

Semisimplified Temperley–Lieb quotient at the BHMV root defines the quotient and the root-specific projectors.

[F3]

Root fusion rules and completeness of the simple objects supplies the resolved finite simple list, dimensions, twists and invertible Hopf-link matrix in the registered root/pivotal convention. Its accepted interface is reused, not its body.

[F4]

Weighted Lagrangian extension and root anomaly data fixes the weighted Lagrangian composition and the selected sixth root κ.

[F5]

External input — actual BHMV Kirby color and Gauss units. BHMV, Topological Quantum Field Theories Derived from the Kauffman Bracket, Topology34(1995), §2 p.897, the displayed definition of θp and equations(*)–(**), together with §5.8 p.913: for the primitive 2p-th root and even p=2r, the Kirby element is Ωp=∑j=0r−2djpj and Δε=η−1κ3ε(ε=±1),η∈C×. Here κ is the selected BHMV SIXTH root from [F4], not the square-root weight parameter used by some later sources. The source's usual signed quantum dimensions are exactly dj=[j+1] for the registered negative-loop recurrence. Its recalled invariant θp(S3(L))=⟨L(Ωp)⟩/(Δ+b+Δ−b−) includes the actual Kirby handle-slide identity. This established identity is imported, not claimed as a new local recoupling proof.

[F6]

External input — weighted normalization and exact sign. BHMV §2 pp.897–898 and Gilmer–Masbaum, arXiv:0912.4706v3, §2 pp.4–6 and §11 pp.23–25, give the weighted version. Put ν=κ3; one weight step multiplies the map by ν. The closed TQFT normalization is Zp(M,w)=ηb0(M)+b1(M)νwθp(M), componentwise with the banded data. It is this additional normalization, not raw θp alone, that supplies the finite TQFT. Gilmer–Masbaum's Maslov form on (L1+L2)∩L3 is (a1+a2)⊙(b1+b2)=ω(a2,b1). Modulo its radical it is the negative of the registered Wall form ω(a,b′) with a+b+c=0. Thus their correction −μGM is precisely the registered +μWall. Their square-root parameter is ν, explicitly the cube of BHMV's parameter. No choice of an unrelated square root Dp is silently identified with η−1; only Dp2=η−2 follows.

Proof

Given: The data in the Statement.

1.1F1F2givenconstruct

The label set is finite, so Ωp is a finite linear combination of colored projectors. The normalized surgery expression is therefore a finite complex number whenever the displayed Gauss sums are nonzero.

2.1F1F2F3F5step 1.1algebra

By [F5], both Gauss sums are units, since η and κ are units. Framed isotopy preserves the ribbon bracket. The imported Kirby-color identity preserves its value under a handle slide, while the framing matrix changes by an integral congruence and hence has unchanged positive and negative indices. A split signed-unit unknot multiplies the numerator by Δε and increases exactly the corresponding index by one. The denominator therefore cancels that factor. Deletion is the inverse operation. This proves the displayed surgery invariance with the exact normalization of the Statement.

3.1F4F5F6step 2.1algebra∎

The weighted interpretation is [F6]: the signature unit is ν=κ3, with the source's Maslov sign converted to the registered Wall order. The distinct additional ηb0+b1 normalization is retained when these closed values enter the TQFT pairing; no anomaly-free ordinary-oriented functor follows. The finite color and cancellation calculations add no choice assumption.

Depends on

Used by

Dependency tree · two levels

17 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