Skip to main content
2 of 2
replaced http://mathoverflow.net/ with https://mathoverflow.net/

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

Will Sawin
  • 148.6k
  • 9
  • 324
  • 563