Un homomorphisme continu du groupe de Galois absolu d'un corps vers un groupe de matrices sur un anneau ou corps de coefficients muni d'une topologie (par exemple Gal(K̄/K) → GL_n(E)), qui linéarise l'action de Galois et encode les informations arithmétiques en termes d'algèbre linéaire.

Principe

Transposer l'action profinie, souvent non linéaire, du groupe de Galois absolu en actions linéaires continues sur des modules ou espaces vectoriels de rang fini, afin d'étudier les phénomènes arithmétiques par des invariants de la théorie des représentations et de l'algèbre linéaire.

Démonstration

Le module de Tate ℓ-adique d'une courbe elliptique définie sur un corps de nombres fournit une représentation ℓ-adique continue de dimension 2 du groupe de Galois absolu ; le caractère cyclotomique χ_ℓ : Gal(Q̄/Q) → Z_ℓ^× est une représentation de Galois unidimensionnelle codant l'action sur les racines ℓ‑puisées de l'unité.

Mauvaise application

Considérer comme représentation de Galois n'importe quelle application du groupe de Galois abstrait vers GL_n sans exiger la continuité pour la topologie profinie, ou négliger la nature topologique du corps de coefficients (par exemple utiliser des matrices sur un corps fini quand une topologie ℓ-adique est requise).

Conséquence

Employée correctement, elle produit des invariants linéaires tels que les traces d'éléments de Frobenius, des facteurs locaux et globaux L, et permet des comparaisons avec des objets automorphes ; elle organise les données arithmétiques en systèmes compatibles contrôlant déformations et ramification.

Inversion

Plutôt que de linéariser l'action de Galois, on peut se concentrer sur l'extension elle‑même ou sur le groupe profini ; cette inversion met l'accent sur les extensions de corps et la structure des sous-groupes plutôt que sur les invariants modulaires.

Limite

S'applique aux homomorphismes continus des groupes de Galois absolus profinis vers des groupes de matrices sur des anneaux ou corps de coefficients topologiques (ℓ-adique, p-adique, finis) et exclut les applications non continues, les assignations matricielles purement formelles ou les constructions ignorants la topologie ou la ramification.

Tension sémantique

En tension avec la notion de représentation automorphe : les deux empaquettent des données arithmétiques mais se situent sur des côtés différents des correspondances conjecturales ; se distingue aussi des représentations de groupes abstraits par l'importance de la continuité et des corps de coefficients arithmétiques.

Synthèse

Une représentation de Galois est l'avatar linéaire continu du groupe de Galois absolu agissant sur un module ou espace vectoriel topologique de rang fini ; elle capture les aspects locaux et globaux de l'arithmétique via les traces, la ramification et la compatibilité entre places, reliant ainsi la théorie des corps à l'algèbre linéaire.