Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
After some further thought, I realize I probably misunderstood what you were saying. On the other hand, your argument should apply to all forms of $\mu_p$; while some of them, like $\mu_p$ itself, do appear. Also, it would exclude $\alpha_p$, which also appears.
Dear Bugs Bunny, thank you very much for the suggestion. However, in order to consider $\mu_p$ as a form of the cyclic group, the characteristic should be different from $p$, in which case we know a proof; we are interested exactly in the characteric $p$ case. Any form of $\mu_p$ is semisimple (in any characteristic). This said, I will take a look at Montgomery's book, there might be something in it.
Indeed, this would be logical. The structure of the group is complicated, but it has a large unipotent part, which should not interfere with a form of $\mu_p$. I am fairly sure that the 1-dimensional torus is maximal. Thanks, Brian.
I am not convinced that $t^{1/p}$ must go to $ut^{1/p}$; you can also add nilpotents. This is what makes it complicated. For example, $\alpha_p$ can add freely by translations. In fact, I think that the automorphism group scheme of $k(t^{1/p})$ over $k(t)$ isn't even finite.
Yes, but what I meant to say is that I don't know any other example of a form of $\mu_p$ that acts on $k(t)$. I would imagine that there are none, but I can't prove it.
I mean free action. In any case, I think that if a form of $\mu_p$ acts faithfully, it also acts freely. There are some forms of $\mu_p$ that can act: $\mu_p$ itself, of course, and also those obtained from the involution $x \mapsto x^{-1}$ via a quadratic extension. I don't know any other example.
I understand, and most certainly I was not offended. My point is that the general opinion that the old Italian algebraic geometers made mistakes because they did not have the proper foundations may be roughly right, but also simplistic. It it true that the Italian school went slowly astray, as discussed in Mumford's very interesting email message; but how much of it was due to personalities of the leaders of the school (particularly Severi) and how much to lack of proper foundations, I'll leave to others more competent than me to answer.