Related papers: Weak integral forms and the sixth Kaplansky conjec…
By a recent work of Gran-Kadjo-Vercruysse, the category of cocommutative Hopf algebras over a field of characteristic zero is semi-abelian. In this paper, we explore some properties of this categoy, in particular we show that its abelian…
Theories featuring the interaction between a Frobenius algebra and a Hopf algebra have recently appeared in several areas in computer science: concurrent programming, control theory, and quantum computing, among others. Bonchi, Sobocinski,…
In this paper we provide a complete classification of fusion categories of Frobenius-Perron (FP) dimension pq, where p<q are distinct primes, thus giving a categorical generalization of math.QA/9801129. As a corollary we also obtain the…
Let H be a finite-dimensional quasibialgebra. We show that H is a quasi-Hopf algebra if and only if the category of its finite-dimensional left modules is rigid if and only if a structure theorem for Hopf modules over H holds. We also show…
Two new results concerning complements in a semisimple Hopf algebra are proved. They extend some well known results from group theory. The uniqueness of Krull Schmidt Remak type decomposition is proved for semisimple completely reducible…
Motivated by the orthogonality relations for irreducible characters of a finite group, we evaluate the sum of a finite group of linear characters of a Hopf algebra, at all grouplike and skew-primitive elements. We then discuss results for…
We prove that a Hopf algebra with a finite coradical filtration is co-Frobenius, i. e. there is a non-zero integral on it. As a consequence, we show that algebras of functions on quantum groups at roots of one are co-Frobenius. We also…
Let H be a Hopf algebra of dimension pq over an algebraically closed field of characteristic 0, where p <= q are odd primes. Suppose that S is the antipode of H. If H is not semisimple, then S^{4p}=id_H and Tr(S^{2p}) is an integer…
Let $W$ be a finite Weyl group of classical type which may not be irreducible, $F$ an algebraically closed field, $q$ an invertible element of $F$. We denote by $\mathcal H_W(q)$ the associated Hecke algebra. If $q=1$ then it is $FW$ and we…
The main goal of this paper is to introduce the notion of a primitive form for a generic family of Hurwitz covers of $\mathbb{P}^1$ with a fixed ramification profile over infinity. We prove that primitive forms are in one-to-one…
We introduce the notions of categorical integrals and categorical cointegrals of a finite tensor category $\mathcal{C}$ by using a certain adjunction between $\mathcal{C}$ and its Drinfeld center $\mathcal{Z}(\mathcal{C})$. These notions…
We introduce new polynomial invariants of a finite-dimensional semisimple and cosemisimple Hopf algebra A over a field by using the braiding structures of A. We investigate basic properties of the polynomial invariants including stability…
In this work, the notion of a quantum inverse semigroup is introduced as a linearized generalization of inverse semigroups. Beyond the algebra of an inverse semigroup, which is the natural example of a quantum inverse semigroup, several…
In this expository article, we give a self-contained introduction to the wonderfully well-behaved class of pseudocompact algebras, focusing on the foundational classes of semisimple and separable algebras. We give characterizations of such…
The paper is devoted to the proof of the following conjecture due to B. Feigin. Let $\frak u_\ell$ be the small quantum group a the primitive $\ell$-th root of unity. Then it is known that the usual $Ext$ algebra of the trivial $\frak…
Gambino and Garner proved that the syntactic category of a dependent type theory with identity types can be endowed with a weak factorization system structure, called identity type weak factorization system. In this paper we consider an…
Let $q$ be a prime number, $k$ an algebraically closed field of characteristic 0, and $H$ a semisimple Hopf algebra of dimension $2q^3$. This paper proves that $H$ is always semisolvable. That is, such Hopf algebras can be obtained by (a…
We show that every inclusion of von Neumann algebras with a faithful normal conditional expectation has the weak relative Dixmier property. This answers a question of Popa \cite{Po99}. The proof uses an improvement of Ellis' lemma for…
We introduce the Frobenius-Schur indicator for categories with duality to give a category-theoretical understanding of various generalizations of the Frobenius-Schur theorem, including that for semisimple quasi-Hopf algebras, weak Hopf…
Let $H$ be a semisimple Hopf algebra over an algebraically closed field $\mathbbm{k}$ of characteristic $p>\dim_{\mathbbm{k}}(H)^{1/2}$. We show that the antipode $S$ of $H$ satisfies the equality $S^2(h)=\mathbf{u}h\mathbf{u}^{-1}$, where…