اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدOn the notion of exact sequence: from Hopf algebras to tensor categories
125
0
0.0
(
0
)
تأليف
Sonia Natale
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
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 define and systematically study nonassociative C*-algebras as C*-algebras internal to a topological tensor category. We also offer a concrete approach to these C*-algebras, as G-invariant, norm closed *-subalgebras of bounded operators on a G-Hilb
ert space, with deformed composition product. Our central results are those of stabilization and Takai duality for (twisted) crossed products in this context.
We generalize the definition of an exact sequence of tensor categories due to Brugui`eres and Natale, and introduce a new notion of an exact sequence of (finite) tensor categories with respect to a module category. We give three definitions of this n
otion and show their equivalence. In particular, the Deligne tensor product of tensor categories gives rise to an exact sequence in our sense. We also show that the dual to an exact sequence in our sense is again an exact sequence. This generalizes the corresponding statement for exact sequences of Hopf algebras. Finally, we show that the middle term of an exact sequence is semisimple if so are the other two terms.
A deeper understanding of recent computations of the Brauer group of Hopf algebras is attained by explaining why a direct product decomposition for this group holds and describing the non-interpreted factor occurring in it. For a Hopf algebra $B$ in
a braided monoidal category $C$, and under certain assumptions on the braiding (fulfilled if $C$ is symmetric), we construct a sequence for the Brauer group $BM(C;B)$ of $B$-module algebras, generalizing Beatties one. It allows one to prove that $BM(C;B) cong Br(C) times Gal(C;B),$ where $Br(C)$ is the Brauer group of $C$ and $Gal(C;B)$ the group of $B$-Galois objects. We also show that $BM(C;B)$ contains a subgroup isomorphic to $Br(C) times Hc(C;B,I),$ where $Hc(C;B,I)$ is the second Sweedler cohomology group of $B$ with values in the unit object $I$ of $C$. These results are applied to the Brauer group of a quasi-triangular Hopf algebra that is a Radford biproduct $B times H$, where $H$ is a usual Hopf algebra over a field $K$, the Hopf subalgebra generated by the quasi-triangular structure $R$ is contained in $H$ and $B$ is a Hopf algebra in the category ${}_HM$ of left $H$-modules. The Hopf algebras whose Brauer group was recently computed fit this framework. We finally show that $BM(K,H,R) times Hc({}_HM;B,K)$ is a subgroup of the Brauer group $BM(K,B times H,R),$ confirming the suspicion that a certain cohomology group of $B times H$ (second lazy cohomology group was conjectured) embeds into $BM(K,B times H,R).$ New examples of Brauer groups of quasi-triangular Hopf algebras are computed using this sequence.
We show that the definition of unrolled Hopf algebras can be naturally extended to the Nichols algebra $mathcal{B}$ of a Yetter-Drinfeld module $V$ on which a Lie algebra $mathfrak g$ acts by biderivations. Specializing to Nichols algebras of diagonal type, we find unroll
We prove a 20-year-old conjecture concerning two quantum invariants of three manifolds that are constructed from finite dimensional Hopf algebras, namely, the Kuperberg invariant and the Hennings-Kauffman-Radford invariant. The two invariants can be
viewed as a non-semisimple generalization of the Turaev-Viro-Barrett-Westbury $(text{TVBW})$ invariant and the Witten-Reshetikhin-Turaev $(text{WRT})$ invariant, respectively. By a classical result relating $text{TVBW}$ and $text{WRT}$, it follows that the Kuperberg invariant for a semisimple Hopf algebra is equal to the Hennings-Kauffman-Radford invariant for the Drinfeld double of the Hopf algebra. However, whether the relation holds for non-semisimple Hopf algebras has remained open, partly because the introduction of framings in this case makes the Kuperberg invariant significantly more complicated to handle. We give an affirmative answer to this question. An important ingredient in the proof involves using a special Heegaard diagram in which one family of circles gives the surgery link of the three manifold represented by the Heegaard diagram.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
