[論文レビュー] Lefschetz theorem for abelian fundamental group with modulus

Moritz Kerz, Shuji Saito|arXiv (Cornell University)|Apr 14, 2013

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

ひとこと要約

本稿は、分岐が除数 $D$ 沿いに有界な条件下で、アーベル基本群にモジュラスを備えたリーマン超平面定理を確立する。$ \dim(X) \geq 3$ のとき、滑らかで射影的な多様体 $X$ と十分に豊富な滑らかな超曲面 $Y$ 間のアーベル基本群の自然な写像が同型であることを証明する。$ \dim(X) = 2$ のときには、その写像は全射である。この結果は、ハイパーサーフェスの取り方と分岐の有界性の下で成り立つ。古典的なリーマン超平面定理を、高次分岐理論を用いた野生的分岐の文脈へ拡張するものである。

ABSTRACT

We prove a Lefschetz hypersurface theorem for abelian fundamental groups allowing wild ramification along some divisor. In fact, we show that isomorphism holds if the degree of the hypersurface is large relative to the ramification along the divisor.

研究の動機と目的

• アーベル基本群にモジュラスを備えた古典的リーマン超平面定理を、除数に沿った野生的分岐を許容する設定へ拡張すること。
• 自然な写像 $\pi_1^{ab}(Y,E) \to \pi_1^{ab}(X,D)$ が同型または全射となる条件を確立すること。
• 0次サイクルのチャウ群とアーベル基本群との間の相互性同型を構成するための基礎的道具を提供すること。
• シュミットとスパイエスの $p$ と互いに素な結果を、ブリリニスキ–カト–マツダの分岐理論を用いて、完全な分岐設定へ一般化すること。

提案手法

• 連続的特徴 $\chi: \pi_1^{ab}(U) \to \mathbb{Q}/\mathbb{Z}$ が曲線に沿ったアーティンの分岐指数の上限を満たすものとして、$\pi_1^{ab}(X,D)$ をアーベル基本群にモジュラスを備えたものとして導入する。
• マツダによるブリリニスキ–カト分岐フィルトレーションのウィットベクトルへの修正を用いて定義される、非対数的分岐フィルトレーション $\mathrm{fil}_m H^1(U)$ を用いる。
• 導来圏における相対ド・ラーム–ウィット複体と区別可能な三角形の理論を適用し、リーマン性質のコhomological障害を分析する。
• ラインバンドル $\mathcal{O}_X(D - Y)$ に関するセール双対性と消失定理を用いて、$\dim X \geq 3$ のとき、$H^i(X, \mathcal{K})$ が $i=1,2$ で消失することを示す。
• $p$ と互いに素な重複度を持つ除数 $D'$ を用いて、一般の場合を対数的分岐の場合に還元する。この際、補題 2.8(3) を用いて $\mathrm{fil}_D$ と $\mathrm{fil}^{\log}_{D'-C}$ を関連付ける。
• 写像 $\Omega^1_X \to i_*\Omega^1_Y$ の核を分析し、$H^0(C_\lambda, \mathcal{L}(D') \otimes \mathcal{O}_{C_\lambda})$ の消失を示すことにより、コホモロジー上の制限写像の単射性を用いる。

実験結果

リサーチクエスチョン

• RQ1 除数 $D$ 沿いに有界な分岐をもつ超曲面 $Y \subset X$ に対して、自然な写像 $\pi_1^{ab}(Y,E) \to \pi_1^{ab}(X,D)$ が同型となる条件は何か？
• RQ2 アーベル基本群に対するリーマン定理は、$p$ と互いに素な場合を超えて、野生的分岐を含むように拡張可能か？
• RQ3 非対数的分岐フィルトレーション $\mathrm{fil}_m H^1(U)$ と超平面切断との間にはどのような関係があり、コホモロジーへの誘導写像の全射性や単射性を保証する条件は何か？
• RQ4 アーベル基本群にモジュラスを備えた群の構造は、モジュラス除数 $D$ の選び方にどれほど依存するか？
• RQ5 相対ド・ラーム–ウィット複体は、リーマン定理における分岐とコホモロジー的障害を制御するために果たす役割は何か？

主な発見

• 定義 3.1 で定義されるように、$(X,D)$ に対して十分に豊かな超曲面 $Y$ をとるとき、$\dim(X) \geq 3$ ならば、写像 $\iota_{Y/X}: \pi_1^{ab}(Y,E) \to \pi_1^{ab}(X,D)$ は同型である。
• $\dim(X) = 2$ のとき、写像 $\iota_{Y/X}$ は全射であるが、必ずしも単射ではない。
• $p$ と互いに素な部分については、シュミットとスパイエスにより既に知られていたが、本稿ではその結果を完全な分岐設定へ拡張している。
• 変更法と主定理を用いて、有限体上の正規で固有な多様体に対して、最大のプロ-$p'$商 $\pi_1^{ab}(X,D)^0$ の有限性が確立された。
• 次元 $\geq 3$ のとき、$H^i(X, \mathcal{K})$ が $i=1,2$ で消失すること、次元 2 のとき $H^1(X, \mathcal{K})=0$ であることを示す。この証明は、セール双対性と $Y$ の豊かさの条件に依存する。
• 分岐フィルトレーション上の写像の全射性は、$\mathrm{fil}_{D'}H^1(U)/\mathrm{fil}_D H^1(U) \to \mathrm{fil}_{E'}H^1(U\cap Y)/\mathrm{fil}_E H^1(U\cap Y)$ における対応する写像の単射性から導かれる。この単射性は、$H^0(C_\lambda, \mathcal{L}(D') \otimes \mathcal{O}_{C_\lambda})$ の消失から従う。