この記事は、シリーズ記事「アフィンスキームとは何だろうか」の第3回の記事です。
前回はついにアフィンスキームを定義しました。今日は、本シリーズの最後の記事として、アフィンスキームの間の射を定義したいと思います。
アフィンスキームの射を通して「 上のスキーム」などの概念を考えることができ、これにより整数論についての面白い見方を得ることができます。
本記事の目次:
6. アフィンスキームの射
代数多様体の間に射があったように、アフィンスキームの間にも射を定義できます。その射は、環準同型写像から誘導されます。
位相空間の間の射
可換環 があったときに、その間に環準同型写像 があるとします。このとき、 から に向けた、 の方向とは逆向きの射 が誘導されます。このことについて示しましょう。
によって、 の素イデアル の中に写る の元全体を と書きましょう。 が の素イデアルであることを示します。
であり、 であるから、 は の素イデアルより または である。よって、 または であることが言えたので、 は の素イデアル。
に対して を対応させることで、 が定まります。この から誘導された写像 は、位相空間の間の連続写像になることも(要証明ですが)確認できます。
構造層の間の射
アフィンスキームの射というときは、単に だけではダメで、構造層についての射も定義する必要があります。 に対して、層についての射
も誘導されます。ここで は、次のように定義します。
の開集合をそれぞれ とし、 の元 を考えます。 は定義より 上の正則関数です。
また、位相空間 の間の連続写像 の逆像 は、連続写像の定義より の開集合 を の開集合 に移します。よって、 に を合成した は 上の正則関数になります。
全体のなす環を と定義します。
これにより、開集合 に対して を割り当てるルールが構成できました。 は 上の層であることもわかります。
あとは、 から誘導される写像 が、 上の層の射であることを示す必要があります。ここで層の射であることは示さないですが、層の射の定義は確認しておきましょう。
であって、2つの開集合 が包含関係 にあるとき、以下の可換図式を満たす写像のことです。
これで、構造層の間の射が定義できました。
アフィンスキームの間の射
以上定義した
を合わせて
と表記して、射の組 をアフィンスキームの射といいます。
例によって、 だけを表記してアフィンスキームの射ということもありますが、実際は層の間の射も考えています。単に省略しているだけなので注意してください。
可換環 に対して なる環準同型があるとき、アフィンスキームの間に なる射が誘導されます。このとき、 は 上のアフィンスキームといいます。
任意の可換環 に対して、 からの環準同型が入りますので、任意のアフィンスキーム は 上のアフィンスキームになります。
7. アフィンスキームの射の具体例
さて、アフィンスキームの射の具体例について考えてみましょう。
の間に で定まる環準同型によって、アフィンスキームの射 が誘導されます。 より、射 は に対して を対応させる写像となります。
次の例です。 の間に で定まる環準同型によって、アフィンスキームの射 が誘導されます。 より、射 は に対して を対応させる写像となります。
上の図からわかるように、 の点 の上には が、 の点 の上には が乗っていると見ることができますね。
Z[√-1] の素イデアル分解法則
上の例は割と自明な例でしたが、次は面白い例です。
アフィンスキームとして、 を考えましょう。 の点は、 の素イデアル全体となります。たとえば のような元ですね。
環準同型 が埋め込み写像 によって定まるので、 は 上のスキームです。
まず より、 は に写ります。
次に を考えると、 によって に写る の元全体は、 となります。これはすなわち の素イデアル です。よって、 は に写ります。
同様に、 も に写ります。
これらは両方とも を で素イデアル分解したときに得られる素因子となっています。
一般に、 の素イデアル は で素イデアル分解されますが、そのとき
と書くことができます。
のとき
と書けることが知られていて、このとき は で完全分解するといいます。
また、 のとき
と書けて、 は で惰性するといいます。
のときは
と書けて、 は で分岐するといいます。
いずれの場合でも、 の素因子を としたとき が成り立ちます。したがって、 はアフィンスキームの射によって に写ります。
アフィンスキームの射 によって に写る の元全体を のファイバー といいますが、これを使って以下のように言い換えることができます。
- のとき、 のファイバーは
- のとき、 のファイバーは
- のとき、 のファイバーは
ファイバーとは、毛穴 から生えている毛の集まりみたいなものを想像してもらえるといいかと思います。
分岐・不分岐・完全分解の様子が、アフィンスキームの言葉によって見事に表現されていますね。いつも書いていた素イデアル分解の図は、実はアフィンスキームの間の射を表現したものだったのかと思わされます。
代数曲線の還元
もう一つ面白い例として、代数曲線の還元を考えましょう。
2変数多項式環のイデアル を考えて、 で定義される代数多様体を考えます。 とすると、 は楕円曲線 になります。
上の曲線は、係数の分母を払うことで整数係数にできます。実際、 は整数係数です。そこで、アフィンスキーム を考えることができます。
から への環準同型 が存在するので、 は 上のアフィンスキームとみなせます。
この環準同型が誘導するアフィンスキームの射 について、 の点 におけるファイバー を考えてみましょう。
そのために、ファイバー積 という概念を導入します。
をアフィンスキームとして、 上のアフィンスキーム を考えます。このとき、 の 上のファイバー積 が次のように定義されます。 はアフィンスキームで、 および があり、 および と可換図式をなす。このようなものの中で普遍的なものが のファイバー積 であり、同型を除いて一意に定まります。
上の楕円曲線の場合を考えましょう。 として、 とすると、 はそれぞれ 上のアフィンスキームです。 に対し、 上のファイバー積 は以下の可換図式により定まります。
は 上のアフィンスキームであり、 は の点 の上に乗っていますから、 の上には が乗っていることがわかります。
この は具体的に何なのでしょうか。
実はこれは であることがわかります。
また、 するということは、係数を に置き換えるということなので、
であることが言えます。
右辺は楕円曲線 の係数を に置き換えた曲線に相当しますが、このような曲線を得る操作を における還元 といいます。
つまり、アフィンスキームの射 における のファイバー は、曲線 の における還元となっているわけですね。
なお、 のファイバーは、 となり、 上の曲線が乗っていることになります。
このように、 には、標数 の体の係数を持つ曲線や標数 の体の係数を持つ曲線がたくさん乗っているような構造をしているということですね。面白いです。
可換環の圏とアフィンスキームの圏
最後に、アフィンスキームの圏における重要な性質を紹介します。
可換環を対象として、射を環準同型写像とする圏を可換環の圏 とします。また。アフィンスキームを対象とし、射としてアフィンスキームの射を考える圏をアフィンスキームの圏 とします。
このとき、 と は圏同値であることが示されます。
つまり、可換環とアフィンスキームは、圏として見たときには同じ情報を持っているということですね。
可換環の圏の上で考えている整数論の問題を、アフィンスキームの圏に移してから、幾何的な道具を使って解いて元に戻すということもできるようになるかもしれません。
8. まとめ
「アフィンスキームとは何だろうか」と題して、3回に渡ってシリーズ記事を書いてきました。簡単に振り返りつつ、感想を述べることにしましょう。
振り返り
第1回の記事では、代数幾何の基本的な話の紹介を通して、素イデアルを点とする空間「環のスペクトル」に至る流れを紹介しました。この「素イデアルだけで空間だと思う」という発想は、最初は奇抜に思えるのですが、ヒルベルトの零点定理の話を踏まえると納得がいくということでした。
さらに、環のスペクトルにザリスキー位相なる位相を入れ、位相空間を構成しました。ザリスキー位相は、イデアルの包含関係に基づいて開集合を作るのですが、一見あまり直感的ではないと感じてしまいます。実際のところは、イデアルと図形の対応関係を考えると、イデアルの包含関係はそのまま代数的集合の間の包含関係に対応するので、代数的集合の包含関係に合わせて位相を入れたのだと思うと、実はそれほど不思議なものではないと思います。この辺は、本文ではあまり強調しなかったので、ここで触れておきます。
第2回の記事では「構造層」を定義しました。環のスペクトルの開集合上で定義される正則関数を考えて、開集合に「正則関数全体のなす環」を対応させる反変関手を構造層というのでした。環のスペクトルを構成するために使った可換環 の元の有理式を、環のスペクトル上の「関数」と思うことができるというのが、私は面白いと感じました。
位相と構造層が定まったので、環のスペクトルと構造層の組として「アフィンスキーム」を定義することができました。体 の例のように、環のスペクトルだけでは互いに区別できないケースもあるため、構造層は必要だという話もありました。
第3回では「アフィンスキームの射」を定義しました。アフィンスキームの射を用いると、可換環の間の関係性を、次のようなイメージで捉えることができました。
- の各点には、 や が乗っている
- 代数体の素イデアル分解法則は、まさにアフィンスキームの射の様子を表している
- 代数曲線で用いられる「 における還元」という操作が、スキームの射のファイバーをとることで得られる
最後に、アフィンスキームの圏が可換環の圏と「圏同値」であることについても触れました。「アフィンスキームは元の可換環の情報を忘れていない」ということが示唆されました。
感想
スキームや代数幾何について勉強しようと思ったきっかけは、年初めのこのツイートでした。
Specとかアフィンスキームとかについて、自分なりに初めて納得がいった(かもしれない)記念。図がめっちゃ汚いけどもうれしくて撮った pic.twitter.com/hNZDWSIIdP
— tsujimotter 日曜数学者 (@tsujimotter) 2018年1月1日
なんとなくコホモロジー [2] の本を読んでいた中で、スキームの射についての直感的な理解が得られた気がしたのです。もう少し頑張ったらわかりそうだと思いました。これがきっかけとなり、年明けから代数幾何を少しずつ勉強するようになりました。この「もう少しでわかるかもしれない」という感覚はとても大事だと思っていて、こういう感覚があるからこそ勉強しようというモチベーションが生まれてくるのだと思います。
3月ぐらいには「層」についての具体例を計算する中で一つの発見がありました。この2つの出来事が後押しして、ここまで書いてきました。まだ理解不足な部分もありますが、これだけの分量の記事を自分の言葉でまとめられたことが嬉しいです。
代数幾何の勉強を通してよかったことはもう一つあります。それは「可換環論の重要性」に気づいたことです。
今回の記事の中にも、ところどころに「イデアル」「環の局所化」「テンソル積」といったキーワードが出てきましたが、これらは可換環論における用語です。これらの用語については以前から知っていたものの、何のために勉強する必要があるのか正直よくわかっていませんでした。代数幾何において必要だということを知り、可換環論そのものを学ぶモチベーションが出てきました。
長くなりましたが、以上で「アフィンスキーム」についての解説を終わりにします。まだまだ基本的な部分しか理解していませんが、引き続き勉強を進めていきたいと思います。
それでは今日はこの辺で。