Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Under what conditions is a Hopf algebra free over any of its sub-Hopf algebras?

I am reading "Hopf algebras and their actions on rings" by Susan Montgomery, specifically chapter 3. Lagrange's theorem says that if $H$ is a subgroup of $G$ then $\mathbb kG$ is free as a $\mathbb kH$ module. When one tries to extend this to general Hopf algebras, in the finite dimensional setting everything is fine by the Nichols-Zoeller theorem which says that a finite dimensional Hopf algebra $H$ is free over any sub-Hopf algebra $K$.

Unfortunately this is not true in the infinite dimensional setting. A counterexample, which is both commutative and cocommutative, due to Oberst and Schneider, is as follows: Take $F\subset E$ a Galois field extension of degree $2$ with Galois group $G=\lbrace 1,\sigma\rbrace$, and let $\sigma$ act on $\mathbb Z$ by $z\to -z$. Then $G$ acts on $E$ and $\mathbb Z$ so one can take the Hopf algebra $H=(E\mathbb Z)^{G}$. One gets a counterexample showing that $H$ is not free over the sub-Hopf algebra $(E(n\mathbb Z))^G$ when $n$ is even.

The book then mentions that, because of this, perhaps one should look at something weaker than freeness, like being faithfully flat. Here, however, I want to focus on which Hopf algebras are free over their sub-Hopf algebras. It seems that in the literature there are several instances of this kind of result. For example this seems to hold for pointed Hopf algebras. Is there an intuitive explanation of what properties of a Hopf algebra guarantee that it satisfies Lagrange's theorem? (For example, I do not see how I could have arrived naturally at the example above. A short explanation of that would be great, too.) Is there a reference?

share|improve this question
1  
The basic question here is a natural one, though it might not have a single definitive answer. –  Jim Humphreys Dec 19 '11 at 15:27
add comment

1 Answer

Maybe you find useful Skryabin's paper.

Skryabin, Serge. Projectivity and freeness over comodule algebras. Trans. Amer. Math. Soc. 359 (2007), no. 6, 2597--2623 (electronic). MR2286047 (2008a:16060)

(Check http://arxiv.org/abs/math/0610657 for the preprint (free access).)

EDIT: Other two interesting papers are the following:

Radford, David. Freeness (projectivity) criteria for Hopf algebras over Hopf subalgebras. J. Algebra 45 (2), 1977, 266-273. http://www.sciencedirect.com/science/article/pii/0022404977900354.

Takeuchi, Mitsuhiro. Relative Hopf modules—Equivalences and freeness criteria. J. Algebra 60 (2), 1979, 452-471 http://www.sciencedirect.com/science/article/pii/0021869379900930

share|improve this answer
5  
Online access to article: ams.org/journals/tran/2007-359-06/S0002-9947-07-03979-7/… –  Jim Humphreys Dec 19 '11 at 15:25
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.