[論文レビュー] Esnault-Levine-Wittenberg indices

Janós Kollár|arXiv (Cornell University)|Dec 13, 2013

Finite Group Theory Research参考文献 11被引用数 4

ひとこと要約

本稿は、体上の固有スキームの不変量であるEsnault-Levine-Wittenberg（ELW）インデックスを導入し、体系化する。ELWインデックスは、有界次元の局所自由層のオイラー標数が生成するイデアルとして定義される。主な貢献は、特異点の解消を用いずに、Nishimura–Szabó補題を用いてELWインデックスの被約不変性を証明し、代数的閉体を残渣体とするHenselian体上では、特性0ではインデックスが安定化し、正標数では torsion までで安定化することを確立することである。

ABSTRACT

These are extended notes of a lecture about the papers 1207.1883 by Esnault-Levine-Wittenberg and 1308.3024 by Wittenberg. The aim is to define the Esnault-Levine-Wittenberg indices, establish their basic properties amd to pose several questions. v.2: references updated.

研究の動機と目的

• 体上の固有スキームの算術的・幾何的性質を研究するための整合的フレームワークとして、Esnault-Levine-Wittenbergインデックスを形式化・体系化すること。
• 構造層のオイラー標数が上位のELWインデックスを制御する役割を明確にすること、特に多様体のインデックスとの関係において。
• 特異点の解消を仮定せず、Nishimura–Szabó補題を用いてELWインデックスの被約不変性を証明すること。
• 代数的閉体を残渣体とするHenselian離散付値環上でのELWインデックスの安定化を確立すること、特に特性0では完全に安定し、正標数では torsion までで安定すること。
• 実数体および有限体上でのELWインデックスの振る舞いを調査し、特に実代数幾何における有理的性や有理的連結性への影響を検討すること。

提案手法

• すべての局所自由層 $F$ で $\dim \operatorname{Supp} F \leq i$ を満たすものに対して、$\chi(X, F)$ が生成する $\mathbb{Z}$ 上のイデアルとして、ELWインデックス $\operatorname{elw}_i(X)$ を定義する。
• デヴィッサージュおよび $K$-理論的議論を用いて、$\operatorname{elw}_i(X)$ が、次元 $\leq i$ の整関数的部分多様体 $Z \subset X$ に対して $\chi(Z, \mathcal{O}_Z)$ が生成することを示す。
• Lerayスペクトル系列を用いて、準同型写像下でのオイラー標数の関係を確立し、$\chi(X, F) \in \operatorname{elw}_r(Y)$ が成り立つことを示す。ここで $r = \dim f(\operatorname{Supp} F)$ である。
• Nishimura–Szabó補題を用いて、被約同型写像下での $\chi(\mathcal{O}_X)$ の振る舞いを制御し、被約不変性を証明する。
• 正則モデルがHenselian DVR上に存在する場合、$\chi(X_K, \mathcal{O}_{X_K}) \in \operatorname{elw}_0(X_K)$ が成り立つという重要な結果を示す。これは、多重ファイバー上の線分束の数値的自明性を用いて得られる。
• Bertini型定理および基底変換を用いて、有限体上での問題を幾何的整関数的状態に還元し、正規多様体 $W$ に対して $\operatorname{elw}_0(W) = h^0(W, \mathcal{O}_W)$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 代数的閉体を残渣体とするHenselian体上では、ELWインデックスの列は安定化するか？
• RQ2 固有スキームのELWインデックス $\operatorname{elw}_i(X)$ は被約不変か？ もしそうなら、特異点の解消を仮定せず、Nishimura–Szabó補題を用いて証明可能か？
• RQ3 $\chi(X, \mathcal{O}_X)$ と上位のELWインデックス $\operatorname{elw}(X)$ の関係は何か？ 特に $\chi(X, \mathcal{O}_X)$ が下位のインデックスで割り切れない場合。
• RQ4 ELWインデックスは、実数体および有限体上での有理点や有理的曲線を検出できるか？
• RQ5 実数体上での有理的連結多様体 $X$ に対して、$\operatorname{elw}_1(X) = 1$ が成り立つか？ たとえ $X(\mathbb{R}) = \emptyset$ であっても。

主な発見

• 固有スキーム $X$ に対して、ELWインデックス $\operatorname{elw}_i(X)$ は、特異点の解消を仮定せず、Nishimura–Szabó補題を用いて証明された被約不変量である。
• 代数的閉体を残渣体とするHenselian離散付値環上に固有スキーム $X$ が存在するとき、特性0では $\operatorname{elw}_0(X) = \cdots = \operatorname{elw}_{\dim X}(X)$ が成り立ち、正標数では $\mathbb{Z}[p^{-1}]$ 上で成り立つ。
• 上位ELWインデックスは $\operatorname{elw}(X) = (\operatorname{elw}_{\dim X - 1}(X), \chi(X, \mathcal{O}_X))$ を満たす。したがって、$\ell$-進付値が $\chi(X, \mathcal{O}_X)$ に依存するのは、$\ell$ が $\chi(X, \mathcal{O}_X)$ を割り切るが $\operatorname{elw}_{\dim X - 1}(X)$ を割り切らない場合に限る。
• 有限体上では、正規整関数的多様体 $W$ に対して $\operatorname{elw}_0(W) = h^0(W, \mathcal{O}_W)$ が成り立ち、これは残渣体への基底変換後に1次元0次元サイクルを用いて達成される。
• 実数体上では、$X(\mathbb{R}) \neq \emptyset$ ならば $\operatorname{elw}_0(X) = 1$、そうでなければ $\operatorname{elw}_0(X) = 2$ である。特定の $\mathbb{P}^2$ の2重被覆では、$\operatorname{elw}_1(X)$ で2から1に低下する例がある。
• 実数体上に、$\operatorname{elw}_0(S) = \operatorname{elw}_1(S) = 2$ かつ $\operatorname{elw}_2(S) = 1$ を満たす滑らかで2次元の曲面 $S$ が存在する。これは、インデックス列が上位でのみ安定化することがあることを示している。