Showing 1–41 of 41 results for author: Natale, S

On the finite generation of the cohomology of abelian extensions of Hopf algebras

Authors: Nicolás Andruskiewitsch, Sonia Natale

Abstract: A finite-dimensional Hopf algebra is called quasi-split if it is Morita equivalent to a split abelian extension of Hopf algebras. Combining results of Schauenburg and Negron, it is shown that every quasi-split finite-dimensional Hopf algebra satisfies the finite generation cohomology conjecture of Etingof and Ostrik. This is applied to a family of pointed Hopf algebras in odd characteristic introd… ▽ More A finite-dimensional Hopf algebra is called quasi-split if it is Morita equivalent to a split abelian extension of Hopf algebras. Combining results of Schauenburg and Negron, it is shown that every quasi-split finite-dimensional Hopf algebra satisfies the finite generation cohomology conjecture of Etingof and Ostrik. This is applied to a family of pointed Hopf algebras in odd characteristic introduced by Angiono, Heckenberger and the first author, proving that they satisfy the aforementioned conjecture. △ Less

Submitted 8 July, 2024; originally announced July 2024.

Comments: 28 pages, amslatex

MSC Class: 16T05; 17B37; 18M05

A class of finite-by-cocommutative Hopf algebras

Authors: Nicolás Andruskiewitsch, Sonia Natale, Blas Torrecillas

Abstract: We present a rich source of Hopf algebras starting from a cofinite central extension of a Noetherian Hopf algebra and a subgroup of the algebraic group of characters of the central Hopf subalgebra. The construction is transparent from a Tannakian perspective. We determine when the new Hopf algebras are co-Frobenius, or cosemisimple, or Noetherian, or regular, or have finite Gelfand-Kirillov dimens… ▽ More We present a rich source of Hopf algebras starting from a cofinite central extension of a Noetherian Hopf algebra and a subgroup of the algebraic group of characters of the central Hopf subalgebra. The construction is transparent from a Tannakian perspective. We determine when the new Hopf algebras are co-Frobenius, or cosemisimple, or Noetherian, or regular, or have finite Gelfand-Kirillov dimension. △ Less

Submitted 24 March, 2023; originally announced March 2023.

Comments: 25 pages, comments are welcome

MSC Class: 16T05; 18M05

On the notion of exact sequence: from Hopf algebras to tensor categories

Authors: Sonia Natale

Abstract: We present an overview of the notions of exact sequences of Hopf algebras and tensor categories and their connections. We also present some examples illustrating their main features; these include simple fusion categories and a natural question regarding composition series of finite tensor categories. We present an overview of the notions of exact sequences of Hopf algebras and tensor categories and their connections. We also present some examples illustrating their main features; these include simple fusion categories and a natural question regarding composition series of finite tensor categories. △ Less

Submitted 27 March, 2020; originally announced March 2020.

Comments: amslatex, 30 pages

MSC Class: 18D10; 16T05

A class of prime fusion categories of dimension $2^N$

Authors: Jingcheng Dong, Sonia Natale, Hua Sun

Abstract: We study a class of strictly weakly integral fusion categories $\mathfrak{I}_{N, ζ}$, where $N \geq 1$ is a natural number and $ζ$ is a $2^N$th root of unity, that we call $N$-Ising fusion categories. An $N$-Ising fusion category has Frobenius-Perron dimension $2^{N+1}$ and is a graded extension of a pointed fusion category of rank 2 by the cyclic group of order $\mathbb Z_{2^N}$. We show that eve… ▽ More We study a class of strictly weakly integral fusion categories $\mathfrak{I}_{N, ζ}$, where $N \geq 1$ is a natural number and $ζ$ is a $2^N$th root of unity, that we call $N$-Ising fusion categories. An $N$-Ising fusion category has Frobenius-Perron dimension $2^{N+1}$ and is a graded extension of a pointed fusion category of rank 2 by the cyclic group of order $\mathbb Z_{2^N}$. We show that every braided $N$-Ising fusion category is prime and also that there exists a slightly degenerate $N$-Ising braided fusion category for all $N > 2$. We also prove a structure result for braided extensions of a rank 2 pointed fusion category in terms of braided $N$-Ising fusion categories. △ Less

Submitted 22 October, 2019; v1 submitted 15 October, 2019; originally announced October 2019.

Comments: amslatex, 22 pages. Added assumption in Theorem 5.2 and details in proof of Theorem 5.3

MSC Class: 18D10

Extensions of tensor categories by finite group fusion categories

Authors: Sonia Natale

Abstract: We study exact sequences of finite tensor categories of the form $\Rep G \to \C \to \D$, where $G$ is a finite group. We show that, under suitable assumptions, there exists a group $Γ$ and mutual actions by permutations $\rhd: Γ\times G \to G$ and $\lhd: Γ\times G \to Γ$ that make $(G, Γ)$ into matched pair of groups endowed with a natural crossed action on $\D$ such that $\C$ is equivalent to a c… ▽ More We study exact sequences of finite tensor categories of the form $\Rep G \to \C \to \D$, where $G$ is a finite group. We show that, under suitable assumptions, there exists a group $Γ$ and mutual actions by permutations $\rhd: Γ\times G \to G$ and $\lhd: Γ\times G \to Γ$ that make $(G, Γ)$ into matched pair of groups endowed with a natural crossed action on $\D$ such that $\C$ is equivalent to a certain associated crossed extension $\D^{(G, Γ)}$ of $\D$. Dually, we show that an exact sequence of finite tensor categories $\vect_G \to \C \to \D$ induces an $\Aut(G)$-grading on $\C$ whose neutral homogeneous component is a $(Z(G), Γ)$-crossed extension of a tensor subcategory of $\D$. As an application we prove that such extensions $\C$ of $\D$ are weakly group-theoretical fusion categories if and only if $\D$ is a weakly group-theoretical fusion category. In particular, we conclude that every semisolvable semisimple Hopf algebra is weakly group-theoretical. △ Less

Submitted 28 August, 2018; originally announced August 2018.

Comments: 27 pages

MSC Class: 18D10; 16T05

Journal ref: Math. Proc. Camb. Phil. Soc. 170 (2021) 161-189

The core of a weakly group-theoretical braided fusion category

Authors: Sonia Natale

Abstract: We show that the core of a weakly group-theoretical braided fusion category $\C$ is equivalent as a braided fusion category to a tensor product $\B \boxtimes \D$, where $\D$ is a pointed weakly anisotropic braided fusion category, and $\B \cong \vect$ or $\B$ is an Ising braided category. In particular, if $\C$ is integral, then its core is a pointed weakly anisotropic braided fusion category. As… ▽ More We show that the core of a weakly group-theoretical braided fusion category $\C$ is equivalent as a braided fusion category to a tensor product $\B \boxtimes \D$, where $\D$ is a pointed weakly anisotropic braided fusion category, and $\B \cong \vect$ or $\B$ is an Ising braided category. In particular, if $\C$ is integral, then its core is a pointed weakly anisotropic braided fusion category. As an application we give a characterization of the solvability of a weakly group-theoretical braided fusion category. We also prove that an integral modular category all of whose simple objects have Frobenius-Perron dimension at most 2 is necessarily group-theoretical. △ Less

Submitted 11 April, 2017; originally announced April 2017.

Comments: 23 pages, latex

MSC Class: 18D10; 16T05

On the classification of almost square-free modular categories

Authors: Jingcheng Dong, Sonia Natale

Abstract: Let $C$ be a modular category of Frobenius-Perron dimension $dq^n$, where $q$ is a prime number and $d$ is a square-free integer. We show that if $q>2$ then $C$ is integral and nilpotent. In particular, $C$ is group-theoretical. In the general case, we describe the structure of $C$ in terms of equivariantizations of group-crossed braided fusion categories. Let $C$ be a modular category of Frobenius-Perron dimension $dq^n$, where $q$ is a prime number and $d$ is a square-free integer. We show that if $q>2$ then $C$ is integral and nilpotent. In particular, $C$ is group-theoretical. In the general case, we describe the structure of $C$ in terms of equivariantizations of group-crossed braided fusion categories. △ Less

Submitted 9 November, 2017; v1 submitted 29 December, 2016; originally announced December 2016.

Comments: final revised version. Main changes: Lemma 4.10 has been added, improving previous statement on dim dq^4. Also added Remark 4.9

MSC Class: 18D10; 16T05

Cocycle deformations and Galois objects for semisimple Hopf algebras of dimension $p^3$ and $pq^2$

Authors: Adriana Mejía Castaño, Susan Montgomery, Sonia Natale, Maria D. Vega, Chelsea Walton

Abstract: Let $p$ and $q$ be distinct prime numbers. We study the Galois objects and cocycle deformations of the noncommutative, noncocommutative, semisimple Hopf algebras of odd dimension $p^3$ and of dimension $pq^2$. We obtain that the $p+1$ non-isomorphic self-dual semisimple Hopf algebras of dimension $p^3$ classified by Masuoka have no non-trivial cocycle deformations, extending his previous results f… ▽ More Let $p$ and $q$ be distinct prime numbers. We study the Galois objects and cocycle deformations of the noncommutative, noncocommutative, semisimple Hopf algebras of odd dimension $p^3$ and of dimension $pq^2$. We obtain that the $p+1$ non-isomorphic self-dual semisimple Hopf algebras of dimension $p^3$ classified by Masuoka have no non-trivial cocycle deformations, extending his previous results for the 8-dimensional Kac-Paljutkin Hopf algebra. This is done as a consequence of the classification of categorical Morita equivalence classes among semisimple Hopf algebras of odd dimension $p^3$, established by the third-named author in an appendix. △ Less

Submitted 21 June, 2017; v1 submitted 12 October, 2016; originally announced October 2016.

Comments: Remark 6.9 added; notation change in equation (5.7); some typos corrected and references updated. Accepted in J. Pure Appl. Algebra

MSC Class: 16T05; 16S35; 18D10

On the Equivalence of Module Categories over a Group-Theoretical Fusion Category

Authors: Sonia Natale

Abstract: We give a necessary and sufficient condition in terms of group cohomology for two indecomposable module categories over a group-theoretical fusion category ${\mathcal C}$ to be equivalent. This concludes the classification of such module categories. We give a necessary and sufficient condition in terms of group cohomology for two indecomposable module categories over a group-theoretical fusion category ${\mathcal C}$ to be equivalent. This concludes the classification of such module categories. △ Less

Submitted 17 June, 2017; v1 submitted 15 August, 2016; originally announced August 2016.

MSC Class: 18D10

Journal ref: SIGMA 13 (2017), 042, 9 pages

On fusion rules and solvability of a fusion category

Authors: Melisa Escañuela González, Sonia Natale

Abstract: We address the question whether the condition on a fusion category being solvable or not is determined by its fusion rules. We prove that the answer is affirmative for some families of non-solvable examples arising from representations of semisimple Hopf algebras associated to exact factorizations of the symmetric and alternating groups. In the context of spherical fusion categories, we also consi… ▽ More We address the question whether the condition on a fusion category being solvable or not is determined by its fusion rules. We prove that the answer is affirmative for some families of non-solvable examples arising from representations of semisimple Hopf algebras associated to exact factorizations of the symmetric and alternating groups. In the context of spherical fusion categories, we also consider the invariant provided by the $S$-matrix of the Drinfeld center and show that this invariant does determine the solvability of a fusion category provided it is group-theoretical. △ Less

Submitted 17 December, 2015; originally announced December 2015.

Comments: 24 pages, amslatex

MSC Class: 18D10; 16T05

A Jordan-H\" older theorem for weakly group-theoretical fusion categories

Authors: Sonia Natale

Abstract: We prove a version of the Jordan-H\" older theorem in the context of weakly group-theoretical fusion categories. This allows us to introduce the composition factors and the length of such a fusion category C, which are in fact Morita invariants of C. We prove a version of the Jordan-H\" older theorem in the context of weakly group-theoretical fusion categories. This allows us to introduce the composition factors and the length of such a fusion category C, which are in fact Morita invariants of C. △ Less

Submitted 14 December, 2015; v1 submitted 31 May, 2015; originally announced June 2015.

Comments: final revised version

MSC Class: 18D10; 16T05

Jordan-Hölder theorem for finite dimensional Hopf algebras

Authors: Sonia Natale

Abstract: We show that a Jordan-Hölder theorem holds for appropriately defined composition series of finite dimensional Hopf algebras. This answers an open question of N. Andruskiewitsch. In the course of our proof we establish analogues of the Noether isomorphism theorems of group theory for arbitrary Hopf algebras under certain faithful (co)flatness assumptions. As an application, we prove an analogue of… ▽ More We show that a Jordan-Hölder theorem holds for appropriately defined composition series of finite dimensional Hopf algebras. This answers an open question of N. Andruskiewitsch. In the course of our proof we establish analogues of the Noether isomorphism theorems of group theory for arbitrary Hopf algebras under certain faithful (co)flatness assumptions. As an application, we prove an analogue of Zassenhaus' butterfly lemma for finite dimensional Hopf algebras. We then use these results to show that a Jordan-Hölder theorem holds as well for lower and upper composition series, even though the factors of such series may be not simple as Hopf algebras. △ Less

Submitted 3 July, 2014; originally announced July 2014.

Comments: 15 pages, amslatex

MSC Class: 16T05

Module categories over equivariantized tensor categories

Authors: Martín Mombelli, Sonia Natale

Abstract: For a finite tensor category $\mathcal C$ and a Hopf monad $T:\mathcal C\to \mathcal C$ satisfying certain conditions we describe exact indecomposable left $\mathcal C^T$-module categories in terms of left $\mathcal C$-module categories and some extra data. We also give a 2-categorical interpretation of the process of equivariantization of module categories. For a finite tensor category $\mathcal C$ and a Hopf monad $T:\mathcal C\to \mathcal C$ satisfying certain conditions we describe exact indecomposable left $\mathcal C^T$-module categories in terms of left $\mathcal C$-module categories and some extra data. We also give a 2-categorical interpretation of the process of equivariantization of module categories. △ Less

Submitted 30 May, 2014; originally announced May 2014.

Comments: 33 pages, amslatex

MSC Class: 18D10; 16T05

Crossed actions of matched pairs of groups on tensor categories

Authors: Sonia Natale

Abstract: We introduce the notion of $(G, Γ)$-crossed action on a tensor category, where $(G, Γ)$ is a matched pair of finite groups. A tensor category is called a $(G, Γ)$-crossed tensor category if it is endowed with a $(G, Γ)$-crossed action. We show that every $(G, Γ)$-crossed tensor category $\mathcal C$ gives rise to a tensor category $\mathcal C^{(G, Γ)}$ that fits into an exact sequence of tensor ca… ▽ More We introduce the notion of $(G, Γ)$-crossed action on a tensor category, where $(G, Γ)$ is a matched pair of finite groups. A tensor category is called a $(G, Γ)$-crossed tensor category if it is endowed with a $(G, Γ)$-crossed action. We show that every $(G, Γ)$-crossed tensor category $\mathcal C$ gives rise to a tensor category $\mathcal C^{(G, Γ)}$ that fits into an exact sequence of tensor categories $\operatorname{Rep G} \to \mathcal C^{(G, Γ)} \to \mathcal C$. We also define the notion of a $(G, Γ)$-braiding in a $(G, Γ)$-crossed tensor category, which is connected with certain set-theoretical solutions of the QYBE. This extends the notion of $G$-crossed braided tensor category due to Turaev. We show that if $\mathcal C$ is a $(G, Γ)$-crossed tensor category equipped with a $(G, Γ)$-braiding, then the tensor category $\mathcal C^{(G, Γ)}$ is a braided tensor category in a canonical way. △ Less

Submitted 27 May, 2014; originally announced May 2014.

Comments: 30 pages, amslatex

MSC Class: 18D10; 16T05

Graphs attached to simple Frobenius-Perron dimensions of an integral fusion category

Authors: Sonia Natale, Edwin Pacheco

Abstract: Let C be an integral fusion category. We study some graphs, called the prime graph and the common divisor graph, related to the Frobenius-Perron dimensions of simple objects in the category C, that extend the corresponding graphs associated to the irreducible character degrees and the conjugacy class sizes of a finite group. We describe these graphs in several cases, among others, when C is an equ… ▽ More Let C be an integral fusion category. We study some graphs, called the prime graph and the common divisor graph, related to the Frobenius-Perron dimensions of simple objects in the category C, that extend the corresponding graphs associated to the irreducible character degrees and the conjugacy class sizes of a finite group. We describe these graphs in several cases, among others, when C is an equivariantization under the action of a finite group, a 2-step nilpotent fusion category, and the representation category of a twisted quantum double. We prove generalizations of known results on the number of connected components of the corresponding graphs for finite groups in the context of braided fusion categories. In particular, we show that if C is any integral non-degenerate braided fusion category, then the prime graph of C has at most 3 connected components, and it has at most 2 connected components if C is in addition solvable. As an application we prove a classification result for weakly integral braided fusion categories all of whose simple objects have prime power Frobenius-Perron dimension. △ Less

Submitted 16 November, 2014; v1 submitted 5 March, 2014; originally announced March 2014.

Comments: The main modifications to the original submission are the following: A missing factor was added in Formula (9.2). The statement of Lemma 10.2 (ii) has changed. Remark 10.3 has been added. New Propositions 10.4 and 10.5 (replacing Proposition 10.3 in previous version). Some typos have been corrected and references updated

MSC Class: 18D10; 05C25

Classification of integral modular categories of Frobenius-Perron dimension pq^4 and p^2q^2

Authors: Paul Bruillard, César Galindo, Seung-Moon Hong, Yevgenia Kashina, Deepak Naidu, Sonia Natale, Julia Yael Plavnik, Eric. C. Rowell

Abstract: We classify integral modular categories of dimension pq^4 and p^2q^2 where p and q are distinct primes. We show that such categories are always group-theoretical except for categories of dimension 4q^2. In these cases there are well-known examples of non-group-theoretical categories, coming from centers of Tambara-Yamagami categories and quantum groups. We show that a non-group-theoretical integra… ▽ More We classify integral modular categories of dimension pq^4 and p^2q^2 where p and q are distinct primes. We show that such categories are always group-theoretical except for categories of dimension 4q^2. In these cases there are well-known examples of non-group-theoretical categories, coming from centers of Tambara-Yamagami categories and quantum groups. We show that a non-group-theoretical integral modular category of dimension 4q^2 is equivalent to either one of these well-known examples or is of dimension 36 and is twist-equivalent to fusion categories arising from a certain quantum group. △ Less

Submitted 19 March, 2013; originally announced March 2013.

Comments: 13 pages

MSC Class: 18D10

On weakly group-theoretical non-degenerate braided fusion categories

Authors: Sonia Natale

Abstract: We show that the Witt class of a weakly group-theoretical non-degenerate braided fusion category belongs to the subgroup generated by classes of non-degenerate pointed braided fusion categories and Ising braided categories. This applies in particular to solvable non-degenerate braided fusion categories. We also give some sufficient conditions for a braided fusion category to be weakly group-theore… ▽ More We show that the Witt class of a weakly group-theoretical non-degenerate braided fusion category belongs to the subgroup generated by classes of non-degenerate pointed braided fusion categories and Ising braided categories. This applies in particular to solvable non-degenerate braided fusion categories. We also give some sufficient conditions for a braided fusion category to be weakly group-theoretical or solvable in terms of the factorization of its Frobenius-Perron dimension and the Frobenius-Perron dimensions of its simple objects. As an application, we prove that every non-degenerate braided fusion category whose Frobenius-Perron dimension is a natural number less than 1800, or an odd natural number less than 33075, is weakly group-theoretical. △ Less

Submitted 25 January, 2013; originally announced January 2013.

Comments: 17 pages, amslatex

MSC Class: 18D10

Frobenius property for fusion categories of small integral dimension

Authors: Jingcheng Dong, Sonia Natale, Leandro Vendramin

Abstract: Let k be an algebraically closed field of characteristic zero. In this paper we prove that fusion categories of Frobenius-Perron dimensions 84 and 90 are of Frobenius type. Combining this with previous results in the literature, we obtain that every weakly integral fusion category of Frobenius-Perron dimension less than 120 is of Frobenius type. Let k be an algebraically closed field of characteristic zero. In this paper we prove that fusion categories of Frobenius-Perron dimensions 84 and 90 are of Frobenius type. Combining this with previous results in the literature, we obtain that every weakly integral fusion category of Frobenius-Perron dimension less than 120 is of Frobenius type. △ Less

Submitted 29 September, 2014; v1 submitted 8 September, 2012; originally announced September 2012.

Comments: 15 pages. Final version

Journal ref: J. Algebra Appl. 14 (2015), no. 2, 1550011 (17 pages)

Fusion rules of equivariantizations of fusion categories

Authors: Sebastian Burciu, Sonia Natale

Abstract: We determine the fusion rules of the equivariantization of a fusion category $\mathcal{C}$ under the action of a finite group $G$ in terms of the fusion rules of $\mathcal{C}$ and group-theoretical data associated to the group action. As an application we obtain a formula for the fusion rules in an equivariantization of a pointed fusion category in terms of group-theoretical data. This entails a d… ▽ More We determine the fusion rules of the equivariantization of a fusion category $\mathcal{C}$ under the action of a finite group $G$ in terms of the fusion rules of $\mathcal{C}$ and group-theoretical data associated to the group action. As an application we obtain a formula for the fusion rules in an equivariantization of a pointed fusion category in terms of group-theoretical data. This entails a description of the fusion rules in any braided group-theoretical fusion category. △ Less

Submitted 16 October, 2019; v1 submitted 28 June, 2012; originally announced June 2012.

Comments: The assumption that the group action is by tensor autoequivalences on a fusion category was added in Section 2. Modified statements of Proposition 6.2, Corollary 2.13. Statements of Propositions 3.12 and Corollary 3.13 modified accordingly

MSC Class: 18D10

Journal ref: J. Math. Phys. 54, No. 1, 013511, 21 p. (2013)

Solvability of a class of braided fusion categories

Authors: Sonia Natale, Julia Yael Plavnik

Abstract: We show that a weakly integral braided fusion category C such that every simple object of C has Frobenius-Perron dimension at most 2 is solvable. In addition, we prove that such a fusion category is group-theoretical in the extreme case where the universal grading group of C is trivial. We show that a weakly integral braided fusion category C such that every simple object of C has Frobenius-Perron dimension at most 2 is solvable. In addition, we prove that such a fusion category is group-theoretical in the extreme case where the universal grading group of C is trivial. △ Less

Submitted 10 May, 2012; originally announced May 2012.

Comments: 12 pages, amslatex

MSC Class: 18D10; 16T05

Central Exact Sequences of Tensor Categories, Equivariantization and Applications

Authors: Alain Bruguières, Sonia Natale

Abstract: We define equivariantization of tensor categories under tensor group scheme actions and give necessary and sufficient conditions for an exact sequence of tensor categories to be an equivariantization under a finite group or finite group scheme action. We introduce the notion of central exact sequence of tensor categories and use it in order to present an alternative formulation of some known chara… ▽ More We define equivariantization of tensor categories under tensor group scheme actions and give necessary and sufficient conditions for an exact sequence of tensor categories to be an equivariantization under a finite group or finite group scheme action. We introduce the notion of central exact sequence of tensor categories and use it in order to present an alternative formulation of some known characterizations of equivariantizations for fusion categories, and to extend these characterizations to equivariantizations of finite tensor categories under finite group scheme actions. In particular, we obtain a simple characterization of equivariantizations under actions of finite abelian groups. As an application, we show that if $\C$ is a fusion category and $F: \C \to \D$ is a dominant tensor functor of Frobenius-Perron index $p$, then $F$ is an equivariantization if $p=2$, or if $\C$ is weakly integral and $p$ is the smallest prime factor of $\FPdim \C$. △ Less

Submitted 14 December, 2011; originally announced December 2011.

Faithful simple objects, orders and gradings of fusion categories

Authors: Sonia Natale

Abstract: We establish some relations between the orders of simple objects in a fusion category and the structure of its universal grading group. We consider fusion categories which have a faithful simple object and show that its universal grading group must be cyclic. As for the converse, we prove that a braided nilpotent fusion category with cyclic universal grading group always has a faithful simple obje… ▽ More We establish some relations between the orders of simple objects in a fusion category and the structure of its universal grading group. We consider fusion categories which have a faithful simple object and show that its universal grading group must be cyclic. As for the converse, we prove that a braided nilpotent fusion category with cyclic universal grading group always has a faithful simple object. We study the universal grading of fusion categories with generalized Tambara-Yamagami fusion rules. As an application, we classify modular categories in this class and describe the modularizations of braided Tambara-Yamagami fusion categories. △ Less

Submitted 7 October, 2011; originally announced October 2011.

Comments: 15 pages, amslatex

MSC Class: 18D10; 16T05

Journal ref: Algebr. Geom. Topol. 13 (2013) 1489-1511

Finite quantum groups and quantum permutation groups

Authors: Teodor Banica, Julien Bichon, Sonia Natale

Abstract: We give examples of finite quantum permutation groups which arise from the twisting construction or as bicrossed products associated to exact factorizations in finite groups. We also give examples of finite quantum groups which are not quantum permutation groups: one such example occurs as a split abelian extension associated to the exact factorization $\mathbb S_4 = \mathbb Z_4 \mathbb S_3$ and h… ▽ More We give examples of finite quantum permutation groups which arise from the twisting construction or as bicrossed products associated to exact factorizations in finite groups. We also give examples of finite quantum groups which are not quantum permutation groups: one such example occurs as a split abelian extension associated to the exact factorization $\mathbb S_4 = \mathbb Z_4 \mathbb S_3$ and has dimension 24. We show that, in fact, this is the smallest possible dimension that a non quantum permutation group can have. △ Less

Submitted 7 April, 2011; originally announced April 2011.

Comments: latex, 17 pages

MSC Class: 16T05; 46L65

Journal ref: Adv. Math. 229 (2012), 3320-3338

On fusion categories with few irreducible degrees

Authors: Sonia Natale, Julia Yael Plavnik

Abstract: We prove some results on the structure of certain classes of integral fusion categories and semisimple Hopf algebras under restrictions on the set of its irreducible degrees. We prove some results on the structure of certain classes of integral fusion categories and semisimple Hopf algebras under restrictions on the set of its irreducible degrees. △ Less

Submitted 4 November, 2011; v1 submitted 11 March, 2011; originally announced March 2011.

Comments: Revised version. Improved statements of Theorems 4.13 and 7.3

MSC Class: 16T05; 18D10

On quasitriangular structures in Hopf algebras arising from exact group factorizations

Authors: Sonia Natale

Abstract: We show that bicrossed product Hopf algebras arising from exact factorizations in almost simple finite groups, so in particular, in simple and symmetric groups, admit no quasitriangular structure. We show that bicrossed product Hopf algebras arising from exact factorizations in almost simple finite groups, so in particular, in simple and symmetric groups, admit no quasitriangular structure. △ Less

Submitted 23 September, 2010; originally announced September 2010.

Comments: 11 pages, amslatex

MSC Class: 16T05

Exact sequences of tensor categories

Authors: Alain Bruguières, Sonia Natale

Abstract: We introduce the notions of normal tensor functor and exact sequence of tensor categories. We show that exact sequences of tensor categories generalize strictly exact sequences of Hopf algebras as defined by Schneider, and in particular, exact sequences of (finite) groups. We classify exact sequences of tensor categories C' -> C -> C'' (such that C' is finite) in terms of normal faithful Hopf mona… ▽ More We introduce the notions of normal tensor functor and exact sequence of tensor categories. We show that exact sequences of tensor categories generalize strictly exact sequences of Hopf algebras as defined by Schneider, and in particular, exact sequences of (finite) groups. We classify exact sequences of tensor categories C' -> C -> C'' (such that C' is finite) in terms of normal faithful Hopf monads on C'' and also, in terms of self-trivializing commutative algebras in the center of C. More generally, we show that, given any dominant tensor functor C -> D admitting an exact (right or left) adjoint there exists a canonical commutative algebra A in the center of C such that F is tensor equivalent to the free module functor C -> mod_C A, where mod_C A denotes the category of A-modules in C endowed with a monoidal structure defined using the half-braiding of A. We re-interpret equivariantization under a finite group action on a tensor category and, in particular, the modularization construction, in terms of exact sequences, Hopf monads and commutative central algebras. As an application, we prove that a braided fusion category whose dimension is odd and square-free is equivalent, as a fusion category, to the representation category of a group. △ Less

Submitted 3 June, 2010; originally announced June 2010.

Comments: 39 pages

MSC Class: 16T05; 18C20; 18D10

Semisimple Hopf algebras of dimension 60

Authors: Sonia Natale

Abstract: We determine the isomorphism classes of semisimple Hopf algebras of dimension 60 which are simple as Hopf algebras. We determine the isomorphism classes of semisimple Hopf algebras of dimension 60 which are simple as Hopf algebras. △ Less

Submitted 25 November, 2009; originally announced November 2009.

Comments: amslatex, 23 pages

MSC Class: 16W30

Hopf algebra deformations of binary polyhedral groups

Authors: Julien Bichon, Sonia Natale

Abstract: We show that semisimple Hopf algebras having a self-dual faithful irreducible comodule of dimension 2 are always obtained as abelian extensions with quotient Z_2. We prove that nontrivial Hopf algebras arising in this way can be regarded as deformations of binary polyhedral groups and describe its category of representations. We also prove a strengthening of a result of Nichols and Richmond on cos… ▽ More We show that semisimple Hopf algebras having a self-dual faithful irreducible comodule of dimension 2 are always obtained as abelian extensions with quotient Z_2. We prove that nontrivial Hopf algebras arising in this way can be regarded as deformations of binary polyhedral groups and describe its category of representations. We also prove a strengthening of a result of Nichols and Richmond on cosemisimple Hopf algebras with a 2-dimensional irreducible comodule in the finite dimensional context. Finally, we give some applications to the classification of certain classes of semisimple Hopf algebras. △ Less

Submitted 23 November, 2010; v1 submitted 10 July, 2009; originally announced July 2009.

Comments: revised version. Corrected proof of Proposition 3.2, a few changes in Subsection 4.2

MSC Class: 16T05

Hopf algebra extensions of group algebras and Tambara-Yamagami categories

Authors: Sonia Natale

Abstract: We determine the structure of Hopf algebra extensions of a group algebra by the cyclic group of order 2. We study the corepresentation theory of such Hopf algebras, which provide a generalization, at the Hopf algebra level, of the so called Tambara-Yamagami fusion categories. As a byproduct, we show that every semisimple Hopf algebra of dimension $<36$ is necessarily group-theoretical; thus 36 i… ▽ More We determine the structure of Hopf algebra extensions of a group algebra by the cyclic group of order 2. We study the corepresentation theory of such Hopf algebras, which provide a generalization, at the Hopf algebra level, of the so called Tambara-Yamagami fusion categories. As a byproduct, we show that every semisimple Hopf algebra of dimension $<36$ is necessarily group-theoretical; thus 36 is the smallest possible dimension where a non group-theoretical example occurs. △ Less

Submitted 22 May, 2009; v1 submitted 20 May, 2008; originally announced May 2008.

Comments: Main changes appear in the description in Theorem 1.1, missing case added in proof of Proposition 6.1 and reference added. To appear in Algebr. Represent. Theory

MSC Class: 16W30

Normal Hopf subalgebras in cocycle deformations of finite groups

Authors: Cesar Galindo, Sonia Natale

Abstract: Let $G$ be a finite group and let $π: G \to G'$ be a surjective group homomorphism. Consider the cocycle deformation $L = H^σ$ of the Hopf algebra $H = k^G$ of $k$-valued linear functions on $G$, with respect to some convolution invertible 2-cocycle $σ$. The (normal) Hopf subalgebra $k^{G'} \subseteq k^G$ corresponds to a Hopf subalgebra $L' \subseteq L$. Our main result is an explicit necessary… ▽ More Let $G$ be a finite group and let $π: G \to G'$ be a surjective group homomorphism. Consider the cocycle deformation $L = H^σ$ of the Hopf algebra $H = k^G$ of $k$-valued linear functions on $G$, with respect to some convolution invertible 2-cocycle $σ$. The (normal) Hopf subalgebra $k^{G'} \subseteq k^G$ corresponds to a Hopf subalgebra $L' \subseteq L$. Our main result is an explicit necessary and sufficient condition for the normality of $L'$ in $L$. △ Less

Submitted 21 November, 2007; v1 submitted 24 August, 2007; originally announced August 2007.

Comments: Final version

MSC Class: 16W30

Simple Hopf algebras and deformations of finite groups

Authors: Cesar N. Galindo, Sonia Natale

Abstract: We show that certain twisting deformations of a family of supersolvable groups are simple as Hopf algebras. These groups are direct products of two generalized dihedral groups. Examples of this construction arise in dimensions 60 and p^2q^2, for prime numbers p, q with q dividing p-1. We also show that certain twisting deformation of the symmetric group is simple as a Hopf algebra. On the other… ▽ More We show that certain twisting deformations of a family of supersolvable groups are simple as Hopf algebras. These groups are direct products of two generalized dihedral groups. Examples of this construction arise in dimensions 60 and p^2q^2, for prime numbers p, q with q dividing p-1. We also show that certain twisting deformation of the symmetric group is simple as a Hopf algebra. On the other hand, we prove that every twisting deformation of a nilpotent group is semisolvable. We conclude that the notions of simplicity and (semi)solvability of a semisimple Hopf algebra are not determined by its tensor category of representations. △ Less

Submitted 7 September, 2006; v1 submitted 30 August, 2006; originally announced August 2006.

Comments: amslatex, 12 pages, reference added in 2.2

MSC Class: 16W30

R-matrices and Hopf algebra quotients

Authors: Sonia Natale

Abstract: We study a natural construction of Hopf algebra quotients canonically associated to an R-matrix in a finite dimensional Hopf algebra. We apply this construction to show that a quasitriangular Hopf algebra whose dimension is odd and square-free is necessarily cocommutative. We study a natural construction of Hopf algebra quotients canonically associated to an R-matrix in a finite dimensional Hopf algebra. We apply this construction to show that a quasitriangular Hopf algebra whose dimension is odd and square-free is necessarily cocommutative. △ Less

Submitted 29 May, 2006; originally announced May 2006.

Comments: 21 pages, amslatex

MSC Class: 16W30

The structure of double groupoids

Authors: Nicolás Andruskiewitsch, Sonia Natale

Abstract: We give a general description of the structure of a discrete double groupoid (with an extra, quite natural, filling condition) in terms of groupoid factorizations and groupoid 2-cocycles with coefficients in abelian group bundles. Our description goes as follows: To any double groupoid, we associate an abelian group bundle and a second double groupoid, its frame. The frame satisfies that every b… ▽ More We give a general description of the structure of a discrete double groupoid (with an extra, quite natural, filling condition) in terms of groupoid factorizations and groupoid 2-cocycles with coefficients in abelian group bundles. Our description goes as follows: To any double groupoid, we associate an abelian group bundle and a second double groupoid, its frame. The frame satisfies that every box is determined by its edges, and thus is called a `slim' double groupoid. In a first step, we prove that every double groupoid is obtained as an extension of its associated abelian group bundle by its frame. In a second, independent, step we prove that every slim double groupoid with filling condition is completely determined by a factorization of a certain canonically defined `diagonal' groupoid. △ Less

Submitted 28 October, 2008; v1 submitted 22 February, 2006; originally announced February 2006.

Comments: amslatex, 28 pages, revised version to appear in J. Pure Appl. Algebra

MSC Class: 20L05; 18D05

Journal ref: J. Pure Appl. Algebra Volume 213, Issue 6, June 2009, Pages 1031-1045

On the exponent of tensor categories coming from finite groups

Authors: Sonia Natale

Abstract: We describe the exponent of a group-theoretical fusion category $\mathcal C = \mathcal C(G, ω, F, α)$ associated to a finite group $G$ in terms of group cohomology. We show that the exponent of $\C$ divides both $e(ω) \exp G$ and $(\exp G)^2$, where $e(ω)$ is the cohomological order of the 3-cocycle $ω$. In particular $\exp \C$ divides $(\dim \C)^2$. We describe the exponent of a group-theoretical fusion category $\mathcal C = \mathcal C(G, ω, F, α)$ associated to a finite group $G$ in terms of group cohomology. We show that the exponent of $\C$ divides both $e(ω) \exp G$ and $(\exp G)^2$, where $e(ω)$ is the cohomological order of the 3-cocycle $ω$. In particular $\exp \C$ divides $(\dim \C)^2$. △ Less

Submitted 4 November, 2005; originally announced November 2005.

Comments: 22 pages, amslatex

MSC Class: 16W30

Tensor categories and vacant double groupoids

Authors: Juan Martin Mombelli, Sonia Natale

Abstract: We show that fusion categories $\Rep(\ku^σ_τ \Tc)$ of representations of the weak Hopf algebra coming from a vacant double groupoid $\Tc$ and a pair $(σ, τ)$ of compatible 2-cocyles are group-theoretical. We show that fusion categories $\Rep(\ku^σ_τ \Tc)$ of representations of the weak Hopf algebra coming from a vacant double groupoid $\Tc$ and a pair $(σ, τ)$ of compatible 2-cocyles are group-theoretical. △ Less

Submitted 2 September, 2005; originally announced September 2005.

Comments: amslatex, 19 pages

MSC Class: 16W30

Tensor categories attached to double groupoids

Authors: Nicolás Andruskiewitsch, Sonia Natale

Abstract: The construction of a quantum groupoid out of a double groupoid satisfying a filling condition and a perturbation datum is given. This extends previous work that appeared in math.QA/0308228. Several important classes of examples of tensor categories are shown to fit into this construction. Certain invariants such as a pivotal group-like element and quantum and Frobenius-Perron dimensions of simp… ▽ More The construction of a quantum groupoid out of a double groupoid satisfying a filling condition and a perturbation datum is given. This extends previous work that appeared in math.QA/0308228. Several important classes of examples of tensor categories are shown to fit into this construction. Certain invariants such as a pivotal group-like element and quantum and Frobenius-Perron dimensions of simple objects are computed. △ Less

Submitted 3 March, 2005; v1 submitted 3 August, 2004; originally announced August 2004.

Comments: Revised version to appear in Adv. Math., 45 pages. Added examples where the square of the antipode is not the identity, necessary and sufficient conditions for the representation category to be fusion, and the computation of quantum and Frobenius-Perron dimensions of simple representations

MSC Class: 16W30; 20L05; 18D05; 18B40

Journal ref: Adv. Math. 200 (2006) pp. 539-583

Frobenius-Schur indicators for a class of fusion categories

Authors: Sonia Natale

Abstract: We give an explicit description, up to gauge equivalence, of group-theoretical quasi-Hopf algebras. We use this description to compute the Frobenius-Schur indicators for group-theoretical fusion categories. We give an explicit description, up to gauge equivalence, of group-theoretical quasi-Hopf algebras. We use this description to compute the Frobenius-Schur indicators for group-theoretical fusion categories. △ Less

Submitted 22 October, 2004; v1 submitted 26 December, 2003; originally announced December 2003.

Comments: 27 pages, ams-latex

MSC Class: 16W30

Double categories and quantum groupoids

Authors: Nicolas Andruskiewitsch, Sonia Natale

Abstract: We give the construction of a class of weak Hopf algebras (or quantum groupoids) associated to a matched pair of groupoids and certain cocycle data. This generalizes a now well-known construction for Hopf algebras, first studied by G. I. Kac in the sixties. Our approach is based on the notion of double groupoids, as introduced by Ehresmann. We give the construction of a class of weak Hopf algebras (or quantum groupoids) associated to a matched pair of groupoids and certain cocycle data. This generalizes a now well-known construction for Hopf algebras, first studied by G. I. Kac in the sixties. Our approach is based on the notion of double groupoids, as introduced by Ehresmann. △ Less

Submitted 28 September, 2003; v1 submitted 25 August, 2003; originally announced August 2003.

Comments: 34 pages, amslatex. The statement in Proposition 3.10 has been corrected

MSC Class: 16W30

Journal ref: Publ. Mat. Urug. 10 11-51 (2005).

On the semisolvability of semisimple Hopf algebras of low dimension

Authors: Sonia Natale

Abstract: We prove that every semisimple Hopf algebra of dimension less than 60 over an algebraically closed field k of characteristic zero is either upper or lower semisolvable up to a cocycle twist. We prove that every semisimple Hopf algebra of dimension less than 60 over an algebraically closed field k of characteristic zero is either upper or lower semisolvable up to a cocycle twist. △ Less

Submitted 21 September, 2006; v1 submitted 1 May, 2003; originally announced May 2003.

Comments: revised version, change in the main result

MSC Class: 16W30

Braided Hopf algebras arising from matched pairs of groups

Authors: Nicolas Andruskiewitsch, Sonia Natale

Abstract: Let k be a field. Let also (F, G) be a matched pair of groups. We give necessary and sufficient conditions on a pair (σ, τ) of 2-cocycles in order that the crossed product algebra and the crossed coproduct coalgebra k^G{}^τ#_σ kF combine into a braided Hopf algebra. We also discuss diagonal realizations of such braided Hopf algebras in the category of Yetter-Drinfeld modules over a finite group. Let k be a field. Let also (F, G) be a matched pair of groups. We give necessary and sufficient conditions on a pair (σ, τ) of 2-cocycles in order that the crossed product algebra and the crossed coproduct coalgebra k^G{}^τ#_σ kF combine into a braided Hopf algebra. We also discuss diagonal realizations of such braided Hopf algebras in the category of Yetter-Drinfeld modules over a finite group. △ Less

Submitted 25 November, 2002; v1 submitted 17 September, 2002; originally announced September 2002.

Comments: 25 pages, to appear in J. of Pure and Applied Algebra, appendix added at the end of the paper by suggestion of the referee

MSC Class: 16W30

Journal ref: J. Pure Appl. Alg. 182, 119--149 (2003)

On group theoretical Hopf algebras and exact factorization of finite groups

Authors: Sonia Natale

Abstract: We show that a semisimple Hopf algebra A is group theoretical if and only if its Drinfeld double is a twisting of the Dijkgraaf-Pasquier-Roche quasi-Hopf algebra D^{omega}(Sigma), for some finite group Sigma and some 3-cocycle omega on Sigma. We show that semisimple Hopf algebras obtained as bicrossed products from an exact factorization of a finite group Sigma are group theoretical. We also des… ▽ More We show that a semisimple Hopf algebra A is group theoretical if and only if its Drinfeld double is a twisting of the Dijkgraaf-Pasquier-Roche quasi-Hopf algebra D^{omega}(Sigma), for some finite group Sigma and some 3-cocycle omega on Sigma. We show that semisimple Hopf algebras obtained as bicrossed products from an exact factorization of a finite group Sigma are group theoretical. We also describe their Drinfeld double as a twisting of D^{omega}(Sigma), for an appropriate 3-cocycle omega coming from the Kac exact sequence. △ Less

Submitted 7 August, 2002; originally announced August 2002.

Comments: 10 pages

MSC Class: 16W30