Comparison of motives with rational coefficients

Basic Information

• Paper ID: 2510.17194
• Title: Comparison of motives with rational coefficients
• Author: Bo Zhang
• Classification: math.AG (Algebraic Geometry), math.AT (Algebraic Topology)
• Publication Date: November 5, 2025 (arXiv version v5)
• Paper Link: https://arxiv.org/abs/2510.17194

Abstract

The theory of rational motives admits multiple models, including those of Morel, Beilinson, Ayoub, and Voevodsky. An open question concerns the equivalence between Voevodsky motives $\mathrm{DM}(S, \mathbb{Q})$ based on Nisnevich topology and other models, which has been established only over excellent and geometrically unibranched base schemes.

This paper proves that over arbitrary Noetherian seminormal base schemes $S$, the category of modules over the rational motivic Eilenberg-MacLane spectrum $\mathbf{H}\mathbb{Q}$ is equivalent to the rational motives of Morel/Beilinson/Ayoub.

The main technical result is a stable motivic equivalence between the free $\mathbb{Q}$-linear spectrum $\mathbb{Q}[\mathbb{S}]$ and the motivic rational Eilenberg-MacLane spectrum $\mathbf{H}\mathbb{Q}$. This equivalence is established by reducing the problem to unstable comparison, applying a rational $\mathbb{A}^1$-Dold-Thom theorem developed by the author, which relies on the rational motivic Whitehead theorem.

As a byproduct, the paper partially confirms a rational variant of Voevodsky's conjecture: the construction of $\mathbf{H}\mathbb{Q}$ remains stable under base change between arbitrary Noetherian seminormal schemes.

Research Background and Motivation

Core Problem

Motivic theory, originally envisioned by Grothendieck and realized by multiple mathematicians, provides a powerful and unified framework for studying algebraic varieties. Under rational coefficients (i.e., inverting the exponential characteristic), the theory is significantly simplified, yet multiple seemingly distinct models persist:

1. Morel motives: Defined as the positive part of the rational stable motivic homotopy category $\mathrm{SH}(S)_\mathbb{Q}$
2. Beilinson motives: Defined as the module category over the Beilinson motivic ring spectrum $H_B$, a direct summand of $\mathrm{KGL}_\mathbb{Q}$
3. Ayoub motives: Constructed via $\mathbb{P}^1$-stabilization of $\mathbb{A}^1$-local étale $\infty$-sheaves
4. Voevodsky motives: Using Nisnevich sheaves and transfers in $\mathrm{DM}(S,\mathbb{Q})$

Research Significance

The first three models are known to be equivalent, but their equivalence with Voevodsky's original construction holds only over excellent and geometrically unibranched base schemes. This limitation restricts the theory's applicability, particularly for important geometric objects such as Dedekind rings or nodal curves.

Limitations of Existing Methods

Existing comparison results depend on strong restrictions on the base scheme (excellence and geometric unibranch), which are overly restrictive in practical applications. New technical tools are needed to handle more general geometric situations.

Core Contributions

1. Main Theorem: Proves that over arbitrary Noetherian seminormal base schemes $S$, the category of $H\mathbb{Q}$-modules is equivalent to the rational motives of Morel/Beilinson/Ayoub
2. Technical Breakthrough: Establishes a stable motivic equivalence between the free $\mathbb{Q}$-linear spectrum $\mathbb{Q}[\mathbb{S}]$ and the motivic rational Eilenberg-MacLane spectrum $\mathbf{H}\mathbb{Q}$
3. Theoretical Tools: Develops the rational motivic Whitehead theorem and the rational $\mathbb{A}^1$-Dold-Thom theorem
4. Conjecture Verification: Partially confirms Voevodsky's conjecture on the base change stability of $\mathbf{H}\mathbb{Q}$

Methodology in Detail

Problem Formulation

Establish equivalences between different models of rational motivic theory, particularly proving the equivalence of $H\mathbb{Q}$-modules with other rational motivic categories over Noetherian seminormal base schemes.

Core Strategy

The paper employs a "reduction from stable to unstable" strategy:

1. Construction of Key Homomorphism: Define the canonical ring spectrum homomorphism $\Phi_S : \mathbb{Q}[\mathbb{S}] \to H\mathbb{Q}$
2. Reduction to Unstable Problem: Reduce stable equivalence to unstable rational motivic equivalence
3. Application of New Tools: Use the rational $\mathbb{A}^1$-Dold-Thom theorem to handle unstable comparison

Technical Architecture

Free $\mathbb{Q}$-Linear Spectrum Construction

For a motivic spectrum $E$, define the free $\mathbb{Q}$-linear motivic spectrum $\mathbb{Q}[E]$: $\mathbb{Q}[E]^n = \tilde{\mathbb{Q}}[E^n]$ where $\tilde{\mathbb{Q}}[(X,x_0)] = \text{coker}(\mathbb{Q}[x_0] \to \mathbb{Q}[X])$

Rational Motivic Whitehead Theorem

Theorem 3.5: Let $f: M \to N$ be a homomorphism of infinite loop spaces. If $f$ is a rational motivic equivalence, then $f \otimes^{\mathbb{A}^1} \mathbb{Q} : M \otimes^{\mathbb{A}^1} \mathbb{Q} \to N \otimes^{\mathbb{A}^1} \mathbb{Q}$ is a motivic equivalence.

Rational $\mathbb{A}^1$-Dold-Thom Theorem

Theorem 3.13: For smooth quasi-projective schemes $X$ over Noetherian schemes $S$, the canonical morphism $\left(\coprod_n [X^n/S_n]\right)_+ \otimes \mathbb{Q} \to \left(\coprod_n S^nX\right)_+ \otimes \mathbb{Q}$ is a motivic equivalence.

Technical Innovations

1. New Reduction Technique: Reduces stable problems to unstable rational comparison
2. Geometric-Algebraic Correspondence: Establishes rational equivalence between homotopy quotients $X^n//S_n$ and coarse moduli spaces $S^nX$
3. Base Change Stability: Proves that the $H\mathbb{Q}$ construction is stable under base change between seminormal schemes

Proof Strategy for Main Theorems

Proof Strategy for Theorem 1.1

The main theorem is proved through the following steps:

1. Proposition 3.8: Reduces the stable equivalence of $\Phi_S$ to specific unstable equivalences
2. Theorem 3.13: Proves the rational $\mathbb{A}^1$-Dold-Thom theorem
3. Theorem 3.12: Establishes rational motivic equivalence between quotient stacks and coarse moduli spaces
4. Lemma 3.11: Applies properties of Voevodsky rational motives

Key Lemma 3.11

For smooth quasi-projective schemes $X$ over Noetherian schemes $S$ with finite group action $G$, the effective motives satisfy: $M([X/G]) \simeq M(X/G)$

This utilizes the computation of $G$-invariant parts under rational coefficients and properties of finite morphisms.

Results and Applications

Main Results

Corollary 1.3: For any Noetherian seminormal scheme $S$, the category of $H\mathbb{Q}$-modules is equivalent to:

• Beilinson motives
• Ayoub motives
• Morel motives

Base Change Stability

Proposition 1.4: The construction of $H\mathbb{Q}$ is stable under base change between Noetherian seminormal schemes.

Extended Applicability

The results apply to:

• Arbitrary Dedekind rings
• Nodal curves
• General Noetherian normal schemes (without requiring excellence)

Related Work

Historical Development

• Grothendieck: Original conception of motivic theory
• Voevodsky: Concrete realization using Nisnevich sheaves and transfers
• Morel, Beilinson, Ayoub: Stable homotopy theory approach

Existing Comparison Results

Cisinski-Déglise established equivalence over excellent geometrically unibranched schemes 3, Theorem 16.1.4; this paper extends the applicability to the seminormal case.

Technical Connections

• Anderson: Chow scheme theory in mixed characteristic
• Choudhury: Motives of Deligne-Mumford stacks
• Rydh: Cyclic families and Chow schemes

Conclusions and Discussion

Main Conclusions

Unifies different models of rational motivic theory over Noetherian seminormal base schemes, removing the previously required excellence condition.

Limitations

1. Still requires seminormality condition
2. Addresses only the rational coefficient case
3. Generalization to arbitrary schemes requires further work

Future Directions

1. Extend to more general classes of schemes
2. Study the integral coefficient case
3. Explore connections with other cohomology theories

In-Depth Evaluation

Strengths

1. Technical Innovation: Develops new rational motivic Whitehead theorem and $\mathbb{A}^1$-Dold-Thom theorem
2. Geometric Significance: Extends motivic equivalence to important classes of geometric objects
3. Theoretical Completeness: Partially resolves fundamental open problems in motivic theory
4. Novel Methodology: The stable-to-unstable reduction strategy has general applicability

Weaknesses

1. Condition Restrictions: The seminormality condition still persists
2. Technical Complexity: The proof involves multiple deep technical tools
3. Limited Scope: Restricted to the rational coefficient case

Impact

This work significantly advances the unification of motivic theory, laying the foundation for applying motivic methods in broader geometric contexts, particularly in the intersection of arithmetic and algebraic geometry.

Application Scenarios

• Motivic research in arithmetic geometry
• Applications of algebraic $K$-theory
• Algebraic cycle theory
• Homotopical algebraic geometry

References

1 Anderson, O. E. Chow schemes in mixed characteristic. 2019. 2 Choudhury, U. Motives of deligne-mumford stacks. 2012. 3 Cisinski, D.-C. and Déglise, F. Triangulated categories of mixed motives. 2019. 6 Suslin, A. and Voevodsky, V. Relative cycles and chow sheaves. 2000. 7 Voevodsky, V. Open problems in the motivic stable homotopy theory. 2002.