Showing 1–43 of 43 results for author: Nikshych, D

The Tannakian radical and the mantle of a braided fusion category

Authors: Jason Green, Dmitri Nikshych

Abstract: We define the Tannakian radical of a braided fusion category $\mathcal{C}$ as the intersection of its maximal Tannakian subcategories. The localization of $\mathcal{C}$ corresponding to the Tannakian radical, termed the mantle of $\mathcal{C}$, admits a canonical central extension that serves as a complete invariant of $\mathcal{C}$. The mantle has a trivial Tannakian radical, and we refer to brai… ▽ More We define the Tannakian radical of a braided fusion category $\mathcal{C}$ as the intersection of its maximal Tannakian subcategories. The localization of $\mathcal{C}$ corresponding to the Tannakian radical, termed the mantle of $\mathcal{C}$, admits a canonical central extension that serves as a complete invariant of $\mathcal{C}$. The mantle has a trivial Tannakian radical, and we refer to braided fusion categories with this property as reductive. We investigate the properties and structure of reductive categories and prove several classification results. △ Less

Submitted 21 December, 2024; originally announced December 2024.

Comments: 31 pages, comments are welcome

The Classification of Fusion 2-Categories

Authors: Thibault D. Décoppet, Peter Huston, Theo Johnson-Freyd, Dmitri Nikshych, David Penneys, Julia Plavnik, David Reutter, Matthew Yu

Abstract: We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence between the 3-groupoid of (multi)fusion 2-categories up to monoidal equivalences and a certain 3-groupoid of commuting squares of $\mathrm{B}\mathbb{Z}/2$-equivariant spaces. Rank finiteness and Ocneanu rigidity for fusion… ▽ More We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence between the 3-groupoid of (multi)fusion 2-categories up to monoidal equivalences and a certain 3-groupoid of commuting squares of $\mathrm{B}\mathbb{Z}/2$-equivariant spaces. Rank finiteness and Ocneanu rigidity for fusion 2-categories are immediate corollaries of our classification. △ Less

Submitted 8 November, 2024; originally announced November 2024.

Comments: 50 pages

MSC Class: 16D90; 18N10; 18M20; 18N10

Computing the group of minimal non-degenerate extensions of a super-Tannakian category

Authors: Dmitri Nikshych

Abstract: We prove an analog of the Künneth formula for the groups of minimal non-degenerate extensions arXiv:1602.05936 of symmetric fusion categories. We describe in detail the structure of the group of minimal extensions of a pointed super-Tannakian fusion category. This description resembles that of the third cohomology group of a finite abelian group. We explicitly compute this group in several concret… ▽ More We prove an analog of the Künneth formula for the groups of minimal non-degenerate extensions arXiv:1602.05936 of symmetric fusion categories. We describe in detail the structure of the group of minimal extensions of a pointed super-Tannakian fusion category. This description resembles that of the third cohomology group of a finite abelian group. We explicitly compute this group in several concrete examples. △ Less

Submitted 31 January, 2022; v1 submitted 11 January, 2022; originally announced January 2022.

Comments: 29 pages, comments are welcome, v2: minor corrections, added references

On a necessary condition for unitary categorification of fusion rings

Authors: Pavel Etingof, Dmitri Nikshych, Victor Ostrik

Abstract: In arXiv:1910.12059 Liu, Palcoux and Wu proved a remarkable necessary condition for a fusion ring to admit a unitary categorification, by constructing invariants of the fusion ring that have to be positive if it is unitarily categorifiable. The main goal of this note is to provide a somewhat more direct proof of this result. In the last subsection we discuss integrality properties of the Liu-Palco… ▽ More In arXiv:1910.12059 Liu, Palcoux and Wu proved a remarkable necessary condition for a fusion ring to admit a unitary categorification, by constructing invariants of the fusion ring that have to be positive if it is unitarily categorifiable. The main goal of this note is to provide a somewhat more direct proof of this result. In the last subsection we discuss integrality properties of the Liu-Palcoux-Wu invariants. △ Less

Submitted 2 November, 2023; v1 submitted 25 February, 2021; originally announced February 2021.

Comments: 9 pages, latex; the paper is updated with information that the first half of Question 5.8 has been answered (by other authors). Dedication to the memory of Earl J. Taft added

Braided Picard groups and graded extensions of braided tensor categories

Authors: Alexei Davydov, Dmitri Nikshych

Abstract: We classify various types of graded extensions of a finite braided tensor category $\cal B$ in terms of its $2$-categorical Picard groups. In particular, we prove that braided extensions of $\cal B$ by a finite group $A$ correspond to braided monoidal $2$-functors from $A$ to the braided $2$-categorical Picard group of $\cal B$ (consisting of invertible central $\cal B$-module categories). Such fu… ▽ More We classify various types of graded extensions of a finite braided tensor category $\cal B$ in terms of its $2$-categorical Picard groups. In particular, we prove that braided extensions of $\cal B$ by a finite group $A$ correspond to braided monoidal $2$-functors from $A$ to the braided $2$-categorical Picard group of $\cal B$ (consisting of invertible central $\cal B$-module categories). Such functors can be expressed in terms of the Eilnberg-Mac~Lane cohomology. We describe in detail braided $2$-categorical Picard groups of symmetric fusion categories and of pointed braided fusion categories. △ Less

Submitted 26 May, 2021; v1 submitted 14 June, 2020; originally announced June 2020.

On the braid group representations coming from weakly group-theoretical fusion categories

Authors: Jason Green, Dmitri Nikshych

Abstract: We prove that representations of the braid groups coming from weakly group-theoretical braided fusion categories have finite images. We prove that representations of the braid groups coming from weakly group-theoretical braided fusion categories have finite images. △ Less

Submitted 6 November, 2019; originally announced November 2019.

Comments: 19 pages

Rank-finiteness for G-crossed braided fusion categories

Authors: Corey Jones, Scott Morrison, Dmitri Nikshych, Eric C. Rowell

Abstract: We establish rank-finiteness for the class of $G$-crossed braided fusion categories, generalizing the recent result for modular categories and including the important case of braided fusion categories. This necessitates a study of slightly degenerate braided fusion categories and their centers, which are interesting for their own sake. We establish rank-finiteness for the class of $G$-crossed braided fusion categories, generalizing the recent result for modular categories and including the important case of braided fusion categories. This necessitates a study of slightly degenerate braided fusion categories and their centers, which are interesting for their own sake. △ Less

Submitted 16 February, 2019; originally announced February 2019.

Comments: 11 pages

Classifying braidings on fusion categories

Authors: Dmitri Nikshych

Abstract: We show that braidings on a fusion category $\mathcal{C}$ correspond to certain fusion subcategories of the center of $\mathcal{C}$ transversal to the canonical Lagrangian algebra. This allows to classify braidings on non-degenerate and group-theoretical fusion categories. We show that braidings on a fusion category $\mathcal{C}$ correspond to certain fusion subcategories of the center of $\mathcal{C}$ transversal to the canonical Lagrangian algebra. This allows to classify braidings on non-degenerate and group-theoretical fusion categories. △ Less

Submitted 24 July, 2018; v1 submitted 18 January, 2018; originally announced January 2018.

Comments: 14 pages, minor corrections, new references added

MSC Class: 18D10; 16W30

Autoequivalences of tensor categories attached to quantum groups at roots of $1$

Authors: Alexei Davydov, Pavel Etingof, Dmitri Nikshych

Abstract: We compute the group of braided tensor autoequivalences and the Brauer-Picard group of the representation category of the small quantum group $\mathfrak{u}_q(\mathfrak{g})$, where $q$ is a root of unity. We compute the group of braided tensor autoequivalences and the Brauer-Picard group of the representation category of the small quantum group $\mathfrak{u}_q(\mathfrak{g})$, where $q$ is a root of unity. △ Less

Submitted 19 March, 2017; originally announced March 2017.

Comments: 29 pages, latex

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.

Comments: 33 pages

MSC Class: 16T05; 18D10

On the Brauer-Picard groups of fusion categories

Authors: Ian Marshall, Dmitri Nikshych

Abstract: We develop methods of computation of the Brauer-Picard groups of fusion categories and apply them to compute such groups for several classes of fusion categories of prime power dimension: representation categories of elementary abelian groups with twisted associativity constraint, extra special p-groups, and the Kac-Paljutkin Hopf algebra. We conclude that many finite groups of Lie type occur as c… ▽ More We develop methods of computation of the Brauer-Picard groups of fusion categories and apply them to compute such groups for several classes of fusion categories of prime power dimension: representation categories of elementary abelian groups with twisted associativity constraint, extra special p-groups, and the Kac-Paljutkin Hopf algebra. We conclude that many finite groups of Lie type occur as composition factors of the Brauer-Picard groups of pointed fusion categories. △ Less

Submitted 25 October, 2016; v1 submitted 14 March, 2016; originally announced March 2016.

Comments: 23 pages, references to arXiv:1407.2783v2 and arXiv:1404.2016 are added, minor corrections

MSC Class: 18D10

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.

Comments: 27 pages, minor corrections

Journal ref: Journal of Algebra, 440 (2015), 187-218

Categorical Lagrangian Grassmannians and Brauer-Picard groups of pointed fusion categories

Authors: Dmitri Nikshych, Brianna Riepel

Abstract: We analyze the action of the Brauer-Picard group of a pointed fusion category on the set of Lagrangian subcategories of its center. Using this action we compute the Brauer-Picard groups of pointed fusion categories associated to several classical finite groups. As an application, we construct new examples of weakly group-theoretical fusion categories. We analyze the action of the Brauer-Picard group of a pointed fusion category on the set of Lagrangian subcategories of its center. Using this action we compute the Brauer-Picard groups of pointed fusion categories associated to several classical finite groups. As an application, we construct new examples of weakly group-theoretical fusion categories. △ Less

Submitted 4 October, 2013; v1 submitted 19 September, 2013; originally announced September 2013.

Comments: 20 pages, minor corrections in Section 6

MSC Class: 18D10

Journal ref: J. Algebra, volume 411 (2014), 191-214

Morita equivalence methods in classification of fusion categories

Authors: Dmitri Nikshych

Abstract: We describe an approach to classification of fusion categories in terms of Morita equivalence. This is usually achieved by analyzing Drinfeld centers of fusion categories and finding Tannakian subcategories therein. We describe an approach to classification of fusion categories in terms of Morita equivalence. This is usually achieved by analyzing Drinfeld centers of fusion categories and finding Tannakian subcategories therein. △ Less

Submitted 3 August, 2012; originally announced August 2012.

Comments: This is a survey written for the Proceedings of the conference "Hopf Algebras and Tensor Categories" held in Almeria in July 2011. 36 pages

The Picard crossed module of a braided tensor category

Authors: Alexei Davydov, Dmitri Nikshych

Abstract: For a finite braided tensor category we introduce its Picard crossed module consisting of the group of invertible module categories and the group of braided tensor autoequivalences. We describe the Picard crossed module in terms of braided autoequivalences of the Drinfeld center of the braided tensor category. As an illustration, we compute the Picard crossed module of a braided pointed fusion cat… ▽ More For a finite braided tensor category we introduce its Picard crossed module consisting of the group of invertible module categories and the group of braided tensor autoequivalences. We describe the Picard crossed module in terms of braided autoequivalences of the Drinfeld center of the braided tensor category. As an illustration, we compute the Picard crossed module of a braided pointed fusion category. △ Less

Submitted 31 January, 2012; originally announced February 2012.

On the structure of the Witt group of braided fusion categories

Authors: Alexei Davydov, Dmitri Nikshych, Victor Ostrik

Abstract: We analyze the structure of the Witt group W of braided fusion categories introduced in the previous paper arXiv:1009.2117v2. We define a "super" version of the categorical Witt group, namely, the group sW of slightly degenerate braided fusion categories. We prove that sW is a direct sum of the classical part, an elementary Abelian 2-group, and a free Abelian group. Furthermore, we show that the k… ▽ More We analyze the structure of the Witt group W of braided fusion categories introduced in the previous paper arXiv:1009.2117v2. We define a "super" version of the categorical Witt group, namely, the group sW of slightly degenerate braided fusion categories. We prove that sW is a direct sum of the classical part, an elementary Abelian 2-group, and a free Abelian group. Furthermore, we show that the kernel of the canonical homomorphism S: W --> sW is generated by Ising categories and is isomorphic to Z/16Z. Finally, we give a complete description of etale algebras in tensor products of braided fusion categories. △ Less

Submitted 26 September, 2011; originally announced September 2011.

Comments: 27 pages

Journal ref: Selecta Math 19 (2013), no. 1, 237-269

The Witt group of non-degenerate braided fusion categories

Authors: Alexei Davydov, Michael Mueger, Dmitri Nikshych, Victor Ostrik

Abstract: We give a characterization of Drinfeld centers of fusion categories as non-degenerate braided fusion categories containing a Lagrangian algebra. Further we study the quotient of the monoid of non-degenerate braided fusion categories modulo the submonoid of the Drinfeld centers and show that its formal properties are similar to those of the classical Witt group. We give a characterization of Drinfeld centers of fusion categories as non-degenerate braided fusion categories containing a Lagrangian algebra. Further we study the quotient of the monoid of non-degenerate braided fusion categories modulo the submonoid of the Drinfeld centers and show that its formal properties are similar to those of the classical Witt group. △ Less

Submitted 6 September, 2011; v1 submitted 10 September, 2010; originally announced September 2010.

Comments: 37 pages; many improvements in exposition thanks to the referee suggestions; new section 3.6; new remarks 3.2, 4.12, 5.2, 5.29

Fusion categories and homotopy theory

Authors: Pavel Etingof, Dmitri Nikshych, Victor Ostrik, with an appendix by Ehud Meir

Abstract: We apply the yoga of classical homotopy theory to classification problems of G-extensions of fusion and braided fusion categories, where G is a finite group. Namely, we reduce such problems to classification (up to homotopy) of maps from BG to classifiying spaces of certain higher groupoids. In particular, to every fusion category C we attach the 3-groupoid BrPic(C) of invertible C-bimodule cate… ▽ More We apply the yoga of classical homotopy theory to classification problems of G-extensions of fusion and braided fusion categories, where G is a finite group. Namely, we reduce such problems to classification (up to homotopy) of maps from BG to classifiying spaces of certain higher groupoids. In particular, to every fusion category C we attach the 3-groupoid BrPic(C) of invertible C-bimodule categories, called the Brauer-Picard groupoid of C, such that equivalence classes of G-extensions of C are in bijection with homotopy classes of maps from BG to the classifying space of BrPic(C). This gives rise to an explicit description of both the obstructions to existence of extensions and the data parametrizing them; we work these out both topologically and algebraically. One of the central results of the paper is that the 2-truncation of BrPic(C) is canonically the 2-groupoid of braided autoequivalences of the Drinfeld center Z(C) of C. In particular, this implies that the Brauer-Picard group BrPic(C) (i.e., the group of equivalence classes of invertible C-bimodule categories) is naturally isomorphic to the group of braided autoequivalences of Z(C). Thus, if C=Vec(A), where A is a finite abelian group, then BrPic(C) is the orthogonal group O(A+A^*). This allows one to obtain a rather explicit classification of extensions in this case; in particular, in the case G=Z/2, we rederive (without computations) the classical result of Tambara and Yamagami. Moreover, we explicitly describe the category of all (Vec(A1),Vec(A2))-bimodule categories (not necessarily invertible ones) by showing that it is equivalent to the hyperbolic part of the category of Lagrangian correspondences. △ Less

Submitted 28 December, 2009; v1 submitted 16 September, 2009; originally announced September 2009.

Comments: 70 pages, latex; in the new version, a new Appendix written by Ehud Meir has been added

On braided fusion categories I

Authors: Vladimir Drinfeld, Shlomo Gelaki, Dmitri Nikshych, Victor Ostrik

Abstract: This work is a detailed version of arXiv:0704.0195 [math.QA]. We introduce a new notion of the core of a braided fusion category. It allows to separate the part of a braided fusion category that does not come from finite groups. We also give a comprehensive and self-contained exposition of the known results on braided fusion categories without assuming them pre-modular or non-degenerate. T… ▽ More This work is a detailed version of arXiv:0704.0195 [math.QA]. We introduce a new notion of the core of a braided fusion category. It allows to separate the part of a braided fusion category that does not come from finite groups. We also give a comprehensive and self-contained exposition of the known results on braided fusion categories without assuming them pre-modular or non-degenerate. The guiding heuristic principle of our work is an analogy between braided fusion categories and Casimir Lie algebras. △ Less

Submitted 24 February, 2010; v1 submitted 2 June, 2009; originally announced June 2009.

Comments: 102 pages, LaTeX, typos corrected

MSC Class: 18D10; 16W30

Centers of graded fusion categories

Authors: Shlomo Gelaki, Deepak Naidu, Dmitri Nikshych

Abstract: Let C be a fusion category faithfully graded by a finite group G and let D be the trivial component of this grading. The center Z(C) of C is shown to be canonically equivalent to a G-equivariantization of the relative center Z_D(C). We use this result to obtain a criterion for C to be group-theoretical and apply it to Tambara-Yamagami fusion categories. We also find several new series of modular… ▽ More Let C be a fusion category faithfully graded by a finite group G and let D be the trivial component of this grading. The center Z(C) of C is shown to be canonically equivalent to a G-equivariantization of the relative center Z_D(C). We use this result to obtain a criterion for C to be group-theoretical and apply it to Tambara-Yamagami fusion categories. We also find several new series of modular categories by analyzing the centers of Tambara-Yamagami categories. Finally, we prove a general result about existence of zeroes in S-matrices of weakly integral modular categories. △ Less

Submitted 19 May, 2009; originally announced May 2009.

Comments: 27 pages

Journal ref: Algebra Number Theory 3 (2009), no. 8, 959-990

Fusion subcategories of representation categories of twisted quantum doubles of finite groups

Authors: Deepak Naidu, Dmitri Nikshych, Sarah Witherspoon

Abstract: We describe all fusion subcategories of the representation category of a twisted quantum double of a finite group. In view of the fact that every group-theoretical braided fusion category can be embedded into a representation category of a twisted quantum double of a finite group, this gives a complete description of all group-theoretical braided fusion categories. We describe the lattice and gi… ▽ More We describe all fusion subcategories of the representation category of a twisted quantum double of a finite group. In view of the fact that every group-theoretical braided fusion category can be embedded into a representation category of a twisted quantum double of a finite group, this gives a complete description of all group-theoretical braided fusion categories. We describe the lattice and give formulas for some invariants of the fusion subcategories of representation category of a twisted quantum double of a finite group. We also give a characterization of group-theoretical braided fusion categories as equivariantizations of pointed categories. △ Less

Submitted 12 May, 2009; v1 submitted 30 September, 2008; originally announced October 2008.

Comments: 28 pages, Remarks 4.6 and 4.7 added at the suggestion of the referee

Journal ref: Int. Math. Res. Not. (2009), no. 22, 4183-4219

Weakly group-theoretical and solvable fusion categories

Authors: Pavel Etingof, Dmitri Nikshych, Victor Ostrik

Abstract: We introduce two new classes of fusion categories which are obtained by a certain procedure from finite groups - weakly group-theoretical categories and solvable categories. These are fusion categories that are Morita equivalent to iterated extensions (in the world of fusion categories) of arbitrary, respectively solvable finite groups. Weakly group-theoretical categories have integer dimension,… ▽ More We introduce two new classes of fusion categories which are obtained by a certain procedure from finite groups - weakly group-theoretical categories and solvable categories. These are fusion categories that are Morita equivalent to iterated extensions (in the world of fusion categories) of arbitrary, respectively solvable finite groups. Weakly group-theoretical categories have integer dimension, and all known fusion categories of integer dimension are weakly group theoretical. Our main results are that a weakly group-theoretical category C has the strong Frobenius property (i.e., the dimension of any simple object in an indecomposable C-module category divides the dimension of C), and that any fusion category whose dimension has at most two prime divisors is solvable (a categorical analog of Burnside's theorem for finite groups). This has powerful applications to classification of fusion categories and semsisimple Hopf algebras of a given dimension. In particular, we show that any fusion category of integer dimension <84 is weakly group-theoretical (i.e. comes from finite group theory), and give a full classification of semisimple Hopf algebras of dimensions pqr and pq^2, where p,q,r are distinct primes. △ Less

Submitted 22 July, 2009; v1 submitted 17 September, 2008; originally announced September 2008.

Comments: 28 pages, latex; added many references and details in proofs

Non group-theoretical semisimple Hopf algebras from group actions on fusion categories

Authors: Dmitri Nikshych

Abstract: Given an action of a finite group G on a fusion category C we give a criterion for the category of G-equivariant objects in C to be group-theoretical, i.e., to be categorically Morita equivalent to a category of group-graded vector spaces. We use this criterion to answer affirmatively the question about existence of non group-theoretical semisimple Hopf algebras asked by P. Etingof, V. Ostrik, a… ▽ More Given an action of a finite group G on a fusion category C we give a criterion for the category of G-equivariant objects in C to be group-theoretical, i.e., to be categorically Morita equivalent to a category of group-graded vector spaces. We use this criterion to answer affirmatively the question about existence of non group-theoretical semisimple Hopf algebras asked by P. Etingof, V. Ostrik, and the author in math/0203060. Namely, we show that certain Z/2Z-equivariantizations of fusion categories constructed by D. Tambara and S. Yamagami are equivalent to representation categories of non group-theoretical semisimple Hopf algebras. We describe these Hopf algebras as extensions and show that they are upper and lower semisolvable. △ Less

Submitted 4 December, 2007; originally announced December 2007.

Comments: LaTeX, 15 pages

Journal ref: Selecta Math. 14 (2008), 145-161.

Lagrangian subcategories and braided tensor equivalences of twisted quantum doubles of finite groups

Authors: Deepak Naidu, Dmitri Nikshych

Abstract: We classify Lagrangian subcategories of the representation category of a twisted quantum double of a finite group. In view of results of 0704.0195v2 this gives a complete description of all braided tensor equivalent pairs of twisted quantum doubles of finite groups. We also establish a canonical bijection between Lagrangian subcategories of the representation category of a twisted quantum double… ▽ More We classify Lagrangian subcategories of the representation category of a twisted quantum double of a finite group. In view of results of 0704.0195v2 this gives a complete description of all braided tensor equivalent pairs of twisted quantum doubles of finite groups. We also establish a canonical bijection between Lagrangian subcategories of the representation category of a twisted quantum double of a finite group G and module categories over the category of twisted G-graded vector spaces such that the dual tensor category is pointed. This can be viewed as a quantum version of V. Drinfeld's characterization of homogeneous spaces of a Poisson-Lie group in terms of Lagrangian subalgebras of the double of its Lie bialgebra. As a consequence, we obtain that two group-theoretical fusion categories are weakly Morita equivalent if and only if their centers are equivalent as braided tensor categories. △ Less

Submitted 29 June, 2007; v1 submitted 4 May, 2007; originally announced May 2007.

Comments: 26 pages; several comments and references added

Journal ref: Comm. Math. Phys. 279 (2008), 845-872.

Group-theoretical properties of nilpotent modular categories

Authors: Vladimir Drinfeld, Shlomo Gelaki, Dmitri Nikshych, Victor Ostrik

Abstract: We characterize a natural class of modular categories of prime power Frobenius-Perron dimension as representation categories of twisted doubles of finite p-groups. We also show that a nilpotent braided fusion category C admits an analogue of the Sylow decomposition. If the simple objects of C have integral Frobenius-Perron dimensions then C is group-theoretical. As a consequence, we obtain that… ▽ More We characterize a natural class of modular categories of prime power Frobenius-Perron dimension as representation categories of twisted doubles of finite p-groups. We also show that a nilpotent braided fusion category C admits an analogue of the Sylow decomposition. If the simple objects of C have integral Frobenius-Perron dimensions then C is group-theoretical. As a consequence, we obtain that semisimple quasi-Hopf algebras of prime power dimension are group-theoretical. Our arguments are based on a reconstruction of twisted group doubles from Lagrangian subcategories of modular categories (this is reminiscent to the characterization of doubles of quasi-Lie bialgebras in terms of Manin pairs). △ Less

Submitted 2 April, 2007; v1 submitted 2 April, 2007; originally announced April 2007.

Comments: 23 pages, LaTeX, typos corrected

Nilpotent fusion categories

Authors: Shlomo Gelaki, Dmitri Nikshych

Abstract: In this paper we extend categorically the notion of a finite nilpotent group to fusion categories. To this end, we first analyze the trivial component of the universal grading of a fusion category C, and then introduce the upper central series of C. For fusion categories with commutative Grothendieck rings (e.g., braided fusion categories) we also introduce the lower central series. We study ari… ▽ More In this paper we extend categorically the notion of a finite nilpotent group to fusion categories. To this end, we first analyze the trivial component of the universal grading of a fusion category C, and then introduce the upper central series of C. For fusion categories with commutative Grothendieck rings (e.g., braided fusion categories) we also introduce the lower central series. We study arithmetic and structural properties of nilpotent fusion categories, and apply our theory to modular categories and to semisimple Hopf algebras. In particular, we show that in the modular case the two central series are centralizers of each other in the sense of M. Muger. △ Less

Submitted 27 December, 2006; v1 submitted 24 October, 2006; originally announced October 2006.

Comments: 18 pages, AMS-Latex. Theorem 6.11 and 2 references added

Journal ref: Advances in Mathematics, 217 (2008), no. 3, 1053--1071.

An analogue of Radford's S^4 formula for finite tensor categories

Authors: Pavel Etingof, Dmitri Nikshych, Viktor Ostrik

Abstract: We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This provides a categorical generalization of D. Radford's S^4-formula for finite dimensional Hopf algebras and its generalizations for weak Hopf algebras and for qu… ▽ More We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This provides a categorical generalization of D. Radford's S^4-formula for finite dimensional Hopf algebras and its generalizations for weak Hopf algebras and for quasi-Hopf algebras, and conjectured in general in \cite{EO}. When C is braided, we establish a connection between the above isomorphism and the Drinfeld isomorphism of C. We also show that a factorizable braided tensor category is unimodular (i.e., D=1). Finally, we apply our theory to prove that the pivotalization of a fusion category is spherical, and give a purely algebraic characterization of exact module categories. △ Less

Submitted 27 April, 2004; originally announced April 2004.

Comments: 14 pages, AMS-Latex

Journal ref: International Mathematics Research Notices 54 (2004), 2915--2933.

Semisimple weak Hopf algebras

Authors: Dmitri Nikshych

Abstract: We develop the theory of semisimple weak Hopf algebras and obtain analogues of a number of classical results for ordinary semisimple Hopf algebras. We prove a criterion for semisimplicity and analyze the square of the antipode S^2 of a semisimple weak Hopf algebra A. We explain how the Frobenius-Perron dimensions of irreducible A-modules and eigenvalues of S^2 can be computed using the inclusion… ▽ More We develop the theory of semisimple weak Hopf algebras and obtain analogues of a number of classical results for ordinary semisimple Hopf algebras. We prove a criterion for semisimplicity and analyze the square of the antipode S^2 of a semisimple weak Hopf algebra A. We explain how the Frobenius-Perron dimensions of irreducible A-modules and eigenvalues of S^2 can be computed using the inclusion matrix associated to A. A trace formula of Larson and Radford is extended to a relation between the global and Frobenius-Perron dimensions of A. Finally, an analogue of the Class Equation of Kac and Zhu is established and properties of $A$-module algebras and their dimensions are studied. △ Less

Submitted 3 October, 2003; v1 submitted 7 April, 2003; originally announced April 2003.

Comments: Ams-latex, 24 pages, an error in Proposition 3.4.2 is corrected

Journal ref: J. Algebra 275 (2004), 639 - 667.

On fusion categories

Authors: Pavel Etingof, Dmitri Nikshych, Viktor Ostrik

Abstract: Using a variety of methods developed in the literature (in particular, the theory of weak Hopf algebras), we prove a number of general results about fusion categories in characteristic zero. We show that the global dimension of a fusion category is always positive, and that the S-matrix of any modular category (not necessarily hermitian) is unitary. We also show that the category of module functor… ▽ More Using a variety of methods developed in the literature (in particular, the theory of weak Hopf algebras), we prove a number of general results about fusion categories in characteristic zero. We show that the global dimension of a fusion category is always positive, and that the S-matrix of any modular category (not necessarily hermitian) is unitary. We also show that the category of module functors between two module categories over a fusion category is semisimple, and that fusion categories and tensor functors between them are undeformable (generalized Ocneanu rigidity). In particular the number of such categories (functors) realizing a given fusion datum is finite. Finally, we develop the theory of Frobenius-Perron dimensions in an arbitrary fusion category and classify categories of prime dimension. △ Less

Submitted 28 April, 2017; v1 submitted 6 March, 2002; originally announced March 2002.

Comments: 50 pages, latex; a reference to Schauenburg's freeness theorem was added and a new section 5.11 to fill a gap in the previous version; also Example 7.2 was corrected; in April 2017 a comment added in Subsection 9.3 giving a reference which fills a gap in this subsection

On twisting of finite-dimensional Hopf algebras

Authors: Eli Aljadeff, Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych

Abstract: In this paper we study the properties of Drinfeld's twisting for finite-dimensional Hopf algebras. We determine how the integral of the dual to a unimodular Hopf algebra $H$ changes under twisting of $H$. We show that the classes of cosemisimple unimodular, cosemisimple involutive, cosemisimple quasitriangular finite-dimensional Hopf algebras are stable under twisting. We also prove the cosemisi… ▽ More In this paper we study the properties of Drinfeld's twisting for finite-dimensional Hopf algebras. We determine how the integral of the dual to a unimodular Hopf algebra $H$ changes under twisting of $H$. We show that the classes of cosemisimple unimodular, cosemisimple involutive, cosemisimple quasitriangular finite-dimensional Hopf algebras are stable under twisting. We also prove the cosemisimplicity of a coalgebra obtained by twisting of a cosemisimple unimodular Hopf algebra by two different twists on two sides (such twists are closely related to biGalois extensions), and describe the representation theory of its dual. Next, we define the notion of a non-degenerate twist for a Hopf algebra $H$, and set up a bijection between such twists for $H$ and $H^*$. This bijection is based on Miyashita-Ulbrich actions of Hopf algebras on simple algebras. It generalizes to the non-commutative case the procedure of inverting a non-degenerate skew-symmetric bilinear form on a vector space. Finally, we apply these results to classification of twists in group algebras and of cosemisimple triangular finite-dimensional Hopf algebras in positive characteristic, generalizing the previously known classification in characteristic zero. △ Less

Submitted 7 February, 2002; v1 submitted 23 July, 2001; originally announced July 2001.

Comments: 14 pages, AMS-Latex. In Section 5 several results were improved and simplified. Minor errors corrected and several references added

Journal ref: J. Algebra 256 (2002), no. 2, 484--501

Hopf algebra actions on strongly separable extensions of depth two

Authors: Lars Kadison, Dmitri Nikshych

Abstract: We bring together ideas in analysis of Hopf *-algebra actions on II_1 subfactors of finite Jones index and algebraic characterizations of Frobenius, Galois and cleft Hopf extensions to prove a non-commutative algebraic analogue of the classical theorem: a finite field extension is Galois iff it is separable and normal. Suppose N < M is a separable Frobenius extension of k-algebras split as N-bim… ▽ More We bring together ideas in analysis of Hopf *-algebra actions on II_1 subfactors of finite Jones index and algebraic characterizations of Frobenius, Galois and cleft Hopf extensions to prove a non-commutative algebraic analogue of the classical theorem: a finite field extension is Galois iff it is separable and normal. Suppose N < M is a separable Frobenius extension of k-algebras split as N-bimodules with a trivial centralizer C_M(N). Let M_1 := End(M)_N and M_2 := End(M_1)_M be the endomorphism algebras in the Jones tower N < M < M_1 < M_2. We show that under depth 2 conditions on the second centralizers A := C_{M_1}(N) and B : = C_{M_2}(M) the algebras A and B are semisimple Hopf algebras dual to one another and such that M_1 is a smash product of M and A, and that M is a B-Galois extension of N. △ Less

Submitted 9 July, 2001; originally announced July 2001.

Comments: 21 pages, ams-latex; to appear in Advances in Mathematics

MSC Class: 12F10; 16W30; 22D30; 46L37

Journal ref: Adv. Math. 163 (2001), no. 2, 258--286

On the structure of weak Hopf algebras

Authors: Dmitri Nikshych

Abstract: We study the group of group-like elements of a weak Hopf algebra and derive an analogue of Radford's formula for the fourth power of the antipode S, which implies that the antipode has a finite order modulo a trivial automorphism. We find a sufficient condition in terms of Tr(S^2) for a weak Hopf algebra to be semisimple, discuss relation between semisimplicity and cosemisimplicity, and apply ou… ▽ More We study the group of group-like elements of a weak Hopf algebra and derive an analogue of Radford's formula for the fourth power of the antipode S, which implies that the antipode has a finite order modulo a trivial automorphism. We find a sufficient condition in terms of Tr(S^2) for a weak Hopf algebra to be semisimple, discuss relation between semisimplicity and cosemisimplicity, and apply our results to show that a dynamical twisting deformation of a semisimple Hopf algebra is cosemisimple. △ Less

Submitted 1 June, 2001; originally announced June 2001.

Comments: Ams-latex, 21 page

Vertex-IRF transformations and quantization of dynamical r-matrices

Authors: Pavel Etingof, Dmitri Nikshych

Abstract: Motivated by the correspondence between the vertex and IRF models in statistical mechanics, we define and study a notion of vertex-IRF transformation for dynamical twists that generalizes a usual gauge transformation. We use vertex-IRF transformations to quantize all completely degenerate dynamical r-matrices on finite-dimensional Lie algebras. Motivated by the correspondence between the vertex and IRF models in statistical mechanics, we define and study a notion of vertex-IRF transformation for dynamical twists that generalizes a usual gauge transformation. We use vertex-IRF transformations to quantize all completely degenerate dynamical r-matrices on finite-dimensional Lie algebras. △ Less

Submitted 13 March, 2001; originally announced March 2001.

Comments: 13 pages, ams-latex

Journal ref: Math. Res. Letters vol. 8, no. 3, 331-346 (2001)

Frobenius extensions and weak Hopf algebras

Authors: Lars Kadison, Dmitri Nikshych

Abstract: We study a symmetric Markov extension of k-algebras N \into M, a certain kind of Frobenius extension with conditional expectation that is tracial on the centralizer and dual bases with a separability property. We place a depth two condition on this extension, which is essentially the requirement that the Jones tower N \into M \into M_1 \into M_2 can be obtained by taking relative tensor products… ▽ More We study a symmetric Markov extension of k-algebras N \into M, a certain kind of Frobenius extension with conditional expectation that is tracial on the centralizer and dual bases with a separability property. We place a depth two condition on this extension, which is essentially the requirement that the Jones tower N \into M \into M_1 \into M_2 can be obtained by taking relative tensor products with centralizers A = C_{M_1}(N) and B = C_{M_2}(M). Under this condition, we prove that N \into M is the invariant subalgebra pair of a weak Hopf algebra action by A, i.e., that N = M^A. The endomorphism algebra M_1 = \End_N M is shown to be isomorphic to the smash product algebra M # A. We also extend results of Szymanski, Vainerman and the second author, and the authors. △ Less

Submitted 1 February, 2001; originally announced February 2001.

Comments: 25 pages, amslatex

MSC Class: 16W30; 46L37

Dynamical twists in group algebras

Authors: Pavel Etingof, Dmitri Nikshych

Abstract: We classify dynamical twists in group algebras of finite groups. Namely, we set up a bijective correspondence between gauge equivalence classes of dynamical twists (which are solutions of a certain non-linear functional equation) and isomorphism classes of ``dynamical data'' described in purely group theoretical terms. This generalizes the classification of usual twists obtained by Movshev and E… ▽ More We classify dynamical twists in group algebras of finite groups. Namely, we set up a bijective correspondence between gauge equivalence classes of dynamical twists (which are solutions of a certain non-linear functional equation) and isomorphism classes of ``dynamical data'' described in purely group theoretical terms. This generalizes the classification of usual twists obtained by Movshev and Etingof-Gelaki. △ Less

Submitted 29 January, 2001; v1 submitted 5 January, 2001; originally announced January 2001.

Comments: 17 pages, amslatex; sign error in Example 6.10 corrected

Journal ref: Int. Math. Res. Notices (2001) no. 13, 679-701

Invariants of Knots and 3-manifolds from Quantum Groupoids

Authors: Dmitri Nikshych, Vladimir Turaev, Leonid Vainerman

Abstract: We use categories of representations of finite dimensional quantum groupoids (weak Hopf algebras) to construct ribbon and modular categories that give rise to invariants of knots and 3-manifolds. We use categories of representations of finite dimensional quantum groupoids (weak Hopf algebras) to construct ribbon and modular categories that give rise to invariants of knots and 3-manifolds. △ Less

Submitted 10 June, 2000; originally announced June 2000.

Comments: 30 pages, amslatex

Finite Quantum Groupoids and Their Applications

Authors: Dmitri Nikshych, Leonid Vainerman

Abstract: We give a survey of the theory of finite quantum groupoids (weak Hopf algebras), including foundations of the theory and applications to finite depth subfactors, dynamical deformations of quantum groups, and invariants of knots and 3-manifolds. We give a survey of the theory of finite quantum groupoids (weak Hopf algebras), including foundations of the theory and applications to finite depth subfactors, dynamical deformations of quantum groups, and invariants of knots and 3-manifolds. △ Less

Submitted 10 June, 2000; v1 submitted 7 June, 2000; originally announced June 2000.

Comments: 44 pages, amslatex

Dynamical quantum groups at roots of 1

Authors: Pavel Etingof, Dmitri Nikshych

Abstract: Given a dynamical twist for a finite dimensional Hopf algebra we construct two weak Hopf algebras, using methods of Xu and Etingof-Varchenko, and show that they are dual to each other. We generalize the theory of dynamical quantum groups to the case when the quantum parameter q is a root of unity. These objects turn out to be self-dual -- which is a fundamentally new property, not satisfied by t… ▽ More Given a dynamical twist for a finite dimensional Hopf algebra we construct two weak Hopf algebras, using methods of Xu and Etingof-Varchenko, and show that they are dual to each other. We generalize the theory of dynamical quantum groups to the case when the quantum parameter q is a root of unity. These objects turn out to be self-dual -- which is a fundamentally new property, not satisfied by the usual Drinfeld-Jimbo quantum groups. △ Less

Submitted 30 March, 2000; originally announced March 2000.

Comments: ams-latex, 25 pages

Journal ref: Duke Math J. 108 (2001), 135-168.

A Galois correspondence for II_1 factors and quantum groupoids

Authors: Dmitri Nikshych, Leonid Vainerman

Abstract: We establish a Galois correspondence for finite quantum groupoid actions on II_1 factors and show that every finite index and finite depth subfactor is an intermediate subalgebra of a quantum groupoid crossed product. Moreover, any such a subfactor is completely and canonically determined by a quantum groupoid and its coideal *-subalgebra. This allows to express the bimodule category of a subfac… ▽ More We establish a Galois correspondence for finite quantum groupoid actions on II_1 factors and show that every finite index and finite depth subfactor is an intermediate subalgebra of a quantum groupoid crossed product. Moreover, any such a subfactor is completely and canonically determined by a quantum groupoid and its coideal *-subalgebra. This allows to express the bimodule category of a subfactor in terms of the representation category of a corresponding quantum groupoid and the principal graph as the Bratteli diagram of an inclusion of certain C^*-algebras related to it. △ Less

Submitted 4 January, 2000; originally announced January 2000.

Comments: 32 pages, Latex

Journal ref: Journal of Func. Analysis, 178 no.1, 113-142 (2000)

A Duality Theorem for Quantum Groupoids

Authors: Dmitri Nikshych

Abstract: We prove a duality theorem for quantum groupoid (weak Hopf algebra) actions that extends the well-known result for usual Hopf algebras. We prove a duality theorem for quantum groupoid (weak Hopf algebra) actions that extends the well-known result for usual Hopf algebras. △ Less

Submitted 29 December, 1999; originally announced December 1999.

Comments: AMS LATeX, 7 pages

MSC Class: 16S40 ; 16W30; 20L05

Journal ref: Contemporary Mathematics, volume 267, pp. 237-243.

Duality for actions of weak Kac algebras and crossed product inclusions of II_1 factors

Authors: D. Nikshych

Abstract: We show that indecomposable weak Kac algebras are free over their Cartan subalgebras and prove a duality theorem for their actions. Using this result, for any biconnected weak Kac algebra we construct a minimal action on the hyperfinite II_1 factor. The corresponding crossed product inclusion of II_1 factors has depth 2 and an integer index. Its first relative commutant is, in general, non-trivi… ▽ More We show that indecomposable weak Kac algebras are free over their Cartan subalgebras and prove a duality theorem for their actions. Using this result, for any biconnected weak Kac algebra we construct a minimal action on the hyperfinite II_1 factor. The corresponding crossed product inclusion of II_1 factors has depth 2 and an integer index. Its first relative commutant is, in general, non-trivial, so we derive some arithmetic properties of weak Kac algebras from considering reduced subfactors. △ Less

Submitted 7 October, 1998; originally announced October 1998.

Comments: Latex, 28 pages

A characterization of depth 2 subfactors of II_1 factors

Authors: D. Nikshych, L. Vainerman

Abstract: We characterize finite index depth 2 inclusions of type II_1 factors in terms of actions of weak Kac algebras and weak C*-Hopf algebras. If N\subset M \subset M_1 \subset M_2 \subset ... is the Jones tower constructed from such an inclusion N\subset M, then B=M^\prime \cap M_2 has a natural structure of a weak C*-Hopf algebra and there is a minimal action of B on M_1 such that M is the fixed poi… ▽ More We characterize finite index depth 2 inclusions of type II_1 factors in terms of actions of weak Kac algebras and weak C*-Hopf algebras. If N\subset M \subset M_1 \subset M_2 \subset ... is the Jones tower constructed from such an inclusion N\subset M, then B=M^\prime \cap M_2 has a natural structure of a weak C*-Hopf algebra and there is a minimal action of B on M_1 such that M is the fixed point subalgebra of M_1, and M_2 is isomorphic to the crossed product of M_1 and B. This extends the well-known results for irreducible depth 2 inclusions. △ Less

Submitted 3 November, 1998; v1 submitted 5 October, 1998; originally announced October 1998.

Comments: Latex, 26 pages, more precise statements of Theorems 4.17 and 5.7 given, several minor errors corrected

Journal ref: J. Func. Analysis, 171 (2000), no.2, 278-307

Algebraic Versions of a Finite-Dimensional Quantum Groupoid

Authors: D. Nikshych, L. Vainerman

Abstract: We establish the equivalence of three versions of a finite dimensional quantum groupoid: a generalized Kac algebra introduced by T. Yamanouchi, a weak $C^*$-Hopf algebra introduced by G. Bohm, F. Nill and K. Szlachanyi (with an involutive antipode), and a Kac bimodule -- an algebraic version of a Hopf bimodule, the notion introduced by J.-M. Vallin. We also study the structure and construct exam… ▽ More We establish the equivalence of three versions of a finite dimensional quantum groupoid: a generalized Kac algebra introduced by T. Yamanouchi, a weak $C^*$-Hopf algebra introduced by G. Bohm, F. Nill and K. Szlachanyi (with an involutive antipode), and a Kac bimodule -- an algebraic version of a Hopf bimodule, the notion introduced by J.-M. Vallin. We also study the structure and construct examples of finite dimensional quantum groupoids. △ Less

Submitted 3 November, 1998; v1 submitted 11 August, 1998; originally announced August 1998.

Comments: Latex, 38 pages, minor errors corrected

MSC Class: 16W30(Primary); 81R50(Secondary)

Journal ref: Lecture Notes in Pure and Appl. Math, 209 (2000), 189-221