A Criterion for Phantomness of dg-categories

1. 研究の背景と問題設定

背景:
非可換代数幾何学において、「ファントム・カテゴリ（phantom category）」は、最小モデルプログラムや鏡像対称性との関連から重要性を増しています。

• ファントム・カテゴリの定義: 幾何学的実現（ある滑らかな固有多様体 $X$ 上の $\mathrm{perf}^{\mathrm{dg}}(X)$ 内の許容部分 DG-カテゴリ）を持つ非ゼロな滑らかな固有 DG-カテゴリ $T$ に対し、Gorchinskiy と Orlov は以下のように定義しました。
  • 準ファントム (Quasi-phantom): ホモロジー $HH^*(T/k) = 0$ かつ $K_0(T)$ が有限。
  • 普遍ファントム (Universal phantom): 任意の滑らかな固有多様体 $Y$ に対して $K_0(T \otimes Y) = 0$。

問題:
Sosna が提起した問い「加法的不変量（additive invariants）の消滅が、幾何学的実現を持つ滑らかな固有 DG-カテゴリのファントム性を特徴づけるか？」に対する答えを探求することが本論文の目的です。
具体的には、$T$ の「有理係数の非可換モチーフ（rational noncommutative motive）」がゼロになること（これをモチフィック・準ファントムと呼ぶ）と、特定の加法的不変量（$K$ 理論、ホモロジーなど）の消滅との同値性を確立することを目指します。

2. 主要な手法と構成

本論文は、モチフィック・ホモトピー論（Motivic Homotopy Theory）と非可換モチーフの枠組みを駆使して、以下のステップで議論を展開しています。

2.1. 非可換モチーフの構成

• 滑らかな固有多様体 $X$ とその許容部分 DG-カテゴリ $T \subset \mathrm{perf}^{\mathrm{dg}}(X)$ に対して、有理係数の非可換モチーフ $M(T) \in \mathrm{DM}(k, \mathbb{Q})$ を構成しました。
• これは、非可換スペクトル圏 $\mathrm{SH}^{\mathrm{nc}}(k)$ における対象 $U(T)$ を、有理代数 $K$ 理論スペクトル $KGL_{\mathbb{Q}}$ 経由で可換モチーフ圏 $\mathrm{DM}(k, \mathbb{Q})$ に写す関数として定義されます。
  • $M(T) = H^{-1} \circ I \circ M_{KGL_{\mathbb{Q}}}(U(T))$

2.2. 実現（Realization）との同型

• 構成したモチーフ $M(T)$ の$l$-進エタール実現、ベッティ実現、ド・ラーム実現が、それぞれ以下の対象と一致することを証明しました。
  • $l$-進実現: $LK_{(1,l)}K(T)_{\mathbb{Q}}$ （$K(1,l)$-局所化された代数 $K$ 理論）
  • ベッティ実現: $K_{\mathrm{top}}(T)_{\mathbb{Q}}$ （位相的 $K$ 理論）
  • ド・ラーム実現: $HP(T)$ （周期的巡回ホモロジー）
• 証明の鍵: 2 つの対称モノイダル関手 $F_1, F_2: \mathrm{SH}_{KGL_{\mathbb{Q}}} \to D(\mathbb{Q}_l[\beta^{\pm}]\text{-mod})^{\mathrm{op}}$ を構成し、これらが同値であることを示しました。
  • $F_1$: モチーフ圏経由の構成。
  • $F_2$: 非可換 $K$ 理論（Thomason の定理や $K(1,l)$-局所化を用いる）経由の構成。
  • これらの同値性により、$M(T)$ のコホモロジーが $K$ 理論のホモトピー群と一致することが導かれます。

2.3. キマラ有限性（Kimura-finiteness）の役割

• 多様体 $X$ の Chow モチーフがキマラ有限であるという仮定を置きます。これは、Chow モチーフが有限次元の表現論的性質を持つことを意味し、Bloch の予想や surfaces における幾何学的種数の消滅と関連しています。
• この仮定の下で、モチーフ上の自己準同型が「数値的に自明」であれば「冪零」であるという性質（Kimura の結果）を利用します。

3. 主要な結果

定理 1.2（ファントム性の判定基準）

$k$ を体、$T$ を幾何学的実現を持つ非ゼロの滑らかな固有 DG-カテゴリとし、$X$ の Chow モチーフがキマラ有限であると仮定する。このとき以下の同値関係が成り立ちます。

1. $l$-進 $K$ 理論: $l \in k^*$ に対し、$LK_{(1,l)}K(T_k)_{\mathbb{Q}} = 0$ ならば、$T$ はモチフィック・準ファントム（すなわち、任意の滑らかな固有多様体 $Y$ に対して $K_0(T \otimes Y)_{\mathbb{Q}} = 0$）である。
2. ホッチschild ホモロジー: $\mathrm{char}(k) = 0$ かつ $HH^*(T/k) = 0$ ならば、$T$ はモチフィック・準ファントムである。
3. 位相的 $K$ 理論: $k = \mathbb{C}$ かつ $K_{\mathrm{top}}(T)_{\mathbb{Q}} = 0$ ならば、$T$ はモチフィック・準ファントムである。

意義: これらの条件（加法的不変量の消滅）は、通常ファントム性の必要条件ですが、キマラ有限性の仮定の下で十分条件にもなり得ることが示されました。これは Sosna の問いに対する部分的な解答となります。

補題 3.1

$M(T) = 0$ であることと、$T$ がモチフィック・準ファントムであることは同値です。

定理 3.3（証明の核心）

キマラ有限性の仮定を用いて、$M(T)$ がゼロでない場合、ある非ゼロの射が存在し、それが $K$ 理論の実現を通じて非自明な値を与えることを示すことで、対偶を証明しています。具体的には、$M(T)$ が $M(X)$ の直和項として現れ、その射が $l$-進実現でゼロになるなら、キマラ有限性によりその射は冪零となり、結果として $M(T)=0$ となるという論理構成です。

4. 応用：ファントム性の変形不変性

定理 4.2（Corollary 1.3）:
$S$ をノエテル連結スキーム、$f: X \to S$ を滑らかな固有射とし、各ファイバーの Chow モチーフがキマラ有限であると仮定します。
ある点 $0 \in S$ においてファイバー $X_0$ がモチフィック・準ファントム $T_0$ を持ち、かつ $LK_{(1,l)}K(T_0) \neq 0$ である場合（あるいは Belmans–Okawa–Ricolfi 予想が成り立つ場合）、$0$を含むあるエタール近傍$U \to S$が存在し、$U$ 上のすべてのファイバーがモチフィック・準ファントムカテゴリを許容します。

• 意義: これは、Böhmning らによる $\mathbb{Z}/5\mathbb{Z}$-torsion 数値的 Godeaux 曲面族における変形不変性の議論を、キマラ有限性という条件を用いてより広範な族に一般化したものです。

5. 結論と学術的意義

本論文は、非可換代数幾何における「ファントム性」という概念的な性質を、モチーフ論と$K$ 理論の実現という具体的な代数的・幾何的対象に帰着させることに成功しました。

• 理論的貢献: 加法的不変量の消滅が、有理非可換モチーフの消滅（＝モチフィック・準ファントム性）を意味するという逆命題を、キマラ有限性の仮定の下で証明しました。
• 手法の革新: 非可換モチーフ圏と可換モチーフ圏を結びつける関手の構成と、$K(1,l)$-局所 $K$ 理論との同型を示すことで、異なる分野（ホモトピー論、代数幾何、$K$ 理論）を統合する新しい視点を提供しました。
• 将来への示唆: キマラ有限性予想（すべての Chow モチーフはキマラ有限である）が真であれば、本論文の結果は任意の滑らかな固有多様体に対してファントム性の判定基準が成立することを意味します。

この研究は、鏡像対称性や最小モデルプログラムにおける非可換幾何の構造を理解する上で、強力な判定基準を提供するものです。