[論文レビュー] Affine Structures on a Ringed Space and Schemes

Feng-Wen An|arXiv (Cornell University)|Jun 5, 2007

Nonlinear Waves and Solitons参考文献 5被引用数 7

ひとこと要約

本稿では、アフィン変換の擬群を用いて、最大アトラスを備えたアフィンチャートによるスキームの厳密な定義を可能とする、環付き空間上のアフィン構造を導入する。2つのスキームが同型であるための必要十分条件は、それらの完全なアフィン構造が同値であることであることが示され、スキームの同型およびホメオモーティズムの局所的・グローバル的特徴付けがアフィンデータに基づいて与えられる。

ABSTRACT

In this paper we will first introduce the notion of affine structures on a ringed space and then obtain several properties. Affine structures on a ringed space, arising mainly from complex analytical spaces of algebraic schemes over number fields, behave like differential structures on a smooth manifold. As one does for differential manifolds, we will use pseudogroups of affine transformations to define affine atlases on a ringed space. An atlas on a space is said to be an affine structure if it is maximal. An affine structure is admissible if there is a sheaf on the underlying space such that they are coincide on all affine charts, which are in deed affine open sets of a scheme. In a rigour manner, a scheme is defined to be a ringed space with a specified affine structure if the affine structures are in action in some special cases such as analytical spaces of algebraic schemes. Particularly, by the whole of affine structures on a space, we will obtain respectively necessary and sufficient conditions that two spaces are homeomorphic and that two schemes are isomorphic, which are the two main theorems of the paper. It follows that the whole of affine structures on a space and a scheme, as local data, encode and reflect the global properties of the space and the scheme, respectively.

研究の動機と目的

• 多様体の微分構造に対応する形で、アフィン変換の擬群を用いて環付き空間上のアフィン構造を形式化すること。
• 数体上の代数的スキームの複素解析的空間において、異なるアフィン被覆が非同型な解析的空間をもたらすという曖昧さを解消すること。
• 2つのスキームが同型である、または2つの空間がホメオモーティックであるための必要十分条件を、それらの完全なアフィン構造を用いて与えること。
• スキームが特定のアフィン構造を備えた環付き空間であることを確立し、スキーム理論に新たな基礎的視点を提供すること。
• ガロア被覆およびガロア閉スキームにおけるアフィン構造の役割を探索し、構造と算術的性質の関係を明らかにすること。

提案手法

• アフィン構造を、移動写像がアフィン変換である最大アトラスとして、環付き空間上に定義する。
• アフィン変換の擬群を用いてアトラスを構成し、構造の整合性と最大性を保証する。
• アフィンチャートの集合に、関係 ∼X および ∼Y を導入し、それぞれにより商スキーム Σ∗X および ΣY を定義する。
• 自然な商写像 πX: Σ∗ → Σ∗X および πY: Σ → ΣY を構成し、これらがスキーム同型 ρX: Σ∗X → X および ρY: ΣY → Y を誘導することを証明する。
• 商写像と同型写像の合成により写像 τ: X → Y を定義し、τ が適切に定義されており、スキーム同型を誘導することを示す。
• GAGAの関手的性質およびセールの結果を活用し、アフィン被覆と複素解析的空間との関係を明らかにし、解析的実現の非一意性を強調する。

実験結果

リサーチクエスチョン

• RQ1 同一スキームの異なるアフィン被覆は、いつ複素解析的空間として非同型なホモトピー型をもたらすか？
• RQ2 同じ位相的空間を共有する2つのスキームが、それらのアフィン構造に基づいていつ同型となるか？
• RQ3 アフィン被覆ではなく完全なアフィン構造によって、スキームを一意に特徴付けられるか？
• RQ4 アフィン構造は、ガロア閉スキームおよびその算術的性質を区別する上で果たす役割は何か？
• RQ5 スキームのグローバルな同型型は、そのアフィンチャートおよび移動写像の局所的データのみから完全に決定可能か？

主な発見

• スキームが環付き空間と同型であるための必要十分条件は、それらの完全なアフィン構造が同値であることである。これはスキーム同型の必要十分条件を提供する。
• 2つの環付き空間がホメオモーティックであるための必要十分条件は、それらの完全なアフィン構造が同値であることである。これは位相的同値性の局所的特徴付けを確立する。
• 関係 ∼X を用いて構成された商スキーム Σ∗X は、X と同型である。これは、アフィン構造が元のスキームを完全に回復できることを示している。
• 商写像と同型写像の合成により定義される写像 τ: X → Y が適切に定義され、かつスキーム同型であるための必要十分条件は、X と Y のアフィン構造が同値であることである。
• 環付き空間上のアフィン構造は、アフィン写像を移動写像とする最大アトラスとして定義され、多様体の微分構造に類似している。
• 同一スキームの異なるアフィン被覆は、セールの例により示されるように、異なるホモトピー型の複素解析的空間をもたらすことがある。