Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userWeak integral forms and the sixth Kaplansky conjecture
108
0
0.0
(
0
)
Authors
Dmitriy Rumynin
Ask ChatGPT about the research
No Arabic abstract
It is a short unpublished note from 1998. I make it public because Cuadra and Meir refer to it in their paper. We precisely state and prove a folklore result that if a finite dimensional semisimple Hopf algebra admits a weak integral form then it is of Frobenius type. We use an argument similar to that of Fossum cite{fos}, which predates the Kaplansky conjectures.
rate research
Read More
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.
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).
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.
The left and right homological integrals are introduced for a large class of infinite dimensional Hopf algebras. Using the homological integrals we prove a version of Maschkes theorem for infinite dimensional Hopf algebras. The generalization of Maschkes theorem and homological integrals are the keys to study noetherian regular Hopf algebras of Gelfand-Kirillov dimension one.
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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
