Lattices in Tate modules

Basic Information

• Paper ID: 2107.06363
• Title: Lattices in Tate modules
• Authors: Bjorn Poonen, Sergey Rybakov
• Classification: math.AG (Algebraic Geometry), math.NT (Number Theory)
• Publication Information: Published in Proc. Nat. Acad. Sciences 118 (49) e2113201118 (2021)
• Paper Link: https://arxiv.org/abs/2107.06363

Abstract

This paper strengthens a theorem of Zarhin by proving that for a given $g$-dimensional abelian variety $X$ and an endomorphism $u$ of $X$, there exists a matrix $A \in M_{2g}(\mathbb{Z})$ such that every Tate module $T_\ell X$ admits a $\mathbb{Z}_\ell$-basis in which the action of $u$ is given by the matrix $A$. Similarly, corresponding results hold for covariant Dieudonné modules tensored with $\mathbb{Q}$ over complete fields of characteristic $p$.

Research Background and Motivation

Problem Background

1. Core Problem: Investigating whether the action of endomorphisms of abelian varieties on Tate modules can be represented by a unified integer matrix
2. Theoretical Importance: This problem concerns the arithmetic properties of abelian varieties, particularly the relationship between the structure of the endomorphism ring and the geometry of Tate modules
3. Existing Limitations: Zarhin proved in 2020 that there exists a rational matrix $A \in M_{2g}(\mathbb{Q})$ such that for each $\ell \neq p$, there exists a $\mathbb{Q}_\ell$-basis of $V_\ell$ in which the action of $u$ is given by $A$
4. Research Motivation: This paper aims to strengthen Zarhin's result from the rational case to the integral case and extend it to Dieudonné modules

Technical Challenges

• Abelian varieties in characteristic $p > 0$ cannot always be lifted to characteristic 0, preventing simple reduction from the characteristic 0 case
• Compatibility issues between Tate modules at different primes $\ell$ must be addressed
• The Frobenius action on Dieudonné modules introduces additional complexity

Core Contributions

1. Strengthening the Main Theorem: Strengthening Zarhin's theorem from rational matrices to integer matrices, proving the existence of $A \in M_{2g}(\mathbb{Z})$
2. Characterization of Lattice Structures: Establishing the existence of endomorphism-stable lattice structures in various settings
3. Extension to Dieudonné Modules: Extending results to covariant Dieudonné modules over complete fields of characteristic $p$
4. Unified Framework: Providing a unified framework for handling cases of different characteristics

Detailed Methods

Core Definitions

Definition 1.1 (Lattice): Given rings $R \subseteq R'$ and corresponding modules $L \subseteq L'$, we call $L$ an $R$-lattice in $L'$ if $L$ has an $R$-basis that is simultaneously an $R'$-basis of $L'$.

Main Theorems

Theorem 1.2: Let $u \in \text{End}X$. Then:

• (a) There exists a $u$-stable $\mathbb{Q}$-lattice $V \subset V$
• (b) There exists a $u$-stable $\mathbb{Z}$-lattice $T \subset T$
• (c) If $p > 0$ and $k$ is complete, there exists a $u$-stable $\mathbb{Q}$-lattice $V \subset V_W$
• (d) If $k = \mathbb{F}_p$, there exists a $u$-stable $\mathbb{Z}$-lattice $T \subset T_W$

Technical Innovations

1. Proof of Module Freeness

Lemma 2.1: Using properties of the Frobenius endomorphism to prove freeness of certain modules in characteristic $p$. The key insight is the transitivity of the permutation group induced by the Frobenius action on ring extensions.

2. Handling Number Field Embeddings

Lemma 2.2: Systematically treating freeness of various modules when a number field $E \subset \text{End}^{\circ}X$ is present:

• Tate modules $V_\ell$ are free as $(E \otimes_{\mathbb{Q}} \mathbb{Q}_\ell)$-modules
• Dieudonné modules $M_{\mathbb{Q}}$ are free as $(E \otimes_{\mathbb{Q}} K)$-modules
• For $\ell \nmid p \cdot \text{disc}O$, $T_\ell$ is free as an $(O \otimes_{\mathbb{Z}} \mathbb{Z}_\ell)$-module

3. Reduction Strategy

The proof employs a strategy of reducing the general case to the number field case:

• Using Zarhin's structure theorem to reduce endomorphisms to product forms of matrix rings
• Reducing the problem to individual factors via isogeny decomposition
• Final reduction to the case of number field actions

Proof Strategy

1. Part (a): Using Zarhin's decomposition theorem and Lemma 2.2, constructing stable lattices of the form $V = P \otimes_{\mathbb{Q}} E$
2. Part (b): Starting from the result in (a), using $\mathbb{Q} \cap \hat{\mathbb{Z}}^{(p)} = \mathbb{Z}[1/p]$ to construct $\mathbb{Z}$-lattices
3. Part (c): Similar to (a), but handling cases involving Dieudonné modules
4. Part (d): Crucially using the property $\mathbb{Q} + W = K$ when $k = \mathbb{F}_p$

Experimental Setup

As a pure mathematics theory paper, this work contains no numerical experiments but rather verifies theoretical results through rigorous mathematical proofs.

Related Work

Historical Development

1. Ribet (1976): Establishing foundational results in Galois representation theory
2. Zarhin (2020): Proving the rational version of the main theorem
3. Chai-Conrad-Oort (2014): Providing modern treatment of complex multiplication theory

Positioning of This Paper's Contributions

• Relative to Zarhin: Strengthening from rationals to integers, extending from single primes to compatibility across all primes
• Relative to Classical Theory: Providing finer characterization of lattice structures
• Technical Innovation: Unified treatment of cases with different characteristics

Generalizations and Counterexamples

Positive Generalizations

When considering $\mathbb{Q}$-subalgebras $R \subset \text{End}^{\circ}X$, if $R$ is contained in a subalgebra of the form $\prod_i M_{r_i}(E_i)$ (where $E_i$ are number fields), then $R$-stable lattices exist.

Counterexample Analysis

1. Quaternion Algebra Case: If $X$ is an elliptic curve and $\text{End}^{\circ}X$ is a quaternion algebra, no $\text{End}^{\circ}X$-stable $\mathbb{Q}$-lattice exists, since quaternion algebras cannot act on 2-dimensional $\mathbb{Q}$-vector spaces.
2. Commutative but Non-Number Field Case: A sophisticated counterexample is constructed where $R$ is commutative but no $R$-stable lattice exists. The specific construction involves products of elliptic curves and upper triangular matrix rings.

Conclusions and Discussion

Main Conclusions

1. Integer Matrix Representation: Proving that endomorphisms of abelian varieties can be uniformly represented by integer matrices on all Tate modules
2. Characteristic $p$ Treatment: Successfully handling Dieudonné modules in characteristic $p$
3. Existence of Lattice Structures: Establishing existence of stable lattices in various settings

Limitations

1. Completeness Requirement: Theorem 1.2(d) currently holds only for $k = \mathbb{F}_p$; the case of general complete fields remains open
2. Constructivity: The proof is existential and does not provide algorithms for explicitly constructing stable lattices
3. Generalization Restrictions: Counterexamples show that results cannot be naively extended to arbitrary endomorphism subalgebras

Future Directions

1. Algorithmic Problems: Seeking effective algorithms for computing stable lattices
2. General Complete Fields: Investigating whether Theorem 1.2(d) holds for all complete fields of characteristic $p$
3. Higher-Dimensional Generalizations: Studying whether similar results hold for more general algebraic geometric objects

In-Depth Evaluation

Strengths

1. Technical Depth: Skillfully combining techniques from algebraic geometry, number theory, and ring theory
2. Precision of Results: The strengthening from rationals to integers is a substantial improvement
3. Uniformity: Providing a unified framework for handling cases of different characteristics
4. Completeness: Not only providing positive results but also offering counterexamples that clarify the limits of generalization

Technical Highlights

1. Proof of Lemma 2.1: Using transitivity of Frobenius action is the key insight
2. Reduction Strategy: Systematically reducing complex general cases to manageable special cases
3. Counterexample Construction: Demonstrating deep structural understanding

Theoretical Significance

1. Foundational Theory: Providing important tools for the arithmetic theory of abelian varieties
2. Application Prospects: Potential applications in cryptography and coding theory
3. Methodology: Demonstrating effective methods for handling mixed characteristic problems

Impact Assessment

• Academic Value: Solving an important problem in the field, expected to receive significant citations
• Technical Impact: The methods provided may be applicable to related problems
• Openness: The open problems left behind provide directions for future research

Supplementary Technical Details

Key Inequalities and Estimates

Core technical estimates in the paper include:

• Using the discriminant condition $\ell \nmid p \cdot \text{disc}O$ to ensure good properties of local rings
• Exploiting transitivity of permutation groups induced by Frobenius action
• Computing dimensions in tensor product decompositions

Module-Theoretic Techniques

• Criteria for determining freeness of modules
• Intersection and generation properties of lattices
• Compatibility of module structures over different rings

This paper exemplifies the typical characteristics of fine structure theory in modern algebraic geometry: obtaining precise structural results through deep technical analysis while using counterexamples to clarify the scope of applicability of the results.