固有射
固有射(こゆうしゃ、英: proper morphism)とは、スキームの射で、 複素解析空間の固有写像の代数幾何学における類似物である。
体 k 上固有な 代数多様体は完備多様体(英語版)とも呼ばれる。例えば、体 k 上の任意の射影多様体は k 上固有である。複素数体 C 上の有限型(英語版)スキーム X(例えば代数多様体)が C 上固有であるためには、その複素数値点の空間 X(C) が古典的な(ユークリッド)位相のもとでコンパクトかつハウスドルフになることが必要十分である。
閉埋入(英語版)(closed immersion)は固有射である。スキームの射が有限射(finite morphism)であることと、固有射かつ準有限射(quasi-finite morphism)であることは同値である。
定義
スキームの射 f: X → Y が絶対閉(universally closed)とは、任意のスキーム Z と射 Z → Y に対してファイバー積(英語版)からの射影
が位相空間の写像として閉写像となっていることを言う。スキームの射が固有であるとは、分離的(英語版)かつ有限型(英語版)かつ絶対閉であることを言う[1]。またこのとき、X は Y 上固有と言われ、体 k 上の代数多様体 X の構造射 X → Spec(k) が固有であるときは k 上固有と言われる。
体 k 上固有なスキームはまた k 完備スキームとも呼ばれる[2]。完備という言葉が使われている理由は次のように説明できる。k 完備スキーム X がある k 上の分離的スキーム Y に開部分スキームとして埋め込むことができたとする。埋め込みを与える射 X → Y は#性質と特徴付けの最後にあげられている性質により固有射となるので、その像は開集合であるのみならず閉集合、したがって X は Y の連結成分となる。このように、k 完備スキームに対しては無限遠成分をつけ加えてスキームを作るといったアフィン代数多様体に対してできたことができず、たしかに完備なのである。
絶対閉の概念を用いた代数幾何学における固有性の定義はシュヴァレーによる [3]。
例
n を自然数 、Pn を可換環 R 上の射影空間とすると、これは R 上固有である。射影的射(英語版)は固有であるが、全ての固有射が射影的とは限らない。例えば、固有かつ滑らかな(英語版)な3次元複素代数多様体であって、C 上非射影的なものの存在が知られている[4]。体 k 上の次元が正なアフィン多様体は決して k 上固有にならない。より一般に、固有なアフィン射(英語版)は必ず有限射である[5]。例えば、簡単に分かることだが、体 k 上のアフィン直線 A1 は射 A1 → Spec(k) が絶対閉ではないので k 上固有ではない。実際、この射の A1 のファイバー積への引き戻し
は (x,y) ↦ y によって与えられるが、これによる A1 × A1 = A2 の閉部分集合 xy = 1 の像が A1 − 0 となり、これは A1 の閉集合ではないので、閉ではない。
性質と特徴付け
以下では f: X → Y をスキームの射とする。
- 2つの固有射の合成は固有である。
- 固有射 f: X → Y の基底変換(英語版)は固有である。つまり、任意のスキームの射 g: Z → Y に対して、自然な射影 X ×Y Z → Z は固有である。
- 固有性は基底(のザリスキー位相)についての局所的性質(英語版)である。つまり、Y が開部分スキームの集合 Yi で被覆されており、f を f−1(Yi) に制限したものが全て固有ならば、f も固有である。
- もっと強く、固有性は基底の fpqc 位相(英語版)に関して局所的な性質である。例えば、X を体 k 上のスキーム、E を k の拡大体とすると、X が k 上固有であることと基底変換 XE が E 上固有であることは同値である[6]。
- 閉埋入(英語版)は固有である。
- もっと一般に、有限射は固有である。これは上昇定理の帰結である。
- スキームの射が有限であることと、固有かつ準有限(quasi-finite)であることは同値である(ドリーニュ)[7]。射 f: X → Y が局所的に有限表示のときは、これはグロタンディークによって証明されていた[8]。この仮定は、Y がネータースキームなら他の前提条件から従う。
- スキーム S 上固有な X と S 上分離的な Y に対して、S 上の任意の射 X → Y の像は Y の閉部分集合である[9]。これは、コンパクト空間からハウスドルフ空間への連続写像の像は閉部分集合であるという、位相幾何学の定理の類似になっている。
- (シュタイン分解(英語版)定理)f が局所ネータースキームへの固有射であれば、X → Z → Y と分解できる。ここで、X → Z は固有かつ全射かつ幾何的に連結なファイバーを持つ射で、Z → Y は有限射である[10]。
- (チャウの補題(英語版))固有射は射影的射(英語版)と密接に関係している。これの1つの定式化は次である。準コンパクトスキーム Y 上の固有スキーム X が有限個の既約成分だけを持つ(Y がネーターならば自動的に満たされている)なら、全射の射影的射 g: W → X で W が Y 上射影的なものが存在する。さらに、g が X の稠密な開部分集合 U の上で同型写像で、g−1(U) が W で稠密とすることができる。また、X が整なら W も整とすることができる[11]。
- (一般化された永田のコンパクト化定理(英語版))準コンパクトかつ準分離的(英語版)であるスキーム間の有限型分離射は、開埋入と固有射に分解できる(ドリーニュ)[12]。
- 局所ネータースキーム間の固有射は層の連接性を保つ。すなわち、連接層 F の高次順像 Rif∗(F)(特に順像 f∗(F))は連接層である[13]。(グラウエルト(英語版)とレンメルト(英語版)は、複素解析空間の固有写像による高次順像は同様に層の解析的連接性を保つことを証明した。)これから、この定理の非常に単純な適用例として、体 k 上固有な スキーム X の正則関数のなす環は有限次元 k ベクトル空間であることが分かる。これは体 k 上のアフィン直線の正則関数のなす環は多項式環 k[x] であり、有限次元 k ベクトル空間ではないことと対照的である。
- X を複素数体上の有限型スキームとすると、その複素数値点の集合 X(C) は複素解析空間になり、古典的な(ユークリッド)位相が入る。X と Y が C 上分離的かつ有限型ならば、C 上の射 f: X → Y が固有であることと、誘導された連続写像 f: X(C) → Y(C) が固有であること、すなわち任意のコンパクト集合の逆像がコンパクトになることは同値である[15]。
- 射 f: X→Y と g: Y→Z の合成 gf が固有で g が分離的ならば、f は固有である。これは、例えば次節の判定法を使って容易に示すことができる。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/fe/Valuative_criterion_of_properness.png/300px-Valuative_criterion_of_properness.png)
固有性の付値判定法
シュヴァレーに遡る、固有性の付値判定法と呼ばれる非常に直感的な固有性の判定法がある。f: X → Y をネータースキーム間の有限型射とする。このとき、f が固有であるための必要十分条件は、R を任意の離散付値環、K をその商体、x ∈ X(K) を K 値点とするとき、像 f(x) が R 上定義されるならば一意的な持上げ が存在することである[16]。より一般に、任意のスキーム X と Y の間の有限型の準分離射 f: X → Y(有限型なら準コンパクトであることに注意)が固有であるための必要十分条件は、R を任意の付値環、K をその商体、x ∈ X(K) を K 値点とするとき、像 f(x) が R 上定義されるならば一意的な持上げ が存在することである[17]。離散付値環とは1次元の正則局所環に他ならず、Spec K は Spec R の生成点(英語版)であることに注意すると、この判定法を次のように言い換えることができる。Y 上の正則な曲線(射 s: Spec R → Y に対応)とこの曲線の生成点の X への持上げが与えられたとき、f が固有であるための必要十分条件はこの曲線を完成(complete)させる方法がただ1つ存在することである。
同様に、f が分離的であることと、全てのこのような図式に置いて持上げ が多くとも1つしかないこととは同値である。
この判定法を用いると、例えば射影空間 Pn が体(Z でもよい)上固有であることが簡単に示せる。R を離散付値環、K をその商体とし、射影空間の任意の K 点 [x0,...,xn] を取る。これは定数倍することで座標が全て R に入り、かつ少なくとも1つが R の単数になるようにできるので、R 点から来ており、判定法の条件が満たされている。
円板を使った幾何的解釈
固有性の付値判定法を直感的に理解するために、複素数体上の形式的冪級数環(これは離散付値環)のスペクトル を考える。幾何学的には、これは無限小の円板、もしくは複素解析的に円板 と解釈することができる。原点まわりの半径 の円板で収束する任意の冪級数
は、定数倍の座標変換をすると単位円板上の冪級数として表すことができるからである。この冪級数環の商体は、 の逆元を加えた、原点で極を持ってもよい冪級数からなる環 である。幾何学的には、これは原点を除いた開円板 を表している。 上のスキームの射に対して、離散付値環として上記のものを取って固有性の付値判定法の状況にあてはめると、次の可換図式になる。
固有性の付値判定法は、 から への射を点 で埋めて から への射にできることが、固有であることの必要十分条件だと主張している。
例
閉じたコンパクト多様体の類似物でなぜ固有性の付値判定法が成り立つのか直感的に理解するために、反例を見てみよう。、 として、 を の まわりのアフィン・チャートとする。自然に定義される次の図式
の上部の射から、右上は のアフィン・チャートなので、射 が定義できる。この図式に対応する可換環の可換図式は次のようになっている。
スキームの図式で持上げ が存在したとすると、可換環の可換図式で となる射 が存在することになるが、これはもちろん起こり得ないので、 は 上固有ではない。
曲線を使った幾何的解釈
固有性の付値判定法がなぜ成り立つのかを直感的に教えてくれる同様の例がもう1つある。曲線 と、それから1点を除いた を考える。そのとき、固有性の付値判定法は、次の図式
で持上げ があることと固有であることは同値だと言っている。幾何学的には、持上げが存在するとはスキーム に含まれる任意の曲線は欠けている点を埋めてコンパクトな曲線に完成させることができるということである。位相空間の間の連続写像のファイバーがコンパクトであれば、そのファイバーの中の点列は必ず収束する。上記はこれのスキーム理論での類似物と解釈できる。この幾何的な状況で、問題は局所的であるから、図式において 局所環 (これは離散付値環)とその商体 に置き換える。すると、持上げの問題は次の可換図式
の持上げの問題になるが、これが固有性の付値判定法における状況であった。スキーム は のまわりの閉点 を除いた局所円板と思える。
形式スキームの固有射
を局所ネーター形式スキーム(英語版)(locally noetherian formal scheme)間の射とする。f が固有、または は 上固有とは、(i) f が進射(英語版)[訳語疑問点](adic morphism)(つまり、定義イデアル(the ideal of definition)を定義イデアルに写す)であって、(ii) 誘導される写像 が固有であることを言う。ここで、, , で、K は の定義イデアルである[18]。この定義は K の取り方によらない。
例えば、g: Y → Z を局所ネータースキームの固有射、Z0 を Z の閉部分集合、Y0 を Y の g(Y0) ⊂ Z0 となるような閉部分集合とすると、形式的完備化上の射 は形式スキームの固有射である。
グロタンディークはこの状況での連接定理(coherence theorem)を証明した。すなわち、 を局所ネーター形式スキームの固有射とし、F を 上の連接層とすると、高次順像 は連接層である[19]。
関連項目
- 固有基底変換定理(英語版)
- シュタイン分解(英語版)
脚注
- ^ [EGA] II, 5.4.1[1]
- ^ 飯高茂『代数幾何学 I』岩波書店〈岩波講座基礎数学〉、1977年、56頁。
- ^ 斎藤 毅. “proper射の謎”. 2021年10月11日閲覧。
- ^ Hartshorne (1977), Appendix B, Example 3.4.1.
- ^ Liu (2002), Lemma 3.3.17.
- ^ Stacks Project, Tag 02YJ, http://stacks.math.columbia.edu/tag/02YJ .
- ^ Grothendieck, EGA IV, Part 4, Corollaire 18.12.4; Stacks Project, Tag 02LQ, http://stacks.math.columbia.edu/tag/02LQ .
- ^ Grothendieck, EGA IV, Part 3, Théorème 8.11.1.
- ^ Stacks Project, Tag 01W0, http://stacks.math.columbia.edu/tag/01W0 .
- ^ Stacks Project, Tag 03GX, http://stacks.math.columbia.edu/tag/03GX .
- ^ Grothendieck, EGA II, Corollaire 5.6.2.
- ^ Conrad (2007), Theorem 4.1.
- ^ EGA III, 3.2.1
- ^ (EGA III, 3.2.4)
- ^ SGA 1, XII Proposition 3.2.
- ^ EGA II, 7.3.8
- ^ Stack project Tags 01KF, http://stacks.math.columbia.edu/tag/01KF and Stack project Tags 01KY, http://stacks.math.columbia.edu/tag/01KY .
- ^ (EGA III, 3.4.1)
- ^ Grothendieck, EGA III, Part 1, Théorème 3.4.2.
参考文献
- “Deligne's notes on Nagata compactifications”, Journal of the Ramanujan Mathematical Society 22: 205–257, (2007), MR2356346, http://math.stanford.edu/~conrad/papers/nagatafinal.pdf
- Grothendieck, Alexandre; Dieudonné, Jean (1961). “Éléments de géométrie algébrique: II. Étude globale élémentaire de quelques classes de morphismes”. Publications Mathématiques de l'IHÉS 8: 5–222. MR0217084. http://www.numdam.org:80/numdam-bin/feuilleter?id=PMIHES_1961__8_. , section 5.3. (definition of properness), section 7.3. (valuative criterion of properness)
- Grothendieck, Alexandre; Dieudonné, Jean (1961). “Eléments de géométrie algébrique: III. Étude cohomologique des faisceaux cohérents, Première partie”. Publications Mathématiques de l'IHÉS 11: 5–167. MR0217085. http://www.numdam.org:80/numdam-bin/feuilleter?id=PMIHES_1961__11_.
- Grothendieck, Alexandre; Dieudonné, Jean (1966). “Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Troisième partie”. Publications Mathématiques de l'IHÉS 28: 5–255. MR0217086. http://www.numdam.org:80/numdam-bin/feuilleter?id=PMIHES_1966__28_. , section 15.7. (generalizations of valuative criteria to not necessarily noetherian schemes)
- Grothendieck, Alexandre; Dieudonné, Jean (1967). “Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie”. Publications Mathématiques de l'IHÉS 32: 5–361. MR0238860. http://www.numdam.org:80/numdam-bin/feuilleter?id=PMIHES_1967__32_.
- Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR0463157
- Liu, Qing (2002), Algebraic geometry and arithmetic curves, Oxford: Oxford University Press, ISBN 9780191547805, MR1917232
外部リンク
- V.I. Danilov (2001), “Proper morphism”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Proper_morphism
- The Stacks Project Authors, The Stacks Project, http://stacks.math.columbia.edu/