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 $\pi:X \rightarrow Y$ be a finite morphism of schemes and $\mathfrak{F}$ be an etale sheaf on $X$. Then for a $y \in Y$ we have the stalk $(\pi_{*}\mathfrak{F})_{y}=\prod_{\pi(x)=y}\mathfrak{F}_{x}^{d(x)}$ where $d(x)$ is the separable degree of the field extension $k(x)/k(y)$ (Corollary 3.5.(c) in Chapter II. in Milne: Etale cohomology). The proof in the book would be completely clear for me, if there were no separable degrees (and Milne does not mention either why are they there)....So my question is where from these separable degrees come into the picture?

share|cite|improve this question
$k(x)\otimes_{k(y)}k(y)^s=...$ is a product of $d_s(x/y)$-factors, where $d_s$ is the sep. degree. To give a "section" over $k(y)^s,$ one needs to choose an inverse image $x$ of $y,$ and find a "section" of $F$ over one of these factors. Hopefully this provides some intuition. – shenghao Mar 9 '11 at 18:30
up vote 2 down vote accepted

It is enough to prove this in the case where $Y$ is $Spec$ of a strictly Henselian ring. I think, one sees the main point in the argument already in the following special case:

Let $Y=Spec(K)$ and $X=Spec(E)$ where $E/K$ is a finite separable extension of fields. Denote $\pi: X\to Y$ the canonical map. Let $\overline{E}$ be an algebraic closure of $E$ and $\overline{x}$ (resp. $\overline{y}$) be the corresponding geometric point of $X$ (resp $Y$). Let $L/K$ be a finite separable extension contained in $\overline{E}$ and containing the Galois closure of $E$. If $F$ is a sheaf on $X$, then $\pi_*F(Spec(L))=F(Spec(L\otimes_K E))$ and $Spec(L\otimes_K E)= \coprod_{i=1}^d Spec(L)$, where $d=[E:K]$. Hence $\pi_* F(Spec(L))=F(Spec(L))^d$. Now take an inductive limit over such $L$, in order to obtain $\pi_*F_{\overline{y}}=F_{\overline{x}}^d$.

Hope this is of some use...

share|cite|improve this answer
yes, thanks.... – Peter Toth Mar 13 '11 at 17:47

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.