Field Arithmetic - Fields That Are Defined By Their Absolute Galois Groups

Fields That Are Defined By Their Absolute Galois Groups

Some profinite groups occur as the absolute Galois group of non-isomorphic fields. A first example for this is

This group is isomorphic to the absolute Galois group of an arbitrary finite field. Also the absolute Galois group of the field of formal Laurent series C((t)) over the complex numbers is isomorphic to that group.

To get another example, we bring below two non-isomorphic fields whose absolute Galois groups are free (that is free profinite group).

  • Let C be an algebraically closed field and x a variable. Then Gal(C(x)) is free of rank equal to the cardinality of C. (This result is due to Adrien Douady for 0 characteristic and has its origins in Riemann's existence theorem. For a field of arbitrary characteristic it is due to David Harbater and Florian Pop, and was also proved later by Dan Haran and Moshe Jarden.)
  • The absolute Galois group Gal(Q) (where Q are the rational numbers) is compact, and hence equipped with a normalized Haar measure. For a Galois automorphism s (that is an element in Gal(Q)) let Ns be the maximal Galois extension of Q that s fixes. Then with probability 1 the absolute Galois group Gal(Ns) is free of countable rank. (This result is due to Moshe Jarden.)

In contrast to the above examples, if the fields in question are finitely generated over Q, Florian Pop proves that an isomorphism of the absolute Galois groups yields an isomorphism of the fields:

Theorem. Let K, L be finitely generated fields over Q and let a: Gal(K) → Gal(L) be an isomorphism. Then there exists a unique isomorphism of the algebraic closures, b: Kalg → Lalg, that induces a.

This generalizes an earlier work of Jürgen Neukirch and Koji Uchida on number fields.

Read more about this topic:  Field Arithmetic

Famous quotes containing the words fields that, fields, defined, absolute and/or groups:

    “The world’s great day is growing late,
    Yet strange these fields that we have planted
    So long with crops of love and hate.”
    —Edwin Muir (1887–1959)

    “Smart lad, to slip betimes away
    From fields where glory does not stay,
    And early though the laurel grows
    It withers quicker than the rose.”
    —A.E. (Alfred Edward)

    “Why is it so difficult to see the lesbian—even when she is there, quite plainly, in front of us? In part because she has been “ghosted”Mor made to seem invisible—by culture itself.... Once the lesbian has been defined as ghostly—the better to drain her of any sensual or moral authority—she can then be exorcised.”
    —Terry Castle, U.S. lesbian author. The Apparitional Lesbian, ch. 1 (1993)

    “Only the more uncompromising of the mystics still seek for knowledge in a silent land of absolute intuition, where the intellect finally lays down its conceptual tools, and rests from its pragmatic labors, while its works do not follow it, but are simply forgotten, and are as if they never had been.”
    —Josiah Royce (1855–1916)

    “Writers and politicians are natural rivals. Both groups try to make the world in their own images; they fight for the same territory.”
    —Salman Rushdie (b. 1947)