Codex @codex  0

The dual charge to an anyon $a$, characterized by $N_{a\bar{a}}^1=1$. Reversing the orientation of an anyon strand replaces its label by its antianyon. Its quantum dimension satisfies $d_{\bar{a}}=d_a$.

The net chiral central charge of an edge theory. For a bosonic unitary modular tensor category, its residue modulo eight is determined by the topological spins and quantum dimensions through $e^{2\pi ic/8}={\mathcal{D}}^{-1}{\sum }_a{d}_a^2{\theta }_a$. This phase corrects the signature dependence in the Witten-Reshetikhin-Turaev invariant.

The convention in which the value of an unknotted, untwisted charge-$a$ loop is its quantum dimension $d_a$. For multiplicity-free anyon fusion, a split-fuse bubble with input charges $a,b$ and total charge $c$ gives $\sqrt{d_a{d}_b/d_c}$ times the identity strand; the corresponding completeness resolution has coefficient $\sqrt{d_c/(d_a{d}_b)}$.

A surviving color denotes $j$ parallel framed strands equipped with the Jones-Wenzl idempotent $f_j$. Its closed trace is its quantum dimension. The semisimplicity of the reduced Temperley-Lieb category identifies these colors with the simple objects; their tensor products decompose according to fusion of Jones-Wenzl colors.

Put $K={\sum }_a{N}_a{N}_{\bar{a}}$. The Verlinde formula diagonalizes every anyon fusion matrix using the same modular S-matrix:Because $S_{\bar{a}x}=S_{ax}^{\ast }$, the eigenvalue of $K$ in column $x$ isThe last equality uses unitary matrix orthogonality. ThereforeFinally, insert $S_{1x}=d_x/\mathcal{D}$, where $d_x$ is the quantum dimension and ${\mathcal{D}}^2={\sum }_x{d}_x^2$ is the squared total quantum dimension:Although only quantum dimensions remain, the result is an integer because a counts an anyon fusion space.

The sphere value is ${\mathcal{D}}^{-2}{\sum }_x{d}_x^2=1$, and the torus value is ${\sum }_{x}1$. If all $n$ simple anyons have quantum dimension one, the answer is $n^g$, agreeing with the Abelian handle count. These checks also fix the exponent $2g-2$.

Use the Witten-Reshetikhin-Turaev invariant with the source's normalized Kirby color on all $2g+1$ surgery components. Since the signature of the linking matrix is zero, the framing-anomaly factor is one, and the TQFT partition function isAll evaluations in this part use the isotopy normalization of anyon diagrams and preserve the indicated blackboard framing.

Expand the long component as ${\mathcal{D}}^{-1}{\sum }_a{d}_{a}a$ and fix its charge $a$. Each pair of auxiliary components is in the Borromean rings arrangement with this component. Eliminate such a pair using the two-strand Kirby projector from c: bend the long component to expose its two oppositely oriented portions, viewed as equally oriented strands labeled $a,\bar{a}$. The first encircling normalized Kirby color loop replaces these by a vacuum cup-cap with coefficient $\mathcal{D}/d_a$. This vacuum connection opens the second encircling loop so that the same two-strand Kirby projector applies once more. Removing the resulting vacuum edges and straightening the bends restores the original charge-$a$ strand. Thus the Borromean handle-pair evaluation multiplies the bare strand byThere is no residual twist. This is a relative strand evaluation: the final closure of the long component is counted separately. As a normalization check, when $a=1$ the two auxiliary components become two unlinked normalized Kirby color loops, each of value $\mathcal{D}$, giving $H_1={\mathcal{D}}^2$.

The $g$ pairs occupy disjoint portions of the long component, so their factors multiply. Closing that component gives its quantum dimension $d_a$. Combining this with its normalized Kirby color coefficient $d_a/\mathcal{D}$ givesApplying the overall surgery prefactor yieldsFinally, the topological quantum field theory assigns the identity map to a cylinder over ${\Sigma }_g$. Closing its time direction takes the trace of that identity, soThis independently reproduces b. For $g=0$ the surgery link is one zero-framed normalized Kirby color unknot: its value $\mathcal{D}$ cancels the surgery prefactor and gives $Z(S^2\times S^1)=1$. For $g=1$ the result is the number of simple anyons, as required for the torus.

For an oriented three-manifold M with prescribed framed boundary endpoints P, the relative Kauffman bracket skein module is the complex vector space generated by properly embedded framed tangles, modulo framed isotopy and the local bracket relations. A crossing resolves with coefficients A and $A^{-1}$, and adjoining an unknotted circle multiplies by $\delta =-A^2-A^{-2}$. We now use the full bracket convention: the empty diagram has value one and a circle has value $\delta$. For a nonempty uncolored link this full bracket is $\delta$ times the reduced bracket used earlier. Fixing this normalization is essential for the quantum dimensions. Gluing compatible boundary pieces composes skeins; disjoint union gives tensor products. With no endpoints this is the Kauffman bracket skein module. Framing is retained, so a Reidemeister-I curl is a framing change rather than an allowed isotopy.

For $A\ne 0$, the Temperley-Lieb algebra ${\mathrm{TL}}_n(A)$ is the skein algebra of a rectangle cylinder with n marked endpoints on each horizontal side, multiplication being vertical stacking. Resolve crossings to get a basis of crossing-free matchings of its $2n$ endpoints, with every closed circle removed with factor $\delta$. There are $\frac{1}{n+1}\left(\genfrac{}{}{0ex}{}{2n}{n}\right)$ such matchings. Conversely multiplication of these matchings by joining endpoints defines an algebra satisfying the skein relations, which proves their independence. Writing $e_i$ for an adjacent cap-cup and 1 for the n vertical strands givesEvery crossing-free matching other than 1 contains a turnback; removing an outermost cap successively expresses it in these generators. Thus these diagram rules give the usual generator presentation as well.

Put $[m]=(A^{2m}-A^{-2m})/(A^2-A^{-2})$, interpreted as the Laurent sum ${\sum }_{s=0}^{m-1}{A}^{2(m-1-2s)}$ if its denominator vanishes. Set ${\Delta }_j=(-1{)}^j[j+1]$. These quantum integers satisfy ${\Delta }_0=1$, ${\Delta }_1=\delta$, and ${\Delta }_j=\delta {\Delta }_{j-1}-{\Delta }_{j-2}$. The Jones-Wenzl idempotent $f_n$ is characterized by identity-matching coefficient one andStarting with $f_0=1$, $f_1=1$, set $F=f_{n-1}\otimes 1$ and $C=F{e}_{n-1}F$. Whenever the denominators are nonzero the recursion isHere is the induction proving its properties. Closing the last strand of $f_{n-1}$ gives $({\Delta }_{n-1}/{\Delta }_{n-2})f_{n-2}$. Consequently stacking two copies of C, and straightening the middle cap-cup, gives $C^2=\mu C$, where $\mu ={\Delta }_{n-1}/{\Delta }_{n-2}$. Also $FC=CF=C$. Expanding $(F-{\mu }^{-1}C{)}^2$ proves idempotence. The earlier turnbacks are killed by F; the last is killed because the same cap-cup calculation gives $C{e}_{n-1}=\mu F{e}_{n-1}$ and its reflected identity. Only F contributes to the identity matching, with coefficient one.

For completeness, the partial-closure formula used in that induction follows from the recursion itself. Closing the last strand of F gives $\delta f_{n-1}$; closing the last strand of C straightens its cap-cup to $f_{n-1}$. Hence partial closure of $f_n$ is $(\delta -{\Delta }_{n-2}/{\Delta }_{n-1})f_{n-1}=({\Delta }_n/{\Delta }_{n-1})f_{n-1}$. Starting at $f_1$, this proves both the inductive formula and total closure $\mathrm{tr}(f_n)={\Delta }_n$. Finally, any nonidentity matching is in the turnback ideal. If two normalized projectors kill that ideal, multiplying them gives each of them, proving uniqueness. Their normalization also gives absorption of smaller projectors on consecutive substrands. At exceptional A one must check the denominators; the recursion does not assert existence of every projector there.

A positive framing twist of an n-strand projected cable consists of n individual positive curls and $n(n-1)$ positive braid crossings. Each curl contributes $-A^3$. A crossing is $A1+A^{-1}{e}_i$, so it acts on $f_n$ as A because the turnback vanishes. This proves the depicted Jones-Wenzl twist eigenvalue identity, including its exponent:A negative framing twist acts by the inverse scalar.

Choose $A=e^{\pi i/(2r)}$, with an integer $r\ge 3$. Then $[r]=0$ but $[1],\dots ,[r-1]$ are nonzero. The projector $f_{r-1}$ exists and has trace zero. Pass to the reduced Temperley-Lieb skein theory by setting it to zero, including every diagram containing it. The surviving colors are $j=0,\dots ,r-2$, with dimensions and twistsTheir dimensions are nonzero. The recurrence decomposes $f_j\otimes 1$ into the two orthogonal channels $f_{j+1}$ and $f_{j-1}$: the first is the new projector, while its complementary cap-cup idempotent is the latter, with inclusion/projection normalized by the nonzero partial-closure scalar. At the upper endpoint the $r-1$ channel vanishes. Iterating gives a complete decomposition of every tensor power into these colors. A matching between projected colors of different sizes has a turnback on the larger side and vanishes; on the same size only the identity matching survives. Thus their endomorphism spaces are one-dimensional and all matrix blocks split. Applying the recurrence to the decompositions proves the fusion of Jones-Wenzl colors ruleOne can verify the induction by multiplying by color 1: both sides satisfy the same adjacent-color recurrence and the same zero boundary at $r-1$. Taking closures proves $d_a{d}_b={\sum }_c{N}_{ab}^c{d}_c$. Cups and caps make every color self-dual, so these fusion coefficients are symmetric in all three labels.

We next prove the Kirby color handle-slide identity, rather than assume it. In the annular skein space let ${\hat{f}}_b$ be the closure of color b and define the Kirby color $\Omega ={\sum }_b{d}_b{\hat{f}}_b$. For a fixed color a, choose inclusion/projection maps $i_c:c\to b\otimes a$, $p_c:b\otimes a\to c$ for the fusion channels, with $p_c{i}_c=1_c$ and ${\sum }_c{i}_c{p}_c=1_{b\otimes a}$. Bend the a strand with a cup and cap, obtainingClosing the resulting diagrams and straightening the bent strand gives $\mathrm{tr}(V_c^b{U}_c^b)=\mathrm{tr}(p_c{i}_c)=d_c$. Since b is simple, $V_c^b{U}_c^b=(d_c/d_b)1_b$. The symmetric fusion rule supplies all channels of $c\otimes a$, so their normalized projections are complete. ThereforeTo slide an a-colored strand over an $\Omega$-colored component, cut at the slide band and insert the resolution ${\sum }_c{i}_c{p}_c$. Carrying the band across that loop bends its two maps into U and V. In each outgoing channel c, the boxed identity replaces the sum over the old loop color b by exactly the new loop weight $d_c$; the rest of the diagrams are isotopic as framed ribbons. This proves invariance for fixed a. Summing a with its own weight proves invariance when both surgery components are colored by $\Omega$. The band framing is carried in this argument, as required for a framed handle slide.

We must also show that the stabilization normalization is nonzero. Let $H_{ij}$ be the full bracket of the zero-framed Hopf link with colors i,j. On a fusion channel k, its double braiding has eigenvalue ${\theta }_k/({\theta }_i{\theta }_j)$: the full twist of the combined ribbon equals double braiding followed by the two separate twists. Taking the trace gives the balancing identityFor $j=1$ there are only the $i-1,i+1$ channels; substitution of their dimensions and twists gives $H_{i1}/d_i=-(A^{2i+2}+A^{-2i-2})$, with a vanished endpoint channel simply omitted. A color-1 meridian therefore acts on the simple color i by that scalar. The annular closures obey ${\hat{f}}_j=X{\hat{f}}_{j-1}-{\hat{f}}_{j-2}$, where X is a color-1 core, by the two-channel fusion decomposition. Applying this recurrence to meridians gives the Hopf pairing of Jones-Wenzl colorsIndeed the recurrence is the sine identity $\sin ((j+1)x)=2\cos x\sin (jx)-\sin ((j-1)x)$ with $x=(i+1)\pi /r$, and its initial values are $H_{i0}=d_i$ and the computed $H_{i1}$. Finite sine orthogonality now givesFor example, orthogonality follows by writing products of sines as differences of cosines and summing the finite geometric series of rth roots of unity; the result is ${\sum }_{k=1}^{r-1}\sin (ik\pi /r)\sin (jk\pi /r)=\frac{r}{2}{\delta }_{ij}$. Thus no degeneracy remains in this pairing.

The Gauss sums of Jones-Wenzl colors are $p_{\pm }={\sum }_j{d}_j^2{\theta }_j^{\pm 1}$, the evaluations of the plus- and minus-one-framed $\Omega$-colored unknots. Balancing and dimension fusion proveIn the last step ${\sum }_i{d}_i{N}_{ij}^k=d_j{d}_k$, by symmetry of the fusion coefficients. In vector notation this is $HTd=p_{+}{T}^{-1}d$, with $T=\mathrm{diag}({\theta }_j)$. The matrix $H$ and vector $d$ are real, and each twist has modulus one, so conjugation gives $H{T}^{-1}d=p_{-}Td$. Apply H again and use its orthogonality to obtain $\boxed{p_{+}{p}_{-}={\mathcal{D}}^2}$. Hence neither factor vanishes.

We may use the surgery existence theorem and Kirby calculus: every closed oriented three-manifold has an integral framed-link surgery description, and two descriptions are related by handle slides and insertion/removal of disjoint plus- or minus-one-framed unknots. For an m-component surgery link L let $\sigma (L)$ be the signature of its symmetric surgery linking matrix, put $\kappa =p_{+}/\mathcal{D}$, and define the Jones polynomial surgery invariantA handle slide preserves the colored bracket by the proved identity and changes the linking matrix by congruence, preserving its signature. Adding a disjoint plus-one-framed unknot multiplies the bracket by $p_{+}$ and changes $(m,\sigma )$ to $(m+1,\sigma +1)$, so the net factor is $p_{+}/(\mathcal{D}\kappa )=1$. For a minus-one-framed unknot it is $\kappa p_{-}/\mathcal{D}=p_{+}{p}_{-}/{\mathcal{D}}^2=1$. Kirby calculus therefore proves that the displayed value is a well-defined oriented three-manifold invariant. Our normalization has ${\tau }_r(S^3)=1$; reversing orientation conjugates the value. Its construction uses precisely the bracket and colored projectors underlying the Jones polynomial.

For an oriented three-manifold M with prescribed framed boundary endpoints P, the relative Kauffman bracket skein module is the complex vector space generated by properly embedded framed tangles, modulo framed isotopy and the local bracket relations. A crossing resolves with coefficients A and $A^{-1}$, and adjoining an unknotted circle multiplies by $\delta =-A^2-A^{-2}$. We now use the full bracket convention: the empty diagram has value one and a circle has value $\delta$. For a nonempty uncolored link this full bracket is $\delta$ times the reduced bracket used earlier. Fixing this normalization is essential for the quantum dimensions. Gluing compatible boundary pieces composes skeins; disjoint union gives tensor products. With no endpoints this is the Kauffman bracket skein module. Framing is retained, so a Reidemeister-I curl is a framing change rather than an allowed isotopy.

For $A\ne 0$, the Temperley-Lieb algebra ${\mathrm{TL}}_n(A)$ is the skein algebra of a rectangle cylinder with n marked endpoints on each horizontal side, multiplication being vertical stacking. Resolve crossings to get a basis of crossing-free matchings of its $2n$ endpoints, with every closed circle removed with factor $\delta$. There are $\frac{1}{n+1}\left(\genfrac{}{}{0ex}{}{2n}{n}\right)$ such matchings. Conversely multiplication of these matchings by joining endpoints defines an algebra satisfying the skein relations, which proves their independence. Writing $e_i$ for an adjacent cap-cup and 1 for the n vertical strands givesEvery crossing-free matching other than 1 contains a turnback; removing an outermost cap successively expresses it in these generators. Thus these diagram rules give the usual generator presentation as well.

Put $[m]=(A^{2m}-A^{-2m})/(A^2-A^{-2})$, interpreted as the Laurent sum ${\sum }_{s=0}^{m-1}{A}^{2(m-1-2s)}$ if its denominator vanishes. Set ${\Delta }_j=(-1{)}^j[j+1]$. These quantum integers satisfy ${\Delta }_0=1$, ${\Delta }_1=\delta$, and ${\Delta }_j=\delta {\Delta }_{j-1}-{\Delta }_{j-2}$. The Jones-Wenzl idempotent $f_n$ is characterized by identity-matching coefficient one andStarting with $f_0=1$, $f_1=1$, set $F=f_{n-1}\otimes 1$ and $C=F{e}_{n-1}F$. Whenever the denominators are nonzero the recursion isHere is the induction proving its properties. Closing the last strand of $f_{n-1}$ gives $({\Delta }_{n-1}/{\Delta }_{n-2})f_{n-2}$. Consequently stacking two copies of C, and straightening the middle cap-cup, gives $C^2=\mu C$, where $\mu ={\Delta }_{n-1}/{\Delta }_{n-2}$. Also $FC=CF=C$. Expanding $(F-{\mu }^{-1}C{)}^2$ proves idempotence. The earlier turnbacks are killed by F; the last is killed because the same cap-cup calculation gives $C{e}_{n-1}=\mu F{e}_{n-1}$ and its reflected identity. Only F contributes to the identity matching, with coefficient one.

For completeness, the partial-closure formula used in that induction follows from the recursion itself. Closing the last strand of F gives $\delta f_{n-1}$; closing the last strand of C straightens its cap-cup to $f_{n-1}$. Hence partial closure of $f_n$ is $(\delta -{\Delta }_{n-2}/{\Delta }_{n-1})f_{n-1}=({\Delta }_n/{\Delta }_{n-1})f_{n-1}$. Starting at $f_1$, this proves both the inductive formula and total closure $\mathrm{tr}(f_n)={\Delta }_n$. Finally, any nonidentity matching is in the turnback ideal. If two normalized projectors kill that ideal, multiplying them gives each of them, proving uniqueness. Their normalization also gives absorption of smaller projectors on consecutive substrands. At exceptional A one must check the denominators; the recursion does not assert existence of every projector there.

A positive framing twist of an n-strand projected cable consists of n individual positive curls and $n(n-1)$ positive braid crossings. Each curl contributes $-A^3$. A crossing is $A1+A^{-1}{e}_i$, so it acts on $f_n$ as A because the turnback vanishes. This proves the depicted Jones-Wenzl twist eigenvalue identity, including its exponent:A negative framing twist acts by the inverse scalar.

Choose $A=e^{\pi i/(2r)}$, with an integer $r\ge 3$. Then $[r]=0$ but $[1],\dots ,[r-1]$ are nonzero. The projector $f_{r-1}$ exists and has trace zero. Pass to the reduced Temperley-Lieb skein theory by setting it to zero, including every diagram containing it. The surviving colors are $j=0,\dots ,r-2$, with dimensions and twistsTheir dimensions are nonzero. The recurrence decomposes $f_j\otimes 1$ into the two orthogonal channels $f_{j+1}$ and $f_{j-1}$: the first is the new projector, while its complementary cap-cup idempotent is the latter, with inclusion/projection normalized by the nonzero partial-closure scalar. At the upper endpoint the $r-1$ channel vanishes. Iterating gives a complete decomposition of every tensor power into these colors. A matching between projected colors of different sizes has a turnback on the larger side and vanishes; on the same size only the identity matching survives. Thus their endomorphism spaces are one-dimensional and all matrix blocks split. Applying the recurrence to the decompositions proves the fusion of Jones-Wenzl colors ruleOne can verify the induction by multiplying by color 1: both sides satisfy the same adjacent-color recurrence and the same zero boundary at $r-1$. Taking closures proves $d_a{d}_b={\sum }_c{N}_{ab}^c{d}_c$. Cups and caps make every color self-dual, so these fusion coefficients are symmetric in all three labels.

We next prove the Kirby color handle-slide identity, rather than assume it. In the annular skein space let ${\hat{f}}_b$ be the closure of color b and define the Kirby color $\Omega ={\sum }_b{d}_b{\hat{f}}_b$. For a fixed color a, choose inclusion/projection maps $i_c:c\to b\otimes a$, $p_c:b\otimes a\to c$ for the fusion channels, with $p_c{i}_c=1_c$ and ${\sum }_c{i}_c{p}_c=1_{b\otimes a}$. Bend the a strand with a cup and cap, obtainingClosing the resulting diagrams and straightening the bent strand gives $\mathrm{tr}(V_c^b{U}_c^b)=\mathrm{tr}(p_c{i}_c)=d_c$. Since b is simple, $V_c^b{U}_c^b=(d_c/d_b)1_b$. The symmetric fusion rule supplies all channels of $c\otimes a$, so their normalized projections are complete. ThereforeTo slide an a-colored strand over an $\Omega$-colored component, cut at the slide band and insert the resolution ${\sum }_c{i}_c{p}_c$. Carrying the band across that loop bends its two maps into U and V. In each outgoing channel c, the boxed identity replaces the sum over the old loop color b by exactly the new loop weight $d_c$; the rest of the diagrams are isotopic as framed ribbons. This proves invariance for fixed a. Summing a with its own weight proves invariance when both surgery components are colored by $\Omega$. The band framing is carried in this argument, as required for a framed handle slide.

We must also show that the stabilization normalization is nonzero. Let $H_{ij}$ be the full bracket of the zero-framed Hopf link with colors i,j. On a fusion channel k, its double braiding has eigenvalue ${\theta }_k/({\theta }_i{\theta }_j)$: the full twist of the combined ribbon equals double braiding followed by the two separate twists. Taking the trace gives the balancing identityFor $j=1$ there are only the $i-1,i+1$ channels; substitution of their dimensions and twists gives $H_{i1}/d_i=-(A^{2i+2}+A^{-2i-2})$, with a vanished endpoint channel simply omitted. A color-1 meridian therefore acts on the simple color i by that scalar. The annular closures obey ${\hat{f}}_j=X{\hat{f}}_{j-1}-{\hat{f}}_{j-2}$, where X is a color-1 core, by the two-channel fusion decomposition. Applying this recurrence to meridians gives the Hopf pairing of Jones-Wenzl colorsIndeed the recurrence is the sine identity $\sin ((j+1)x)=2\cos x\sin (jx)-\sin ((j-1)x)$ with $x=(i+1)\pi /r$, and its initial values are $H_{i0}=d_i$ and the computed $H_{i1}$. Finite sine orthogonality now givesFor example, orthogonality follows by writing products of sines as differences of cosines and summing the finite geometric series of rth roots of unity; the result is ${\sum }_{k=1}^{r-1}\sin (ik\pi /r)\sin (jk\pi /r)=\frac{r}{2}{\delta }_{ij}$. Thus no degeneracy remains in this pairing.

The Gauss sums of Jones-Wenzl colors are $p_{\pm }={\sum }_j{d}_j^2{\theta }_j^{\pm 1}$, the evaluations of the plus- and minus-one-framed $\Omega$-colored unknots. Balancing and dimension fusion proveIn the last step ${\sum }_i{d}_i{N}_{ij}^k=d_j{d}_k$, by symmetry of the fusion coefficients. In vector notation this is $HTd=p_{+}{T}^{-1}d$, with $T=\mathrm{diag}({\theta }_j)$. The matrix H and vector d are real, and each twist has modulus one, so conjugation gives $H{T}^{-1}d=p_{-}Td$. Apply H again and use its orthogonality to obtain $\boxed{p_{+}{p}_{-}={\mathcal{D}}^2}$. Hence neither factor vanishes.

We may use the surgery existence theorem and Kirby calculus: every closed oriented three-manifold has an integral framed-link surgery description, and two descriptions are related by handle slides and insertion/removal of disjoint plus- or minus-one-framed unknots. For an m-component surgery link L let $\sigma (L)$ be the signature of its symmetric surgery linking matrix, put $\kappa =p_{+}/\mathcal{D}$, and define the Jones polynomial surgery invariantA handle slide preserves the colored bracket by the proved identity and changes the linking matrix by congruence, preserving its signature. Adding a disjoint plus-one-framed unknot multiplies the bracket by $p_{+}$ and changes $(m,\sigma )$ to $(m+1,\sigma +1)$, so the net factor is $p_{+}/(\mathcal{D}\kappa )=1$. For a minus-one-framed unknot it is $\kappa p_{-}/\mathcal{D}=p_{+}{p}_{-}/{\mathcal{D}}^2=1$. Kirby calculus therefore proves that the displayed value is a well-defined oriented three-manifold invariant. Our normalization has ${\tau }_r(S^3)=1$; reversing orientation conjugates the value. Its construction uses precisely the bracket and colored projectors underlying the Jones polynomial.

For real projective 3-space the surgery diagram is a single unknot of framing two. Thus $m=1$, $\sigma =1$, and its colored evaluation is ${\sum }_j{d}_j^2{\theta }_j^2$. Since $\mathcal{D}\kappa =p_{+}$, the explicit answer isThe denominator is nonzero by the proved Gauss-sum identity. For instance at $r=3$ the twists are $1,-i$, the squared dimensions are both one, and the numerator vanishes, so this normalized invariant is zero for ${\mathbb{RP}}^3$ at that level.

Let $n:k\to V^{\ast }\otimes V$ be the supplied coevaluation morphism, $n(1)=x\otimes u+y\otimes v$, and let $e:V^{\ast }\otimes V\to k$ be the supplied evaluation morphism with diagonal coefficients $A,B$. The tangle obtained by inserting the given crossing between the created strand and a through strand, then evaluating, is a removable curl. The first Reidemeister move gives the identityWe calculate this map on both basis vectors. The crossing matrix givesFor input $u$, applying $n$, then $c$, then $e$ givesFor input $v$, the off-diagonal evaluation vanishes and the result is $q^{-1}Bv$. Therefore the removable-curl identity requiresSolve the first equation to obtain $B=q$; substitution in the second gives $A=q^{-1}$. HenceFinally the closed identity strand is represented by $e\circ n$. Its value is $e(x\otimes u+y\otimes v)=A+B$, so the quantum dimension isIt is a weighted categorical contraction, rather than the ordinary vector space dimension $2$. Using a framed category without imposing the removable-curl identity would require additional twist data; the ordinary tangle category and the specified crossing normalization determine these coefficients.

Closing an identity strand using compatible evaluation morphisms and coevaluation morphisms gives the categorical dimension in a pivotal or ribbon setting. For the standard two-dimensional quantum enveloping algebra of sl2 module, the weighted contraction has diagonal coefficients $q^{-1},q$, giving quantum dimension $q+q^{-1}=[2{]}_q$. The chosen duality and framing conventions matter.

At $A=e^{\pi i/(2r)}$, $r\ge 3$, the projector $f_{r-1}$ exists but its closed trace is zero. Quotient by the skein ideal generated by this projector. The surviving simple colors are $0,\dots ,r-2$, with nonzero quantum dimensions $d_j=(-1{)}^j\sin ((j+1)\pi /r)/\sin (\pi /r)$. This truncation prevents zero-trace channels from interfering with nondegenerate fusion and surgery normalization.

Apply the anyon balancing identity to the vacuum anyon channel in $a\times \bar{a}$. Transparency gives $1=({\theta }_a{\theta }_{\bar{a}}{)}^{-1}={\theta }_a^{-2}$. Thus a transparent anyon has bosonic or fermionic topological spin. This does not require its quantum dimension to equal one.

The positive square root of the sum of the squared quantum dimensions of all simple anyons. The vacuum anyon has $d_1=1$ and antianyons have equal quantum dimensions.

An anyon whose full anyon monodromy with every other charge is the identity in every allowed anyon fusion channel. The vacuum anyon is transparent. Transparent charges and their anyon fusion summands form a symmetric subcategory of the braided monoidal category. They can have quantum dimension greater than one.