A348305 Number of fusion rings of multiplicity one and rank n.

1, 2, 4, 10, 16, 39, 43, 96, 142

Offset: 1

Author

Sébastien Palcoux, Oct 10 2021

Keywords

• nonn
• hard
• more

Comments

The notion of fusion ring was introduced by G. Lusztig (1987). See the modern definition on page 60 of the book "Tensor Categories" (2015), in reference below.

It can be seen as a generalization of both finite group (based ring) and its representation (based) ring.

Combinatorially, it is just given by a finite set {1,...,n}, a bijection i->i^* (called dual map) and fusion coefficients N_{i,j}^k which are nonnegative integers satisfying the following axioms:

- Associativity: Sum_s N_{i,j}^s N_{s,k}^t = Sum_s N_{j,k}^s N_{i,s}^t,

- Neutral: N_{1,i}^j = N_{i,1}^j = delta_{i,j},

- Dual: N_{i^*,k}^{1} = N_{k,i^*}^{1} = delta_{i,k},

- Frobenius reciprocity: N_{i,j}^k = N_{i^*,k}^j = N_{k,j^*}^i.

The rank is just n. The multiplicity is the max of (N_{i,j}^k).

The fusion rings are considered up to equivalence.

There is a distinct fusion ring of multiplicity one and rank n for each finite group of order n (just take the group as finite set, the inverse as dual map and N_{g,h}^k = delta_{gh,k}), so a(n)>=A000001(n). The inequality is strict for n>1.

The above terms of the sequence were computed by J. Slingerland and G. Vercleyen (see paper in link below, Table 2 on page 6).

The six first terms were also computed independently by Z. Liu, S. Palcoux and Y. Ren (see link below, page 1).

The (optimized) code computing these terms may be too long to be put here.

Examples

			For n=1, there is only the trivial fusion ring, so a(1)=1.
For n=2, there are only the fusion ring of the cyclic group C2 and the Yang-Lee fusion ring, so a(2)=2.
		

References

• G. Lusztig, Leading coefficients of character values of Hecke algebras, Proc. Symp. in Pure Math., 47, pp. 235-262 (1987).

Links

• AnyonWiki, Fusion ring.
• P. Etingof, S. Gelaki, D. Nikshych and V. Ostrik, Tensor Categories, Mathematical Surveys and Monographs Volume 205 (2015).
• Z. Liu, S. Palcoux and Y. Ren, Classification of Grothendieck rings of complex fusion categories of multiplicity one up to rank six, Lett Math Phys 112, 54 (2022); arXiv version, arXiv:2010.10264 [math.CT], 2020-2021.
• nLab, fusion ring.
• J. Slingerland and G. Vercleyen, Exploring small fusion rings and tensor categories, Harvard Picture Language Seminar, 20th October 2020,
• J. Slingerland and G. Vercleyen, On Low Rank Fusion Rings, arXiv:2205.15637 [math-ph], 2022.

Crossrefs

Cf. A000001.