2025-11-11T03:18:46.031454

Comparison of motives with rational coefficients

Zhang

The theory of rational motives admits several models, including those of Morel, Beilinson, Ayoub, and Voevodsky. An open question has been the equivalence of Voevodsky's Nisnevich-based $\mathrm{DM}(S, \mathbb{Q})$ with the others, which was only known over excellent and geometrically unibranch base schemes. In this paper, we prove that modules over rational motivic Eilenberg Maclane spectrum $\mathbf{H}\mathbb{Q}$ is equivalent to Morel/Beilinson/Ayoub's rational motives over any Noetherian semi-normal base scheme $S$. Our 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 an unstable comparison, where we apply our rational $\mathbb{A}^1$-Dold-Thom theorem, which depends on rational motivic Whitehead theorem that we develop. As a byproduct, we partially confirm that rational variant of Voevodsky's conjecture that the formation of $\mathbf{H}\mathbb{Q}$ is stable under base change between any Noetherian semi-normal schemes.

academic

有理係数を持つモティーフの比較

基本情報

論文ID: 2510.17194
タイトル: Comparison of motives with rational coefficients
著者: Bo Zhang
分類: math.AG（代数幾何学）、math.AT（代数的位相幾何学）
発表日時: 2025年11月5日（arXiv版本v5）
論文リンク: https://arxiv.org/abs/2510.17194

要約

有理モティーフ理論は、Morel、Beilinson、Ayoub、およびVoevodsky のモデルを含む複数のモデルを認めている。未解決の問題は、Nisnevich位相に基づくVoevodsky モティーフ $\mathrm{DM}(S, \mathbb{Q})$ と他のモデルとの等価性であり、これは優秀かつ幾何的に単分岐な基スキーム上でのみ成立している。

本論文は、任意のNoether半正規基スキーム $S$ 上で、有理モティーフEilenberg-MacLaneスペクトラム $\mathbf{H}\mathbb{Q}$ のモジュール圏がMorel/Beilinson/Ayoubの有理モティーフと等価であることを証明する。

主要な技術的結果は、自由 $\mathbb{Q}$ -線形スペクトラム $\mathbb{Q}[\mathbb{S}]$ とモティーフ有理Eilenberg-MacLaneスペクトラム $\mathbf{H}\mathbb{Q}$ の間の安定モティーフ等価性である。この等価性は、問題を不安定比較に帰着させることで確立され、著者が開発した有理 $\mathbb{A}^1$ -Dold-Thom定理を適用した。この定理は有理モティーフWhitehead定理に依存している。

副産物として、Voevodsky予想の有理変形を部分的に確認する： $\mathbf{H}\mathbb{Q}$ の構成は、任意のNoether半正規スキーム間の基変換の下で安定である。

研究背景と動機

問題の核心

モティーフ理論は、Grothendieckが最初に構想し、複数の数学者によって実現されたフレームワークとして、代数多様体の研究に強力で統一的なツールを提供する。有理係数の下で（すなわち、指数特性を反転する場合）、理論は著しく簡略化されるが、依然として複数の一見異なるモデルが存在する：

Morelモティーフ：有理安定モティーフホモトピー圏 $\mathrm{SH}(S)_\mathbb{Q}$ の正部分として定義される
Beilinson モティーフ：Beilinson モティーフ環スペクトラム $H_B$ のモジュール圏として定義され、 $H_B$ は $\mathrm{KGL}_\mathbb{Q}$ の直和因子である
Ayoubモティーフ： $\mathbb{P}^1$ -安定化 $\mathbb{A}^1$ -局所étale $\infty$ -層を通じて構成される
Voevodsky モティーフ：Nisnevich層と転移を用いて構成された $\mathrm{DM}(S,\mathbb{Q})$

研究の意義

最初の3つのモデルは既知の等価性を持つが、Voevodsky の原始的構成との等価性は、優秀かつ幾何的に単分岐な基スキーム上でのみ成立している。これは理論の適用範囲を制限し、特にDedekind整環や結点曲線などの重要な幾何学的対象に対して制限を加える。

既存方法の限界

既存の比較結果は、基スキームの強い制限条件（優秀かつ幾何的に単分岐）に依存しており、実際の応用では過度に厳格である。より一般的な幾何学的状況を扱うための新しい技術手段が必要である。

核心的貢献

主定理：任意のNoether半正規基スキーム $S$ 上で、 $H\mathbb{Q}$ -モジュール圏がMorel/Beilinson/Ayoubの有理モティーフと等価であることを証明した
技術的突破：自由 $\mathbb{Q}$ -線形スペクトラム $\mathbb{Q}[\mathbb{S}]$ とモティーフ有理Eilenberg-MacLaneスペクトラム $\mathbf{H}\mathbb{Q}$ の間の安定モティーフ等価性を確立した
理論的ツール：有理モティーフWhitehead定理と有理 $\mathbb{A}^1$ -Dold-Thom定理を開発した
予想の検証： $\mathbf{H}\mathbb{Q}$ の基変換安定性に関するVoevodsky予想を部分的に確認した

方法の詳細

タスク定義

異なる有理モティーフ理論モデル間の等価性を確立し、特にNoether半正規基スキーム上で $H\mathbb{Q}$ -モジュールと他の有理モティーフ圏の等価性を証明する。

核心戦略

論文は「安定から不安定への帰着」戦略を採用している：

主要準同型の構成：規範環スペクトラム準同型 $\Phi_S : \mathbb{Q}[\mathbb{S}] \to H\mathbb{Q}$ を定義する
不安定問題への帰着：安定等価性を不安定の有理モティーフ等価性に帰着させる
新しいツールの適用：有理 $\mathbb{A}^1$ -Dold-Thom定理を使用して不安定比較を処理する

技術的アーキテクチャ

自由 $\mathbb{Q}$ -線形スペクトラムの構成

モティーフスペクトラム $E$ に対して、自由 $\mathbb{Q}$ -線形モティーフスペクトラム $\mathbb{Q}[E]$ を定義する： $\mathbb{Q}[E]^n = \tilde{\mathbb{Q}}[E^n]$ ここで $\tilde{\mathbb{Q}}[(X,x_0)] = \text{coker}(\mathbb{Q}[x_0] \to \mathbb{Q}[X])$

有理モティーフWhitehead定理

定理3.5： $f: M \to N$ を無限ループ空間の準同型とする。 $f$ が有理モティーフ等価であれば、 $f \otimes^{\mathbb{A}^1} \mathbb{Q} : M \otimes^{\mathbb{A}^1} \mathbb{Q} \to N \otimes^{\mathbb{A}^1} \mathbb{Q}$ はモティーフ等価である。

有理 $\mathbb{A}^1$ -Dold-Thom定理

定理3.13：Noetherスキーム $S$ 上の滑らかな準射影スキーム $X$ に対して、規範射 $\left(\coprod_n [X^n/S_n]\right)_+ \otimes \mathbb{Q} \to \left(\coprod_n S^nX\right)_+ \otimes \mathbb{Q}$ はモティーフ等価である。

技術的革新点

新しい帰着技術：安定問題を不安定の有理比較に帰着させる
幾何-代数対応：ホモトピー商 $X^n//S_n$ と粗モジュライ空間 $S^nX$ の有理等価性を確立する
基変換安定性： $H\mathbb{Q}$ 構成の半正規スキーム間の基変換安定性を証明する

主要定理の証明戦略

定理1.1の証明戦略

主定理は以下のステップを通じて証明される：

命題3.8： $\Phi_S$ の安定等価性を特定の不安定等価性に帰着させる
定理3.13：有理 $\mathbb{A}^1$ -Dold-Thom定理を証明する
定理3.12：商スタックと粗モジュライ空間の有理モティーフ等価性を確立する
補題3.11：Voevodsky有理モティーフの性質を使用する

主要補題3.11

Noetherスキーム $S$ 上の滑らかな準射影スキーム $X$ と有限群 $G$ の作用に対して、有効モティーフは以下を満たす： $M([X/G]) \simeq M(X/G)$

これは有理係数の下での $G$ -不変部分の計算と有限射の性質を利用する。

実験結果と応用

主要結果

系1.3：任意のNoether半正規スキーム $S$ に対して、 $H\mathbb{Q}$ -モジュール圏は以下と等価である：

Beilinson モティーフ
Ayoub モティーフ
Morel モティーフ

基変換安定性

命題1.4： $H\mathbb{Q}$ の構成はNoether半正規スキーム間の基変換の下で安定である。

適用範囲の拡張

結果は以下に適用可能である：

任意のDedekind整環
結点曲線
一般的なNoether正規スキーム（優秀性条件不要）

結論と考察

主要な結論

Noether半正規基スキーム上で有理モティーフ理論の異なるモデルを統一し、以前必要とされていた優秀性条件を除去した。

限界

依然として半正規性条件が必要
有理係数の場合のみを扱う
より一般的なスキームへの推広はさらなる研究が必要

今後の方向性

より一般的なスキーム類への推広
整係数の場合の研究
他の同調理論との関連の探索

深い評価

利点

技術的革新：新しい有理モティーフWhitehead定理と $\mathbb{A}^1$ -Dold-Thom定理を開発した
幾何学的意義：モティーフ等価性を重要な幾何学的対象類に拡張した
理論的完全性：モティーフ理論における基本的な未解決問題を部分的に解決した
方法の新規性：安定から不安定への帰着戦略は一般的である

不足点

条件の制限：半正規性条件が依然として存在する
技術的複雑性：証明は複数の深い技術的ツールを含む
適用範囲：有理係数の場合に限定される

影響力

この研究はモティーフ理論の統一を著しく推進し、より広い幾何学的背景でモティーフ方法を適用するための基礎を確立する。特に算術幾何学と代数幾何学の交差領域において重要である。

適用シーン

算術幾何学におけるモティーフ研究
代数 $K$ -理論の応用
代数循環理論
ホモトピー代数幾何学

参考文献

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.