固有射のソースを表示

'''固有射'''（こゆうしゃ、{{lang-en-short|proper morphism}}）とは、[[概型|スキーム]]の射で、
[[複素解析空間]]の[[固有写像]]の[[代数幾何学]]における類似物である。

[[可換体|体]] ''k'' 上固有な [[代数多様体]]は{{仮リンク|完備多様体|en|complete variety}}とも呼ばれる。例えば、体 ''k'' 上の任意の[[射影多様体]]は ''k'' 上固有である。[[複素数]]体 '''C''' 上の{{仮リンク|有限型の射|label=有限型|en|morphism of finite type}}スキーム ''X''（例えば代数多様体）が '''C''' 上固有であるためには、その複素数値点の空間 ''X''('''C''') が古典的な（ユークリッド）位相のもとで[[コンパクト空間|コンパクト]]かつ[[ハウスドルフ空間|ハウスドルフ]]になることが必要十分である。

{{仮リンク|閉埋入|en|closed immersion}}（closed immersion）は固有射である。スキームの射が[[有限射]]（finite morphism）であることと、固有射かつ[[準有限射]]（quasi-finite morphism）であることは同値である。

== 定義 ==

スキームの[[スキームの射|射]] ''f'': ''X'' → ''Y'' が'''絶対閉'''（universally closed）とは、任意のスキーム ''Z'' と射 ''Z'' → ''Y'' に対して{{仮リンク|スキームのファイバー積|label=ファイバー積|en|fiber product of schemes}}からの射影
:<math>X \times_Y Z \to Z</math>
が[[位相空間]]の写像として[[開写像と閉写像|閉写像]]となっていることを言う。スキームの射が'''固有'''であるとは、{{仮リンク|分離射|label=分離的|en|separated morphism}}かつ{{仮リンク|有限型射|label=有限型|en|morphism of finite type}}かつ絶対閉であることを言う<ref>[EGA] II, 5.4.1[https://web.archive.org/web/20051108184937/http://modular.fas.harvard.edu/scans/papers/grothendieck/PMIHES_1961__8__5_0.pdf]</ref>。またこのとき、''X'' は ''Y'' 上固有と言われ、体 ''k'' 上の代数多様体 ''X'' の構造射 ''X'' → Spec(''k'') が固有であるときは ''k'' 上固有と言われる。

体 ''k'' 上固有なスキームはまた '''''k'' 完備スキーム'''とも呼ばれる<ref>
{{cite book|和書
| author-link=飯高茂
| author=飯高茂
| title=代数幾何学 I
| series=[[岩波講座基礎数学]]
| year=1977
| publisher=[[岩波書店]]
| page=56
}}
</ref>。完備という言葉が使われている理由は次のように説明できる。''k'' 完備スキーム ''X'' がある ''k'' 上の分離的スキーム ''Y'' に開部分スキームとして埋め込むことができたとする。埋め込みを与える射 ''X'' → ''Y'' は[[#性質と特徴付け]]の最後にあげられている性質により固有射となるので、その像は[[開集合]]であるのみならず[[閉集合]]、したがって ''X'' は ''Y'' の[[連結成分]]となる。このように、''k'' 完備スキームに対しては[[無限遠点|無限遠成分]]をつけ加えてスキームを作るといったアフィン代数多様体に対してできたことができず、たしかに完備なのである。

絶対閉の概念を用いた代数幾何学における固有性の定義は[[クロード・シュヴァレー|シュヴァレー]]による
<ref>{{Cite web|和書
 |url=https://www.ms.u-tokyo.ac.jp/~t-saito/jd/proper.pdf
 |title=proper射の謎 
 |author=斎藤　毅
 |accessdate=2021-10-11}}</ref>。

== 例 ==

''n'' を自然数 、'''P'''<sup>''n''</sup> を[[可換環]] ''R'' 上の[[射影空間]]とすると、これは ''R'' 上固有である。{{仮リンク|射影的射|en|Projective morphism}}は固有であるが、全ての固有射が射影的とは限らない。例えば、固有かつ{{仮リンク|滑らかなスキーム|label=滑らかな|en|smooth scheme}}な3次元複素代数多様体であって、'''C''' 上非射影的なものの存在が知られている<ref>Hartshorne (1977), Appendix B, Example 3.4.1.</ref>。体 ''k'' 上の次元が正な[[アフィン多様体]]は決して ''k'' 上固有にならない。より一般に、固有な{{仮リンク|アフィン射|en|affine morphism}}は必ず有限射である<ref>Liu (2002), Lemma 3.3.17.</ref>。例えば、簡単に分かることだが、体 ''k'' 上の[[アフィン直線]] ''A''<sup>1</sup> は射 ''A''<sup>1</sup> → Spec(''k'') が絶対閉ではないので ''k'' 上固有ではない。実際、この射の ''A''<sup>1</sup>  のファイバー積への引き戻し

:<math>\mathbb{A}^1 \times_k \mathbb{A}^1 \to \mathbb{A}^1</math>

は (''x'',''y'') ↦ ''y'' によって与えられるが、これによる ''A''<sup>1</sup> × ''A''<sup>1</sup> = ''A''<sup>2</sup> の閉部分集合 ''xy'' = 1 の像が ''A''<sup>1</sup> − 0 となり、これは ''A''<sup>1</sup> の閉集合ではないので、閉ではない。

==性質と特徴付け==
以下では ''f'': ''X'' → ''Y'' をスキームの射とする。

* 2つの固有射の合成は固有である。

* 固有射 ''f'': ''X'' → ''Y'' の{{仮リンク|スキームのファイバー積|label=基底変換|en|fiber product of schemes}}は固有である。つまり、任意のスキームの射 ''g'': Z → ''Y'' に対して、自然な射影 ''X'' ×<sub>''Y''</sub> ''Z'' → ''Z'' は固有である。

* 固有性は基底（のザリスキー位相）についての{{仮リンク|局所的性質|en|local property}}である。つまり、''Y'' が開部分スキームの集合 ''Y<sub>i</sub>'' で被覆されており、''f'' を ''f<sup>−1</sup>(Y<sub>i</sub>)'' に制限したものが全て固有ならば、''f'' も固有である。

* もっと強く、固有性は基底の {{仮リンク|fpqc位相|label=fpqc 位相|en|fpqc topology}}に関して局所的な性質である。例えば、''X'' を体 ''k'' 上のスキーム、''E'' を ''k'' の拡大体とすると、''X'' が ''k'' 上固有であることと基底変換 ''X''<sub>''E''</sub> が ''E'' 上固有であることは同値である<ref>{{Citation | title=Stacks Project, Tag 02YJ | url=http://stacks.math.columbia.edu/tag/02YJ}}.</ref>。

* {{仮リンク|閉埋入|en|Closed immersion}}は固有である。

* もっと一般に、有限射は固有である。これは[[上昇と下降|上昇定理]]の帰結である。

* スキームの射が有限であることと、固有かつ準有限（quasi-finite）であることは同値である（[[ピエール・ルネ・ドリーニュ|ドリーニュ]]）<ref>Grothendieck, EGA IV, Part 4, Corollaire 18.12.4; {{Citation | title=Stacks Project, Tag 02LQ | url=http://stacks.math.columbia.edu/tag/02LQ}}.</ref>。射 ''f'': ''X'' → ''Y'' が[[代数幾何学用語一覧#有限表示|局所的に有限表示]]のときは、これは[[アレクサンドル・グロタンディーク|グロタンディーク]]によって証明されていた<ref>Grothendieck, EGA IV, Part 3, Théorème 8.11.1.</ref>。この仮定は、''Y'' が[[ネータースキーム]]なら他の前提条件から従う。

* スキーム ''S'' 上固有な ''X'' と ''S'' 上分離的な ''Y'' に対して、''S'' 上の任意の射 ''X'' → ''Y'' の像は ''Y'' の閉部分集合である<ref>{{Citation | title=Stacks Project, Tag 01W0 | url=http://stacks.math.columbia.edu/tag/01W0}}.</ref>。これは、コンパクト空間からハウスドルフ空間への連続写像の像は閉部分集合であるという、位相幾何学の定理の類似になっている。

* （{{仮リンク|シュタイン分解|en|Stein factorization}}定理）''f'' が局所ネータースキームへの固有射であれば、''X'' → ''Z'' → ''Y'' と分解できる。ここで、''X'' → ''Z'' は固有かつ全射かつ幾何的に連結なファイバーを持つ射で、''Z'' → ''Y'' は有限射である<ref>{{Citation | title=Stacks Project, Tag 03GX | url=http://stacks.math.columbia.edu/tag/03GX}}.</ref>。

* （{{仮リンク|チャウの補題|en|Chow's lemma}}）固有射は{{仮リンク|射影的射|en|projective morphism}}と密接に関係している。これの１つの定式化は次である。[[準コンパクト]]スキーム ''Y'' 上の固有スキーム ''X'' が有限個の既約成分だけを持つ（''Y'' がネーターならば自動的に満たされている）なら、全射の射影的射 ''g'': ''W'' → ''X'' で ''W'' が ''Y'' 上射影的なものが存在する。さらに、''g'' が ''X'' の稠密な開部分集合 ''U'' の上で同型写像で、''g''<sup>−1</sup>(''U'') が ''W'' で稠密とすることができる。また、''X'' が整なら ''W'' も整とすることができる<ref>Grothendieck, EGA II, Corollaire 5.6.2.</ref>。

*（一般化された{{仮リンク|永田のコンパクト化定理|en|Nagata's compactification theorem}}）準コンパクトかつ{{仮リンク|準分離射|label=準分離的|en|quasi-separated morphism}}であるスキーム間の有限型分離射は、開埋入と固有射に分解できる（ドリーニュ）<ref>Conrad (2007), Theorem 4.1.</ref>。

* 局所ネータースキーム間の固有射は層の連接性を保つ。すなわち、[[連接層]] ''F'' の[[順像関手#高次順像|高次順像]] ''R<sup>i</sup>f''<sub>∗</sub>(''F'')（特に[[順像関手|順像]] ''f''<sub>∗</sub>(''F'')）は連接層である<ref>EGA III, 3.2.1</ref>。（{{仮リンク|ハンス・グラウエルト|label=グラウエルト|en|Hans Grauert}}と{{仮リンク|ラインホルト・レンメルト|label=レンメルト|en|Reinhold Remmert}}は、複素解析空間の固有写像による高次順像は同様に層の解析的連接性を保つことを証明した。）これから、この定理の非常に単純な適用例として、体 ''k'' 上固有な スキーム ''X'' の正則関数のなす環は有限次元 ''k'' ベクトル空間であることが分かる。これは体 ''k'' 上のアフィン直線の正則関数のなす環は多項式環 ''k''[''x''] であり、有限次元 ''k'' ベクトル空間ではないことと対照的である。

*これは次のように少し一般化できる<ref>{{harv|EGA III|loc=3.2.4}}</ref>。<math>f\colon X \to S</math> を有限型な射、''S'' は局所的にネーター、<math>F</math> を <math>\mathcal{O}_X</math> 加群とする。''F'' の台が ''S'' 上固有ならば、全ての <math>i \ge 0</math> に対して[[順像関手#高次順像|高次順像]] <math>R^i f_* F</math> は連接層である。

*''X'' を複素数体上の有限型スキームとすると、その複素数値点の集合 ''X''('''C''') は[[複素解析空間]]になり、古典的な（ユークリッド）位相が入る。''X'' と ''Y'' が '''C''' 上分離的かつ有限型ならば、'''C''' 上の射 ''f'': ''X'' → ''Y'' が固有であることと、誘導された連続写像 ''f'': ''X''('''C''') → ''Y''('''C''') が固有であること、すなわち任意のコンパクト集合の逆像がコンパクトになることは同値である<ref>{{harvnb|SGA 1|loc=XII Proposition 3.2.}}</ref>。

* 射 ''f'': ''X''→''Y'' と ''g'': ''Y''→''Z'' の合成 ''gf'' が固有で ''g'' が分離的ならば、''f'' は固有である。これは、例えば次節の判定法を使って容易に示すことができる。

[[Image:Valuative criterion of properness.png|thumb|300px|固有性の{{仮リンク|付値判定法|en|Valuative criterion}}]]

== 固有性の付値判定法 ==

シュヴァレーに遡る、'''固有性の付値判定法'''と呼ばれる非常に直感的な固有性の判定法がある。''f'': ''X'' → ''Y'' を[[ネータースキーム]]間の有限型射とする。このとき、''f'' が固有であるための必要十分条件は、''R'' を任意の[[離散付値環]]、''K'' をその[[商体]]、''x'' ∈ ''X''(''K'') を ''K'' 値点とするとき、像 ''f''(''x'') が ''R'' 上定義されるならば一意的な持上げ <math>\overline{x} \in X(R)</math> が存在することである<ref>EGA II, 7.3.8</ref>。より一般に、'''任意の'''スキーム ''X'' と ''Y'' の間の有限型の準分離射 ''f'': ''X'' → ''Y''（有限型なら準コンパクトであることに注意）が固有であるための必要十分条件は、''R'' を任意の[[付値環]]、''K'' をその[[商体]]、''x'' ∈ ''X''(''K'') を ''K'' 値点とするとき、像 ''f''(''x'') が ''R'' 上定義されるならば一意的な持上げ <math>\overline{x} \in X(R)</math> が存在することである<ref>{{Citation | title=Stack project Tags 01KF | url=http://stacks.math.columbia.edu/tag/01KF}} and{{Citation | title=Stack project Tags 01KY | url=http://stacks.math.columbia.edu/tag/01KY}}.</ref>。離散付値環とは1次元の[[正則局所環]]に他ならず、''Spec K'' は ''Spec R'' の{{仮リンク|生成点|en|generic point}}であることに注意すると、この判定法を次のように言い換えることができる。''Y'' 上の正則な曲線（射 ''s'': Spec ''R'' → ''Y'' に対応）とこの曲線の生成点の ''X'' への持上げが与えられたとき、''f'' が固有であるための必要十分条件はこの曲線を完成（complete）させる方法がただ１つ存在することである。

同様に、''f'' が分離的であることと、全てのこのような図式に置いて持上げ <math>\overline{x} \in X(R)</math> が多くとも1つしかないこととは同値である。

この判定法を用いると、例えば射影空間 '''P'''<sup>''n''</sup> が体（'''Z''' でもよい）上固有であることが簡単に示せる。''R'' を離散付値環、''K'' をその商体とし、射影空間の任意の ''K'' 点 [''x''<sub>0</sub>,...,''x''<sub>''n''</sub>] を取る。これは定数倍することで座標が全て ''R'' に入り、かつ少なくとも１つが ''R'' の単数になるようにできるので、''R'' 点から来ており、判定法の条件が満たされている。

=== 円板を使った幾何的解釈 ===

固有性の付値判定法を直感的に理解するために、複素数体上の形式的冪級数環（これは離散付値環）の[[環のスペクトル|スペクトル]] <math>\text{Spec}(\mathbb{C}[[t]])</math> を考える。幾何学的には、これは無限小の円板、もしくは複素解析的に円板 <math>\Delta = \{x \in \mathbb{C} : |x| < 1 \}</math> と解釈することができる。原点まわりの半径 <math>r</math> の円板で収束する任意の冪級数

:<math>f(t) = \sum_{n=0}^\infty a_nt^n</math>

は、定数倍の座標変換をすると単位円板上の冪級数として表すことができるからである。この冪級数環の商体は、<math>t</math> の逆元を加えた、原点で極を持ってもよい冪級数からなる環 <math>\mathbb{C}[[t]][t^{-1}] = \mathbb{C}((t))</math> である。幾何学的には、これは原点を除いた開円板 <math>\Delta^* = \{x \in \mathbb{C} : 0<|x| < 1 \}</math> を表している。<math>\text{Spec}(\mathbb{C})</math> 上のスキームの射に対して、離散付値環として上記のものを取って固有性の付値判定法の状況にあてはめると、次の可換図式になる。

:<math>\begin{matrix}
\Delta^* & \to &  X \\
\downarrow & & \downarrow \\
\Delta & \to & Y
\end{matrix}</math>

固有性の付値判定法は、<math>\Delta^*</math> から <math>X</math> への射を点 <math>0 \in \Delta</math> で埋めて <math>\Delta</math> から <math>X</math> への射にできることが、固有であることの必要十分条件だと主張している。

==== 例 ====

閉じたコンパクト多様体の類似物でなぜ固有性の付値判定法が成り立つのか直感的に理解するために、反例を見てみよう。<math>X = \mathbb{P}^1 - \{x \}</math>、<math>Y = \text{Spec}(\mathbb{C})</math> として、<math>\text{Spec}(\mathbb{C}[t,t^{-1}]) = \mathbb{A}^1 - \{0\}</math> を <math>X</math> の <math>\{x \}</math> まわりのアフィン・チャートとする。自然に定義される次の図式

:<math>\begin{matrix}
\text{Spec}(\mathbb{C}((t))) & \to &  \text{Spec}(\mathbb{C}[t,t^{-1}]) \\
\downarrow & & \downarrow \\
\text{Spec}(\mathbb{C}[[t]]) & \to & \text{Spec}(\mathbb{C})
\end{matrix}</math>

の上部の射から、右上は<math>X</math> のアフィン・チャートなので、射 <math>\text{Spec}(\mathbb{C}((t))) \to X</math> が定義できる。この図式に対応する可換環の可換図式は次のようになっている。

:<math>\begin{matrix}
\mathbb{C}((t)) & \leftarrow & \mathbb{C}[t,t^{-1}] \\
\uparrow & & \uparrow \\
\mathbb{C}[[t]] & \leftarrow & \mathbb{C}
\end{matrix}</math>

スキームの図式で持上げ <math>\text{Spec}(\mathbb{C}[[t]]) \to \text{Spec}(\mathbb{C}[t,t^{-1}])</math> が存在したとすると、可換環の可換図式で <math>t \mapsto t</math> となる射 <math>\mathbb{C}[t,t^{-1}] \to \mathbb{C}[[t]]</math> が存在することになるが、これはもちろん起こり得ないので、<math>X</math> は <math>Y</math> 上固有ではない。

=== 曲線を使った幾何的解釈 ===

固有性の付値判定法がなぜ成り立つのかを直感的に教えてくれる同様の例がもう１つある。曲線 <math>C</math> と、それから1点を除いた <math>C-\{p\}</math> を考える。そのとき、固有性の付値判定法は、次の図式

:<math>\begin{matrix}
C-\{p\} & \rightarrow & X \\
\downarrow & & \downarrow \\
C & \rightarrow & Y
\end{matrix}</math>

で持上げ <math>C \to X</math> があることと固有であることは同値だと言っている。幾何学的には、持上げが存在するとはスキーム <math>X</math> に含まれる任意の曲線は欠けている点を埋めてコンパクトな曲線に完成させることができるということである。位相空間の間の連続写像のファイバーがコンパクトであれば、そのファイバーの中の点列は必ず収束する。上記はこれのスキーム理論での類似物と解釈できる。この幾何的な状況で、問題は局所的であるから、図式において 局所環 <math>\mathcal{O}_{C,\mathfrak{p}}</math>（これは離散付値環）とその商体 <math>\text{Frac}(\mathcal{O}_{C,\mathfrak{p}})</math> に置き換える。すると、持上げの問題は次の可換図式

:<math>\begin{matrix}
\text{Spec}(\text{Frac}(\mathcal{O}_{C,\mathfrak{p}})
) & \rightarrow & X \\
\downarrow & & \downarrow \\
\text{Spec}(\mathcal{O}_{C,\mathfrak{p}}
) & \rightarrow & Y
\end{matrix}</math>

の持上げの問題になるが、これが固有性の付値判定法における状況であった。スキーム <math>\text{Spec}(\text{Frac}(\mathcal{O}_{C,\mathfrak{p}}))</math> は <math>\mathfrak{p}</math> のまわりの閉点 <math>\mathfrak{p}</math> を除いた局所円板と思える。

== 形式スキームの固有射 ==

<math>f\colon \mathfrak{X} \to \mathfrak{S}</math> を{{仮リンク|局所ネーター形式スキーム|en|locally noetherian formal scheme}}（locally noetherian formal scheme）間の射とする。''f'' が'''固有'''、または <math>\mathfrak{X}</math> は <math>\mathfrak{S}</math> 上'''固有'''とは、(i) ''f'' が{{訳語疑問点範囲|{{仮リンク|進射|en|adic morphism}}|date=2021年10月|adic morphism|cand_prefix=原文}}（adic morphism）（つまり、定義イデアル（the ideal of definition）を定義イデアルに写す）であって、(ii) 誘導される写像 <math>f_0\colon X_0 \to S_0</math> が固有であることを言う。ここで、<math>X_0 = (\mathfrak{X}, \mathcal{O}_\mathfrak{X}/I)</math>, <math>S_0 = (\mathfrak{S}, \mathcal{O}_\mathfrak{S}/K)</math>, <math>I = f^*(K) \mathcal{O}_\mathfrak{X}</math> で、''K'' は <math>\mathfrak{S}</math> の定義イデアルである<ref>{{harv|EGA III|loc=3.4.1}}</ref>。この定義は ''K'' の取り方によらない。

例えば、''g'': ''Y'' → ''Z'' を局所ネータースキームの固有射、''Z''<sub>0</sub> を ''Z'' の閉部分集合、''Y''<sub>0</sub> を ''Y'' の ''g''(''Y''<sub>0</sub>) ⊂ ''Z''<sub>0</sub> となるような閉部分集合とすると、形式的完備化上の射 <math>\widehat{g}\colon Y_{/Y_0} \to Z_{/Z_0}</math> は形式スキームの固有射である。

グロタンディークはこの状況での連接定理（coherence theorem）を証明した。すなわち、<math>f\colon \mathfrak{X} \to \mathfrak{S}</math> を局所ネーター形式スキームの固有射とし、''F'' を <math>\mathfrak{X}</math> 上の連接層とすると、高次順像 <math>R^i f_* F</math> は連接層である<ref>Grothendieck, EGA III, Part 1, Théorème 3.4.2.</ref>。

== 関連項目 ==

* {{仮リンク|固有基底変換定理|en|Proper base change theorem}}
* {{仮リンク|シュタイン分解|en|Stein factorization}}

== 脚注 ==

{{reflist|2}}

==参考文献==

* {{Citation | author1-last=Conrad | author1-first=Brian | author1-link=Brian Conrad | title=Deligne's notes on Nagata compactifications | journal=Journal of the Ramanujan Mathematical Society | volume=22 | year=2007 | pages=205–257 | mr=2356346 | url=http://math.stanford.edu/~conrad/papers/nagatafinal.pdf}}
*{{EGA|book=2| pages = 5–222}}, section 5.3. (definition of properness), section 7.3. (valuative criterion of properness)
*{{EGA|book=3-1| pages = 5–167}}
*{{EGA|book=4-3| pages = 5–255}},  section 15.7. (generalizations of valuative criteria to not necessarily noetherian schemes)
*{{EGA|book=4-4| pages = 5–361}}
* {{Citation | last1=Hartshorne | first1=Robin | author1-link= Robin Hartshorne | title=[[Algebraic Geometry (book)|Algebraic Geometry]] | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90244-9 |mr=0463157 | year=1977}}
* {{Citation | last=Liu | first=Qing |title=Algebraic geometry and arithmetic curves| publisher=[[Oxford University Press]] | location=Oxford | isbn= 9780191547805 | MR=1917232 | year=2002}}

==外部リンク==

*{{SpringerEOM|title=Proper morphism|author=V.I. Danilov|urlname=Proper_morphism}}
*{{Citation | author1=The Stacks Project Authors | title=The Stacks Project  | url=http://stacks.math.columbia.edu/}}

[[Category:スキームの射]]
[[Category:数学に関する記事]]
{{DEFAULTSORT:こゆうしや}}