-
Pointed braided tensor categories
Authors:
Costel-Gabriel Bontea,
Dmitri Nikshych
Abstract:
We classify finite pointed braided tensor categories admitting a fiber functor in terms of bilinear forms on symmetric Yetter-Drinfeld modules over abelian groups. We describe the groupoid formed by braided equivalences of such categories in terms of certain metric data, generalizing the well-known result of Joyal and Street for fusion categories. We study symmetric centers and ribbon structures o…
▽ More
We classify finite pointed braided tensor categories admitting a fiber functor in terms of bilinear forms on symmetric Yetter-Drinfeld modules over abelian groups. We describe the groupoid formed by braided equivalences of such categories in terms of certain metric data, generalizing the well-known result of Joyal and Street for fusion categories. We study symmetric centers and ribbon structures of pointed braided tensor categories and examine their Drinfeld centers.
△ Less
Submitted 2 January, 2017;
originally announced January 2017.
-
On the Brauer-Picard group of a finite symmetric tensor category
Authors:
Costel-Gabriel Bontea,
Dmitri Nikshych
Abstract:
Let C_n denote the representation category of a finite supergroup generated by purely odd n-dimensional vector space. We compute the Brauer-Picard group BrPic(C_n) of C_n. This is done by identifying BrPic(C_n) with the group of braided tensor autoequivalences of the Drinfeld center of C_n and studying the action of the latter group on the categorical Lagrangian Grassmannian of C_n. We show that t…
▽ More
Let C_n denote the representation category of a finite supergroup generated by purely odd n-dimensional vector space. We compute the Brauer-Picard group BrPic(C_n) of C_n. This is done by identifying BrPic(C_n) with the group of braided tensor autoequivalences of the Drinfeld center of C_n and studying the action of the latter group on the categorical Lagrangian Grassmannian of C_n. We show that this action corresponds to the action of a projective symplectic group on a classical Lagrangian Grassmannian.
△ Less
Submitted 9 June, 2015; v1 submitted 27 August, 2014;
originally announced August 2014.
-
The Classification of All Crossed Products $H_4 \# k[C_{n}]$
Authors:
Ana-Loredana Agore,
Costel-Gabriel Bontea,
Gigel Militaru
Abstract:
Using the computational approach introduced in [Agore A.L., Bontea C.G., Militaru G., J. Algebra Appl. 12 (2013), 1250227, 24 pages, arXiv:1207.0411] we classify all coalgebra split extensions of $H_4$ by $k[C_n]$, where $C_n$ is the cyclic group of order $n$ and $H_4$ is Sweedler's $4$-dimensional Hopf algebra. Equivalently, we classify all crossed products of Hopf algebras $H_4 \# k[C_{n}]$ by e…
▽ More
Using the computational approach introduced in [Agore A.L., Bontea C.G., Militaru G., J. Algebra Appl. 12 (2013), 1250227, 24 pages, arXiv:1207.0411] we classify all coalgebra split extensions of $H_4$ by $k[C_n]$, where $C_n$ is the cyclic group of order $n$ and $H_4$ is Sweedler's $4$-dimensional Hopf algebra. Equivalently, we classify all crossed products of Hopf algebras $H_4 \# k[C_{n}]$ by explicitly computing two classifying objects: the cohomological 'group' ${\mathcal H}^{2} ( k[C_{n}], H_4)$ and $\text{CRP}( k[C_{n}], H_4):=$ the set of types of isomorphisms of all crossed products $H_4 \# k[C_{n}]$. More precisely, all crossed products $H_4 \# k[C_n]$ are described by generators and relations and classified: they are $4n$-dimensional quantum groups $H_{4n, λ, t}$, parameterized by the set of all pairs $(λ, t)$ consisting of an arbitrary unitary map $t : C_n \to C_2$ and an $n$-th root $λ$ of $\pm 1$. As an application, the group of Hopf algebra automorphisms of $H_{4n, λ, t}$ is explicitly described.
△ Less
Submitted 23 April, 2014; v1 submitted 29 October, 2012;
originally announced October 2012.
-
Classifying coalgebra split extensions of Hopf algebras
Authors:
A. L. Agore,
C. G. Bontea,
G. Militaru
Abstract:
For a given Hopf algebra $A$ we classify all Hopf algebras $E$ that are coalgebra split extensions of $A$ by $H_4$, where $H_4$ is the Sweedler's 4-dimensional Hopf algebra. Equivalently, we classify all crossed products of Hopf algebras $A # H_4$ by computing explicitly two classifying objects: the cohomological 'group' ${\mathcal H}^{2} (H_4, A)$ and $\textsc{C}\textsc{r}\textsc{p} (H_4, A) :=$…
▽ More
For a given Hopf algebra $A$ we classify all Hopf algebras $E$ that are coalgebra split extensions of $A$ by $H_4$, where $H_4$ is the Sweedler's 4-dimensional Hopf algebra. Equivalently, we classify all crossed products of Hopf algebras $A # H_4$ by computing explicitly two classifying objects: the cohomological 'group' ${\mathcal H}^{2} (H_4, A)$ and $\textsc{C}\textsc{r}\textsc{p} (H_4, A) :=$ the set of types of isomorphisms of all crossed products $A # H_4$. All crossed products $A #H_4$ are described by generators and relations and classified: they are parameterized by the set ${\mathcal Z}{\mathcal P} (A)$ of all central primitive elements of $A$. Several examples are worked out in detail: in particular, over a field of characteristic $p \geq 3$ an infinite family of non-isomorphic Hopf algebras of dimension $4p$ is constructed. The groups of automorphisms of these Hopf algebras are also described.
△ Less
Submitted 17 October, 2012; v1 submitted 2 July, 2012;
originally announced July 2012.
-
Classifying bicrossed products of two Sweedler's Hopf algebras
Authors:
Costel Gabriel Bontea
Abstract:
In this paper we continue the study started recently in \cite{ABMbp} by describing and classifying all Hopf algebras $E$ that factorize through two Sweedler's Hopf algebras. Equivalently, we classify all bicrossed products $H_4 \bowtie H_4$. There are three steps in our approach. First, we explicitly describe the set of all matched pairs $(H_4, H_4, \triangleright, \triangleleft)$ by proving that,…
▽ More
In this paper we continue the study started recently in \cite{ABMbp} by describing and classifying all Hopf algebras $E$ that factorize through two Sweedler's Hopf algebras. Equivalently, we classify all bicrossed products $H_4 \bowtie H_4$. There are three steps in our approach. First, we explicitly describe the set of all matched pairs $(H_4, H_4, \triangleright, \triangleleft)$ by proving that, with the exception of the trivial pair, this set is parameterized by the ground field $k$. Then, for any $λ\in k$, we describe by generators and relations the associated bicrossed product, \mathcal{H}_{16, \, λ}$. This is a 16-dimensional, pointed, unimodular and non-semisimple Hopf algebra. A Hopf algebra $E$ factorizes through $H_4$ and $H_4$ if and only if $ E \cong H_4 \ot H_4$ or $E \cong \mathcal{H}_{16,\, λ}$. In the last step we classify these quantum groups by proving that there are only three isomorphism classes represented by: $H_4 \ot H_4$, $\mathcal{H}_{16, \, 0}$ and $\mathcal{H}_{16, \, 1} \cong D(H_4)$, the Drinfel'd double of $H_4$. The automorphism group of these objects is also computed: in particular, we prove that $\Aut_{\rm Hopf}\big(D(H_4)\big)$ is isomorphic to a semidirect product of groups, $k^{\times} \rtimes \mathbb{Z}_2$.
△ Less
Submitted 29 May, 2013; v1 submitted 31 May, 2012;
originally announced May 2012.
-
Classifying bicrossed products of Hopf algebras
Authors:
A. L. Agore,
C. G. Bontea,
G. Militaru
Abstract:
Let $A$ and $H$ be two Hopf algebras. We shall classify up to an isomorphism that stabilizes $A$ all Hopf algebras $E$ that factorize through $A$ and $H$ by a cohomological type object ${\mathcal H}^{2} (A, H)$. Equivalently, we classify up to a left $A$-linear Hopf algebra isomorphism, the set of all bicrossed products $A \bowtie H$ associated to all possible matched pairs of Hopf algebras…
▽ More
Let $A$ and $H$ be two Hopf algebras. We shall classify up to an isomorphism that stabilizes $A$ all Hopf algebras $E$ that factorize through $A$ and $H$ by a cohomological type object ${\mathcal H}^{2} (A, H)$. Equivalently, we classify up to a left $A$-linear Hopf algebra isomorphism, the set of all bicrossed products $A \bowtie H$ associated to all possible matched pairs of Hopf algebras $(A, H, \triangleleft, \triangleright)$ that can be defined between $A$ and $H$. In the construction of ${\mathcal H}^{2} (A, H)$ the key role is played by special elements of $CoZ^{1} (H, A) \times \Aut_{\rm CoAlg}^1 (H)$, where $CoZ^{1} (H, A)$ is the group of unitary cocentral maps and $\Aut_{\rm CoAlg}^1(H)$ is the group of unitary automorphisms of the coalgebra $H$. Among several applications and examples, all bicrossed products $H_4 \bowtie k[C_n]$ are described by generators and relations and classified: they are quantum groups at roots of unity $H_{4n, ω}$ which are classified by pure arithmetic properties of the ring $\mathbb{Z}_n$. The Dirichlet's theorem on primes is used to count the number of types of isomorphisms of this family of $4n$-dimensional quantum groups. As a consequence of our approach the group $\Aut_{\rm Hopf}(H_{4n, ω})$ of Hopf algebra automorphisms is fully described.
△ Less
Submitted 21 November, 2012; v1 submitted 28 May, 2012;
originally announced May 2012.
