Krull relations in Hopf Galois extensions: lifting and twisting. (Q2488306)

In their previous paper [Isr. J. Math. 112, 187-235 (1999; Zbl 0948.16028)] the authors studied six Krull relations for a finite dimensional Hopf algebra \(H\) over a field, three of them are called `basic' and the other three are called `dual'. Two more Krull relations in duality, strong going up and strong co-going up, are introduced in this paper and related to the previous ones. The main results of the paper give conditions for preservation of one of these Krull relations under various changes of the Hopf algebra. It is shown that the six relations can be lifted from a Hopf subalgebra containing the coradical and, dually, from any quotient \(H/I\), where \(I\) is a Hopf ideal contained in the Jacobson radical. As a consequence, all six relations hold for coradically graded pointed Hopf algebras. In connection with the twisting construction, it is shown that all three dual relations are preserved under twisting the multiplication, while all three basic relations are preserved under twisting the comultiplication. Also, if \(H\) has all six Krull relations, then its Drinfeld double \(D(H)\) has the three dual relations. The authors use then these results in combination with their previous results [in loc. cit.] to provide examples of Hopf algebras having some or all Krull relations, that arise from recent constructions. It is pointed out at the end of the introduction that no example is known of a finite dimensional Hopf algebra not possessing all of the Krull relations.