Tate module

Tate module
Name	Tate module
Field	Algebraic geometry; Number theory
Introduced	1960s
Introduced by	John Tate
Related	Galois representation, Abelian variety, Elliptic curve, Étale cohomology, Weil conjectures

Tate module is a profinite module constructed from the torsion points of an algebraic group that encodes arithmetic and geometric information about varieties. It provides a bridge between the theory of Galois representations, the arithmetic of Abelian varietys and Elliptic curves, and the formalism of Étale cohomology. The construction yields a module over the profinite completion of the integers at a prime and serves as a fundamental invariant in the study of L-functions, the Weil conjectures, and the Mordell–Weil theorem.

Definition and basic properties

For a fixed prime l, one considers the inverse limit of l^n-torsion subgroups of a given commutative algebraic group defined over a field K. The resulting object is a free module of rank equal to the l-adic Tate rank with a continuous action of the absolute Galois group of K, denoted Gal(K̄/K). Key properties include profiniteness, being a module over the ring of l-adic integers Z_l, and functorial dependence on morphisms of varieties. In the presence of good reduction at a nonarchimedean place, the module reflects reduction properties analogous to those appearing in the study of Néron models, Local field ramification, and Weil pairing compatibility. Duality pairings on torsion points induce perfect pairings on the inverse limits, connecting to Poincaré duality statements in arithmetic contexts.

Tate module of abelian varieties and elliptic curves

For an Abelian variety A of dimension g over a field K, the l-adic module is a free Z_l-module of rank 2g equipped with a continuous Gal(K̄/K)-action. When A is an Elliptic curve E, the rank is 2 and the module recovers classical l-adic Galois representations studied by Jean-Pierre Serre and others. The structure encodes endomorphism rings: for CM Complex multiplication elliptic curves, the action of the endomorphism ring on torsion points gives an enriched module structure over an order in a quadratic imaginary field, paralleling results of Hecke and Shimura. For non-CM curves, results of Serre on open image theorems describe the image of Gal(Q̄/Q) acting on the module in terms of GL_2(Z_l). The interaction with polarizations leads to symplectic structures associated to GSp_{2g}}-valued representations, relevant in the theory developed by Pierre Deligne and Jean-Pierre Serre.

Galois action and representations

The l-adic module furnishes a continuous representation rho: Gal(K̄/K) → GL_r(Z_l), where r is the Z_l-rank. These representations are central in the study of arithmetic properties such as local and global monodromy, which are analyzed via inertia subgroups and decomposition groups associated to primes of K. Frobenius elements at unramified primes act with characteristic polynomials related to local zeta factors appearing in Hasse–Weil zeta functions; the compatibility of these polynomials with trace formulas is a cornerstone of reciprocity laws studied by Grothendieck and Grothendieck's school. Results like the Tate conjecture and the Birch and Swinnerton-Dyer conjecture formulate deep ties between Galois representations coming from Tate modules and arithmetic invariants such as ranks and special values of L-functions. The study of images and open subgroups connects to Serre's open image theorem and to modularity lifting techniques employed by Andrew Wiles and collaborators.

Functoriality and exact sequences

The construction is functorial: a morphism f: A → B of abelian varieties induces a Z_l-linear Gal(K̄/K)-equivariant map between the respective modules. Exact sequences of algebraic groups yield exact sequences of Tate modules after taking inverse limits, mirroring long exact sequences in Étale cohomology and allowing descent arguments. For extensions of abelian varieties by tori, the behavior relates to Tate–Shafarevich group questions and to the study of extension classes in Galois cohomology developed by John Tate and Ken Ribet. Compatibility with duals and polarizations produces dual exact sequences reflecting principal polarizations and Rosati involution phenomena studied in the theory of Poincaré bundles and moduli of abelian varieties such as the Siegel modular variety.

Tate module in étale cohomology and applications

Via comparison isomorphisms, the module appears as the first étale cohomology group with Z_l-coefficients for abelian varieties and as a summand in higher cohomology groups for more general varieties. This connects the module to the formalism of Grothendieck's Galois theory, the proof of the Weil conjectures by Pierre Deligne, and to ℓ-adic realizations of motives in the frameworks of André motives and the Tannakian category approach of Saavedra Rivano. Applications include compatibility of local-global principles, construction of Galois representations attached to automorphic forms in the Langlands program as developed by Robert Langlands and contributors, and implications for rational points through descent and the Mordell–Weil theorem.

Examples and computations

Classical calculations include Tate modules of multiplicative groups over local fields, which reflect cyclotomic characters studied by Kummer and Artin; the Tate module of the multiplicative group yields the l-adic cyclotomic character central to Iwasawa theory of Iwasawa and Coates. For ordinary reduction of elliptic curves over p-adic fields, the module decomposes into submodules corresponding to étale and connected components as analyzed by Jean-Marc Fontaine and Barry Mazur. Concrete examples over Q include computations for the Modular curve-associated Jacobians and for CM elliptic curves analyzed in work of Heegner, Birch, and Silverman. Explicit matrix descriptions of Galois actions arise in computational databases of elliptic curves compiled by John Cremona and implemented in computational systems such as SageMath and Magma.

Category:Algebraic geometry