ザリスキー接空間 ザリスキー接空間の概要

ウィキペディア

ザリスキー接空間

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/08/23 04:06 UTC 版)

定義

局所環 $(R,{\mathfrak {m}})$ の余接空間は

${\mathfrak {m}}/{\mathfrak {m}}^{2}$

と定義される．これは剰余体 $k:=R/{\mathfrak {m}}$ 上のベクトル空間である．その双対線型空間は R の接空間と呼ばれる．

スキーム X の点 P における接空間 $T_{P}(X)$ と余接空間 $T_{P}^{*}(X)$ は ${\mathcal {O}}_{X,P}$ の（余）接空間である．Spec の関手性により，自然な商写像 $f\colon R\rightarrow R/I$ は準同型 $g\colon {\mathcal {O}}_{X,f^{-1}(P)}\rightarrow {\mathcal {O}}_{Y,P}$ を誘導する．ただし X = Spec(R) であり，P は Y = Spec(R/I) の点である．これは $T_{P}(Y)$ を $T_{f^{-1}P}(X)$ に埋め込むのに用いられる．体の間の射は単射だから，g から誘導される剰余体の全射は同型である．すると余接空間の間の射 k が g から誘導され，次で与えられる：

${\begin{aligned}{\mathfrak {m}}_{P}/{\mathfrak {m}}_{P}^{2}&\cong ({\mathfrak {m}}_{f^{-1}P}/I)/(({\mathfrak {m}}_{f^{-1}P}^{2}+I)/I)\\&\cong {\mathfrak {m}}_{f^{-1}P}/({\mathfrak {m}}_{f^{-1}P}^{2}+I)\\&\cong ({\mathfrak {m}}_{f^{-1}P}/{\mathfrak {m}}_{f^{-1}P}^{2})/\mathrm {Ker} (k).\end{aligned}}$

これは全射だから，転置 $k^{*}\colon T_{P}(Y)\rightarrow T_{f^{-1}P}(X)$ は単射である．

関連項目

• 接錐
• ジェット (数学)