3
$\begingroup$

In 14.4 of "Introduction to Affine Group Schemes" it is proved (!) that if $A$ represents a finite connected group scheme over a perfect field $k$ of characteristic $p$ then $A$ has the form $k[X_{1}, X_{2}, ..., X_{n}] / (X_{1}^{p^{e_{1}}}, ...., X_{n}^{p^{e_{n}}})$. But what about $\mu_{p} = k[X]/(X^{p}-1)$? It is connected but not isomorphic to $k[X]/(X^{p})$ as $k$-groups. They are isomorphic as $k$-schemes. Does this theorem mean " ...... $A$ has the form $k[X_{1}, X_{2}, ..., X_{n}] / (X_{1}^{p^{e_{1}}}, ...., X_{n}^{p^{e_{n}}})$ up to isomorphism of $k$-schemes"?

$\endgroup$
10
  • 3
    $\begingroup$ The book surely has an author? $\endgroup$ Dec 12, 2011 at 14:30
  • 3
    $\begingroup$ $A$ is an algebra, not a scheme. The statement means the only thing it can possibly mean, that $A$ is of that form as an algebra. $\endgroup$
    – Angelo
    Dec 12, 2011 at 14:46
  • 2
    $\begingroup$ The book's theorem in (14.4) states "Let A represent a finite connected group scheme ...". So A should not only be an algebra but a Hopf algebra. Moreover in the proof is used/phrased that A is a Hopf algebra. In my opinion it's not that clear, that the proof really works well. As far as I can see, the critical point is the height 1 case where Waterhouse refers to (11.4), but (11.4) doesn't reflect the Hopf algebra structure. $\endgroup$
    – Ralph
    Dec 12, 2011 at 15:22
  • 1
    $\begingroup$ Thanks, I mean Spec$A$ by saying that $A$ is a scheme. Since the categeory of affine $k$-groups are anti-equivalent to category of $k$-Hopf algebras I say like this. The author is Waterhouse. But this statement exists in many lecture notes that I can't list them now. I think what Ralph says is true, because the the critical part of the proof is the case height=1. So I think it should be understood from the theorem that " ...... A has the form $k[X_{1}, X_{2}, ..., X_{n}] / (X_{1}^{p^{e_{1}}}, ...., X_{n}^{p^{e_{n}}})$ as a $k$-algebra (not as a $k$-Hopf algebra)". $\endgroup$
    – A.E.
    Dec 12, 2011 at 16:21
  • 2
    $\begingroup$ To André: what I am saying is that, since one interpretation is obviously wrong, as the OP knows, the other must be the right one. As to a classification of finite connected group schemes, if it possible at all, it will be certainly enormously complicated. $\endgroup$
    – Angelo
    Dec 12, 2011 at 17:37

1 Answer 1

2
$\begingroup$

Others can do this much better than I, but here's what's happening: to describe a group scheme of any kind, you need to talk about not only the underlying space, but also the law of composition on the group. In this case, the kernel of $[p]$ in the muliplicative group, you describe the law of composition by writing down the the comultiplication on the affine ring $k[X]/(X^p)$. This is simply $X\mapsto 1 \otimes X + X \otimes 1 + X \otimes X$.

$\endgroup$
9
  • $\begingroup$ So $\alpha_p$ and $\mu_p$ have the same underlying space, so the same affine ring, but different comultiplications. $\endgroup$
    – Lubin
    Dec 12, 2011 at 17:33
  • $\begingroup$ Shouldn't it be $x\mapsto x\otimes x$ rather? $\endgroup$ Dec 12, 2011 at 17:50
  • 2
    $\begingroup$ @darij: no, not if the ring is $k[X]/(X^p)$. Yes, if the ring is $k[X]/(X^p-1)$. $\endgroup$
    – Lubin
    Dec 12, 2011 at 18:01
  • $\begingroup$ How is this an answer ? The starting point of the OP is exactly what you describe, namely that a group scheme is classified by a Hopf algebra and not just by its coordinate algebra. As such it turned out that in the book's theorem the isomorphism has to be understood as an isomorphism of algebras. $\endgroup$
    – Ralph
    Dec 12, 2011 at 18:34
  • $\begingroup$ @Lubin: ah, my stupid. $\endgroup$ Dec 12, 2011 at 19:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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