Frobenius-Perron dimensions of integral Z_+-rings and applications

DOI10.1007/S10468-019-09924-1MaRDI QIDQ2198620zbMATH OpenOpenAlexFDO

Authors Pavel Etingof

Publication date 10 September 2020

Published in Algebras and Representation Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1812.06556

zbMATH Keywords

Frobenius-Perron dimensionHopf algebraquasi-Hopf algebra

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Monoidal categories, symmetric monoidal categories (18M05)

Abstract: We introduce the notion of the Frobenius-Perron dimension of an integral $Bbb{Z}_{+}$-ring and give some applications of this notion to classification of finite dimensional quasi-Hopf algebras with a unique nontrivial simple module, and of quasi-Hopf and Hopf algebras of prime dimension $p$.

Review text

The goal of this paper is to define Frobenius-Perron dimension \({(\operatorname{FPdim})}\) for an integral \(\mathbb{Z}_+\)-ring \(A\) that is not necessarily fusion and to give applications of this notion.\newline Several properties are proven for \(\operatorname{FPdim}(A)\). Among these is a theorem which states that if \(A\) has rank \(r\) and \(X\in A\) is a \(\mathbb{Z}_+\)-generator, then \((2\operatorname{FPdim}(X))^{r-1}\geq \operatorname{FPdim}(A)\). \newline This Frobenius-Perron dimension leads to the following results, proven for any non-semisimple quasi-Hopf algebra \(H\) over \(\mathbb{K}\) with two simple modules. Let \(\mathcal{C}=\operatorname{Rep}(H)\), \(C\) be the Cartan matrix of \(\mathcal{C}\), and \(X\) be a \(\mathbb{Z}_+\)-generator of \(\mathcal{C}\). Then \(|\det{C}|\leq\left(\frac{\operatorname{FPdim}(\mathcal{C})}{2\operatorname{FPdim}(X)}\right)^2\). Moreover, if \(\mathcal{C}\) is not pointed, \(Id \cong**\) as an additive functor, and the characteristic of \(\mathbb{K}\) is either \(0\) or \(p > \left(\frac{\operatorname{FPdim}(\mathcal{C})}{2\operatorname{FPdim}(X)}\right)^2\), then \(\operatorname{FPdim}(\mathcal{C})\) is not square-free. Additional results are given depending on the decomposition of \(X^2\).\newline Another application in this work is in the study of Hopf algebras \(H\) of prime dimension \(p\) over a field of characteristic \(q\). Let \(\phi(x)= 2^{-2/3} \exp\left(\frac{1}{2} W (2^{13/3} \log x\right)\), with \(W\) the Lambert \(W\)-function. The author proves that if \(H\) is not both commutative and cocommutative, then \begin{align*} \frac{p}{q+2}>\max\left( \frac{14}{3},\min\left(9,\phi(p)\right)\right). \end{align*}

Recommendations

• On Frobenius-Perron dimension
• Radically graded finite-dimensional quasi-Hopf algebras.
• Integral modular categories of Frobenius-Perron dimension pq^n
• Frobenius property for fusion categories of small integral dimension
• Frobenius-Perron theory of modified \(ADE\) bound quiver algebras

Cites work

• A quasi-Hopf algebra for the triplet vertex operator algebra
• Bialgebras of type one^*
• Fields with indecomposable multiplicative groups
• Finite dimensional quasi-Hopf algebras with radical of codimension 2.
• Finite groups with only one nonlinear irreducible representation.
• Hopf algebras of prime dimension in positive characteristic
• scientific article; zbMATH DE number 1229930 (Why is no real title available?)
• Projective objects and the modified trace in factorisable finite tensor categories
• Quasisymmetric and unipotent tensor categories
• Tensor categories

Cited in

(7)

• Frobenius-Perron theory of modified \(ADE\) bound quiver algebras
• Non-negative integer matrix representations of a \({\mathbb{Z}_+}\)-ring
• On Frobenius-Perron dimension
• Frobenius-Perron theory of representation-directed algebras
• Frobenius-Perron theory of the bound quiver algebras containing loops
• On Hopf algebras of dimension p^n in characteristic p
• Commutative exact algebras and modular tensor categories

This page was built for publication: Frobenius-Perron dimensions of integral \(\mathbb{Z}_+\)-rings and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2198620)