Hartshorne Ex2.14 The Segre Embedding #1
見切れている数式はスライドで表示できます.
(ただし )を,
のように辞書式順序で整列した点へ移す写像とする.ここで, はwell-definedであり単射である.これはセグレ埋め込みと呼ばれる.この像が の部分多様体になることを示せ.(ヒント:省略)
久しぶりに本題に戻って抜本の演習をやりますねぇ!
特にこれは自分の学部卒業論文でも取り扱ったものなので個人的に思い入れのある演習問題です.がんばって解説します.
セグレ埋め込みとは,2つの射影空間からそれらの積への埋め込みであるような写像のひとつです.
セグレ埋め込みの構成法の動画です.
— だふやふ (@dafuyafu) 2018年4月3日
(ブログ用) pic.twitter.com/689g29hUj8
具体的には上の動画のように,行列の積のようにして射影空間の点の斉次座標を掛け合わせた点へ送る写像のことです.以下,この記事では の点を
\begin{equation} P = \begin{array}{rcccl} \bigl[& z_{00}:&\cdots& :z_{0n}: &\ \\ &\vdots& \ddots& \vdots&\\ &: z_{m0}:& \cdots& :z_{mn} &\bigr] \end{array} \end{equation}
のように添え字を付けて表します.
まず,やることとして,
をそれぞれ見ていきたいと思います.
が well-defined であること
は同値類(ここでは射影空間の点の斉次座標)の表示によっているので,写像として well-defined であることを示さなければなりません.
と が
と,0でない と を用いて表されるとき,右側の表示である と を用いて を で送ると,
\begin{align*} \psi (P',Q') &= \psi (\left[ \lambda x_0:\cdots: \lambda x_m \right] \times \left[ \omega y_0:\cdots: \omega y_n \right])\\ &= \left[ \lambda x_0 \cdot \omega y_0: \cdots : \lambda x_m \cdot \omega y_n \right]\\ &= \left[ (\lambda \omega) x_0 y_0 : \cdots : (\lambda \omega) x_m y_n \right]\\ &\sim \left[ x_0 y_0 : \cdots : x_m y_n \right] \qquad (\because \lambda \omega \neq 0)\\ &= \psi (\left[ x_0:\cdots:x_m \right] \times \left[ y_0:\cdots:y_n \right])\\ &= \psi (P,Q) \end{align*}
となるので,斉次座標のとり方によらず,well-defined である.
が単射であること
埋め込みという名の通り, が単射であることを示します.
と が
と表されているとき,それぞれ射影空間の点であるので, についてはある (ただし )が存在して , についてもある (ただし )が存在して が成り立つ.ここで,それぞれ としても一般性を失わない.
このとき, をそれぞれ
\begin{align*} P &= \left[ x_0 : x_1 : \cdots: x_m \right]\\ &\sim \left[ 1 : x_1 / x_0 : \cdots : x_m / x_0 \right]\\ &= \left[ 1 : p_1 : \cdots : p_m \right]\\ \\ Q &= \left[ y_0 : y_1 : \cdots: y_n \right]\\ &\sim \left[ 1 : y_1 / y_0 : \cdots : y_n / y_0 \right]\\ &= \left[ 1 : q_1 : \cdots : q_n \right] \end{align*}
と表す.この点 を で送ると,
\begin{equation*} \psi (P,Q) = \begin{array}{rccccl} \bigl[& 1:& q_1 :& \cdots & q_n: &\\ &p_1:& p_1 q_1 :& \cdots & \vdots& \\ &\vdots & \vdots & \ddots & \vdots& \\ &p_m:& \cdots& &: p_m q_n &\bigr] \end{array} \qquad(1) \end{equation*}
となる.ここで,同様に を
とする.ここで, であるとき となるが,この点を で送ると,
\begin{equation*} \psi (P',Q') = \begin{array}{rccccl} \bigl[& 0:& 0 :& \cdots & 0: &\\ & x_1 y_0:& x_1 y_1 :& \cdots & \vdots& \\ &\vdots & \vdots & \ddots & \vdots& \\ & x_m y_0:& \cdots& &: x_m y_n &\bigr] \end{array} \qquad (2) \end{equation*}
となり, の座標を(1)と比較すると となる. のときも同様である.さらに, かつ のとき, と同様に
\begin{align*} P' &= \left[ x'_0 : x'_1 : \cdots: x'_m \right]\\ &\sim \left[ 1 : x'_1 / x'_0 : \cdots : x'_m / x'_0 \right]\\ &= \left[ 1 : p'_1 : \cdots : p'_m \right]\\ \\ Q' &= \left[ y'_0 : y'_1 : \cdots: y'_n \right]\\ &\sim \left[ 1 : y'_1 / y'_0 : \cdots : y'_n / y'_0 \right]\\ &= \left[ 1 : q'_1 : \cdots : q'_n \right] \end{align*}
と表す.この点 を で送ると,
\begin{equation*} \psi (P',Q') = \begin{array}{rccccl} \bigl[& 1:& q'_1 :& \cdots & q'_n: &\\ &p'_1:& p'_1 q'_1 :& \cdots & \vdots& \\ &\vdots & \vdots & \ddots & \vdots& \\ & p'_n:& \cdots& &: p'_m q'_n &\bigr] \end{array} \qquad (3) \end{equation*}
となる.ここで, とすると(1)と(3)において,最も上の行,最も左の列を比較すると
であることが分かる.1
よって , となり, となる.よって は単射となる.
準備が大変なので残りは次回に回します.
-
一般に射影空間の点 (ただし)が点として等しいとき,ある が存在して となるが,今の場合それぞれの点の の座標が となり数として等しいので である.以上のことから単純に座標を比較している.↩