Para un primo ℓ y un grupo algebraico como una variedad abeliana A, el módulo de Tate T_ℓ(A) es el límite inverso de los subgrupos de torsión A[ℓ^n] bajo las aplicaciones de multiplicación, produciendo un Z_ℓ‑módulo libre de rango finito provisto de una acción continua del grupo de Galois absoluto.

Principio

Reunir la torsión en potencias de ℓ en un único objeto lineal de modo que la acción de Galois sobre los puntos de torsión se convierta en una representación lineal continua sobre Z_ℓ (y tras tensar con Q_ℓ en una representación en espacio vectorial), transformando la aritmética discreta de la torsión en álgebra lineal ℓ‑ádica.

Demostración

El módulo de Tate de una curva elíptica E sobre un cuerpo de números es isomorfo a Z_ℓ^2 y lleva la representación ℓ‑ádica natural de dimensión 2; el módulo de Tate del grupo multiplicativo da lugar al carácter ciclotómico Z_ℓ(1).

Aplicación incorrecta

Confundir límite inverso con límite directo, usar únicamente puntos de torsión definidos sobre el cuerpo base en lugar de puntos geométricos, o ignorar las sutilezas cuando ℓ coincide con la característica residual (donde la ramificación salvaje o la no‑etélicidad pueden romper propiedades).

Consecuencia

El módulo de Tate produce representaciones ℓ‑ádicas de Galois que controlan gran parte de la información aritmética: reducciones, álgebras de endomorfismos, y sirve como la entrada lineal para conjeturas como Tate y Fontaine–Mazur; permite además comparar clases de isogenia con representaciones.

Inversión

En lugar de pasar al límite inverso y estudiar el módulo de Tate, considerar los grupos de torsión finitos de manera individual; esto enfatiza los puntos aritméticos finitos pero pierde la topología ℓ‑ádica coherente y la continuidad de la acción de Galois.

Límite

Definido como límite inverso de la torsión en potencias de ℓ y mejor comportado cuando ℓ es distinto de las características residuales y para grupos cuya torsión ℓ^n es étale; cuando ℓ coincide con la característica hay que manejar estructuras adicionales (grupos p‑divisibles, módulos de Dieudonné) y posibles fallos de libertad.

Tensión semántica

Compite con invariantes cohomológicos ℓ‑ádicos (cohomología étale) y con análogos p‑ádicos: el módulo de Tate es concreto y basado en torsión, mientras que la cohomología ℓ‑ádica empaqueta información geométrica más amplia; hay también tensión entre el módulo de Tate y su racionalización V_ℓ = T_ℓ ⊗ Q_ℓ.

Síntesis

El módulo de Tate reúne la torsión en potencias de ℓ de un grupo algebraico en un Z_ℓ‑módulo libre con acción continua de Galois; es el objeto lineal estándar para estudiar la torsión ℓ‑ádicamente y produce representaciones que reflejan reducción, endomorfismos y la estructura aritmética global.