ﻻ يوجد ملخص باللغة العربية
We introduce fusion bialgebras and their duals and systematically study their Fourier analysis. As an application, we discover new efficient analytic obstructions on the unitary categorification of fusion rings. We prove the Hausdorff-Young inequality, uncertainty principles for fusion bialgebras and their duals. We show that the Schur product property, Youngs inequality and the sum-set estimate hold for fusion bialgebras, but not always on their duals. If the fusion ring is the Grothendieck ring of a unitary fusion category, then these inequalities hold on the duals. Therefore, these inequalities are analytic obstructions of categorification. We classify simple integral fusion rings of Frobenius type up to rank 8 and of Frobenius-Perron dimension less than 4080. We find 34 ones, 4 of which are group-like and 28 of which can be eliminated by applying the Schur product property on the dual. In general, these inequalities are obstructions to subfactorize fusion bialgebras.
We prove there exist infinitely many inequivalent fusion categories whose Grothendieck rings do not admit any pseudounitary categorifications.
We analyze the action of the Brauer-Picard group of a pointed fusion category on the set of Lagrangian subcategories of its center. Using this action we compute the Brauer-Picard groups of pointed fusion categories associated to several classical fin
For a braided fusion category $mathcal{V}$, a $mathcal{V}$-fusion category is a fusion category $mathcal{C}$ equipped with a braided monoidal functor $mathcal{F}:mathcal{V} to Z(mathcal{C})$. Given a fixed $mathcal{V}$-fusion category $(mathcal{C}, m
We show any slightly degenerate weakly group-theoretical fusion category admits a minimal extension. Let $d$ be a positive square-free integer, given a weakly group-theoretical non-degenerate fusion category $mathcal{C}$, assume that $text{FPdim}(mat
In this paper, the structure of cocommutative vertex bialgebras is investigated. For a general vertex bialgebra $V$, it is proved that the set $G(V)$ of group-like elements is naturally an abelian semigroup, whereas the set $P(V)$ of primitive elemen