added 940 characters in body
Source Link
nfdc23
  • 958
  • 23
  • 37

One can do much better: it is not necessary to assume $L/K$ is Galois (merely separable is sufficient). And in fact one can formulate the result in a manner which works beyond that of fields, working over more general rings. Namely, let $f:S' \rightarrow S$ be a finite etale map of schemes, and let $G'$ be a commutative finitely presented and relatively affine $S'$-group scheme. Then the finitely presented and relatively affine $S$-group scheme $G = {\rm{R}}_{S'/S}(G')$ defines a sheaf for the etale topology on $S$, and one can contemplate the etale cohomology group ${\rm{H}}^i(S, G)$; when $S$ and $S'$ are spectra of fields and $G' = {\rm{GL}}_1$ and $i=1$ then this recovers the setup of the question with the Galois hypothesis relaxed to separability of the field extension.

So what? Well, I claim that naturally ${\rm{H}}^i(S, G) = {\rm{H}}^i(S', G')$. In fact, this is a special case of something more general, and which in greater generality is clearer to prove: if $\mathscr{F}'$ is any abelian etale sheaf on $S'$ then we get the pushforward $f_{\ast}(\mathscr{F}')$ as an abelian etale sheaf on $S$, and when $\mathscr{F}'$ is the functor of points on $G'$ on the category of etale $S'$-schemes then $f_{\ast}(\mathscr{F}')$ is the functor of points of $G$ on the category of etale $S$-schemes (since by definition Weil restriction is a "functorial pushforward"). Consequently, this is all a special case of the general claim that ${\rm{H}}^{\bullet}(S, f_{\ast}(\cdot)) \simeq {\rm{H}}^{\bullet}(S', \cdot)$ on the category of abelian etale sheaves on $S'$. But $f_{\ast}$ is exact between categories of abelian etale sheaves since $f$ is finite (i.e., higher direct images of $f$ for the etale topology vanish), so this is just the degenerate Leray spectral sequence.

[Of course, in the special case of a finite separable extension of fields this recovers the Shapiro Lemma identification by relating everything to edge maps in spectral sequences.]

It's overkill for the specific question posed, but since you asked for a way to do it "without calculation" (which I'll interpret to mean "by more conceptual means") it seemed worth mentioning. One virtue of this more general approach is that it illuminates the importance of considering the etale topology rather than the fppf topology (e.g., over fields perhaps one might want to consider coefficients in a non-smooth group schemes, and then fppf cohomology is more appropriate to consider than etale cohomology, though the two coincide in all degrees with coefficients in a smooth commutative relatively affine group scheme by section 11 of Grothendieck's Brauer III paper). The point is that the preceding argument breaks down for the fppf topology because pushforward of finite flat maps are not exact for abelian sheaves relative to the fppf topology, even for something as concrete as a non-separable finite extension of fields (and correspondingly degree-1 higher direct image sheaves on $\alpha_p$ and $\mu_p$ are generally nonzero when considering imperfect fields of characteristic $p$). So there is no version of Shapiro's Lemma for the fppf topology.

Addendum: Although there is no version of Shapiro's Lemma for the fppf topology, when the coefficients upstairs are a smooth relatively affine commutative group scheme then (by Brauer III, as noted above) fppf cohomology coincides with etale cohomology and so by exactness of pushforward for the etale topology relative to any finite morphism we do have a Shapiro Lemma with $f$ above merely finite locally free rather than just finite etale. In the special case of a finite (possibly non-separable) extension of fields and coefficients in a smooth commutative group scheme of finite type this recovers (by a different viewpoint of proof) the (unique) Corollary in section 2.3 of Chapter IV of Oesterle's beautiful paper "Nombres de Tamagawa et groupes unipotents en caracteristique $p$" in Inventiones Math 78 pp. 13--88 (1984) (which in sections 2.3 and 2.4 gives related useful results in the setting of local and global fields).

One can do much better: it is not necessary to assume $L/K$ is Galois (merely separable is sufficient). And in fact one can formulate the result in a manner which works beyond that of fields, working over more general rings. Namely, let $f:S' \rightarrow S$ be a finite etale map of schemes, and let $G'$ be a commutative finitely presented and relatively affine $S'$-group scheme. Then the finitely presented and relatively affine $S$-group scheme $G = {\rm{R}}_{S'/S}(G')$ defines a sheaf for the etale topology on $S$, and one can contemplate the etale cohomology group ${\rm{H}}^i(S, G)$; when $S$ and $S'$ are spectra of fields and $G' = {\rm{GL}}_1$ and $i=1$ then this recovers the setup of the question with the Galois hypothesis relaxed to separability of the field extension.

So what? Well, I claim that naturally ${\rm{H}}^i(S, G) = {\rm{H}}^i(S', G')$. In fact, this is a special case of something more general, and which in greater generality is clearer to prove: if $\mathscr{F}'$ is any abelian etale sheaf on $S'$ then we get the pushforward $f_{\ast}(\mathscr{F}')$ as an abelian etale sheaf on $S$, and when $\mathscr{F}'$ is the functor of points on $G'$ on the category of etale $S'$-schemes then $f_{\ast}(\mathscr{F}')$ is the functor of points of $G$ on the category of etale $S$-schemes (since by definition Weil restriction is a "functorial pushforward"). Consequently, this is all a special case of the general claim that ${\rm{H}}^{\bullet}(S, f_{\ast}(\cdot)) \simeq {\rm{H}}^{\bullet}(S', \cdot)$ on the category of abelian etale sheaves on $S'$. But $f_{\ast}$ is exact between categories of abelian etale sheaves since $f$ is finite (i.e., higher direct images of $f$ for the etale topology vanish), so this is just the degenerate Leray spectral sequence.

[Of course, in the special case of a finite separable extension of fields this recovers the Shapiro Lemma identification by relating everything to edge maps in spectral sequences.]

It's overkill for the specific question posed, but since you asked for a way to do it "without calculation" (which I'll interpret to mean "by more conceptual means") it seemed worth mentioning. One virtue of this more general approach is that it illuminates the importance of considering the etale topology rather than the fppf topology (e.g., over fields perhaps one might want to consider coefficients in a non-smooth group schemes, and then fppf cohomology is more appropriate to consider than etale cohomology, though the two coincide in all degrees with coefficients in a smooth commutative relatively affine group scheme by section 11 of Grothendieck's Brauer III paper). The point is that the preceding argument breaks down for the fppf topology because pushforward of finite flat maps are not exact for abelian sheaves relative to the fppf topology, even for something as concrete as a non-separable finite extension of fields (and correspondingly degree-1 higher direct image sheaves on $\alpha_p$ and $\mu_p$ are generally nonzero when considering imperfect fields of characteristic $p$). So there is no version of Shapiro's Lemma for the fppf topology.

One can do much better: it is not necessary to assume $L/K$ is Galois (merely separable is sufficient). And in fact one can formulate the result in a manner which works beyond that of fields, working over more general rings. Namely, let $f:S' \rightarrow S$ be a finite etale map of schemes, and let $G'$ be a commutative finitely presented and relatively affine $S'$-group scheme. Then the finitely presented and relatively affine $S$-group scheme $G = {\rm{R}}_{S'/S}(G')$ defines a sheaf for the etale topology on $S$, and one can contemplate the etale cohomology group ${\rm{H}}^i(S, G)$; when $S$ and $S'$ are spectra of fields and $G' = {\rm{GL}}_1$ and $i=1$ then this recovers the setup of the question with the Galois hypothesis relaxed to separability of the field extension.

So what? Well, I claim that naturally ${\rm{H}}^i(S, G) = {\rm{H}}^i(S', G')$. In fact, this is a special case of something more general, and which in greater generality is clearer to prove: if $\mathscr{F}'$ is any abelian etale sheaf on $S'$ then we get the pushforward $f_{\ast}(\mathscr{F}')$ as an abelian etale sheaf on $S$, and when $\mathscr{F}'$ is the functor of points on $G'$ on the category of etale $S'$-schemes then $f_{\ast}(\mathscr{F}')$ is the functor of points of $G$ on the category of etale $S$-schemes (since by definition Weil restriction is a "functorial pushforward"). Consequently, this is all a special case of the general claim that ${\rm{H}}^{\bullet}(S, f_{\ast}(\cdot)) \simeq {\rm{H}}^{\bullet}(S', \cdot)$ on the category of abelian etale sheaves on $S'$. But $f_{\ast}$ is exact between categories of abelian etale sheaves since $f$ is finite (i.e., higher direct images of $f$ for the etale topology vanish), so this is just the degenerate Leray spectral sequence.

[Of course, in the special case of a finite separable extension of fields this recovers the Shapiro Lemma identification by relating everything to edge maps in spectral sequences.]

It's overkill for the specific question posed, but since you asked for a way to do it "without calculation" (which I'll interpret to mean "by more conceptual means") it seemed worth mentioning. One virtue of this more general approach is that it illuminates the importance of considering the etale topology rather than the fppf topology (e.g., over fields perhaps one might want to consider coefficients in a non-smooth group schemes, and then fppf cohomology is more appropriate to consider than etale cohomology, though the two coincide in all degrees with coefficients in a smooth commutative relatively affine group scheme by section 11 of Grothendieck's Brauer III paper). The point is that the preceding argument breaks down for the fppf topology because pushforward of finite flat maps are not exact for abelian sheaves relative to the fppf topology, even for something as concrete as a non-separable finite extension of fields (and correspondingly degree-1 higher direct image sheaves on $\alpha_p$ and $\mu_p$ are generally nonzero when considering imperfect fields of characteristic $p$). So there is no version of Shapiro's Lemma for the fppf topology.

Addendum: Although there is no version of Shapiro's Lemma for the fppf topology, when the coefficients upstairs are a smooth relatively affine commutative group scheme then (by Brauer III, as noted above) fppf cohomology coincides with etale cohomology and so by exactness of pushforward for the etale topology relative to any finite morphism we do have a Shapiro Lemma with $f$ above merely finite locally free rather than just finite etale. In the special case of a finite (possibly non-separable) extension of fields and coefficients in a smooth commutative group scheme of finite type this recovers (by a different viewpoint of proof) the (unique) Corollary in section 2.3 of Chapter IV of Oesterle's beautiful paper "Nombres de Tamagawa et groupes unipotents en caracteristique $p$" in Inventiones Math 78 pp. 13--88 (1984) (which in sections 2.3 and 2.4 gives related useful results in the setting of local and global fields).

Source Link
nfdc23
  • 958
  • 23
  • 37

One can do much better: it is not necessary to assume $L/K$ is Galois (merely separable is sufficient). And in fact one can formulate the result in a manner which works beyond that of fields, working over more general rings. Namely, let $f:S' \rightarrow S$ be a finite etale map of schemes, and let $G'$ be a commutative finitely presented and relatively affine $S'$-group scheme. Then the finitely presented and relatively affine $S$-group scheme $G = {\rm{R}}_{S'/S}(G')$ defines a sheaf for the etale topology on $S$, and one can contemplate the etale cohomology group ${\rm{H}}^i(S, G)$; when $S$ and $S'$ are spectra of fields and $G' = {\rm{GL}}_1$ and $i=1$ then this recovers the setup of the question with the Galois hypothesis relaxed to separability of the field extension.

So what? Well, I claim that naturally ${\rm{H}}^i(S, G) = {\rm{H}}^i(S', G')$. In fact, this is a special case of something more general, and which in greater generality is clearer to prove: if $\mathscr{F}'$ is any abelian etale sheaf on $S'$ then we get the pushforward $f_{\ast}(\mathscr{F}')$ as an abelian etale sheaf on $S$, and when $\mathscr{F}'$ is the functor of points on $G'$ on the category of etale $S'$-schemes then $f_{\ast}(\mathscr{F}')$ is the functor of points of $G$ on the category of etale $S$-schemes (since by definition Weil restriction is a "functorial pushforward"). Consequently, this is all a special case of the general claim that ${\rm{H}}^{\bullet}(S, f_{\ast}(\cdot)) \simeq {\rm{H}}^{\bullet}(S', \cdot)$ on the category of abelian etale sheaves on $S'$. But $f_{\ast}$ is exact between categories of abelian etale sheaves since $f$ is finite (i.e., higher direct images of $f$ for the etale topology vanish), so this is just the degenerate Leray spectral sequence.

[Of course, in the special case of a finite separable extension of fields this recovers the Shapiro Lemma identification by relating everything to edge maps in spectral sequences.]

It's overkill for the specific question posed, but since you asked for a way to do it "without calculation" (which I'll interpret to mean "by more conceptual means") it seemed worth mentioning. One virtue of this more general approach is that it illuminates the importance of considering the etale topology rather than the fppf topology (e.g., over fields perhaps one might want to consider coefficients in a non-smooth group schemes, and then fppf cohomology is more appropriate to consider than etale cohomology, though the two coincide in all degrees with coefficients in a smooth commutative relatively affine group scheme by section 11 of Grothendieck's Brauer III paper). The point is that the preceding argument breaks down for the fppf topology because pushforward of finite flat maps are not exact for abelian sheaves relative to the fppf topology, even for something as concrete as a non-separable finite extension of fields (and correspondingly degree-1 higher direct image sheaves on $\alpha_p$ and $\mu_p$ are generally nonzero when considering imperfect fields of characteristic $p$). So there is no version of Shapiro's Lemma for the fppf topology.

Post Made Community Wiki by nfdc23