Hartshorne Ex2.12 The d-Uple Embedding (a), (d)
2.12 d-重埋め込み
ある自然数 について, を全ての 変数 の 次単項式とする.ただし, とする.ここで, ,ただし ]となるように を定義する.これは の における -重埋め込みと呼ばれる.例えば, のとき, であり, の における -重埋め込みの像 は円錐である.
(a) ] ] を, を に送るような準同型と定義し,その核を とする.この時, は斉次素イデアルであり,従って は において射影多様体となる.
(b) を示せ.
(c) と は によって同相であることを示せ.
(d) における twisted cubic curve は,適切に座標を選ぶことによって の における -重埋め込みと等しくなることを示せ.
今回のテーマは埋め込みです.こういった演習を取り扱っている日本語のサイトがなぜか殆どなかったので,理解している範囲でまとめてみます.
見ていく順番ですが,(a)は比較的分かりやすいのでまず始めに(a)を見て,その後(b)に行く前に一度具体的な例として(d)を見ます.その後に(b)と(c)を順番に見ていきます.
(a)の証明
示すべきことは4つある.
- が準同型であること
は,変数に単項式を代入しているだけなので,環準同型であることは容易にわかる. - が素イデアルであること
の終域が整域であるので成り立つ. - が斉次イデアルであること
(ただし )について, ]の 次斉次元全体を と表すと,より, と一意に表すことが出来る.
ここで, だが, であるので,となり, が分かる.よってfは斉次イデアルの定義を満たす. - が射影多様体であること
が斉次素イデアルであることから成り立つ.
(d)の説明
まず,一般的なものを見る前に,幾分か具体的な対象について,この埋め込みを考えてみたいと思います.それが twisted cubic です.
においてパラメーター表示をすると となるような曲線です.
これは曲面で言うところの と の共通部分として表される対象でもあります.
代数幾何というからには,このように幾何的な点の集合と代数的な方程式の関係を調べることが目的だと言えるでしょう.
さて,抜本では twisted cubic は 代数閉体 上の 次元アフィン空間 におけるアフィン多様体 として述べられています.
ここでは,その射影閉包たる twisted cubic curve が埋め込みになっていることを証明します.
(d)の証明
について,
という具合に添え字を付けてみます.これは が変数をどのような 次単項式に移すかを表していると言えます.というよりも,このように添字を付けると考えやすい,といった具合なので,特に気にする必要はありません.普通にとしても良いと思います. 以下, 個ある方の変数の添字は のようにして表します.
ここで, は定義からほとんど自明です.なぜならば,任意の について,
といえます.ここで,任意の について,
が成り立ちます.これは,次の単項式にを代入してから で送るのと,変数が の多項式に単項式を代入して変数が の多項式になった状態で を代入するのが同値であることから直ちにわかります.
従って となります.
では,次に逆の包含を見ていくのですが, として一つ主張を示します.
これは, をとってきた時に,端っこの座標が同時に全部0になることはなく,少なくとも1つは0でないものがあることを意味しています.
(主張の証明) 背理法で示す.つまり, と仮定する.
より,
となり,これに を代入すれば
となるが,仮定より となる. 同様に,
より,
となり,これに を代入すれば
となるが,仮定より となる.
以上よりとなり,となって矛盾.
従って,かのどちらかはでない.対称性よりとしても一般性を失わない. 以上より,
となるわけだが,先程出てきた等式はやはりここでも成り立つ.つまり,
が成り立つ.これを代入し,
を得る.しかしこれは,見て分かる通り2つの変数を次単項式に移したものである.形式的に記述すれば,
である.よって が示される.
以上より の-重埋め込みが構成できる.
ここで, を twisted cubic curve とすると,そのイデアルは
と表される.(グレブナー基底を用いて求めた.)
明らかに である.また,逆の包含は,任意の について,
と書ける.(ただし,少し計算が必要) これを で送ると,
となるが,それぞれの項の指数を考えると, であることが分かる.よってである.
従って, となり,この埋め込みは twisted cubic curve を表していることが分かった.
というわけで,(a)と(d)が終わりました.次回以降で一般的に(b)と(c)の証明を見ていきたいと思います.