Do you want to publish a course? Click here

On the existence of orders in semisimple Hopf algebras

325   0   0.0 ( 0 )
 Added by Juan Cuadra
 Publication date 2013
  fields
and research's language is English




Ask ChatGPT about the research

We show that there is a family of complex semisimple Hopf algebras that do not admit a Hopf order over any number ring. They are Drinfeld twists of certain group algebras. The twist contains a scalar fraction which makes impossible the definability of such Hopf algebras over number rings. We also prove that a complex semisimple Hopf algebra satisfies Kaplanskys sixth conjecture if and only if it admits a weak order, in the sense of Rumynin and Lorenz, over the integers.



rate research

Read More

176 - Juan Cuadra , Ehud Meir 2018
We prove the non-existence of Hopf orders over number rings for two families of complex semisimple Hopf algebras. They are constructed as Drinfeld twists of group algebras for the following groups: $A_n$, the alternating group on $n$ elements, with $n geq 5$; and $S_{2m}$, the symmetric group on $2m$ elements, with $m geq 4$ even. The twist for $A_n$ arises from a $2$-cocycle on the Klein four-group contained in $A_4$. The twist for $S_{2m}$ arises from a $2$-cocycle on a subgroup generated by certain transpositions which is isomorphic to $mathbb{Z}_2^m$. This provides more examples of complex semisimple Hopf algebras that can not be defined over number rings. As in the previous family known, these Hopf algebras are simple.
155 - Juan Cuadra , Ehud Meir 2014
Let $p$ be an odd prime number and $K$ a number field having a primitive $p$-th root of unity $zeta.$ We prove that Nikshychs non-group theoretical Hopf algebra $H_p$, which is defined over $mathbb{Q}(zeta)$, admits a Hopf order over the ring of integers $mathcal{O}_K$ if and only if there is an ideal $I$ of $mathcal{O}_K$ such that $I^{2(p-1)} = (p)$. This condition does not hold in a cyclotomic field. Hence this gives an example of a semisimple Hopf algebra over a number field not admitting a Hopf order over any cyclotomic ring of integers. Moreover, we show that, when a Hopf order over $mathcal{O}_K$ exists, it is unique and we describe it explicitly.
185 - Yi-Lin Cheng , Siu-Hung Ng 2010
In this paper, we prove that a non-semisimple Hopf algebra H of dimension 4p with p an odd prime over an algebraically closed field of characteristic zero is pointed provided H contains more than two group-like elements. In particular, we prove that non-semisimple Hopf algebras of dimensions 20, 28 and 44 are pointed or their duals are pointed, and this completes the classification of Hopf algebras in these dimensions.
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 is co-Frobenius if and only if its Hopf coradical is so and the diagram is finite dimensional. We also prove that the standard filtration of such Hopf algebras is finite. Finally, we show that extensions of co-Frobenius (resp. cosemisimple) Hopf algebras are co-Frobenius (resp. cosemisimple).
Let $W$ be a Coxeter group. The goal of the paper is to construct new Hopf algebras that contain Hecke algebras $H_{bf q}(W)$ as (left) coideal subalgebras. Our Hecke-Hopf algebras ${bf H}(W)$ have a number of applications. In particular they provide new solutions of quantum Yang-Baxter equation and lead to a construction of a new family of endo-functors of the category of $H_{bf q}(W)$-modules. Hecke-Hopf algebras for the symmetric group are related to Fomin-Kirillov algebras, for an arbitrary Coxeter group $W$ the Demazure part of ${bf H}(W)$ is being acted upon by generalized braided derivatives which generate the corresponding (generalized) Nichols algebra.
comments
Fetching comments Fetching comments
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا