[論文レビュー] Nearby slopes and boundedness for $\ell$-adic sheaves in positive characteristic

Jean-Baptiste Teyssier|arXiv (Cornell University)|Jun 9, 2015

Algebraic Geometry and Number Theory参考文献 4被引用数 5

ひとこと要約

本稿は、正の特性における $\iota$-adic ファイバー層の近傍的勾配に関する有界性定理を確立し、写像 $f: X \to S$ に関連する近傍的勾配の集合が有限であることを証明する。主な結果は、近傍的勾配が野生的分岐を制御することを示し、構造的ファイバー層の押し出しにおける分岐の有界性を勾配不変量を用いて与える枠組みを提供する。この枠組みは、高次元幾何学および分岐論への応用を可能にする。

ABSTRACT

The goal of this paper is to motivate a boundedness conjecture on nearby slopes of $\ell$-adic sheaves in positive characteristic, and to prove it for smooth curves. For a constructible $\ell$-adic sheaf, we prove the finiteness of the set of nearby slopes associated to a given morphism. For the constant sheaf, we prove the vanishing of nearby slopes in case of generalized semi-stable reduction.

研究の動機と目的

• 正の特性における $\iota$-adic ファイバー層の固有押し出しにおける野生的分岐の有界性を求めるプログラムを動機づけ、開始する。
• 複素 $\iota$-adic ファイバー層の近傍的勾配の集合が有限であることを確立し、$\rho$-加群からの有界性結果を一般化する。
• 高次元において、古典的不変量（例えばスワン乗数）が不十分な場合に、近傍的勾配を野生的分岐不変量の代わりに用いることを提案する。
• ファイバー層 $\mathcal{G}$ の分岐と写像 $g$ の分岐を用いて、$Rg_*\mathcal{G}$ の野生的分岐を有界化するための基盤を提供する。
• 一般化された半安定還元をもつスキーム上の定数ファイバー層 $\overline{\mathbb{Q}}_\ell$ の近傍的勾配が自明（すなわち $\{0\}$）であることを示し、有界性枠組みの基盤を提供する。

提案手法

• 近傍的勾配 $r \in \mathbb{R}_{\geq 0}$ を、$\psi_f^t(\mathcal{F} \otimes f^*N) \neq 0$ となるような $N$（勾配 $r$）が存在する場合に定義する。これは、中程度近傍サイクル関手 $\psi_f^t$ を用いる。
• Deligneの有限性定理（[Del77] より）を基盤として用い、任意の $\mathcal{F} \in D^b_c(X_\eta, \overline{\mathbb{Q}}_\ell)$ に対して $\operatorname{Sl}^{\operatorname{nb}}_f(\mathcal{F})$ が有限であることを証明する。
• 一般化された半安定還元をもつ写像に対して、$\overline{\mathbb{Q}}_\ell$ の最大近傍的勾配がゼロであることを、帰納法とファイバーの幾何学的連結性を用いて確立する。
• 構造的性と固有基底変換を用い、問題を局所的ジェルムに還元し、基本群によるモノドロミー作用を分析する。
• Lypkovskiの不変多面体の不可約性基準を用い、特定の形式的スキームが幾何学的に連結であることを証明し、$\mathcal{H}^0\psi_f^t f^*N$ の消失を保証する。
• $\psi_f^t$ が固有押し出しと可換であることを活用し、押し出しの近傍サイクルを元のファイバー層のサイクルと関連付ける。

実験結果

リサーチクエスチョン

• RQ1 固有押し出し $Rg_*\mathcal{G}$ の野生的分岐は、$\mathcal{G}$ の野生的分岐と写像 $g$ の分岐を用いて有界化可能か？
• RQ2 任意の整数的 $\ell$-adic 複体 $\mathcal{F}$ に対して、近傍的勾配の集合 $\operatorname{Sl}^{\operatorname{nb}}_f(\mathcal{F})$ は有限か？
• RQ3 高次元において、近傍的勾配は古典的分岐不変量（例えばスワン乗数）の代わりに用いることができるか？
• RQ4 一般化された半安定還元をもつ写像に対して、$\overline{\mathbb{Q}}_\ell$ の最大近傍的勾配は消えるか？
• RQ5 滑らかな曲線上の $\mathcal{F}$ に対して、重み付き集合 $\{ r / (1 + \operatorname{Max}\operatorname{Sl}^{\operatorname{nb}}_f(\overline{\mathbb{Q}}_\ell)) \mid r \in \operatorname{Sl}^{\operatorname{nb}}_f(\mathcal{F}), f \in \mathcal{O}_V \}$ は有界か？

主な発見

• 任意の $\mathcal{F} \in D^b_c(X_\eta, \overline{\mathbb{Q}}_\ell)$ に対して、近傍的勾配の集合 $\operatorname{Sl}^{\operatorname{nb}}_f(\mathcal{F})$ は、Deligneの有限性定理を用いて有限であることが証明された。
• 一般化された半安定還元をもつ写像 $f: X \to S$ に対して、$\operatorname{Sl}^{\operatorname{nb}}_f(\overline{\mathbb{Q}}_\ell) = \{0\}$ である。これは、非自明な近傍的勾配が存在しないことを意味する。
• $\mathcal{H}^0\psi_f^t f^*N \simeq 0$ が、正の勾配を持つ任意の $N$ に対して成り立つ。これは、モノドロミーの全射性とファイバーの幾何学的連結性を用いて証明された。
• 一般化された半安定還元をもつスキーム上での $\overline{\mathbb{Q}}_\ell$ の近傍的勾配はゼロであり、これは重み付き勾配の有界性の基盤として不可欠である。
• 滑らかな曲線上の $\mathcal{F}$ に対して、重み付き勾配集合 $\{ r / (1 + \operatorname{Max}\operatorname{Sl}^{\operatorname{nb}}_f(\overline{\mathbb{Q}}_\ell)) \}$ は、近傍的勾配が有限であるという仮定の下で有界である。
• 証明は、$\gcd(a_1,\dots,a_m) = 1$ のとき、$f_{a,P} = P(\pi') - x_1^{a_1} \cdots x_m^{a_m}$ のニュートン多面体の不変多面体の不可約性に依存し、Lypkovskiの基準を用いる。