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

What do people mean by the "cyclic cover trick"? I have found this expression a couple of times with no complete explaination, both talking about curves and surfaces...

share|cite|improve this question
up vote 18 down vote accepted

The "cyclic cover trick" can refer to more than one thing. One example is as follows. Let $L$ be an invertible sheaf on a smooth projective scheme such that some power $L^{\otimes d}$ has a global section $s$ whose zero scheme $D$ is a smooth Cartier divisor (all of these smoothness conditions are not strictly necessary). Let $\nu:Y\to X$ be the associated degree $d$ branched cover branched over $D$ and whose restriction over $X\setminus D$ is the $\mathbb{\mu}_d$-torsor corresponding to $L$. More precisely, $\nu$ is affine and $\nu_*\mathcal{O}_Y$ is the $\mathbb{Z}/d\mathbb{Z}$-graded $\mathcal{O}_X$-algebra $$\nu_*\mathcal{O}_Y = \mathcal{O}_X \oplus L^\vee \oplus \dots \oplus (L^\vee)^{\otimes (d-1)}.$$ Of course we have to say what is the multiplication rule on this algebra. But there is a unique multiplication rule that is $\mathbb{Z}/d\mathbb{Z}$-graded and that is compatible with the multiplication rule $s:(L^\vee)^{\otimes d} \to \mathcal{O}_X$. Now, for every $q$, $\nu_*\Omega^p_Y$ has a natural $\mathbb{Z}/d\mathbb{Z}$-grading, and the graded pieces turn out to be expressible in terms of tensor products of $\Omega^r_X$ with powers $(L^\vee)^{\otimes s}$. Now assume that $X$ is a $\mathbb{C}$-scheme. Then the Hodge theorem gives surjectivity of the various projections $H^r(Y^{\text{an}};\mathbb{C}) \to H^q(Y,\Omega^p_Y)$. Both groups have a $\mathbb{\mu}_d$-action that is equivalent to a $\mathbb{Z}/d\mathbb{Z}$-grading. In particular, vanishing of certain graded pieces of $H^r(Y^{\text{an}};\mathbb{C})$ will imply vanishing of certain cohomology groups $H^q(X,\Omega^p_X\otimes (L^\vee)^{\otimes s})$. In this way, one can prove the Kodaira-Akizuki-Nakano vanishing theorem.

So in this case, the "covering trick" is to use a geometric result on the cyclic cover (the Hodge decomposition) combined with computation of the graded pieces to deduce a geometric result on the original scheme. In a similar way, one can prove extensions of the Kodaira vanishing theorem, e.g., the Kawamata-Viehweg vanishing theorem. This is discussed in detail in the book of Kollár and Mori.

share|cite|improve this answer
I think there is an excellent discussion of the use of the "cyclic cover trick" in Lazarsfeld's book on positivity (vo1 1 section on vanishing theorems). I think it is also discussed in the Esnault - Vieweg book. – aginensky Jun 19 '13 at 15:35
Thank you, Jason. I wonder how far can one relax the smoothness hypotheses. For instance does this hold also for stable curves (I suppose by using admissible covers)? – IMeasy Jun 19 '13 at 16:12

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.