前回の記事の続きです。まだ読んでいない方はこちらから。
tsujimotter.hatenablog.com
前回の記事では、 を通る直線を考えて「この直線に で接する関数全体の同値類」を考えて、その同値類全体がザリスキー余接空間 になっているという話をしました。また、この余接空間の双対空間として、ザリスキー接空間 が定義できるよという話もしました。
一方で、ザリスキー接空間については、双対空間を経由せずとも直接的に考えることができるよ、と第二宇宙賢者さんからアドバイスいただきました。
ヒントとして次のPDFを教えていただきましたので、PDFの内容を参考にしつつ、ザリスキー接空間について考えてみたいと思います。
NOTES ON THE ZARISKI TANGENT SPACE
SAM EVENS
https://www3.nd.edu/~sevens/tanspace.pdf
なお、上の記事では一般の多変数の多項式環を元に考えていますが、今回は前回の記事の続きということで、1変数の多項式環に限定して議論したいと思います。また、 で考えるのは が代数閉体でないゆえの問題(特に極大イデアルに関する問題)がありそうなので、 で議論したいと思います。
目次:
(ざっとおさらい)微分多様体の接空間
接空間について考えるために、(今回の目的とは直接関係ありませんが)まずは微分幾何的な意味での接空間を振り返りたいと思います。
そもそも接空間とは、可微分多様体 を考えて、その点 に対して「接する」ベクトル空間のことを指します。もちろん「接する」と言っても、次の記事で実行したように、ユークリッド空間の中で「目に見えるような形で」接する面を定義できる訳ではありません。
tsujimotter.hatenablog.com
そこで、点 の近傍で定義できる 級関数全体 を考えて、 上の微分作用素のなすベクトル空間として接空間を考えます。具体的には
であって、以下の2つの性質を満たす を微分作用素といいます。
- (線形性) (ただし、)
- (ライプニッツ則) (ただし、)
微分作用素は、その点 における「微分係数」の値を取り出すような作用素になっています。点 における微分作用素全体は -ベクトル空間をなします。
たとえば、点 の周りの座標として が取れるとすると
は点 における微分作用素です。実際、線形性とライプニッツ則を満たします。
点 における微分作用素全体の中で、特に
によって生成される部分空間を点 における接空間と定義し、 で表します。 の元を接ベクトルといいます。
しかしながら、現在は 級の微分多様体を仮定していますが、この仮定の下であれば接空間は微分作用素全体に一致します。つまり、微分作用素を考えればそのまま接ベクトルになるというわけですね。
ザリスキー接空間
今回考えたいのは、微分多様体ではなく、代数多様体です。
実際には、 を座標環とするような代数多様体 を考えたい訳ですね。したがって、微分多様体の接空間をそのまま考えることはできないわけです。
しかしながら、その類似みたいなものは考えられるわけで、それがザリスキー接空間ということなのだと思います。
上の関数として、 を考えます。上で 級関数にやったように、多項式環 に対して同じように微分作用素的なものを考えたいわけですね。
とします。 であって、以下の2つの性質を満たすものを 上の( 値)導分(deriviation)といいます:
- (線形性) (ただし、)
- (ライプニッツ則) (ただし、)
微分作用素とまったく同じような定義ですね。
上の導分の重要な例としては
があります。ここで、 は
によって定まる「多項式の微分」であり、 は点 での の「微分係数」を取り出す写像になっていますね。この写像が線形性とライプニッツ則を満たすことは容易に分かります。
ここで、点 におけるザリスキー接空間 は、上記で定義した導分全体のなすベクトル空間として定義されます。簡単ですね!
さてこの なのですが、多項式環 上においては、実は で生成される1次元 -ベクトル空間になっているのです。この事実を示したいと思います。
(証明)
まず、点 の座標を としましょう。任意の多項式 は、 の周りで
のように、展開されます。このとき、 となります。
また、2次以降の項は とまとめることにより、 の形にすることができます。
を導分とすると、ライプニッツ則を関数 の積に対して実行すると
となります。また、 に対しては
より、 となります。線形性より であることもわかります。
したがって、 は の行き先だけで決まることになり、 の行き先は 全体が取り得ます。
特に となるのが、 となり、すべての はこの 倍となるので、 は を基底とする1次元ベクトル空間であることが示されました。
結局、 上の点 における「微分的なもの」は、本質的には しか存在しないということですね。
ザリスキー余接空間
上で定義したザリスキー接空間の双対空間がザリスキー余接空間です。なのですが、この節の最後に説明するように、 という形の -ベクトル空間をザリスキー余接空間の定義とします。これが、実際にザリスキー接空間の双対空間であることは次節で示します。
の極大イデアルは、 が単項イデアル整域(PID)であり、また が代数閉体なので ()の形で表すことができます。この は であるような 上の点 に対応する極大イデアルだと思うことができますね。
の任意の元は
の形でかけますので「 で零点を持つ多項式全体」だと思ってもいいですね。
はイデアルの積なので の元 の積の有限和 全体となります。とはいえ、今回は が単項イデアルなので、単純に と考えてよいです。すなわち「 で2位以上の零点を持つ多項式全体」ですね。「 で重根を持つ多項式全体」といってもよいでしょう。
ここで、 が1次元 -ベクトル空間であることを示しましょう。そのために、以下の命題2を示します。
このとき は、有限次元 -ベクトル空間である。
今回の命題は に限定していますが、ここではより一般的なケースにも通用するような証明を書きたいと思います。
(証明)
の極大イデアル には多項式環 が作用します。すなわち、 に対して は の元です。
また、 の中で特にその部分集合 の作用を考えると、 に対して は の2元の積なので に入りますね。つまり、 の元 を の元 に作用させると、その行き先は
になるわけです。
この事実を用いると、 が にwell-definedに作用することが、次のようにわかります。
の元 による の元 への作用を
と定義すると、これは次に示すように の代表元 の取り方によりません。
実際、 としたとき
となり、次が成り立ちます:
よって、 の への作用は、代表元 の取り方によらないことが分かりますね。
以上により、アーベル群 に対して、 が作用することが分かりました。 は極大イデアルなので は体であり、 は体が作用する加群ということになります。
また、 はネーター環なので、イデアル は 上有限生成です。また、 も 上有限生成であり、 も 上有限生成です。ここで、 の 上の生成系を とすると、 の任意の元 は
と表せますが、 なので
と表せることになります。すなわち、 は 上有限生成です。
したがって は、有限次元 -ベクトル空間であることが言えました。
特に、 においては、 を座標 の点 に対応する極大イデアル とすると
という同型がありますので、 を と見做すことにより は -ベクトル空間ということになります。
また、 は 上1元生成であり、かつ、 で割った の代表元は ()と表せます。よって、 は で生成される -ベクトル空間となります。したがって、 上の次元は1次元です。
さて、こんなわけで1次元 -ベクトル空間 のことを、点 におけるザリスキー余接空間ということにします。
双対性
このザリスキー余接空間 が、ザリスキー接空間 の双対空間であることを示しましょう。すなわち
を示したいと思います。これは -ベクトル空間としての同型です。
これを示すためには、両者の間に全単射な線形写像が存在することを示す必要があります。そのために、 に対して
という写像を考えたいと思います。 は導分なので線形写像ですから、 は の元ということになります。
したがって
なる写像が定まるわけです。これが -線形同型であることを示したいと思います。
と および に対して
が成り立ちます。 は任意より
が従います。よって、 は -線形写像です。
次に逆方向の線形写像を作ります。 を考えると、これは から への線形写像ということですが、これを であるような線形写像
だと思うことができます。後者の写像を とおくと、自然な全射 として と定義したということですね。
また、 を と思ったときに(多項式を「定数項」と「1次以降の項」に分けるイメージ)、
なる線形写像 を考えれば、 であって、 への制限が となります。
この がライプニッツ則を満たすことを示しましょう。
を
のように表示しましょう。ここで
となりますが、各項に を適用させて計算します。
よって
が従います。これはライプニッツ則に他なりません。
したがって、 から の元 を作ることができました。この対応が の逆写像を与えていることは構成から明らかです。したがって、 は -線形同型というわけですね。
つまり、 から への線形写像であって、多項式の1次の項を に送って、2次以上も に送るものは、自動的にライプニッツ則を満たすということですね。面白いですね!
双対関係の意味をもう少しだけ掴むために
なる写像を考えます。
この は双線形写像になっていることがわかります。こういう写像をペアリングというのでした。
に対して、ペアリング の 側を固定して得られる線形写像
を考えると、先ほどの に一致します。
は の定数倍であり、ほとんど微分作用素 だと思えばいいですね。
一方で、 は、 で零点を持つ多項式 に「 で接する多項式の同値類 」です。
この同値類は での接線を共有しているわけなので、微分係数(接線の傾き)は等しくなります。この微分係数を取り出す操作が上記のペアリング というわけですね。
これでだいぶ幾何的な意味が分かってきたのではないでしょうか。
二重数環への準同型と接束
ところで、前回やった二重数環を思い出したいのですが、 なるような数を添加した環 に対しては
という環準同型があるのでした。さらにいうと、
も成り立つので、 は -代数としての準同型となります。(和と積と 倍の構造を保存するということですね。)
ここで、さらに二重数環の第2成分を取るという写像 を合成すると
となり、 は積の構造は保存しませんが、和と 倍の構造は保存しますので、-線形写像となります。
さらに多項式の1次の項を に送って、2次以上も に送るものになっていますので、ライプニッツ則を満たします。線形写像かつライプニッツ則を満たすので、導分になっているわけですね。接ベクトルです。
さらにいえば、今作った写像 は、 そのものとなります。なので、二重数環の第2成分をとる写像は「微分」そのものだったわけですね。
今、多項式環 から二重数環 への -代数の準同型
を考えると、そこから接ベクトル が得られることを示したわけです。
同様に、多項式環 から二重数環 への任意の -代数の準同型 が与えられると、そこから接ベクトル が得られます。
実際、-代数の準同型
を考えます。ここで は の第1成分(定数部分)と第2成分( の係数部分)を表すことにします。 をそれぞれ第1成分・第2成分を取り出す写像とすると、 であることに注意します。
は -代数の準同型であり、合成写像
は -代数の準同型です。特に より は全射です。 は環準同型でもあるから、環の準同型定理より環の同型
が誘導されます。右辺が体であるから、 は極大イデアルです。 の極大イデアルは、座標が である点 が存在して、 と書けるものに限られますので、 です。したがって、上記の環同型は
ということになりますが、これにより は に を代入する写像であることがわかります。すなわち、 です。
また、 は「環準同型 によって に飛ぶ 全体」ですから、「点 に零点を持つ多項式全体」を集めていることになりますね。
この事実を使って、合成写像
が① -線形写像であり、②ライプニッツ則を満たすことを示します。(この段階で既に としています。)
① が -線形写像であること:
としたとき
であり、 は -線形写像。
② がライプニッツ則を満たすこと:
としたとき、次が成り立ちます:
よって、 はライプニッツ則を満たす。
したがって、 とすると であることが分かりました。
今、-代数の準同型 の情報を使って、 を作りました。このとき、(二重数の第2成分)だけを用いて、(二重数の第1成分)を捨ててしまったわけです。上で議論したように
という -代数の準同型の は、ある点 に対応する極大イデアル なのでした。 に対応する点を と表すことにしましょう。
つまり、-代数の準同型 には
- 点 の情報
- 点 上の接ベクトル の情報
の2つの情報があるというわけですね。
このような議論の流れから、自然と接束(もしくは接ベクトル束)を考えたくなるでしょう。 上の接束とは
で表される集合で、要するに点 と 上の接ベクトル の組全体の集合です。
により、 から への -代数の準同型を表すことにします。すると、上で行った議論により
なる写像が定まることが言えました。
逆に、接束から を取ってきましょう。ここで、 から への写像
を
で定めましょう。これが、-代数の準同型であることを示します。
( が -代数の準同型であることの証明)
- (和と -倍を保存する)
とします。このとき、
が成り立ちます。
- (積を保存する)
とします。このとき、
が成り立ちます。
よって、 に対して、 が定まることがわかりました。すなわち、写像
が得られました。
ここで、 と が恒等写像になることがわかるので、 と との間に全単射があることがわかりました。
(これが参考文献のLemma 0.9.に相当する命題です。)
は全単射である。
おわりに
最後に今回の話をまとめたいと思います。
- の点 におけるザリスキー接空間 は、微分作用素 で生成される1次元 -ベクトル空間。
- の点 におけるザリスキー余接空間 は、 で零点を持つ多項式 に「 で接する多項式の同値類 」の全体。1次元 -ベクトル空間。
- 接空間と余接空間のペアリングは、 に を作用させて点 での「微分係数(傾き)」を取り出す操作。
- から二重数環 への -代数の準同型全体と、接束(接ベクトル束) の間に全単射がある。
元々は共通テストの一問題でしたが、ずいぶんと奥が深いところまで行くことができましたね。色々な概念が繋がって整理されて、とても面白かったです!
楽しい話を教えてくださった第二宇宙賢者さんに改めて御礼申し上げます。私がレベルアップすると第二宇宙賢者さんが次の冒険のヒントを与えてくれる「RPG」をプレイしている気分でした。楽しかったです。
それでは今日はこの辺で。