4
$\begingroup$

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?

$\endgroup$
1
  • 1
    $\begingroup$ $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. $\endgroup$
    – shenghao
    Mar 9, 2011 at 18:30

1 Answer 1

3
$\begingroup$

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...

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.