Margaret Beattie, Daniel Bulacu, Blas Torrecillas
This note extends Radford's formula for the fourth power of the antipode of a finite dimensional Hopf algebra to co-Frobenius Hopf algebras and studies equivalent conditions to a Hopf algebra being involutory for finite dimensional and co-Frobenius Hopf algebras.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We determine and classify all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose Hopf coradicals are isomorphic to dual Radford algebras of dimension $4p$ for a prime $p>5$. In particular, we obtain families of new examples of finite-dimensional Hopf algebras without the dual Chevalley property.
The Ribbon Elements of Drinfeld Double of Radford Hopf Algebra
该研究针对Radford构造的mn²维Hopf代数Rₘₙ(q)，证明其Drinfeld double D(Rₘₙ(q))存在ribbon元的充要条件是n为奇数，分情况给出ribbon元的数量，并显式计算出所有ribbon元。
We study the non-abelian Hopf cohomology theory of Radford products with coefficients in a comodule algebra. We show that these sets can be expressed in terms of the non-abelian Hopf cohomology theory of each factor of the Radford product. We write down an exact sequence relating these objects. This allows to compute explicitly the non-abelian Hopf cohomology sets in large classes of examples.
We study the basic monoidal properties of the category of Hopf modules for a coquasi Hopf algebra. In particular we discuss the so called fundamental theorem that establishes a monoidal equivalence between the category of comodules and the category of Hopf modules. We present a categorical proof of Radford's $S^4$ formula for the case of a finite dimensional coquasi Hopf algebra, by establishing a monoidal isomorphism between certain double dual functors.
We define a series of Artin-Schelter Gorenstein Hopf algebras $H_β$ with injective dimensions 3. Radford's Hopf algebra and Gelaki's Hopf algebra are homomorphic images of $H_β$. We determine its Grothendieck ring $G_0(H_β)$. Meanwhile we can obtain Grothendieck rings of Gelaki's Hopf algebras and Radford's Hopf algebras $U_{(N,ν,ω)}$ in \cite{R}, and non-isomorphic Hopf algebras with isomorphic Grothendieck rings.
Representations of Drinfeld Doubles of Radford Hopf algebras
本文完整分类了Radford Hopf代数的Drinfeld double在特征不整除mn条件下的所有有限维不可分解模，展示其Auslander-Reiten序列，并证明其具有tame表示型。
We give a proof of the Radford's Biproduct Theorem in S. Montgomery's book [Hopf Algebras and Their Actions on Rings, CBMS 82, AMS,1993.] by using Majid's braided diagrams method and Yu.Bespalov and V. Lyubashenko's "t-angles.sty" package.
In this note, we show that Radford's formula for the fourth power of the antipode can be proven for any regular multiplier Hopf algebra with integrals (algebraic quantum groups). This of course not only includes the case of a finite-dimensional Hopf algebra but also the case of any Hopf algebra with integrals (co-Frobenius Hopf algebras). The proof follows in a few lines from well-known formulas in the theory of regular multiplier Hopf algebras with integrals. We discuss these formulas and their importance in this theory. We also mention their generalizations to the (in a certain sense) more g…
Let $A$ be a finite-dimensional Hopf algebra. The left and the right integrals on $A$ are related by means of a distinguished group-like element $δ$ of $A$. Similarly, there is this element $\hatδ$ in the dual Hopf algebra $\hat A$. Radford showed that $$S^4(a)=δ^{-1}(\hatδ\triangleright a \triangleleft \hatδ^{-1})δ$$ for all $a$ in $A$ where $S$ is the antipode of $A$ and where $\triangleright$ and $\triangleleft$ are used to denote the standard left and right actions of $\hat A$ on $A$. The formula still holds for multiplier Hopf algebras with integrals (algebraic quantum groups). In the the…
Bicrossed products of generalized Taft algebras and Radford algebras
在特征$p>0$的代数闭域上，对广义Taft代数$T_{N,n,\xi}$与Radford代数$R$的匹配对分类，得到$p\nmid N$时双交叉积为张量积Hopf代数、$p\mid N$时对应$p$个同构类的结果。
We present an invariant of connected and oriented closed 3-manifolds based on a coribbon Weak Hopf Algebra H with a suitable left-integral. Our invariant can be understood as the generalization to Weak Hopf Algebras of the Hennings-Kauffman-Radford evaluation of an unoriented framed link using a dual quantum-trace. This quantum trace satisfies conditions that render the link evaluation invariant under Kirby moves. If H is a suitable finite-dimensional Hopf algebra (not weak), our invariant reduces to the Kauffman-Radford invariant for the dual of H. If H is the Weak Hopf Algebra Tannaka-Krein …
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…
We apply a combinatorial formula of the first author and Rosso, for products in Hopf quiver algebras, to determine the structure of Nichols algebras. We illustrate this technique by explicitly constructing new examples of Nichols algebras in positive characteristic. We further describe the corresponding Radford biproducts and some liftings of these biproducts, which are new finite dimensional pointed Hopf algebras.
We extend to the co-Frobenius case a result of Drinfeld and Radford related to the fourth power of the antipode of a finite dimensional (co)quasitriangular Hopf algebra.
We give explicit formulas for maps in a long exact sequence connecting bialgebra cohomology to Hochschild cohomology. We give a sufficient condition for the connecting homomorphism to be surjective. We apply these results to compute all bialgebra two-cocycles of certain Radford biproducts (bosonizations). These two-cocycles are precisely those associated to the finite dimensional pointed Hopf algebras in the recent classification of Andruskiewitsch and Schneider, in an interpretation of these Hopf algebras as graded bialgebra deformations of Radford biproducts.
With the motivation of giving a more precise estimation of the quantum Brauer group of a Hopf algebra $H$ over a field $k$ we construct an exact sequence containing the quantum Brauer group of a Hopf algebra in a certain braided monoidal category. Let $B$ be a Hopf algebra in $\C=_H ^H\YD$, the category of Yetter-Drinfel'd modules over $H$. We consider the quantum Brauer group $\BQ(\C; B)$ of $B$ in $\C$, which is isomorphic to the usual quantum Brauer group $\BQ(k; B\rtimes H)$ of the Radford biproduct Hopf algebra $B\rtimes H$. We show that under certain symmetricity condition on the braidin…
We present characterizations of braided co-Frobenius Hopf algebras in the braided tensor category of Yetter-Drinfeld modules over a Hopf algebra extending those already known for co-Frobenius Hopf algebras.
We investigate the transformed Hopf algebras in Hopf Galois extensions. The final goal of this paper is to introduce certain triangular Hopf algebras associated with restricted Frobenius Lie algebras over a field of characteristic $p>0$.
In a biFrobenius algebra H, in particular in the case that H is a finite dimensional Hopf algebra, the antipode S can be decomposed as S= cf where c and f are the Frobenius and coFrobenius isomorphisms. We use this decomposition to present an easy proof of Radford's formula for the fourth composition power of S. Then, in the case that the map S is the convolution inverse of the identity, we prove the trace formula for the trace of the square of S. We finish by applying the above results to study the semisimplicity and cosemisimplicity of H.
We study Frobenius-Schur indicators of the regular representations of finite-dimensional semisimple Hopf algebras, especially group-theoretical ones. Those of various Hopf algebras are computed explicitly. In view of our computational results, we formulate the theorem of Frobenius for semisimple Hopf algebras and give some partial results on this problem.
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.
We study quasi-Hopf algebras and their subobjects over certain commutative rings from the point of view of Frobenius algebras. We introduce a type of Radford formula involving an anti-automorphism and the Nakayama automorphism of a Frobenius algebra, then view several results in quantum algebras from this vantage-point. In addition, separability and strong separability of quasi-Hopf algebras are studied as Frobenius algebras.
In this paper we construct and study two new families of finite dimensional pointed Hopf algebras which generalize Radford's families. We show that over any infinite field which contains a primitive nth root of unity, one of the families contains infinitely many non-isomorphic Hopf algebras of any dimension of the form Nn^2, where 2<n<N are integers so that n divides N. We thus answer in the negative Kaplansky's 10th conjecture from 1975 on the finite number of types of Hopf algebras of a given dimension.
A Lie Correspondence in the Setting of Hopf and Frobenius Algebras
本文在 Hopf 与 Frobenius 代数框架下引入 Hopf-Frobenius 模，构造相应的 Lie 群与 Lie 代数，并证明经典 Lie 对应是该构造的特例。
We survey a vast array of known results and techniques in the area of polynomial identities in pointed Hopf algebras. Some new results are proven in the setting of Hopf algebras that appeared in papers of D. Radford and N. Andruskiewitsch - H.-J. Schneider.
We study Frobenius 1-morphisms $ı$ in an additive bicategory $\c$ satisfying the depth 2 condition. We show that the 2-endomorphism rings $\c^2(ı\x\ib,ı\x\ib)$ and $\c^2(\ib\xı,\ib\xı)$ can be equipped with dual Hopf algebroid structures. We prove also that a Hopf algebroid appears as the solution of the above abstract symmetry problem if and only if it possesses a two sided non-degenerate integral.
We study some problems related to lazy 2-cocycles, such as: extension of (lazy) 2-cocycles to a Drinfeld double and to a Radford biproduct, Yetter-Drinfeld data obtained from lazy 2-cocycles, lifting of projective representations afforded by lazy 2-cocycles.
In formulating a generalized framework to study certain noncommutative algebras naturally arising in representation theory, K. A. Brown asked if every finitely generated Hopf algebra satisfying a polynomial identity was finite over a normal commutative Hopf subalgebra. In this note we show that Radford's biproduct, applied to the enveloping algebra of the Lie superalgebra pl(1,1), provides a noetherian prime counterexample.
We extend the Larson-Sweedler theorem to weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We show that the category of modules over a weak Hopf algebra is autonomous monoidal with semisimple unit and invertible modules. We also reveal the connection of invertible modules to left and right grouplike elements in the dual weak Hopf algebra. Defining distinguished left and right grouplike elements we derive the Radford formula for the fourth power of the antipode in a weak Hopf algebra and prove that the …
This paper studies the duals of some finite dimensional pointed Hopf algebras, with abelian group of grouplikes, over an algebraically closed field of characteristic 0, which are either Radford biproducts or else nontrivial liftings of a biproduct.
Any simplicial Hopf algebra involves $2n$ different projections between the Hopf algebras $H_n,H_{n-1}$ for each $n \geq 1$. The word projection, here meaning a tuple $\partial \colon H_{n} \to H_{n-1}$ and $i \colon H_{n-1} \to H_{n}$ of Hopf algebra morphisms, such that $\partial \, i = \mathrm{id}$. Given a Hopf algebra projection $(\partial \colon I \to H,i)$ in a braided monoidal category $\mathfrak{C}$, one can obtain a new Hopf algebra structure living in the category of Yetter-Drinfeld modules over $H$, due to Radford's theorem. The underlying set of this Hopf algebra is obtained by an…
Isomorphism between Hopf algebras for multiple zeta values
本文证明了多重ζ值的准洗牌代数与洗牌代数通过准对称函数具有霍普夫代数同构性，并与已知的霍夫曼等人同构性进行了比较。
The zx-calculus and related theories are based on so-called interacting Frobenius algebras, where a pair of dagger-special commutative Frobenius algebras jointly form a pair of Hopf algebras. In this setting we introduce a generalisation of this structure, Hopf-Frobenius algebras, starting from a single Hopf algebra which is not necessarily commutative or cocommutative. We provide a few necessary and sufficient conditions for a Hopf algebra to be a Hopf-Frobenius algebra, and show that every Hopf algebra in the category of finite dimensional vector spaces is a Hopf-Frobenius algebra. In additi…
We investigate when a weak Hopf algebra H is Frobenius; we show this is not always true, but it is true if the semisimple base algebra A has all its matrix blocks of the same dimension. However, if A is a semisimple algebra not having this property, there is a weak Hopf algebra H with base A which is not Frobenius (and consequently, it is not Frobenius "over" A either). We give, moreover, a categorical counterpart of the result that a Hopf algebra is a Frobenius algebra for a noncoassociative generalization of weak Hopf algebra.
In Section 1 we introduce Frobenius coordinates in the general setting that includes Hopf subalgebras. In Sections 2 and 3 we review briefly the theories of Frobenius algebras and augmented Frobenius algebras with some new material in Section 3. In Section 4 we study the Frobenius structure of an FH-algebra H \cite{Par72} and extend two recent theorems in \cite{EG}. We obtain two Radford formulas for the antipode in H and generalize in Section 7 the results on its order in \cite{FMS}. We study the Frobenius structure on an FH-subalgebra pair in Sections 5 and 6. In Section 8 we show that the q…
We prove that a Hopf algebra with a finite coradical filtration is co-Frobenius, i. e. there is a non-zero integral on it. As a consequence, we show that algebras of functions on quantum groups at roots of one are co-Frobenius. We also characterize co-Frobenius Hopf algebras with coradical a Hopf subalgebra. This characterization is in the framework of the lifting method due to H.-J. Schneider and the first-named author. Here is our main result. Let H be a Hopf algebra whose coradical is a Hopf subalgebra. Let gr H be the associated graded Hopf algebra and let R be the diagram of H. Then the f…
Mason and Ng have given a generalization to semisimple quasi-Hopf algebras of Linchenko and Montgomery's generalization to semisimple Hopf algebras of the classical Frobenius-Schur theorem for group representations. We give a simplified proof, in particular a somewhat conceptual derivation of the appropriate form of the Frobenius-Schur indicator that indicates if and in which of two possible fashions a given simple module is self-dual.
Some classifications of finite-dimensional Hopf algebras over the Hopf algebra $H_{b:x^2y}$ of Kashina
本文研究了Hopf代数H_{b:x²y}上的有限维Hopf代数分类，通过确定简单Yetter-Drinfeld模和 Nichols代数，揭示了相关Hopf代数的结构特性。
Hopf (bi-)modules and crossed modules over a bialgebra B in a braided monoidal category C are considered. The (braided) monoidal equivalence of both categories is proved provided B is a Hopf algebra (with invertible antipode). Bialgebra projections and Hopf bimodule bialgebras over a Hopf algebra in C are found to be isomorphic categories. As a consequence a generalization of the Radford-Majid criterion for a braided Hopf algebra to be a cross product is obtained. The results of this paper turn out to be fundamental for the construction of (bicovariant) differential calculi on braided Hopf alg…
We introduce Nakayama functors for coalgebras and investigate their basic properties. These functors are expressed by certain (co)ends as in the finite case discussed by Fuchs, Schaumann, and Schweigert. This observation allows us to define Nakayama functors for Frobenius tensor categories in an intrinsic way. As applications, we establish the categorical Radford $S^4$-formula for Frobenius tensor categories and obtain some related results. These are generalizations of works of Etingof, Nikshych, and Ostrik on finite tensor categories and some known facts on co-Frobenius Hopf algebras.
Frobenius monoidal functors induced by Frobenius extensions of Hopf algebras
本文研究了由霍普夫代数的弗罗贝尼乌斯扩展诱导的单子函子，证明其在一般情况下为弗罗贝尼乌斯单子函子，并探讨了其在 Yetter-Drinfeld 模拟中的扩展条件。
We study when induction functors (and their adjoints) between categories of Doi-Hopf modules and, more generally, entwined modules are separable, resp. Frobenius. We present a unified approach, leading to new proofs of old results by the authors, as well as to some new ones. Also our methods provide a categorical explanation for the relationship between separability and Frobenius properties.
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-Radfo…
The classical Frobenius-Schur indicators for finite groups are character sums defined for any representation and any integer m greater or equal to 2. In the familiar case m=2, the Frobenius-Schur indicator partitions the irreducible representations over the complex numbers into real, complex, and quaternionic representations. In recent years, several generalizations of these invariants have been introduced. Bump and Ginzburg, building on earlier work of Mackey, have defined versions of these indicators which are twisted by an automorphism of the group. In another direction, Linchenko and Montg…
Let H be a Hopf algebra in a rigid braided monoidal category with split idempotents. We prove the existence of integrals on (in) H characterized by the universal property, employing results about Hopf modules, and show that their common target (source) object Int H is invertible. The fully braided version of Radford's formula for the fourth power of the antipode is obtained. Connections of integration with cross-product and transmutation are studied. The results apply to topological Hopf algebras, e.g. a torus with a hole, which do not have additive structure.
Let $U$ be a strong monoidal functor between monoidal categories. If it has both a left adjoint $L$ and a right adjoint $R$, we show that the pair $(R,L)$ is a linearly distributive functor and $(U,U)\dashv (R,L)$ is a linearly distributive adjunction, if and only if $L\dashv U$ is a Hopf adjunction and $U\dashv R$ is a coHopf adjunction. We give sufficient conditions for a strong monoidal $U$ which is part of a (left) Hopf adjunction $L\dashv U$, to have as right adjoint a twisted version of the left adjoint $L$. In particular, the resulting adjunction will be (left) coHopf. One step further,…
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.
Let $(H, σ)$ be a coquasitriangular Hopf algebra, not necessarily finite dimensional. Following methods of Doi and Takeuchi, which parallel the constructions of Radford in the case of finite dimensional quasitriangular Hopf algebras, we define $H_σ$, a sub-Hopf algebra of $H^0$, the finite dual of $H$. Using the generalized quantum double construction and the theory of Hopf algebras with a projection, we associate to $H$ a braided Hopf algebra structure in the category of Yetter-Drinfeld modules over $H_σ^{\rm cop}$. Specializing to $H={\rm SL}_q(N)$, we obtain explicit formulas which endow ${…
We introduce a new filtration on Hopf algebras, the standard filtration, generalizing the coradical filtration. Its zeroth term, called the Hopf coradical, is the subalgebra generated by the coradical. We give a structure theorem: any Hopf algebra with injective antipode is a deformation of the bosonization of the Hopf coradical by its diagram, a connected graded Hopf algebra in the category of Yetter-Drinfeld modules over the latter. We discuss the steps needed to classify Hopf algebras in suitable classes accordingly. For the class of co-Frobenius Hopf algebras, we prove that a Hopf algebra …
We study monoidal comonads on a naturally Frobenius map-monoidale $M$ in a monoidal bicategory $\mathcal M$. We regard them as bimonoids in the duoidal hom-category $\mathcal M(M,M)$, and generalize to that setting various conditions distinguishing classical Hopf algebras among bialgebras; in particular, we define a notion of antipode in that context. Assuming the existence of certain conservative functors and the splitting of idempotent 2-cells in $\mathcal M$, we show all these Hopf-like conditions to be equivalent. Our results imply in particular several equivalent characterizations of Hopf…
Classifying all Hopf algebras of a given finite dimension over the complex numbers is a challenging problem which remains open even for many small dimensions, not least because few general approaches to the problem are known. Some useful techniques include counting the dimensions of spaces related to the coradical filtration, studying sub- and quotient Hopf algebras, especially those sub-Hopf algebras generated by a simple subcoalgebra, working with the antipode, and studying Hopf algebras in Yetter-Drinfeld categories to help to classify Radford biproducts. In this paper, we add to the classi…
Let $p,q$ be prime numbers with $p^4<q$, and $k$ an algebraically closed field of characteristic 0. We show that semisimple Hopf algebras of dimension $p^2q^2$ can be constructed either from group algebras and their duals by means of extensions, or from Radford biproduct $R#kG$, where $kG$ is the group algebra of group $G$ of order $p^2$, $R$ is a semisimple Yetter-Drinfeld Hopf algebra in ${}^{kG}_{kG}\mathcal{YD}$ of dimension $q^2$. As an application, the special case that the structure of semisimple Hopf algebras of dimension $4q^2$ is given.
On Isomorphisms between Certain Yetter-Drinfel'd Hopf Algebras
本文确定了作者先前研究的两族Yetter-Drinfel'd Hopf代数及其Radford双积的同构分类。
Classically, the exponent of a group is the least common multiple of the orders of its elements. This notion was generalized by Etingof and Gelaki to the context of Hopf algebras. Kashina, Sommerhauser and Zhu later observed that there is a strong connection between exponents and Frobenius-Schur indicators. In this paper, we introduce the notion of twisted exponents and show that there is a similar relationship between the twisted exponent and the twisted Frobenius-Schur indicators defined in previous work of the authors. In particular, we exhibit a new formula for the twisted Frobenius-Schur …
Frobenius functors and one-sided Hopf algebras in braided monoidal categories
本文在辫子幺半范畴中证明：双幺半群为单侧Hopf幺半群且对映体为反同态，当且仅当自由Hopf模函子是Frobenius的，并给出自由单侧Hopf幺半群的构造及例子。
The theory of integrals is used to analyse the structure of Hopf algebroids, introduced in math.QA/0302325. We prove that the total algebra of the Hopf algebroid is a separable extension of the base algebra if and only if it is a semi-simple extension and if and only if the Hopf algebroid possesses a normalized integral. The total algebra of a finitely generated and projective Hopf algebroid is a Frobenius extension of the base algebrahe Hopf algebroid possesses anormalized integral. We give also a sufficient and necessary condition in terms of integrals under which it is a quasi-Frobenius ext…
We consider Frobenius algebras in the monoidal category of right comodules over a Hopf algebra $H$. If $H$ is a group Hopf algebra, we study a more general Frobenius type property and uncover the structure of graded Frobenius algebras. Graded symmetric algebras are also investigated.
We discuss algebraic and representation theoretic structures in braided tensor categories C which obey certain finiteness conditions. Much interesting structure of such a category is encoded in a Hopf algebra H in C. In particular, the Hopf algebra H gives rise to representations of the modular group SL(2,Z) on various morphism spaces. We also explain how every symmetric special Frobenius algebra in a semisimple modular category provides additional structure related to these representations.
The Hopf category of Frobenius algebras
本研究证明Frobenius代数间的通用测量余代数与余测量代数可分别使其范畴成为Hopf范畴与Hopf反范畴，推广了相关经典结论，还涉及有限特征下的例子及拓扑量子场论相关思考。
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 Zh…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。