4
$\begingroup$

Hello,

Let $X$ be a scheme of finite type over a field $k$. Let $l$ be an Galois extension of $k$ with Galois group $\Gamma$, and $\overline{X}$ be the base change of $X$ from $k$ to $l$. Then If I understand correctly (I don't understand much), I have a functor $Sh(X_{et}) \to Sh(\overline{X}_{et})^{\Gamma}$, from etale sheaves on $X$ to etale sheaves on $\overline{X}$, equivariant w.r.t. the action of $\Gamma$ on $\overline{X}$.

My question is whether this is an equivalence of categories, and whether you can give a reference for this.

Thank you, Sasha

Improve this question
$\endgroup$
2
  • 2
    $\begingroup$ Hey Sasha! I don't think this has to be an equivalence of categories. If $X$ is a smooth projective variety, then the Hochschild-Serre spectral sequence gives us the sequence: $0\rightarrow Pic(X)\rightarrow Pic(\bar{X})^\Gamma\rightarrow Br(k)$, where it is known that the last map is not always zero. Using that $Pic$ describes invertible sheaves, it seems that sometimes the category $Sh(\bar{X}_{et})^\Gamma$ is bigger. A similar situation occurs when you go up one notch and consider $O_X$-algebras. There you can have equivariant Azumaya algebras that are not base-change. $\endgroup$
    – Dror Speiser
    Commented Feb 9, 2012 at 16:34
  • $\begingroup$ @Dror: I don't know details, but my general feeling says that your argument does not contradict my statement? In my understanding, Serre-Hohcschild follows from interpretation of the unstructured global sections $Sh_G (Y) \to Ab$ as composition of $\Gamma: Sh_G (Y) \to G-mod$ with invariants $inv: G-mod \to Ab$; Where usually we already understand that $Sh_G (Y)$ is equivalent to $Sh(G\Y)$, for the $G\Y$ we have in mind. I might be wrong. $\endgroup$
    – Sasha
    Commented Feb 9, 2012 at 17:15

1 Answer 1

Reset to default
2
$\begingroup$

See SGA 7, XIII, Rappel 1.1.3; see also Geisser, Weil-étale cohomology over finite fields, Lemma 2.1 b).

Improve this answer
$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .