cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A352506 Number of complex Grothendieck rings of multiplicity one and rank n.

This page as a plain text file.
%I A352506 #15 Jun 06 2022 06:22:36
%S A352506 1,2,4,9,10,21
%N A352506 Number of complex Grothendieck rings of multiplicity one and rank n.
%C A352506 A complex Grothendieck ring is a fusion ring admitting a categorification into a fusion category over the complex field.
%C A352506 See the comments in A348305 for the definition of fusion ring, rank, multiplicity.
%C A352506 A complex fusion category is a C-linear semisimple rigid tensor category with finitely many simple objects and finite dimensional spaces of morphisms, such that the neutral object is simple, see the book by Etingof-Gelaki-Nikshych-Ostrik mentioned below.
%C A352506 This counting comes from the paper by Liu-Palcoux-Ren mentioned below.
%H A352506 P. Etingof, S. Gelaki, D. Nikshych and V. Ostrik, <a href="http://www-math.mit.edu/~etingof/egnobookfinal.pdf">Tensor Categories</a>, Mathematical Surveys and Monographs Volume 205 (2015).
%H A352506 Z. Liu, S. Palcoux and Y. Ren, <a href="https://doi.org/10.1007/s11005-022-01542-1">Classification of Grothendieck rings of complex fusion categories of multiplicity one up to rank six</a>, Lett Math Phys 112, 54 (2022); <a href="https://arxiv.org/abs/2010.10264">arXiv version</a>, arXiv:2010.10264 [math.CT], 2020-2021.
%e A352506 For n=1, there is only the trivial one, so a(1)=1.
%e A352506 For n=2, there are only the cyclic group C2 one and the Yang-Lee one, so a(2)=2.
%Y A352506 Cf. A000001, A348305.
%K A352506 nonn,hard,more
%O A352506 1,2
%A A352506 _Sébastien Palcoux_, Mar 19 2022