代数幾何学で遊ぼう ~Nullstellensatzの強形と弱形~
趣味で数学を勉強し始めてから幾星霜、ついにここまで来た。そう、代数幾何学である。ついにこの高みに手を伸ばすところまで辿り着いたのだ。
修士一年の頃から約8年、研究に役立てばと群論を学び始めたのがきっかけだったが*1、その道すがらで出会った代数幾何学、これだけはなんとしてもチャレンジしてみたいという気持ちがあった。
しかし、いざ学び始めてみると前評判以上の難しさである。すでに理解できていないポイントがいくつも出てきており、この辺りで腰を落ち着けて分からないことを1つずつ片付けていく必要がある。
そこで、本稿より続くいくつかの記事の中で、私が代数幾何学に対して抱いた疑問点を解消していこうと思う。本稿ではそのトップバッターとして、Hilbertの零点定理 (Nullstellensatz) の強形と弱形の関係性について調べる。
Hilbertの零点定理に関する疑問点
Hilbertの零点定理には強形と弱形と呼ばれる2つのバージョンがある。両者の間には一体どういう関係があるのだろうか?名前の感じからすると、弱形は強形より導かれそうな感じがする。しかし、両者は一見すると似ても似つかない形をしている。一体、どうやって片方から他方を導いてやれば良いのだろうか?
強形が先か弱形が先か
前述した疑問の答えを探る中で、Wikipediaに以下のような記載があるのを見つけた[2]。
Hilbert's Nullstellensatz states that (中略、ここで強形の説明).
An immediate corollary is the weak Nullstellensatz: (後略、ここで弱形の説明)
なるほど、弱形は強形から導かれる系というわけだ。これで前半の疑問は解消した…と思った矢先、さらに以下のような記事を見つけた[3]。
Typically the way that the strong Nullstellensatz is proved is by reduction to the so-called “weak Nullstellensatz” by means of the “Rabinowitsch trick”. (The “weak” here may be misleading, as the weak Nullstellensatz may be considered the core result and the strong Nullstellensatz a corollary.)
どっちやねん!結局どっちが主定理でどっちが系やねん!と思わず荒ぶってしまうような状況である。以下、私の理解を順に説明していく。
定理の主張
Hilbertの零点定理の主張を本[1]より引用する。
調べてみると、Hilbertの零点定理はいろいろなバリエーションがあるようだ。以下にWikipediaに記載されていた弱形の主張を示す[2]。
は本[1]の記号で言えばのことである。
Wikipediaではを体、をの拡大体かつ代数的閉体としており、本[1]とは記号の意味が違う。しかし、実際にはでもよく、かつそのケースが一番強い主張になるため、初めからとして考えても問題にはならない。
強形から弱形を導く
Wikipediaには出来ると書いてあるのだから、きっと出来るのだろう。というわけで証明してみよう。
準備
まず、Hilbertの零点定理は以下のように言い換えられる[1][2]。
簡単に説明しておくと、まずはHilbertの零点定理の単なる言い換えに過ぎない。また、任意のについて、イデアルの根基の定義よりを満たす自然数が存在する。との零点集合は一致するので、はの全ての点で0になる。よってである。は任意だからとなる。
弱形 (その2) の証明
こちらの方が簡単なので、こちらから証明する。証明は[6]を参考にした。
のイデアルについて、その代数的集合が空集合、すなわちであるとする。Hilbertの零点定理 (の前述した言い換え) より以下の式が成り立つ。
これよりなのでとなり、が成立する。
弱形 (その1) の証明
弱形 (その1) をただ証明するだけなら本[1]等にやり方が載っている。しかし、強形から弱形 (その1) を導く方法というのが意外と見つからない。仕方がないので自分で考えてみた。
の適当な点によってと表されるのイデアルが極大イデアルであることの証明は割愛する。詳しくは本[1][4]等を参照のこと。以下ではその逆を示す。
をの極大イデアルとする。極大イデアルは真のイデアルであるから、弱形 (その2) よりである。
の任意の元はの任意の点についてとなる。つまり、である。これは意外と自明ではないので、念のため示しておく。
をで割るとと書ける。ここでをで割るとと書ける。これをの式に代入するととなる。これを繰り返すと最終的に以下のようになる。
は定義より点において0になるのでが言える。よってとなる。
の元はの全ての点で0になる必要があるので、以下の式が成り立つ。
Hilbertの零点定理 (の前述した言い換え) より上式の左辺はに等しい。はイデアルであり、であるが、は極大イデアルなのでとなる。つまり、以下の式が成り立つ。
左辺は極大イデアルであり、かつ右辺で共通部分を取っている集合もそれぞれ極大イデアルであるため、は適当な点についてに一致する。これで弱形 (その1) が示せた。
弱形 (その1) と弱形 (その2) の関係
Hilbertの零点定理には2つの弱形があった。これらの間にはどういう関係があるのだろうか?どちらも弱形と呼ばれるからには、同値な命題であることが期待される。以下で調べてみよう。
弱形から強形を導く
先にも述べたが、どうやら弱形から強形を導くことも出来るらしい。これにはRabinowitsch trickなる技を使うようだ[5]。Wikipediaの記事を見てみると、そのまんま本[1]に書いてある強形の証明だった。Trickと呼ばれるだけあって (面倒だが) 初等的な式変形で証明出来るため、興味がある方はご覧頂くと良いだろう。
Rabinowitsch trickは厳密には弱形 (その1) から強形を導くためのものに見える。そのため、弱形 (その2) から直接強形を導くことは出来なさそうだ。ただし、先に述べた通り2つの弱形は同値なので、あまり気にする必要はない。
結局、強弱とは何なのか?
強形から弱形、弱形から強形をそれぞれ証明出来たのだから、両者は同値であると言える。それであればなぜ強とか弱とか名前が付いているのか疑問だが、そこまでは分からなかった。少なくとも見た目だけでも強形が弱形の一般化っぽく見えていればまだ納得できるが、両者の主張にはどうも統一感がない。まだ見ぬ同値なステートメントがあるのかも知れない。
まとめ
本稿ではHilbertの零点定理について調べた。この定理には強形、弱形と呼ばれるバリエーションが存在するが、名前に反してそれらは同値であることを明らかにした。
Hilbertの零点定理は以前より名前だけは聞いたことがあり、どんな定理か気になっていた。本稿の執筆を通してそこそこ理解できて嬉しい。