[論文レビュー] Notes on the quasi-galois closed schemes

Feng-Wen An|ArXiv.org|Nov 5, 2009

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

ひとこと要約

この論文は、代数的に閉じた体への値をとるアフィン被覆を導入することで、アフィン構造に依存せずに準ガロア閉スキームを再定義する。スキームが準ガロア閉であるための十分かつ必要十分条件を確立し、そのようなスキームが、底スキーム上での準ガロア閉である唯一の最大アフィンパッチングをもつことを証明する。これにより、算術幾何におけるエタール基本群やプロ有限群構造の研究が簡略化される。

ABSTRACT

Let $f:X o Y$ be a surjective morphism of integral schemes. Then $X$ is said to be quasi-galois closed over $Y$ by $f$ if $X$ has a unique conjugate over $Y$ in an algebraically closed field. Such a notion has been applied to the computation of étale fundamental groups. In this paper we will use affine coverings with values in a fixed field to discuss quasi-galois closed and then give a sufficient and essential condition for quasi-galois closed. Here, we will avoid using affine structures on a scheme since their definition looks copious and fussy.

研究の動機と目的

• 準ガロア閉スキームを定義する際の煩わしいアフィン構造への依存を排除すること。
• 固定された代数的に閉じた体への値をとるアフィン被覆を用いて、準ガロア閉スキームのための新しい同等条件を提供すること。
• 底スキーム Y 上で準ガロア閉である条件を満たす、唯一の最大アフィンパッチングによって、準ガロア閉スキームを特徴づけること。
• グロチェンディークの枠組みにおいて、エタール基本群の計算およびスプリットホモトピー完全列の解析を容易にすること。

提案手法

• 固定された代数的に閉じた体 Ω への値をとるアフィン被覆を導入し、開アフィン部分集合間の切断環を比較する。
• 共通の体埋め込みの下での構造層の同型類を扱うために「本質的に等しい」スキームを定義する。
• 底スキーム Y 上での局所環の共役作用に関して不変であることを要件とする「準ガロア閉アフィン被覆」の概念を導入する。
• φα が Spec(Aα) 上で恒等写像である最大アフィンパッチングを用いて、標準的構造を構成する。
• 底体上の整域の共役を用いて、部分環を保存する体同型の下での同値関係を定義する。
• スキームが準ガロア閉であるための必要十分条件として、それが Y 上で準ガロア閉である唯一の最大アフィンパッチングをもつことであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 準ガロア閉スキームの定義を、アフィン構造に依存せずに再定式化できるか？
• RQ2 固定された代数的に閉じた体におけるアフィン被覆を用いた場合、スキームが準ガロア閉であるための条件は何か？
• RQ3 準ガロア閉スキームを特徴づける唯一の最大アフィンパッチングは存在するか？
• RQ4 準ガロア閉条件は、関数体および局所環の共役とどのように関係するか？
• RQ5 この新しい特徴づけにより、エタール基本群の計算は簡略化可能か？

主な発見

• スキーム X が Y 上で準ガロア閉であるための必要十分条件は、k(X) の代数的閉包における値をとる、Y 上で準ガロア閉である唯一の最大アフィンパッチングをもつことである。
• k(X) の代数的閉包 Ω は、共通の環境体として機能し、すべてのアフィン開部分環を Ω への包含により比較可能にする。
• Ω における最大アフィン被覆は一意的であり、先行研究で確立された X の Ω 上の自然なアフィン構造と一致する。
• 準ガロア閉であるという条件は、Y 上で準ガロア閉条件を満たす唯一の最大アフィンパッチングの存在と同値である。
• 任意の準ガロア閉スキームは、その関数体の代数的閉包への値をとる唯一の最大アフィン構造をもつ。
• 技術的なアフィン構造の負担を回避しつつ、エタール基本群の計算に必要な本質的性質を保持している。