[論文レビュー] The structure of the pro-l-unipotent fundamental group of a smooth variety

J. P. Pridham|arXiv (Cornell University)|Jan 27, 2004

Algebraic Geometry and Number Theory参考文献 15被引用数 7

ひとこと要約

本稿は、正標数における滑らかでコンpactな多様体のpro-l-ユニポテンツ基本群の2次的表示を、可解なリー代数上の変形理論とWeil予想からの重みの考察を用いて確立する。基本群は括弧長4以下の関係式によって定義され、コhomology上のカップ積の非退化性を示し、Hard Lefschetzと形式的性の結果から、非自由性および構造的制約が導かれる。

ABSTRACT

By developing a theory of deformations over nilpotent Lie algebras, based on Schlessinger's deformation theory over Artinian rings, this paper investigates the pro-l-unipotent fundamental group of a variety X. If X is smooth and proper, defined over a finite field, then the Weil conjectures imply that this group is quadratically presented. If X is smooth and non-proper, then the group is defined by equations of bracket length at most four.

研究の動機と目的

• 特異的零標数のde Rham基本群に関する結果を、SDCとpro-可解なリー代数を用いて有限標数へ拡張すること。
• 正標数における滑らかでコンpactな多様体のpro-l-ユニポテンツ基本群の構造的制約を確立すること。
• コhomological重みフィルトレーションと形式的性を用いて、基本群が括弧長4以下の2次的表示をもつことを証明すること。
• コhomology上のカップ積が非退化であることを示し、これが基本群が自由でないことを示唆すること。
• トポロジカル手法を避けて、変形函手とSDCを用いて$π_1$-ハルの明示的代数的記述を提供すること。

提案手法

• SDC（単体的DGA函手）を用いて、可解なリー代数上での変形理論を展開し、スキームのホモトピー型をモデル化する。
• pro-可解なリー代数上のpro-代表可能な函手の理論を応用し、基本群の構造を分析する。
• DeligneのWeil IIからのコhomology上の重みフィルトレーションを用いて、基本群における関係式の次数を制約する。
• Hard Lefschetz定理とPoincaré双対性を適用し、コhomologyにおけるカップ積の非退化性を示す。
• pro-ユニポテンツ設定における形式的性を活用し、$α_l$-ホモトピー型とDGAのGalois-equivariantな準同型を確立する。
• $α_l$-ホモトピー型のモデルとして、標準的なSDC $S^n(π_1) = C^n(X, \exp(\mathfrak{g}))$ を用い、コシンプレックス $C^*(X, \mathbb{Q}_l)$ に双対的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 正標数における滑らかでコンpactな多様体のpro-l-ユニポテンツ基本群の構造は、特異的零標数における2次的表示と類似して明示的に記述可能であろうか？
• RQ2 コhomology上の重みフィルトレーションは、基本群における関係式にどのような制約を課えるか？
• RQ3 $H^1(\pi_1(X,\bar{x}), \mathbb{Q}_l)$ 上のカップ積が非退化であるかどうか、そしてそれが群の構造に与える影響は何か？
• RQ4 正標数における$α_l$-ホモトピー型の形式的性は、基本群に明示的な代数的制約をもたらすか？
• RQ5 SDCと可解なリー代数上の変形函手は、正標数における代数的多様体のホモトピー的構造をどのように捉えているか？

主な発見

• 滑らかでコンpactな多様体$X$のpro-l-ユニポテンツ基本群$\pi_1(X,\bar{x})\otimes_{\mathbb{Z}_l}\mathbb{Q}_l$ は、括弧長4以下の関係式によって定義される2次的表示を持つ。
• 滑らかでコンpactな$X$に対して、カップ積$H^1(\pi_1(X,\bar{x}), \mathbb{Q}_l) \times H^1(\pi_1(X,\bar{x}), \mathbb{Q}_l) \to H^2(\pi_1(X,\bar{x}), \mathbb{Q}_l)$ は非退化であり、群が自由でないことを示唆する。
• コhomological重みフィルトレーションにより、基本群における関係式は重み$-2$、$-3$、$-4$ の成分から生じるため、定義方程式の次数が制限される。
• 基本群のハルは自由リー代数の3番目の項を剰余とした商$L(V)/\Gamma_3(L(V))$ と同型でないため、非自明な関係が存在する。
• $\mathbb{Q}_l$-ホモトピー型は形式的であり、標準的なSDCにより準同型なDGAが得られ、Deligneの結果を用いてGalois-equivarianceが確立される。
• Hard Lefschetz定理により、基本群の構造が制約され、滑らかでコンpactな多様体に対して自由性が排除される。