Return to Answer

replaced http://mathoverflow.net/ with https://mathoverflow.net/

Source Link

edited Apr 13, 2017 at 12:58

1
2
3

$R^1 j_*G$ is defined as a sheafification of the presheaf $U \to H^1 ( j^{-1} U, G)$. The stalk is defined as a certain forward limit. The sheafification of a presheaf has the same stalk as the presheaf. Hence the stalk is equal to the forward limit over all neighborhoods $U$ of $0$ of $H^1( j^{-1} U, G)$.

You can replace the forward limit of cohomology groups by an inverse limit of schemes: The inverse limit over neighborhoods $U$ of $0$ of $j^{-1} U$. This scheme is precisely the spectrum of the field of fractions of the strict henselization of $k[x]$ at $0$. Most likely the etale cohomology computation you did for the completion works for the strict henselization as well. If not, then one can check that etale cohomology of algebraic groups is the same for each: See this answer.See this answer.

For $R^0$, there is clearly a map from sections of $G$ to sections of the pushforward, because each section of $G$ restricts to a section of $G$ on the open set. (This is the push-pull adjunction). To check that this map is an isomorphism, it is enough to check it on stalks. So you must show that for $(x,y) \in k((t))$ such that $x^2-ty^2=1$, $x$ and $y$ are in fact in $k[[t]]$. This is pretty easy to do using leading terms - then oberseve that your proof works equally well with strict henselization instead of completion.

$R^1 j_*G$ is defined as a sheafification of the presheaf $U \to H^1 ( j^{-1} U, G)$. The stalk is defined as a certain forward limit. The sheafification of a presheaf has the same stalk as the presheaf. Hence the stalk is equal to the forward limit over all neighborhoods $U$ of $0$ of $H^1( j^{-1} U, G)$.

You can replace the forward limit of cohomology groups by an inverse limit of schemes: The inverse limit over neighborhoods $U$ of $0$ of $j^{-1} U$. This scheme is precisely the spectrum of the field of fractions of the strict henselization of $k[x]$ at $0$. Most likely the etale cohomology computation you did for the completion works for the strict henselization as well. If not, then one can check that etale cohomology of algebraic groups is the same for each: See this answer.

For $R^0$, there is clearly a map from sections of $G$ to sections of the pushforward, because each section of $G$ restricts to a section of $G$ on the open set. (This is the push-pull adjunction). To check that this map is an isomorphism, it is enough to check it on stalks. So you must show that for $(x,y) \in k((t))$ such that $x^2-ty^2=1$, $x$ and $y$ are in fact in $k[[t]]$. This is pretty easy to do using leading terms - then oberseve that your proof works equally well with strict henselization instead of completion.

$R^1 j_*G$ is defined as a sheafification of the presheaf $U \to H^1 ( j^{-1} U, G)$. The stalk is defined as a certain forward limit. The sheafification of a presheaf has the same stalk as the presheaf. Hence the stalk is equal to the forward limit over all neighborhoods $U$ of $0$ of $H^1( j^{-1} U, G)$.

You can replace the forward limit of cohomology groups by an inverse limit of schemes: The inverse limit over neighborhoods $U$ of $0$ of $j^{-1} U$. This scheme is precisely the spectrum of the field of fractions of the strict henselization of $k[x]$ at $0$. Most likely the etale cohomology computation you did for the completion works for the strict henselization as well. If not, then one can check that etale cohomology of algebraic groups is the same for each: See this answer.

For $R^0$, there is clearly a map from sections of $G$ to sections of the pushforward, because each section of $G$ restricts to a section of $G$ on the open set. (This is the push-pull adjunction). To check that this map is an isomorphism, it is enough to check it on stalks. So you must show that for $(x,y) \in k((t))$ such that $x^2-ty^2=1$, $x$ and $y$ are in fact in $k[[t]]$. This is pretty easy to do using leading terms - then oberseve that your proof works equally well with strict henselization instead of completion.

Source Link

created Mar 5, 2015 at 21:38

148.6k
9
324
563

$R^1 j_*G$ is defined as a sheafification of the presheaf $U \to H^1 ( j^{-1} U, G)$. The stalk is defined as a certain forward limit. The sheafification of a presheaf has the same stalk as the presheaf. Hence the stalk is equal to the forward limit over all neighborhoods $U$ of $0$ of $H^1( j^{-1} U, G)$.

You can replace the forward limit of cohomology groups by an inverse limit of schemes: The inverse limit over neighborhoods $U$ of $0$ of $j^{-1} U$. This scheme is precisely the spectrum of the field of fractions of the strict henselization of $k[x]$ at $0$. Most likely the etale cohomology computation you did for the completion works for the strict henselization as well. If not, then one can check that etale cohomology of algebraic groups is the same for each: See this answer.

For $R^0$, there is clearly a map from sections of $G$ to sections of the pushforward, because each section of $G$ restricts to a section of $G$ on the open set. (This is the push-pull adjunction). To check that this map is an isomorphism, it is enough to check it on stalks. So you must show that for $(x,y) \in k((t))$ such that $x^2-ty^2=1$, $x$ and $y$ are in fact in $k[[t]]$. This is pretty easy to do using leading terms - then oberseve that your proof works equally well with strict henselization instead of completion.