Isaacs criterion for formal conjugacy class sizes of commutative Grothendieck rings

Let F\mathcal{F} be a complex commutative Grothendieck ring with simultaneously diagonalized fusion matrices having eigenvalues (λi,j)(\lambda_{i,j}). Let (cj)(c_j) be the eigenvalues of iXiXi\sum_i X_iX_i^*, with c1=FPdim(F)c_1=\operatorname{FPdim}(\mathcal{F}). Isaacs criterion. For all i,ji,j,

λi,jc1λi,1cj\frac{\lambda_{i,j}c_1}{\lambda_{i,1}c_j}

is an algebraic integer. This is a conjectural strengthening of the commutative formal-codegree criterion, extending Isaacs' result and generalizing the abelian case of an open problem related to Kaplansky's sixth conjecture.

Sources & referencesView supporting material

Primary source

Zhengwei Liu, Sebastien Palcoux and Yunxiang Ren, “Classification of Grothendieck rings of complex fusion categories of multiplicity one up to rank six”, arXiv:2010.10264 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.