[論文レビュー] On relative birational geometry and Nagata's compactification

Michael Temkin, Ilya Tyomkin|arXiv (Cornell University)|Nov 25, 2013

Algebraic Geometry and Number Theory参考文献 12被引用数 3

ひとこと要約

この論文は、モデル理論的枠組みを用いて、代数的空間への相対的有理型幾何の拡張を試み、半値関数空間と押し出しを導入することで、代数的空間に対するナガタのコンパクト化定理の新しい証明を提供する。スキーム化の値関数的基準を確立し、プリューファー準同型を特徴づけることで、スタックや等長幾何への一般化のための基盤的道具を提供する。

ABSTRACT

In 2011, the first author introduced (relative) Riemann-Zariski spaces corresponding to a morphism of schemes and established their basic properties. In this paper we clarify that theory and extend it to morphisms between algebraic spaces. As an application, a new proof of Nagata's compactification theorem for algebraic spaces is obtained.

研究の動機と目的

• スキームから代数的空間へまでの相対的リーマン・ザリスキ空間の理論を拡張すること。
• 代数的空間に対するナガタのコンパクト化定理の、新しいモデル理論的証明を提供すること。
• 半値関数空間を用いて代数的空間のスキーム化の値関数的基準を開発すること。
• qcqs代数的空間の文脈におけるプリューファー準同型とペアを特徴づけること。
• 将来の等長幾何やデリーニュ＝ムーディスタックへの一般化の土台を築くこと。

提案手法

• 分離的かつスキーム的密度のあるモーフィズム $\psi_\mathbf{X}: \mathcal{X} \to X$ を持つ三重組 $\mathbf{X} = (\mathcal{X}, X, \psi_\mathbf{X})$ をモデルとして導入する。
• モーフィズム $\mathcal{X}$-写像が同型で、$X$-写像が固有であるようなモデルの変形を定義する。
• 半値関数空間とその押し出しを用いて、モデルの値関数的構造を分析する。
• フェランの押し出しと近似技術を用いて、吹き上げを介した代数的空間からスキームへの構成を行う。
• 準変形と準吹き上げを用いて、グローバルなスキーム化問題を局所的な値関数的条件に還元する。
• 値関数空間 $\mathrm{Val}(\mathbf{X})$ の準コンパクト性を活用し、有限個のスキームに類似した部分に空間を被覆する。

実験結果

リサーチクエスチョン

• RQ1 相対的リーマン・ザリスキ空間の理論を、スキームから代数的空間へ拡張できるか？
• RQ2 モデル理論的かつ値関数的アプローチを用いて、ナガタのコンパクト化定理を再証明できるか？
• RQ3 どの値関数的条件が、$\mathcal{X}$-許容的吹き上げの後で代数的空間がスキームになることを保証するか？
• RQ4 qcqs代数的空間間のプリューファー準同型は、変形とスキーム化の観点からどのように特徴づけられるか？
• RQ5 半値関数空間と押し出しは、コンパクト化とスキーム化の構成をどのように支援するか？

主な発見

• 任意のモデルに対してアフィン変形の存在を用いて、代数的空間に対するナガタのコンパクト化定理の新しい証明が得られる。
• 任意の代数的空間の分離的モーフィズムは、アフィンモーフィズムの後に固有モーフィズムが続く合成に分解可能であり、古典的因子分解結果を一般化する。
• スキーム的密度のある準コンパクト開部分スキーム $\mathcal{X}$ を持つ代数的空間 $X$ は、$\mathcal{X}$-許容的吹き上げによってスキームにできるための必要十分条件は、$\mathbf{T} \to \mathbf{X}$ に付随するすべての値関数空間 $T$ が分離的であることである。
• モデル $\mathbf{X}$ がプリューファーであるための必要十分条件は、$\psi_\mathbf{X}$ がプロ開埋め込みであり、$(X, \mathcal{X})$ がプリューファー対であることである。
• qcqs代数的空間間のプリューファー準同型のクラスは、エタール基底変換に関して安定である。
• 値関数空間 $\mathrm{Val}(\mathbf{X})$ は準コンパクトであり、準吹き上げを用いて有限個のスキームに類似した部分に被覆可能である。