In mathematics, Galois cohomology is the study of the group cohomology of Galois modules, that is, the application of homological algebra to modules for Galois groups. A Galois group G associated to a field extension L/K acts in a natural way on some abelian groups, for example those constructed directly from L, but also through other Galois representations that may be derived by more abstract means. Galois cohomology accounts for the way in which taking Galois-invariant elements fails to be an exact functor.
The current theory of Galois cohomology came together around 1950, when it was realised that the Galois cohomology of ideal class groups in algebraic number theory was one way to formulate class field theory, at the time it was in the process of ridding itself of connections to L-functions. Galois cohomology makes no assumption that Galois groups are abelian groups, so this was a non-abelian theory. It was formulated abstractly as a theory of class formations. Two developments of the 1960s turned the position around. Firstly, Galois cohomology appeared as the foundational layer of étale cohomology theory (roughly speaking, the theory as it applies to zero-dimensional schemes). Secondly, non-abelian class field theory was launched as part of the Langlands philosophy.
The earliest results identifiable as Galois cohomology had been known long before, in algebraic number theory and the arithmetic of elliptic curves. The normal basis theorem implies that the first cohomology group of the additive group of L will vanish; this is a result on general field extensions, but was known in some form to Richard Dedekind. The corresponding result for the multiplicative group is known as Hilbert's Theorem 90, and was known before 1900. Kummer theory was another such early part of the theory, giving a description of the connecting homomorphism coming from the m-th power map.
In fact, for a while the multiplicative case of a 1-cocycle for groups that are not necessarily cyclic was formulated as the solubility of Noether's equations, named for Emmy Noether; they appear under this name in Emil Artin's treatment of Galois theory, and may have been folklore in the 1920s.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Galois theory aims at describing the algebraic symmetries of fields. After reviewing the basic material (from the 2nd year course "Ring and Fields") and in particular the Galois correspondence, we wi
Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a
In this course we will describe in numerous examples how methods from l-adic cohomology as developed by Grothendieck, Deligne and Katz can interact with methods from analytic number theory (prime numb
En théorie de Galois, le théorème 90 de Hilbert est une propriété algébrique d'énoncé simple et de grande portée par son interprétation homologique. Ce théorème tire son nom de l'ouvrage paru en 1897, , par David Hilbert, dans lequel il est énoncé, et démontré, comme théorème 90. Il a été ensuite généralisé par Emmy Noether. Cette propriété traduit en fait très exactement l'annulation du premier groupe de cohomologie galoisienne H(G, L). Premièrement, on montre la réciproque : Si alors .
En mathématiques, un corps de nombres algébriques (ou simplement corps de nombres) est une extension finie K du corps Q des nombres rationnels. En particulier, c'est une extension algébrique : tous les éléments de K sont des nombres algébriques, dont le degré divise le degré de l'extension. C'est aussi une extension séparable car Q est de caractéristique nulle donc parfait. Tout sous-corps de C engendré par un nombre fini de nombres algébriques est un corps de nombres.
La théorie des représentations galoisiennes est l'application naturelle de la théorie des représentations à la théorie algébrique des nombres. Un module galoisien est un module sur lequel agit un groupe de Galois G. Ces modules seront par exemple des groupes d'unités, des groupes des classes, ou des groupes de Galois eux-mêmes. En théorie algébrique des nombres classique, soit L une extension galoisienne d'un corps de nombres K, et soit G le groupe de Galois correspondant.
Explore la théorie de Rham, les valeurs L et les extensions, y compris les formules de valeur spéciale et les exemples liés aux caractères Hecke et aux formes modulaires.
We use Masser's counting theorem to prove a lower bound for the canonical height in powers of elliptic curves. We also prove the Galois case of the elliptic Lehmer problem, combining Kummer theory and Masser's result with bounds on the rank and torsion of ...
Springer Heidelberg2017
Cohomological Invariants for G-Galois Algebras and Self-Dual Normal Bases. We define degree two cohomological invariants for G-Galois algebras over fields of characteristic not 2, and use them to give necessary conditions for the existence of a self--dua ...
2017
,
In this article we give a new proof of Ngô's Geometric Stabilisation Theorem, which implies the Fundamental Lemma. This is a statement which relates the cohomology of Hitchin fibres for a quasi-split reductive group scheme G to the cohomology of Hitchin fi ...