MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X$ be a variety over $k$ of characteristic $p>0$ (you can assume $k$ algebraically closed and $X$ normal) with an action of the group scheme of $p$-th roots of unity $\mu_p = {\rm Spec}\ k[\varepsilon]/(\varepsilon^p - 1)$. Denote the quotient $X/\mu_p$ by $Y$ and the quotient morphism $X\to Y$ by $\pi$.

Let $D$ be a Weil divisor on $X$. Is the sheaf $\pi_* (\mathscr{O}_X(D))$ a direct sum of sheaves of the form $\mathscr{O}_Y(E)$ for some Weil divisors $E$ on $X$?

For an action of $\mu_n$, $n$ not divisible by $p$, we get the above statement because the push-forward decomposes according to the characters of $\mu_n$, and if we assume that there is an orbit on which $\mu_n$ acts freely, then all these summands are nonzero - hence all have rank one and are reflexive. So we need a form of ,,diagonalizability'' for $\mu_p$. I don't see how the proof for $\mu_n$ above could be translated to a proof for $\mu_p$.

share|cite|improve this question
(1) What do you mean by $\mathcal{O}_X(D)$ if $D$ is not a Cartier divisor? (2) Do you assume $D$ invariant under $\mu_p$? – Laurent Moret-Bailly Dec 3 '10 at 12:16
Dear Laurent, sorry for the delay. (1) $O_X(D)$ is the reflexive sheaf, the subsheaf $D+(f)\geq 0$ of the sheaf of rational functions, (2) Yes, you are right, I should assume $D$ stable under the action. – Piotr Achinger Dec 11 '10 at 20:15
up vote 2 down vote accepted

If you cannot generalize, you may try to simplify:-)) Representations of $\mu_p$ are still completely reducible: they are just graded vector spaces by the cyclic group of order $p$. The first part of your argument goes through.

For the second part, you have a simplification as $\mu_p$ has no subgroup schemes! So your stabilisers are either trivial of full $\mu_p$. If the action is nontrivial, there is a point with trivial stabiliser, and there you know that each simple character of $\mu_p$ appears.

Did I miss anything?

share|cite|improve this answer
Dear Bugs, thanks for your answer! Your argument sounds ok. As I understand, we replace the eigensheaves $g\cdot s = \chi(g)\cdot s$ by the subsheaves consisting of all sections $s$ such that $\mu^* (s) = s\otimes x^i$ (for $i=0, \ldots, p-1$), where $\mu : X\times \mu_p \to X$ is the action and $\mu_p = \mathrm{Spec}\, k[x]/(x-1)^p$. Is this correct? – Piotr Achinger Dec 11 '10 at 20:20
Yes, this is correct. – Bugs Bunny Dec 12 '10 at 16:00

Your Answer


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.