Abelian motives and Shimura varieties in nonzero characteristic

Basic Information

• Paper ID: 2508.09972
• Title: Abelian motives and Shimura varieties in nonzero characteristic
• Author: J.S. Milne
• Classification: math.AG (Algebraic Geometry), math.NT (Number Theory)
• Publication Date: October 13, 2025 (v2.0)
• Paper Link: https://arxiv.org/abs/2508.09972

Abstract

Over the past three decades, research on Shimura varieties has been devoted to constructing a theory based on a good notion of motives, which requires incorporating the Hodge, Tate, and standard conjectures. These conjectures are considered difficult to prove and may even be incorrect. In this paper, the author argues that there exists a theory of motives that is weaker than Grothendieck's theory but yields many of the same results, and this theory is provable.

Research Background and Motivation

Core Problems

1. Difficulties with traditional approaches: Grothendieck's theory of motives relies on the Hodge, Tate, and standard conjectures, which are considered beyond the reach of current mathematics and may even be false.
2. Requirements for Shimura variety theory: A theory of Shimura varieties is needed that can handle the nonzero characteristic case, particularly in mixed characteristic and characteristic p > 0.
3. Inspiration from Deligne's theorem: Deligne's 1982 theorem showing that Hodge classes on abelian varieties are absolutely Hodge provides a foundation for constructing a category of abelian motives.

Research Motivation

The author's goal is to construct an "attainable motivic heaven"—one that does not depend on difficult-to-prove conjectures but still yields the main results of Grothendieck's theory. This approach particularly focuses on abelian-type Shimura varieties and attempts to extend the theory to characteristic p.

Core Contributions

1. Proposes new rationality conjectures: Introduces Conjectures A, B, C, and D, which are more tractable than the classical Hodge and Tate conjectures.
2. Constructs a theory of abelian motives in characteristic p: Establishes a category of motives in characteristic p through the concept of rational Tate classes.
3. Extends reduction functors: Generalizes reduction functors from CM abelian varieties to more general abelian varieties with good reduction.
4. Provides moduli space interpretation of Shimura varieties: Realizes abelian-type Shimura varieties as moduli spaces of abelian motives in the mixed characteristic case.

Detailed Methodology

Core Conjecture System

Conjecture A (Rationality Conjecture)

Let $A$ be an abelian variety over $\mathbb{Q}^{\text{al}}$ with good reduction at $w$, and let $\gamma$ be an absolutely Hodge class on $A$. For all Lefschetz classes $\delta$ of complementary codimension on $A_0$, we have: $\langle\gamma_0 \cdot \delta\rangle \in \mathbb{Q}$

Conjecture C (Existence of Rational Tate Classes)

There exists a unique family of graded $\mathbb{Q}$-subalgebras $\mathcal{R}^*(A) \subset H_{2*}^{\mathbb{A}}(A)(*)$ satisfying:

• (R1) Functoriality: For morphisms of abelian varieties, pushforward and pullback preserve rational Tate classes
• (R2) Divisor classes are rational Tate classes
• (R3) Absolutely Hodge classes specialize to rational Tate classes
• (R4) The inclusion map $\mathcal{R}^*(A) \to H_{2*}^{\mathbb{A}}(A)(*)$ becomes injective after tensoring with $\mathbb{A}_f$

Technical Innovations

1. Concept of rational Tate classes: This is a new concept intermediate between algebraic classes and Tate classes, providing an appropriate correspondence for motives theory in characteristic p.
2. Variational methods: Proving properties of certain classes by studying their variation within families, avoiding direct treatment of difficult conjectures.
3. CM lifting techniques: Utilizing the special properties of CM abelian varieties to handle the general case.

Construction Process

1. First step: Prove Conjecture A for CM abelian varieties
2. Second step: Use André's decomposition theorem to extend results to all CM abelian varieties
3. Third step: Apply Shimura variety theory to extend results to all abelian varieties with good reduction

Experimental Setup

Since this is a pure mathematics theory paper, there are no experiments in the traditional sense, but the following theoretical verifications are provided:

Verification Methods

1. Verification in special cases: For certain special abelian varieties (e.g., CM type, nifty type), verify the correctness of the conjectures
2. Compatibility checks: Verify the compatibility of realization functors at different primes
3. Recovery of known results: Demonstrate how the new theory recovers known classical results

Theoretical Consistency

The author proves that if a family of rational Tate classes exists, it is unique (Theorem 0.2), ensuring the internal consistency of the theory.

Main Results

Theoretical Construction

1. Existence of categories: Under the assumption of the conjectures, construct the category of abelian motives $\mathfrak{Mot}(\mathbb{F})$ in characteristic p
2. Extension of functors: Generalize the reduction functor from $\mathfrak{CM}(\mathbb{Q}^{\text{al}}) \to \mathfrak{Mot}(\mathbb{F})$ to larger categories
3. Realization of Shimura varieties: Abelian-type Shimura varieties can be realized as moduli spaces of abelian motives

Application Results

1. Compatibility of Galois representations: For abelian motives with good reduction, their Galois representations are strictly compatible
2. Rationality of Frobenius conjugacy classes: Prove that certain conjugacy classes of Frobenius elements are defined over the rationals
3. Partial results on standard conjectures: Within the framework of rational Tate classes, certain standard conjectures hold

Related Work

Historical Development

1. Grothendieck's theory of motives: Provides the theoretical framework but depends on difficult-to-prove conjectures
2. Deligne's theory of absolutely Hodge classes: Provides the foundation for the characteristic zero case
3. André's theory of motivated classes: Constructs a category of motives over certain countable subfields

Relationship to This Paper

The innovation of this paper lies in:

• Avoiding the use of classical conjectures
• Extending to the mixed characteristic case
• Providing more direct construction methods

Conclusions and Discussion

Main Conclusions

1. There exists a theory of motives that is weaker than Grothendieck's theory but still useful
2. This theory suffices to handle most problems concerning abelian-type Shimura varieties
3. The theory can be extended to characteristic p, providing tools for research in mixed characteristic

Limitations

1. Restricted to the abelian case: The theory primarily handles abelian varieties and abelian-type Shimura varieties
2. Dependence on conjectures: Although avoiding classical conjectures, the theory still depends on newly proposed conjectures
3. Technical complexity: Certain key steps (such as CM lifting) remain difficult

Future Directions

1. Proof of conjectures: Particularly proving Conjecture A for split Weil classes
2. Extension to bad reduction: Extend the theory to abelian varieties with bad reduction
3. Non-abelian cases: Explore whether the theory can handle non-abelian-type Shimura varieties

In-Depth Evaluation

Strengths

1. Theoretical innovation: Proposes a new, more feasible framework for motives theory
2. Technical depth: Combines profound techniques from algebraic geometry, number theory, and category theory
3. Practical value: Provides new tools and perspectives for Shimura variety theory
4. Systematicity: Provides a complete theoretical system covering foundational concepts through applications

Weaknesses

1. Completeness of proofs: Certain key results remain conjectural
2. Scope of applicability: Primarily limited to the abelian case, with limited treatment of more general cases
3. Technical threshold: Requires deep background in algebraic geometry and number theory to understand

Impact

1. Theoretical contribution: Provides new directions for the development of motives theory
2. Practical applications: Provides new tools for research on Shimura varieties
3. Inspirational significance: Demonstrates how to construct useful theories by circumventing difficult conjectures

Applicable Scenarios

1. Arithmetic study of abelian varieties: Particularly in the mixed characteristic case
2. Shimura variety theory: Moduli space interpretation of abelian-type Shimura varieties
3. Galois representation theory: Construction and study of compatible systems

References

The paper contains 69 references, primarily involving:

• Deligne's classical work on Hodge classes and Shimura varieties
• André's theory of motivated classes
• Recent results by Kisin and Zhou on Frobenius conjugacy classes
• Langlands and Rapoport's theory on reduction of Shimura varieties

This paper represents an important direction in the development of motives theory. By circumventing classical difficult conjectures, it provides new theoretical tools for cross-disciplinary research between algebraic geometry and number theory. Although many technical details remain to be refined, its fundamental ideas and methods possess significant theoretical value and practical significance.