Non-pseudounitary fusion
Fusion categories are both a generalization of the categories of representations of finite groups and an algebraic axiomatization of quantum symmetry. From a technical standpoint, fusion categories \(\mathcal{C}\) over \(\mathbb{C}\) are \(\mathbb{C}\)-linear semisimple tensor categories with finitely many isomorphism classes of simple objects, the set of which is denoted \(\mathcal{O}(\mathcal{C})\) and a tensor unit \(\boldsymbol{1}\in\mathcal{O}(\mathcal{C})\). The skeleton of a fusion category \(\mathcal{C}\) is its Grothendieck ring \(K(\mathcal{C})\), which is a fusion ring [\textit{P. Etingof} et al., Tensor categories. Providence, RI: American Mathematical Society (AMS) (2015; Zbl 1365.18001), Definition 3.1.7]. There are infinitely many fusion rings \(R\) which do not arise in this fashion. Therefore, it is said that a fusion category \(\mathcal{C}\) is a \textit{categorification} of \(R\) if \(R=K(\mathcal{C})\), and reflexively that \(R\) is \textit{categorifiable} if there exists a fusion category \(\mathcal{C}\) with \(R=K(\mathcal{C})\). Every fusion category \(\mathcal{C}\) possesses the dimension function [\textit{P. Etingof} et al., Tensor categories. Providence, RI: American Mathematical Society (AMS) (2015; Zbl 1365.18001), Proposition 3.3.6 (i)] \[ \operatorname{FPdim}:K(\mathcal{C})\rightarrow\mathbb{C} \] which for each \(X\in\mathcal{O}(\mathcal{C})\) is computed as the Frobenius-Perron eigenvalue of the matrix of tensoring with \(X\). Fusion categories \(\mathcal{C}\) which possess a spherical structure [\textit{P. Etingof} et al., Tensor categories. Providence, RI: American Mathematical Society (AMS) (2015; Zbl 1365.18001), \S 4.7] are of another dimension \[ \operatorname{dim}:K(\mathcal{C})\rightarrow\mathbb{C} \] often referred to as \textit{categorical dimension}. When \[ \operatorname{dim}(\mathcal{C})=\operatorname{FPdim}(\mathcal{C} ) \] it is said that \(\mathcal{C}\) is \textit{pseudounitary} and that \(K(\mathcal{C})\) admits a \textit{pseudounitary categorification}. Pseudounitary fusion categories are privy to a vast range of tools and results which generic fusion categories are not. The principal objective in this paper is to show that the set of fusion rings which admit a pseudounitary categorification is a strict subset of the set of all categorifiable fusion rings. Exactly speaking, the main result is the following theorem. Theorem. There exists a fusion category of rank \(6\) whose Grothendieck ring does not admit any pseudounitary categorifications. The proof of the above theorem is outlined in \S 2 while the specific details are relegated to \S 3--6. To this end, only examples from the representation theory of quantum groups at roots of unity are needed. The rank \(6\) fusion category the author provides is \(\mathcal{C}(\mathfrak{so}_{5},3/2)_{\mathrm{ad}}\) or \(\mathcal{C}(\mathfrak{so}_{5},9,q)_{\mathrm{ad}}\) in the notation of [\textit{A. Schopieray}, Contemp. Math. 747, 1--26 (2020; Zbl 1436.18018)] with \(q=\exp(\pi i/9)\). It has the structure of a \textit{modular tensor category}. Modular tensor categories of rank strictly less than \(6\) have been classified completely [\textit{P. Bruillard} et al., Int. Math. Res. Not. 2016, No. 24, 7546--7588 (2016; Zbl 1404.18016)], where all necessary fusion rings are of pseudounitary categorifications. Therefore the classification of modular tensor categories has entered a new and inherently non-pseudounitary kingdom.
- Conformal field theory, tensor categories and operator algebras
- Congruence property in conformal field theory
- From quantum groups to unitary modular tensor categories
- Fusion categories of rank 2
- Lie theory for fusion categories: a research primer
- Nilpotent fusion categories
- On braided fusion categories. I
- On classification of modular categories by rank
- On classification of modular tensor categories
- On formal codegrees of fusion categories
- On fusion categories.
- On the Structure of Modular Categories
- Pivotal fusion categories of rank 3
- Rank-finiteness for modular categories
- Remarks on global dimensions of fusion categories
- Tensor categories
- Unitarizability of premodular categories
- Fermionic 6j-symbols in superfusion categories
- Classification of Grothendieck rings of complex fusion categories of multiplicity one up to rank six
- Norm, trace, and formal codegrees of fusion categories
- On fusion categories.
- Pre-modular fusion categories of global dimension p^2
- Uniqueness of unitary structure for unitarizable fusion categories
- Fusion categories via string diagrams
- Pseudo-unitary non-self-dual fusion categories of rank 4
- Non-unitary fusion categories and their doubles via endomorphisms
- A Complete Classification of Unitary Fusion Categories Tensor Generated by an Object of Dimension
- On low rank fusion rings
- Categorification of integral group rings extended by one dimension
- Reconstruction of modular data from \(\mathrm{SL}_2(\mathbb{Z})\) representations
- Interpolated family of non-group-like simple integral fusion rings of Lie type
- On the Grothendieck ring of fusion categories of rank 5
- Complete Positivity of Comultiplication and Primary Criteria for Unitary Categorification
- Modular tensor categories, subcategories, and Galois orbits
- Non-trivially graded self-dual fusion categories of rank 4
- Manifestly unitary higher Hilbert spaces
- Fusion bialgebras and Fourier analysis. Analytic obstructions for unitary categorification
This page was built for publication: Non-pseudounitary fusion
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2065617)
