スキーム理論における「アフィン開集合の交差がアフィンか？」という問題は、数学者にとって興味深い問題であり、特に分離的なスキームに関する理解を深めるための重要な議題です。この記事では、ハーツホーンの演習問題に関連する「アフィン開集合の交差」についての証明とその背後にある理論を解説します。
分離的スキームとアフィン開集合の定義
まず、分離的なスキームとは、スキームの「整合性」に関連する概念であり、特にスキーム上の開部分スキームが整然としていることを意味します。アフィン開集合は、スキーム上で「アフィン」な性質を持つ部分集合のことです。アフィン開集合とは、基本的に対応する環がアフィン空間に関連した環である場合に扱われます。
問題で扱っているのは、2つのアフィン開集合UとVの交差点が再びアフィン開集合になるかどうかという問題です。これを解決するためには、スキーム論におけるアフィン開集合の交差が持つ性質を理解する必要があります。
ハーツホーンの演習問題と証明の手法
問題の解説で「U∩V ≅ Δ(X)∩(U×V)」という式が登場します。ここで、Δ(X)はスキームXの対角写像を示し、U×VはUとVのファイバー積です。対角写像Δ(X)はスキームXの自己写像として定義され、U×Vの中でU∩Vを閉埋め込みとして表現することができます。
解説で使われている「閉埋め込み」という概念は、スキーム論において非常に重要で、特に交差部分がアフィン開集合であることを示すために、U×Vの中でその構造がどう組み合わさるかを分析するために使用されます。
U×Vがアフィンでない場合の懸念
質問者の疑問にあるように、「U×Vはアフィンとは限らない」という点は理解できます。確かに、U×Vがアフィンでない場合、交差部分がアフィンであるかどうかを単純に証明するのは難しいかもしれません。しかし、この証明の中で重要なのは、Δ(X)∩(U×V)が閉埋め込みであり、したがって交差部分が再びアフィン開集合として扱えるという点です。
これは、U∩Vがアフィン開集合であるために、次に示すような基本的な特性が満たされることを意味しています。すなわち、アフィン開部分スキームの交差がアフィン開集合であるための条件が成立することが重要です。
問題の補足：Stacks Projectの補題と理論の適用
Stacks Projectで示されたように、UとVが共通のアフィン開集合Wに帰納できる場合、U∩Vがアフィンであるという補題が成立します。これは、UとVの交差部分がアフィン開集合になるための十分条件として働きます。特に、分離的スキームの場合、UとVが任意であっても交差部分がアフィンになるという理論的背景が整っています。
まとめ：アフィン開集合の交差について
アフィン開集合の交差が再びアフィン開集合になるかという問題について、証明は確かに難解ですが、対角写像Δ(X)や閉埋め込みの概念を使うことで理解できます。最終的には、分離的スキームにおいては、アフィン開集合の交差がアフィンであることが示されます。
この問題を解決するためには、スキーム論における理論をしっかりと理解し、証明の各ステップを注意深く追うことが大切です。
コメント