5

セグレ埋め込み (Segre Embedding)

574
0
$$\newcommand{img}[0]{\mathrm{Im}\,} \newcommand{ker}[0]{\mathrm{Ker}\,} \newcommand{pp}[0]{\mathbb{P}} $$

導入

$k$を代数閉体とし,$\pp^n$$k$上の$n$次射影空間とする.

セグレ埋め込み

$$\Psi: \pp^m \times \pp^n \to \pp^N$$
(ただし$N = mn + m + n$)を以下のように定める:
$$ \begin{array}{cccc} \psi:& \pp^m \times \pp^n &\to &\pp^N \\ &\left[ x_0: \cdots :x_m \right] \times \left[ y_0: \cdots: y_n \right] & \mapsto & \begin{array}{rcccl} \bigl[& x_0 y_0:&\cdots& :x_0 y_n: &\\ &\vdots& \ddots& \vdots&\\ &: x_m y_0:& \cdots& :x_m y_n &\bigr] \end{array} \end{array} $$
このとき$\psi$はwell-definedであり単射となる.この$\psi$セグレ埋め込みという.

セグレ埋め込みは代数幾何において非常に重要な対象であり,ブローアップなどに応用されている.

確認

$\psi$はwell-definedである.

$P \in \pp^m, Q\in \pp^n$$\lambda, \omega \in k$(ただし$\lambda, \omega \neq 0$)について
$$ P = \left[ x_0:\cdots:x_m \right] \sim \left[ \lambda x_0:\cdots: \lambda x_m \right] = P' $$
$$ Q = \left[ y_0:\cdots:y_n \right] \sim \left[ \omega y_0:\cdots: \omega y_n \right] = Q' $$
と表されているとき,この点$(P',Q') \in \pp^m \times \pp^n$$\psi$で送ると,
\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*}
となり,斉次座標の取り方によらずに一意的に定義されていることが分かる. $\square$

$\psi$は単射である.

$(P,Q) \in \pp^m \times \pp^n$について,$P \in \pp^m, Q \in \pp^n$
\begin{align*} P &= \left[ x_0 : \cdots : x_m \right]\\ Q &= \left[ y_0 : \cdots : y_n \right] \end{align*}
であるとき,ある$i,j$について$x_i \neq 0, y_j \neq 0$である.そのような$i,j$$i = j = 0$としても一般性を失わない.このとき,
\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*}
と表す.この点$(P,Q)$$\psi$で送ると,
\begin{equation} \label{psipq} \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} \end{equation}
となる.ここで,$(P',Q') \in \pp^m \times \pp^n$について,$P' \in \pp^m, Q' \in \pp^n$
\begin{align*} P &= \left[ x'_0 : \cdots : x'_m \right]\\ Q &= \left[ y'_0 : \cdots : y'_n \right] \end{align*}
であるとする.ここで$x'_0 = 0$とすると$(P,Q) \neq (P',Q')$となるが,この点を$\psi$で送ると
\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} \end{equation}
となり,$z_{00}$の座標を上式と比較すると明らかに$\psi (P,Q) \neq \psi (P',Q')$となる.$y'_0 = 0$のときも同様に$\psi (P,Q) \neq \psi (P',Q')$となる.さらに,$x'_0 \neq 0$かつ$y'_0 \neq 0$のとき,
\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*}
と表す.点$(P',Q')$$\psi$で送ると
\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} \end{equation}
となる.ここで$\psi(P, Q) = \psi(P', Q')$と仮定すると,上式と比較して$z_{00}$の座標が等しいので任意の$i,j$について$p_i q_j =p'_i q'_j$となるが,$i = 0$あるいは$j = 0$のときに注目すると$p_i = p'_i$$q_j = q'_j$となる.従って,$P = P'$$Q = Q'$となり$(P,Q) = (P', Q')$である.よって$\psi$は単射となる. $\square$

このように単射で埋め込まれている$\img \psi$ 自体をセグレ埋め込みということもある.以下,$\img \psi = Y$とする.

代数学の準備

$A$を環とする.$M$$A$加群,$N_1,N_2\subset M$$M$のA部分加群とする.このとき
$$ N_1 + N_2 := \{x_1 + x_2\mid x_1 \in N_1, x_2\in N_2\} $$
と定義する.

$M,M'$$A$加群,$N_1, N_2 \subset M$$M = N_1 + N_2$となる$M$$A$部分加群とする.この時$A$線形写像$f:M\to M'$について$f\mid_{N_1}$が単射で$\ker f \supseteq N_2$であるとき$\ker f = N_2$となる.

$\ker f \subseteq N_2$を示せば良い.任意の$x \in \ker f \subset M$についてある$x_1 \in N_1, x_2 \in N_2$が存在して$x = x_1 + x_2$と表される.これを$f$で送ると,
$$ f(x) = f(x_1 + x_2) = f(x_1) + f(x_2) = 0 $$
となるが$\ker f \supseteq N_2$より$f(x_2) = 0$であるので$f(x_1) = 0$となるが,$f\mid_{N_1}$は単射なので$x_1 = 0$となる.従って$x = x_2 \in N_2$となり$\ker f \subseteq N_2$となる.$\square$

定義イデアル

$$\theta:k[Z_{00}, \ldots, Z_{mn}]\to k[X_0,\ldots, X_m, Y_0,\ldots, Y_n]$$
を、$\theta(Z_{ij})=X_iY_j$と定義する.このとき射影多様体として$Y = V(\ker\theta)$となる.

$A = k\left[Z_{00}, \ldots, Z_{mn} \right]$と表す.まず$V(\ker \theta)$が射影多様体となることを示す.$\ker \theta$$A$の斉次素イデアルである.実際,$\theta$は環準同型なので$\ker \theta$は素イデアルである.また$f\in\ker \theta$とすると,$A$は次数付き環より,その$d$次の斉次元全体による集合を$S_d$と表すと,
$$ f = s_0 + s_1 + \cdots + s_l \qquad(s_d \in S_d) $$
のように斉次元の和に一意的に分解できる.これを$\theta$で送ると,
$$ \theta(f) = \theta(s_0) + \theta(s_1) + \cdots + \theta(s_l) = 0 $$
となるが,$\deg \theta(s_d) = 2d$であるので,それぞれの次数の関係に注意すると$\theta(s_d) = 0$となる.よって任意の$d$$s_d \in \ker \theta$となるので,$\ker \theta$は斉次元で生成されており,すなわち斉次イデアルと言える.従って$V(\ker \theta) \subset \pp^N$は射影多様体である.
 次に集合としての包含を示すが,$\img \psi \subseteq V(\ker \theta)$はほとんど明らかである.なぜならば,任意の$Q \in \img \psi$についてある$P \in \pp^m \times \pp^n$が存在して$\psi(P) = Q$となるので,任意の$f\in \ker \theta$について
$$ f(Q) = f(\psi (P)) = \theta (f)(P) = 0 $$
となり$Q\in V(\ker \theta)$といえる.次に逆向きの包含$V(\ker \theta) \subseteq \img \psi$を示す.任意の$Q \in V(\ker \theta)$についてその斉次座標を
$$ Q = [q_{00} : \cdots : q_{ij}: \cdots : q_{mn} ] $$
とすると,$Q \in\pp^N$であるので,$0$でない座標が少なくとも1つ存在する.これを$q_{ab}$とすると,
\begin{align*} Q&=\left[q_{00} : \cdots : q_{ij}: \cdots : q_{mn} \right]\\ &\sim \left[q_{00}q_{ab} : \cdots : q_{ij}q_{ab} : \cdots : q_{mn}q_{ab} \right]\\ \end{align*}
となるが,任意の$i,j$について
$$ \theta( Z_{ij} Z_{ab} - Z_{ib} Z_{aj} ) = X_i Y_j X_a Y_b - X_i Y_b X_a Y_j = 0 $$
であることから$Z_{ij} Z_{ab} - Z_{ib} Z_{aj} \in \ker \theta$となるので,$Q \in V(\ker \theta)$について,$q_{ij} q_{ab} = q_{ib} q_{aj}$が成り立つ.従って
\begin{align*} Q&=\left[q_{00}q_{ab} : \cdots : q_{ij}q_{ab} : \cdots : q_{mn}q_{ab} \right]\\ &=\left[q_{0b}q_{a0} : \cdots : q_{ib}q_{aj} : \cdots : q_{mb}q_{an} \right]\\ &=\psi (\left[ q_{0b} : \cdots : q_{mb} \right] \times \left[ q_{a0} : \cdots : q_{an}\right]) \end{align*}
となり,$Q\in \img \psi$が示される. $\square$

以上より,セグレ埋め込みの定義イデアルは上記の$k$線形写像の核を求めることによって定まることがわかる.

$A$のイデアル$\mathfrak{a}$$k$線型部分空間$T$をそれぞれ以下のように定める:
$$\mathfrak{a} := (\{Z_{ij}Z_{kl} - Z_{il}Z_{kj} \mid 0 \leq i,k \leq m, 0 \leq j,l \leq n\}),$$
$$T := \langle Z_{a_1 c_1} \cdots Z_{a_l c_l} \mid l \geq 1, a_1 \leq \cdots \leq a_l, c_1 \leq \cdots \leq c_l \rangle_k.$$
このとき線形空間として$A = T + \mathfrak{a}$である.

$T$$\mathfrak{a}$$A$$k$-部分線型空間であることから$A \supseteq T + \mathfrak{a}$であるので,$A \subseteq T + \mathfrak{a}$を示せば良い.また,多項式環$A$の任意の元が単項式の線形結合で表されることから,$A$の任意の単項式が$T + \mathfrak{a}$に含まれることを示せば良い.
 ここで,$M = \{ 1, \ldots, m \}$$N = \{ 1, \ldots, n \}$とし,$r \geq 1$に対して$(M\times N)^r$に辞書式順序を入れる.任意の単項式$\mu \in A$について,ある正の整数$l \geq 1$$l$個組$((a_1, b_1), \ldots, (a_l, b_l)) \in (M \times N)^l$が存在して,
$$ \mu = t\cdot Z_{a_1 b_1} Z_{a_2 b_2} \cdots Z_{a_l b_l} $$
(ただし$(a_1, b_1) \leq \cdots \leq (a_l, b_l)$$t \in k$)と一意的に表せる.ここで,$L_1 = \{ b_1, \ldots, b_l \}$とし,$b_{\sigma(1)} = \min(L_1)$とすると,$Z_{a_1 b_1} Z_{a_{\sigma(1)} b_{\sigma(1)}} - Z_{a_1 b_{\sigma(1)}} Z_{a_{\sigma(1)} b_1}\in \mathfrak{a}$より
\begin{align*} \mu &= t Z_{a_1 b_1} Z_{a_2 b_2} \cdots Z_{a_l b_l}\\ &\equiv t Z_{a_1 b_{\sigma(1)}} Z_{a_2 b_2} \cdots Z_{a_{\sigma(1)} b_1} \cdots Z_{a_l b_l} \quad \mod \mathfrak{a}\\ \end{align*}
となる.同様に$L_2 = \{ b_1, \ldots, \hat{b_{\sigma(1)}},\ldots, b_l \}$として$b_{\sigma(2)} = \min(L_2)$とすると,
\begin{align*} \mu &\equiv t Z_{a_1 b_{\sigma(1)}} Z_{a_2 b_2} \cdots Z_{a_{\sigma(1)} b_1} \cdots Z_{a_l b_l} \\ &\equiv t Z_{a_1 b_{\sigma(1)}} Z_{a_2 b_{\sigma(2)}} \cdots Z_{a_{\sigma(1)} b_1} \cdots Z_{a_{\sigma(2)} b_2} \cdots \cdots Z_{a_l b_l} \quad \mod \mathfrak{a} \end{align*}
となる.以下同様に,$L_i = L_{i-1} - \{ b_{\sigma(i-1)}\}$として$b_{\sigma(i)} = \min(L_i)$を選べば,
$$ \mu \equiv t Z_{a_1 b_{\sigma(1)}} \cdots Z_{a_l b_{\sigma(l)}} \quad \mod \mathfrak{a} $$
となるが,$b_{\sigma(1)} \leq \cdots \leq b_{\sigma(l)}$より$Z_{a_1 b_{\sigma(1)}} \cdots Z_{a_l b_{\sigma(l)}} \in T$となり,$\mu \in T + \mathfrak{a}$を得る.

$\theta\mid_T : T \to k\left[X_0, \ldots, X_m, Y_0, \ldots, Y_n \right]$は単射である.

$\theta$は斉次成分を保つ写像であるので斉次元について単射であることを示せば良い.任意の単項式$\mu \in T$$t \in k$$((a_1, b_1), \ldots, (a_l, b_l)) \in (M \times N)^l$(ただし$a_1 \leq \cdots \leq a_l$$b_1 \leq \cdots \leq b_l$)を用いて
$$ \mu = t Z_{a_1 b_1} \cdots Z_{a_l b_l} $$
と一意的に表される.これを$\theta$で送ると,
\begin{align*} \theta(\mu) &= \theta(t Z_{a_1 b_1} \cdots Z_{a_l b_l})\\ &= t X_{a_1} Y_{b_1} \cdots X_{a_l} Y_{b_l}\\ &= t X_{a_1} \cdots X_{a_l} \cdot Y_{b_1} \cdots Y_{b_l} \end{align*}
となるが,$a_1 \leq \cdots \leq a_l$$b_1 \leq \cdots \leq b_l$であることに注意すると,添字の付け方は元の単項式$\mu$の添字によって一意的に決まるので,単項式について$\theta \mid_T$は単射である.ここで,斉次元$f \in T^h$$\mu$のような単項式で次数が等しいものによる線形結合で表されているので,$\theta$が環準同型であることから$f$のそれぞれの単項式が相異なる単項式に移る.よって斉次元についても単射である. $\square$

$\ker \theta = \mathfrak{a}$.

明らかに$\ker \theta \supseteq \mathfrak{a}$である.実際,$\mathfrak{a}$の任意の生成元は$\theta$で送ると,
$$ \theta (Z_{ij} Z_{kl} - Z_{il} Z_{kj}) = X_i Y_j X_k Y_l - X_i Y_l X_k Y_j = 0 $$
となるので$\ker \theta$に含まれる.さらに$A = T + \mathfrak{a}$であり$\theta\mid_T$は単射であるので$\ker \theta = \mathfrak{a}$となる. $\square$

$Y = V(\{Z_{ij}Z_{kl}-Z_{il}Z_{kj}\mid 0 \leq i,k \leq m, 0 \leq j,l \leq n\}\})$

以上よりセグレ埋め込みの定義イデアルが求まる.

参考文献
  1. Atiyah, M.F. and Macdonald, I.G. (1969) Introdiction to Commutative Algebra, Addison-Wesley Publishing Company, Inc.
  2. Hartshorne, Robin (1977) Algebraic Geometry, Springer-Verlag New York Inc.
  3. find ker of map from poly ring to poly ring, related to segreMathlog (searched recently at Jan. 23. 2018)
投稿日:20201213
更新日:20231120

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

有限体上の代数曲線の特異点解消について研究していました

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中