Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
1  
$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
add comment

1 Answer

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|improve this answer
    
yes, thanks.... –  Peter Toth Mar 13 '11 at 17:47
add comment

Your Answer

 
discard

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.