Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-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.

The ell=3 framing anomaly and Kirby blow-up

Statement

Assume full AC, inherited from the weighted RT functor. For the actual ℓ=3 ribbon category and weighted surgery construction of The standard root-of-unity sl2 tilting ribbon quotient is modular and The weighted Reshetikhin–Turaev TQFT and modular-functor factorization, the unnormalized Gauss sums are p+=1+i, p−=1−i, and κ=eπi/4. The weighted normalization is unchanged by either Kirby blow-up, while omitting the surgery-signature correction κ−σ(B) changes the normalized link sum by κ±1≠1.

Facts & Assumptions

Given: Full AC, ℓ=3, q=eπi/3, the positive-trace convention in the sine data, and the surgery normalization of Modular Gauss sums, the Kirby color, and its slide identity.

[F1]

The actual category has labels a=0,…,ℓ−2, dimensions da=sin⁡((a+1)π/ℓ)/sin⁡(π/ℓ), and twists θa=qa(a+2)/2 by The standard root-of-unity sl2 tilting ribbon quotient is modular. With these data, Truncated sl2 fusion data give the sine Hopf-link matrix gives the sine Hopf matrix.

[F2]

p±=∑aθa±1da2, p+p−=D2, and the normalized blow-up factors are D−1κ−1p+ and D−1κp− (Modular Gauss sums, the Kirby color, and its slide identity).

[A1]

Full AC (The Axiom of Choice) is assumed for the weighted RT theorem and its duality constructions; it also supplies the inherited countable choice for evaluation. The actual tilting quotient and full weighted RT functor are established by their exact suppliers (The standard root-of-unity sl2 tilting ribbon quotient is modular, The weighted Reshetikhin–Turaev TQFT and modular-functor factorization).

Proof

1.1F1givenalgebra

The labels are 0,1. The dimension formula gives d0=d1=1. The twist formula gives θ0=1 and θ1=q3/2=eπi/2=i. Thus D2=1+1=2 and choose D=2. The Gauss sums are p+=1+i,p−=1−i,κ=1+i2=eπi/4. In particular κ≠1.

2.1F2step 1.1algebra

A positive blow-up multiplies the surgery link value by p+ and changes (m,σ) to (m+1,σ+1), so its normalized ratio is D−1κ−1p+=D−1Dp+p+=1. A negative blow-up has ratio D−1κp−=D−1p+p−D=1 by [F2]. If the factor κ−σ is omitted, the same two blow-ups multiply the value by p+/D=κ and p−/D=κ−1, both nontrivial. Thus an unweighted surgery link sum is not invariant under these moves for this actual category; this is a failure of omitting the signature correction, not an assertion that the weight-zero arrows form a subcategory.

3.1A1step 2.1algebra∎

The actual modular quotient is supplied by [A1], so the preceding values are realized category data. The full weighted functor uses κn+a−σ(B) together with its exact outgoing cap factors. A Kirby blow-up changes neither the marked bordism, its weight nor its cap-reference correction, and step 2.1 cancels its complete surgery ratio. A unit increase in bordism weight instead multiplies the map by κ=eπi/4≠1. Thus the actual category has a nontrivial framing anomaly, and the proved weighted functor includes it with the positive weight convention.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

49 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