\(\text{FR}^{8,2}_{17}\)
Fusion Rules
\[\begin{array}{|llllllll|} \hline \mathbf{1} & \mathbf{2} & \mathbf{3} & \mathbf{4} & \mathbf{5} & \mathbf{6} & \mathbf{7} & \mathbf{8} \\ \mathbf{2} & \mathbf{1} & \mathbf{3} & \mathbf{4} & \mathbf{5} & \mathbf{6} & \mathbf{8} & \mathbf{7} \\ \mathbf{3} & \mathbf{3} & \mathbf{1}+\mathbf{2}+\mathbf{3} & \mathbf{5}+\mathbf{6} & \mathbf{4}+\mathbf{6} & \mathbf{4}+\mathbf{5} & \mathbf{7}+\mathbf{8} & \mathbf{7}+\mathbf{8} \\ \mathbf{4} & \mathbf{4} & \mathbf{5}+\mathbf{6} & \mathbf{1}+\mathbf{2}+\mathbf{6} & \mathbf{3}+\mathbf{5} & \mathbf{3}+\mathbf{4} & \mathbf{7}+\mathbf{8} & \mathbf{7}+\mathbf{8} \\ \mathbf{5} & \mathbf{5} & \mathbf{4}+\mathbf{6} & \mathbf{3}+\mathbf{5} & \mathbf{1}+\mathbf{2}+\mathbf{4} & \mathbf{3}+\mathbf{6} & \mathbf{7}+\mathbf{8} & \mathbf{7}+\mathbf{8} \\ \mathbf{6} & \mathbf{6} & \mathbf{4}+\mathbf{5} & \mathbf{3}+\mathbf{4} & \mathbf{3}+\mathbf{6} & \mathbf{1}+\mathbf{2}+\mathbf{5} & \mathbf{7}+\mathbf{8} & \mathbf{7}+\mathbf{8} \\ \mathbf{7} & \mathbf{8} & \mathbf{7}+\mathbf{8} & \mathbf{7}+\mathbf{8} & \mathbf{7}+\mathbf{8} & \mathbf{7}+\mathbf{8} & \mathbf{2}+\mathbf{3}+\mathbf{4}+\mathbf{5}+\mathbf{6}+\mathbf{7}+\mathbf{8} & \mathbf{1}+\mathbf{3}+\mathbf{4}+\mathbf{5}+\mathbf{6}+\mathbf{7}+\mathbf{8} \\ \mathbf{8} & \mathbf{7} & \mathbf{7}+\mathbf{8} & \mathbf{7}+\mathbf{8} & \mathbf{7}+\mathbf{8} & \mathbf{7}+\mathbf{8} & \mathbf{1}+\mathbf{3}+\mathbf{4}+\mathbf{5}+\mathbf{6}+\mathbf{7}+\mathbf{8} & \mathbf{2}+\mathbf{3}+\mathbf{4}+\mathbf{5}+\mathbf{6}+\mathbf{7}+\mathbf{8} \\ \hline \end{array}\]The fusion rules are invariant under the group generated by the following permutations:
\[\{(\mathbf{7} \ \mathbf{8}), (\mathbf{4} \ \mathbf{5} \ \mathbf{6})\}\]The following elements form non-trivial sub fusion rings
| Elements | SubRing |
|---|---|
| \(\{\mathbf{1},\mathbf{2}\}\) | \(\mathbb{Z}_2:\ \text{FR}^{2,0}_{1}\) |
| \(\{\mathbf{1},\mathbf{2},\mathbf{3}\}\) | \(\left.\text{Rep(}D_3\right):\ \text{FR}^{3,0}_{2}\) |
| \(\{\mathbf{1},\mathbf{2},\mathbf{3},\mathbf{4},\mathbf{5},\mathbf{6}\}\) | \(\text{FR}^{6,0}_{7}\) |
Frobenius-Perron Dimensions
| Particle | Numeric | Symbolic |
|---|---|---|
| \(\mathbf{1}\) | \(1.\) | \(1\) |
| \(\mathbf{2}\) | \(1.\) | \(1\) |
| \(\mathbf{3}\) | \(2.\) | \(2\) |
| \(\mathbf{4}\) | \(2.\) | \(2\) |
| \(\mathbf{5}\) | \(2.\) | \(2\) |
| \(\mathbf{6}\) | \(2.\) | \(2\) |
| \(\mathbf{7}\) | \(4.16228\) | \(1+\sqrt{10}\) |
| \(\mathbf{8}\) | \(4.16228\) | \(1+\sqrt{10}\) |
| \(\mathcal{D}_{FP}^2\) | \(52.6491\) | \(18+2 \left(1+\sqrt{10}\right)^2\) |
Characters
The symbolic character table is the following
\[\begin{array}{|cccccccc|} \hline \mathbf{1} & \mathbf{2} & \mathbf{3} & \mathbf{4} & \mathbf{5} & \mathbf{6} & \mathbf{8} & \mathbf{7} \\ \hline 1 & 1 & 2 & 2 & 2 & 2 & 1+\sqrt{10} & 1+\sqrt{10} \\ 1 & 1 & 2 & 2 & 2 & 2 & 1-\sqrt{10} & 1-\sqrt{10} \\ 1 & 1 & -1 & \text{Root}\left[x^3-3 x+1,1\right] & \text{Root}\left[x^3-3 x+1,2\right] & \text{Root}\left[x^3-3 x+1,3\right] & 0 & 0 \\ 1 & 1 & 2 & -1 & -1 & -1 & 0 & 0 \\ 1 & 1 & -1 & \text{Root}\left[x^3-3 x+1,2\right] & \text{Root}\left[x^3-3 x+1,3\right] & \text{Root}\left[x^3-3 x+1,1\right] & 0 & 0 \\ 1 & 1 & -1 & \text{Root}\left[x^3-3 x+1,3\right] & \text{Root}\left[x^3-3 x+1,1\right] & \text{Root}\left[x^3-3 x+1,2\right] & 0 & 0 \\ 1 & -1 & 0 & 0 & 0 & 0 & i & -i \\ 1 & -1 & 0 & 0 & 0 & 0 & -i & i \\ \hline \end{array}\]The numeric character table is the following
\[\begin{array}{|rrrrrrrr|} \hline \mathbf{1} & \mathbf{2} & \mathbf{3} & \mathbf{4} & \mathbf{5} & \mathbf{6} & \mathbf{8} & \mathbf{7} \\ \hline 1.000 & 1.000 & 2.000 & 2.000 & 2.000 & 2.000 & 4.162 & 4.162 \\ 1.000 & 1.000 & 2.000 & 2.000 & 2.000 & 2.000 & -2.162 & -2.162 \\ 1.000 & 1.000 & -1.000 & -1.879 & 0.3473 & 1.532 & 0 & 0 \\ 1.000 & 1.000 & 2.000 & -1.000 & -1.000 & -1.000 & 0 & 0 \\ 1.000 & 1.000 & -1.000 & 0.3473 & 1.532 & -1.879 & 0 & 0 \\ 1.000 & 1.000 & -1.000 & 1.532 & -1.879 & 0.3473 & 0 & 0 \\ 1.000 & -1.000 & 0 & 0 & 0 & 0 & 1.000 i & -1.000 i \\ 1.000 & -1.000 & 0 & 0 & 0 & 0 & -1.000 i & 1.000 i \\ \hline \end{array}\]Representations of $SL_2(\mathbb{Z})$
This fusion ring does not provide any representations of $SL_2(\mathbb{Z}).$
Adjoint Subring
The adjoint subring is the ring itself.
The upper central series is trivial.
Universal grading
This fusion ring allows only the trivial grading.
Categorifications
This fusion ring has no categorifications because of the $d$-number criterion.
Data
Download links for numeric data: