Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn the notion of exact sequence: from Hopf algebras to tensor categories
125
0
0.0
(
0
)
Authors
Sonia Natale
Ask ChatGPT about the research
No Arabic 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.
rate research
Read More
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-Hilbert 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 notion 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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
