The exceptional locus of a motivic local system

ルカ・テレンツィ（Luca Terenzi）による論文「THE EXCEPTIONAL LOCUS OF A MOTIVIC LOCAL SYSTEM（モチビック局所系の特異点集合）」の技術的概要を以下にまとめます。

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

背景:
複素代数多様体 $X$ 上の混合ホッジ構造の可変系（Variation of Mixed Hodge Structure: VMHS）$V$ において、点 $x \in X(\mathbb{C})$ における茎（stalk）$V_x$ の複雑さ（ホッジテンソルの数やミルフォード・テイト群のサイズ）がどのように変化するかは、ホッジ論の中心的な問題の一つです。特に、Cattani–Deligne–Kaplan (CDK) 定理は、ホッジ局所集合（Hodge locus）が $X$ の厳密な閉代数部分多様体の可算和であることを示しました。また、Brosnan–Pearlstein–Schnell はこれを混合の場合に拡張し、重みフィルトレーションの分裂点集合についても同様の幾何学的記述を得ています。

問題:
これらの結果はホッジ構造（Hodge structures）の枠組みで得られていますが、より本質的な対象である「モチビック局所系（Motivic Local Systems）」の文脈ではどうなるでしょうか？
モチビック局所系は、Nori モチーヴの圏 $\mathcal{M}(\mathbb{C})$ に値を持つ局所系として定義され、その茎はホッジ構造ではなくモチーヴそのものです。ホッジ実装（Hodge realization）が完全忠実であるという予想（フルネス予想）の下では、モチビック局所系はホッジ可変系を包含するより一般的な枠組みとなります。
本論文の目的は、Nori モチビック局所系に対して、ホッジ局所集合のモチビック版である「特異点集合（Exceptional Locus）」を定義し、その幾何学的・算术的性質を確立することです。さらに、重みフィルトレーションの分裂点集合についても同様の結果を得ることを目指します。

2. 手法と理論的枠組み

本論文は、以下の理論的枠組みと手法を体系的に用いています。

• Nori モチーヴとモチビック局所系:
  Ivorra–Morel や著者自身の先行研究に基づき、Nori モチーヴの圏 $\mathcal{M}(X)$ とその部分圏であるモチビック局所系の圏 $\text{ML}(X)$ を用います。これらは、六関手形式（six-functor formalism）と Tannaka 双対性の枠組みで記述されます。
• モチビックガロイ群（Motivic Galois Groups）:
  各点 $x$ における茎 $M_x$ の Tannaka 双対群 $G_{\text{mot}}(M_x)$ と、全体としての局所系 $M$ のガロイ群 $G_{\text{mot}}(M, x)$ の関係を解析します。特に、アーチン・モチーヴ（Artin motives）の寄与を除去した部分群 $G^\odot_{\text{mot}}(M, x)$ を導入し、これが「一般点」における茎のガロイ群と一致するかどうかを基準とします。
• 関数体上のモチーヴと一般点の解析:
  多様体 $X$ 上のモチビック局所系を、その関数体 $k(X)$ 上のモチーヴとして再解釈する手法を用います。Zariski 稠密な点における茎の性質を、関数体上のモチーヴの性質（特に代数閉体への基底変換におけるガロイ群の不変性）に帰着させることが証明の鍵となります。
• 特異点解消（Resolution of Singularities）:
  Hironaka の特異点解消定理を用いて、$X$ の任意の閉部分多様体を滑らかな多様体から双有理写像で覆い、滑らかな場合の結果を一般の場合へ拡張するノイター帰納法（Noetherian induction）を適用します。

3. 主要な定義と結果

3.1 特異点集合（Exceptional Locus）の定義

$M \in \text{ML}(X)$ をモチビック局所系とし、$x \in X(\mathbb{C})$ を点とします。

• $G_{\text{mot}}(M, x)$: 局所系 $M$ 全体の Tannaka 双対群。
• $G_{\text{mot}}(M_x)$: 茎 $M_x$ の Tannaka 双対群。
• $G^{\text{Art}}_{\text{mot}}(M, x)$: $M$ のアーチン・モチーヴ部分に対応する有限群（連結成分群の予想）。
• $G^\odot_{\text{mot}}(M, x) := \ker(G_{\text{mot}}(M, x) \twoheadrightarrow G^{\text{Art}}_{\text{mot}}(M, x))$。

定義: $x \in \text{EL}(M)$ であるとは、包含写像 $G_{\text{mot}}(M_x) \hookrightarrow G^\odot_{\text{mot}}(M, x)$ が同型でないことをいいます。
直感的には、$x \notin \text{EL}(M)$ であるとき、茎 $M_x$ は $M$ 全体とほぼ同じ複雑さ（モチビック・ガロイ群のサイズ）を持ち、$x \in \text{EL}(M)$ であるときのみ、茎の複雑さが「特異的」に低下します。

3.2 主要定理（特異点集合の構造）

定理 3.5 (Theorem 3.5):
$M$ がアーチン・モチーヴではない場合、特異点集合 $\text{EL}(M)$ は以下の性質を持ちます。

1. 幾何学的性質: $\text{EL}(M)$ は $X$ の厳密な閉代数部分多様体 $S$ に対して $S(\mathbb{C})$ の形をした部分集合の可算和である。
2. 定義体とガロイ共役: $X$ と $M$ が部分体 $k \subset \mathbb{C}$ 上でモデル（$X_k, M_k$）を持つ場合、$\text{EL}(M)$ に含まれる極大閉部分多様体はすべて $k$ 上で定義され、$\text{Gal}(\bar{k}/k)$ 作用に対して不変である。

これは、純粋なホッジ可変系に対する Cattani–Deligne–Kaplan 定理のモチビック版であり、混合の場合への拡張でもあります。

3.3 重み分裂点集合（Weight-Splitting Locus）

モチビック局所系 $M$ には標準的な重みフィルトレーションが存在します。
定義: $x \in \text{WL}(M)$ であるとは、茎 $M_x$ が重み次数付き成分の直和（すなわち半単純）であることとします。

定理 4.13 (Theorem 4.13):
$M$ が半単純でない場合、$\text{WL}(M)$ は $\text{EL}(M)$ の部分集合であり、同様に $X$ の厳密な閉代数部分多様体の可算和として記述され、定義体とガロイ共役に関する性質も満たします。

4. 1-モチビック可変系への応用

1-モチーヴ（1-motives）の圏 $\text{ML}^1(X)$ に対して、André の定理（1-モチーヴのホッジ実装が完全忠実であること）が既知です。これを用いて、以下の結果が得られます。

定理 5.19, 5.20:
$M \in \text{ML}^1(X)$ に対し、そのホッジ実装 $V = \iota^{\text{Hdg}}_X(M)$ を考えます。

1. $V$ の（テンソル）ホッジ局所集合は、$X$ の厳密な閉代数部分多様体の可算和です。
2. $X$ と $M$ が $k$ 上で定義されるとき、このホッジ局所集合は $k$ 上で定義され、$\text{Gal}(\bar{k}/k)$ 作用に対して不変です。
3. 同様に、重み分裂点集合についても同様の結果が成り立ちます。

これは、ホッジ可変系に関する既知の結果（CDK 定理など）を、1-モチーヴの文脈でモチビックな証明によって再確認し、さらにその定義体に関する算術的性質を明確にしたものです。

5. 論文の意義と貢献

1. モチビック版 CDK 定理の確立:
   ホッジ論の枠組みを超え、Nori モチーヴの言語を用いて、ホッジ局所集合の構造定理を一般の混合モチビック局所系に対して証明しました。これにより、ホッジ構造に依存しない、より根源的なモチビックな説明が可能になりました。
2. 算術的性質の明確化:
   特異点集合や分裂点集合が、多様体やモチーヴが定義されている任意の代数閉部分体 $k$ 上で定義され、ガロイ共役に対して不変であることを示しました。ホッジ論の文脈ではこの点が部分的にしか理解されていませんでしたが、モチビックなアプローチによって統一的に扱われました。
3. 手法の革新性:
   従来のホッジ論的な証明（複素解析や高次正規関数に依存する）とは異なり、本論文は Tannaka 双対性、関数体上のモチーヴの性質、および六関手形式の構造論を駆使して、非常にクリーンで概念的な証明を提供しています。特に、Zariski 稠密な点におけるガロイ群の不変性を示す Lemma や、特異点解消を用いた帰納法が鍵となっています。
4. 将来への展望:
   このアプローチは、1-モチーヴだけでなく、ホッジ実装が完全忠実であることが知られている他の Tannaka 部分圏（例えば、より一般的な幾何学的起源を持つ可変系）にも適用可能です。これにより、Shimura 多様体の理論に直接依存しない、より一般的な幾何学的可変系の構造理解への道が開かれています。

総じて、本論文はモチビック幾何学とホッジ論の接点において、局所系の「特異性」を定義し、その幾何学的・算術的構造を完全に記述する重要な進展をもたらしたものです。