Pour un premier ℓ et un groupe algébrique comme une variété abélienne A, le module de Tate T_ℓ(A) est la limite projective des sous‑groupes de torsion A[ℓ^n] pour les applications de multiplication, produisant un Z_ℓ‑module libre de rang fini muni d'une action continue du groupe de Galois absolu.

Principe

Rassembler la torsion en puissances de ℓ en un seul objet linéaire de sorte que l'action de Galois sur les points de torsion devienne une représentation linéaire continue sur Z_ℓ (et après tensorisation par Q_ℓ une représentation sur un espace vectoriel), convertissant l'arithmétique discrète de la torsion en algèbre linéaire ℓ‑adique.

Démonstration

Le module de Tate d'une courbe elliptique E sur un corps de nombres est isomorphe à Z_ℓ^2 et porte la représentation ℓ‑adique naturelle de dimension 2 ; le module de Tate du groupe multiplicatif fournit le caractère cyclotomique Z_ℓ(1).

Mauvaise application

Confondre limite projective et limite inductive, ou n'utiliser que les points de torsion définis sur le corps de base au lieu des points géométriques, ou négliger les subtilités lorsque ℓ coïncide avec la caractéristique résiduelle (où la ramification sauvage ou la non‑étalité altèrent les propriétés).

Conséquence

Le module de Tate donne des représentations ℓ‑adiques de Galois qui contrôlent une grande partie de l'information arithmétique : reductions, algèbres d'endomorphismes, et servent d'entrée linéaire aux conjectures telles que Tate et Fontaine–Mazur ; il permet aussi de comparer classes d'isogénie et représentations.

Inversion

Plutôt que de passer à la limite projective et d'étudier le module de Tate, on considère les groupes de torsion finis individuellement ; on met ainsi en avant des points arithmétiques finis mais on perd la topologie ℓ‑adique cohésive et la continuité de l'action de Galois.

Limite

Défini comme limite projective de la torsion en puissances de ℓ et bien comporté lorsque ℓ est distinct des caractéristiques résiduelles et pour des groupes dont la torsion ℓ^n est étale ; pour ℓ égal à la caractéristique on doit traiter des structures supplémentaires (groupes p‑divisibles, modules de Dieudonné) et d'éventuels défauts de liberté.

Tension sémantique

En tension avec les invariants cohomologiques ℓ‑adiques (groupes de cohomologie étale) et avec des analogues p‑adiques : le module de Tate est concret et fondé sur la torsion, tandis que la cohomologie ℓ‑adique encapsule une information géométrique plus vaste ; tension aussi entre le module de Tate et sa rationalisation V_ℓ = T_ℓ ⊗ Q_ℓ.

Synthèse

Le module de Tate assemble la torsion en puissances de ℓ d'un groupe algébrique en un Z_ℓ‑module libre avec action continue de Galois ; il constitue l'objet linéaire standard par lequel la torsion est étudiée ℓ‑adiquement, fournissant des représentations reflétant réduction, endomorphismes et structure arithmétique globale.