Hilbert's Theorem 90

From HandWiki
Short description: Result due to Kummer on cyclic extensions of fields that leads to Kummer theory

In abstract algebra, Hilbert's Theorem 90 (or Satz 90) is an important result on cyclic extensions of fields (or to one of its generalizations) that leads to Kummer theory. In its most basic form, it states that if L/K is an extension of fields with cyclic Galois group G = Gal(L/K) generated by an element [math]\displaystyle{ \sigma, }[/math] and if [math]\displaystyle{ a }[/math] is an element of L of relative norm 1, that is

[math]\displaystyle{ N(a):=a\, \sigma(a)\, \sigma^2(a)\cdots \sigma^{n-1}(a)=1, }[/math]

then there exists [math]\displaystyle{ b }[/math] in L such that

[math]\displaystyle{ a=b/\sigma(b). }[/math]

The theorem takes its name from the fact that it is the 90th theorem in David Hilbert's Zahlbericht (Hilbert 1897, 1998), although it is originally due to Kummer (1855, p.213, 1861).

Often a more general theorem due to Emmy Noether (1933) is given the name, stating that if L/K is a finite Galois extension of fields with arbitrary Galois group G = Gal(L/K), then the first cohomology group of G, with coefficients in the multiplicative group of L, is trivial:

[math]\displaystyle{ H^1(G,L^\times)=\{1\}. }[/math]

Examples

Let [math]\displaystyle{ L/K }[/math] be the quadratic extension [math]\displaystyle{ \Q(i)/\Q }[/math]. The Galois group is cyclic of order 2, its generator [math]\displaystyle{ \sigma }[/math] acting via conjugation:

[math]\displaystyle{ \sigma: c + di\mapsto c - di. }[/math]

An element [math]\displaystyle{ a=x+yi }[/math] in [math]\displaystyle{ \Q(i) }[/math] has norm [math]\displaystyle{ a\sigma(a)=x^2+y^2 }[/math]. An element of norm one thus corresponds to a rational solution of the equation [math]\displaystyle{ x^2+y^2=1 }[/math] or in other words, a point with rational coordinates on the unit circle. Hilbert's Theorem 90 then states that every such element a of norm one can be written as

[math]\displaystyle{ a=\frac{c-di}{c+di}=\frac{c^2-d^2}{c^2+d^2} - \frac{2cd}{c^2+d^2} i, }[/math]

where [math]\displaystyle{ b = c+di }[/math] is as in the conclusion of the theorem, and c and d are both integers. This may be viewed as a rational parametrization of the rational points on the unit circle. Rational points [math]\displaystyle{ (x,y)=(p/r,q/r) }[/math] on the unit circle [math]\displaystyle{ x^2+y^2=1 }[/math] correspond to Pythagorean triples, i.e. triples [math]\displaystyle{ (p,q,r) }[/math] of integers satisfying [math]\displaystyle{ p^2+q^2=r^2 }[/math].

Cohomology

The theorem can be stated in terms of group cohomology: if L× is the multiplicative group of any (not necessarily finite) Galois extension L of a field K with corresponding Galois group G, then

[math]\displaystyle{ H^1(G,L^\times)=\{1\}. }[/math]

Specifically, group cohomology is the cohomology of the complex whose i-cochains are arbitrary functions from i-tuples of group elements to the multiplicative coefficient group, [math]\displaystyle{ C^i(G,L^\times) = \{\phi:G^i\to L^\times\} }[/math], with differentials [math]\displaystyle{ d^i : C^i\to C^{i+1} }[/math] defined in dimensions [math]\displaystyle{ i = 0,1 }[/math] by:

[math]\displaystyle{ (d^0(b))(\sigma) = b / b^\sigma, \quad \text{ and } \quad (d^1(\phi))(\sigma,\tau) \,=\,\phi(\sigma) \phi(\tau)^\sigma / \phi(\sigma\tau) , }[/math]

where [math]\displaystyle{ x^g }[/math] denotes the image of the [math]\displaystyle{ G }[/math]-module element [math]\displaystyle{ x }[/math] under the action of the group element [math]\displaystyle{ g \in G }[/math]. Note that in the first of these we have identified a 0-cochain [math]\displaystyle{ \gamma = \gamma_b : G^0 = id_G \to L^\times }[/math], with its unique image value [math]\displaystyle{ b \in L^\times }[/math]. The triviality of the first cohomology group is then equivalent to the 1-cocycles [math]\displaystyle{ Z^1 }[/math] being equal to the 1-coboundaries [math]\displaystyle{ B^1 }[/math], viz.:

[math]\displaystyle{ \begin{array}{rcl} Z^1 &=& \ker d^1 &=& \{\phi\in C^1\text{ satisfying }\,\,\forall \sigma , \tau \in G \, \colon\,\, \phi(\sigma\tau) = \phi(\sigma)\,\phi(\tau)^\sigma \} \\ \text{ is equal to }\\ B^1 &=& \text{im } d^0 &=& \{\phi\in C^1\ \, \colon \,\, \exists\, b\in L^\times \text{ such that } \phi(\sigma)=b / b^\sigma \ \ \forall \sigma \in G \}. \end{array} }[/math]

For cyclic [math]\displaystyle{ G =\{1,\sigma,\ldots,\sigma^{n-1}\} }[/math], a 1-cocycle is determined by [math]\displaystyle{ \phi(\sigma)=a\in L^\times }[/math], with [math]\displaystyle{ \phi(\sigma^i) = a\,\sigma(a)\cdots\sigma^{i-1}(a) }[/math] and:

[math]\displaystyle{ 1=\phi(1)=\phi(\sigma^n)=a\,\sigma(a)\cdots\sigma^{n-1}(a)=N(a). }[/math]

On the other hand, a 1-coboundary is determined by [math]\displaystyle{ \phi(\sigma)=b / b^\sigma }[/math]. Equating these gives the original version of the Theorem.


A further generalization is to cohomology with non-abelian coefficients: that if H is either the general or special linear group over L, including [math]\displaystyle{ \operatorname{GL}_1(L)=L^\times }[/math], then

[math]\displaystyle{ H^1(G,H)=\{1\}. }[/math]

Another generalization is to a scheme X:

[math]\displaystyle{ H^1_{\text{et}}(X,\mathbb{G}_m) = H^1(X,\mathcal{O}_X^\times) = \operatorname{Pic}(X), }[/math]

where [math]\displaystyle{ \operatorname{Pic}(X) }[/math] is the group of isomorphism classes of locally free sheaves of [math]\displaystyle{ \mathcal{O}_X^\times }[/math]-modules of rank 1 for the Zariski topology, and [math]\displaystyle{ \mathbb{G}_m }[/math] is the sheaf defined by the affine line without the origin considered as a group under multiplication. [1]

There is yet another generalization to Milnor K-theory which plays a role in Voevodsky's proof of the Milnor conjecture.

Proof

Let [math]\displaystyle{ L/K }[/math] be cyclic of degree [math]\displaystyle{ n, }[/math] and [math]\displaystyle{ \sigma }[/math] generate [math]\displaystyle{ \operatorname{Gal}(L/K) }[/math]. Pick any [math]\displaystyle{ a\in L }[/math] of norm

[math]\displaystyle{ N(a):=a \sigma(a) \sigma^2(a)\cdots \sigma^{n-1}(a)=1. }[/math]

By clearing denominators, solving [math]\displaystyle{ a=x/\sigma^{-1}(x) \in L }[/math] is the same as showing that [math]\displaystyle{ a\sigma^{-1}(\cdot) : L \to L }[/math] has [math]\displaystyle{ 1 }[/math] as an eigenvalue. We extend this to a map of [math]\displaystyle{ L }[/math]-vector spaces via

[math]\displaystyle{ \begin{cases} 1_L\otimes a\sigma^{-1}(\cdot) : L\otimes_KL \to L\otimes_K L \\ \ell \otimes\ell'\mapsto \ell\otimes a\sigma^{-1}(\ell').\end{cases} }[/math]

The primitive element theorem gives [math]\displaystyle{ L=K(\alpha) }[/math] for some [math]\displaystyle{ \alpha }[/math]. Since [math]\displaystyle{ \alpha }[/math] has minimal polynomial

[math]\displaystyle{ f(t)=(t-\alpha)(t-\sigma(\alpha))\cdots \left (t-\sigma^{n-1}(\alpha) \right ) \in K[t], }[/math]

we can identify

[math]\displaystyle{ L\otimes_KL\stackrel{\sim}{\to} L\otimes_K K[t] /f(t) \stackrel{\sim}{\to} L[t]/f(t) \stackrel{\sim}{\to} L^{n} }[/math]

via

[math]\displaystyle{ \ell\otimes p(\alpha) \mapsto \ell \left (p(\alpha), p(\sigma \alpha ),\ldots , p(\sigma^{n-1} \alpha ) \right ). }[/math]

Here we wrote the second factor as a [math]\displaystyle{ K }[/math]-polynomial in [math]\displaystyle{ \alpha }[/math].

Under this identification, our map becomes

[math]\displaystyle{ \begin{cases} a\sigma^{-1}(\cdot) : L^n\to L^n \\ \ell \left(p(\alpha),\ldots, p(\sigma^{n-1}\alpha)) \mapsto \ell(ap(\sigma^{n-1}\alpha), \sigma a p(\alpha), \ldots, \sigma^{n-1} a p(\sigma^{n-2}\alpha) \right ). \end{cases} }[/math]

That is to say under this map

[math]\displaystyle{ (\ell_1, \ldots ,\ell_n)\mapsto (a \ell_n, \sigma a \ell_1, \ldots, \sigma^{n-1} a \ell_{n-1}). }[/math]

[math]\displaystyle{ (1, \sigma a, \sigma a \sigma^2 a, \ldots, \sigma a \cdots \sigma^{n-1}a) }[/math] is an eigenvector with eigenvalue [math]\displaystyle{ 1 }[/math] iff [math]\displaystyle{ a }[/math] has norm [math]\displaystyle{ 1 }[/math].

References

  1. ↑ Milne, James S. (2013). "Lectures on Etale Cohomology (v2.21)". p. 80. https://www.jmilne.org/math/CourseNotes/LEC.pdf. 

External links



Retrieved from "https://handwiki.org/wiki/index.php?title=Hilbert%27s_Theorem_90&oldid=2227194"