Un homomorfismo continuo del grupo de Galois absoluto de un cuerpo hacia un grupo de matrices sobre un anillo o cuerpo de coeficientes topológico (por ejemplo Gal(K̄/K) → GL_n(E)), que linealiza la acción de Galois y expresa información aritmética en términos de álgebra lineal.

Principio

Traducir la acción profinita, a menudo no lineal, del grupo de Galois absoluto en acciones lineales continuas sobre módulos o espacios vectoriales de rango finito para estudiar fenómenos aritméticos mediante invariantes de álgebra lineal y teoría de representaciones.

Demostración

El módulo de Tate ℓ‑ádico de una curva elíptica sobre un cuerpo de números proporciona una representación ℓ‑ádica continua de dimensión 2 del grupo de Galois absoluto; el carácter ciclotómico χ_ℓ : Gal(Q̄/Q) → Z_ℓ^× es una representación de Galois de dimensión uno que codifica la acción sobre raíces de la unidad de potencia ℓ.

Aplicación incorrecta

Tratar como representación de Galois cualquier aplicación del grupo de Galois abstracto a GL_n sin exigir continuidad respecto de la topología profinita, o ignorar la naturaleza topológica del cuerpo de coeficientes (por ejemplo, usar matrices sobre cuerpos finitos cuando se requiere topología ℓ‑ádica).

Consecuencia

Bien utilizada, produce invariantes lineales como trazas de elementos de Frobenius, factores L locales y globales, y permite comparaciones con objetos automorfos; organiza los datos aritméticos en sistemas compatibles que controlan deformaciones y ramificación.

Inversión

En lugar de linealizar la acción de Galois, considerar directamente la extensión de cuerpos o el grupo profinito; esta inversión pone el énfasis en las extensiones explícitas y la estructura de subgrupos en lugar de los invariantes modulares.

Límite

Se aplica a homomorfismos continuos desde grupos de Galois absolutos profinitos hacia grupos de matrices sobre anillos o cuerpos de coeficientes topológicos (ℓ‑ádico, p‑ádico, finito) y excluye mapas no continuos, asignaciones matriciales puramente formales o construcciones que ignoren la topología o la ramificación.

Tensión semántica

En tensión con la noción de representación automorfa: ambas agrupan datos aritméticos pero operan en lados diferentes de las correspondencias conjeturales; también se distingue de representaciones de grupos abstractos por el papel central de la continuidad y los cuerpos de coeficientes aritméticos.

Síntesis

Una representación de Galois es el avatar lineal y continuo del grupo de Galois absoluto actuando sobre un módulo o espacio vectorial topológico de rango finito; captura aspectos locales y globales de la aritmética mediante trazas, ramificación y compatibilidades entre primos, enlazando la teoría de cuerpos con el álgebra lineal.