Welcome to MathOverflow

Question

3

1

I know two generalizations of Hilbert 90, but I don't if there is a statement that contains both:

The first statement

Let $K$ be a field, then $H^1(Gal(K), GL_n(K^{sep}))=0$.

The second statement

Let $X$ be a scheme, then $H^1(X,\mathbb{G}_m)=Pic(X)$.

Question

Is there a nice characterization of $H^1(X,GL_n)$ (where $GL_n$ is treated as a sheaf in the etale topology) for a general scheme $X$?

flag	asked Oct 30 2011 at 22:56 Makhalan Duff 3,837●5●36

3

One general form is that $GL_n$-torsors in the fppf (or a fortiori etale) topology coincide with Zariski $GL_n$-torsors (alias: rank $n$ vector bundles). Your first statement follows, since the left hand side computes isomorphism classes of etale $GL_n$-torsors on $\Spec(K)$, which then coincides with isomorphism classes of rank $n$ vector bundles on $\Spec(K)$, which is obviously just the one. Your second statement (which is a little imprecise, but presumably your $H^1$ is etale) is this for $n=1$. – Moosbrugger Oct 30 2011 at 23:25

Pavel Safronov · Accepted Answer · 2011-10-30 23:06:24Z UTC

$H^1$ computed via sheaf cohomology coincides with the Cech $H^1$, which can be interpreted as giving transition functions. In particular, $H^1(X, GL_n)$ is in bijection with the set of rank $n$ vector bundles on $X$ in the Zariski topology (Theorem 11.4 in Milne's notes on etale cohomology).

What is the general statement of Hilbert 90?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

The first statement

The second statement

Question

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.