For H an infinite dimensional co-Frobenius Hopf algebra over a field k, and A an H-comodule algebra, the smash product A࠻H \* r at is linked to the ring of coinvariants A c o H by a Morita context. We use the Morita setting to show that for co-Frobenius H, equivalent conditions for ArA c o H to be G
Frobenius Extensions and Weak Hopf Algebras
✍ Scribed by Lars Kadison; Dmitri Nikshych
- Publisher
- Elsevier Science
- Year
- 2001
- Tongue
- English
- Weight
- 211 KB
- Volume
- 244
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
✦ Synopsis
We study a symmetric Markov extension of k-algebras N → 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 → M → M 1 → 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 → 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 W.
📜 SIMILAR VOLUMES
2 × 2 . If H is abelian of order 8, we may use K = k H \* , and if H is abelian of order 4 we use K = kD 8 \* . If H ∼ = D 8 , then in the two possible examples, one has K = kD 8 \* and the other has K = kQ 8 \* . If H ∼ = 2 × 2 × 2 then H has two simple degree 2 characters, χ 1 and χ 2 , and they
Some finiteness conditions for infinite dimensional coalgebras, particularly right or left semiperfect coalgebras, or co-Frobenius Hopf algebras are studied. As well, examples of co-Frobenius Hopf algebras are constructed via a Hopf algebra structure on an Ore extension of a group algebra, and it is
All rational semisimple braided tensor categories are representation categories of weak quasi Hopf algebras. To prove this result we construct for any given category of this kind a weak quasi tensor functor to the category of finite dimensional vector spaces. This allows us to reconstruct a weak qua
We present a general construction producing pointed co-Frobenius Hopf algebras and give some classification results for the examples obtained.