Isaacs criterion for formal conjugacy class sizes of commutative Grothendieck rings

About 6 years old · traced to

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.

References

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.