中山の補題

数学、具体的には現代代数学や可換環論において、中山の補題は、環のジャコブソン根基とその有限生成加群の間の相互関係を定める。有り体には、補題より直ちに可換環上の有限生成加群は体上のベクトル空間のように振る舞うことが言える。これは代数幾何において重要な道具である、なぜならばそれによって代数多様体の局所的なデータを、局所環上の加群の形において、環の剰余体上のベクトル空間として各点ごとに研究することができるからである。

この補題は、まずヴォルフガンク・クルルによって可換環のイデアルの特殊な場合において発見され、次に一般の場合が Azumaya によって発見されたにもかかわらず、日本人数学者中山正にちなんで名づけられているNagataMatsumura。可換の場合には、補題はケイリー・ハミルトンの定理を一般化した形の単純な帰結であり、これは Atiyah に書かれている。非可換なときの右イデアルに対する補題の特別な場合は Jacobson にあり、そのため非可換な中山の補題はジャコブソン-東屋の定理  と呼ばれることもあるNagata。後者はジャコブソン根基の理論にたくさんの応用をもっているIsaacs。

1. 補題の主張
--------

//R// を単位元 1 をもった可換環とする。Matsumura で述べられているように、以下が中山の補題である。

主張 1： //I// を //R// のイデアルとし、//M// を //R// 上有限生成加群とする。//IM// = //M// であれば、//r// ≡ 1  であるような //r// ∈ //R// が存在して、//rM//   =   0 となる。

これは以下で証明される。

この系である次もまた中山の補題と呼ばれ、最もよく現れるのはこの形においてであるEisenbudAtiyah。

主張 2： //M// が //R// 上有限生成加群で、//J// が //R// のジャコブソン根基で、//J////M//   =   //M// とすると、//M//   =   0 である。

//証明//：//r// − 1 はジャコブソン根基に入るので //r// は可逆である。より一般的に、次が成り立つ。

主張 3： //M// が //R// 上加群で、//N// が //M// の部分加群であり、//M//   =   //N//   +   //J////M// 、//M/////NがR 上有限生成加群//であれば、//M//   =   //N// である。

//証明//： 主張 2 を //M/////N// に適用する。次の結果は生成元の言葉で中山の補題を述べているEisenbud。

主張 4： //M// が //R// 上有限生成加群であり、//M// の元 //m//1, ..., //m////n// の //M/////J////M// における像が //M/////J////M// を //R//-加群として生成すれば、//m//1, ..., //m////n// は //M// を //R//-加群として生成する。

//証明//： 主張 3 を //N//   =   Σi//Rm////i// に適用する。最後の系の結論は、前もって //M// が有限生成であると仮定しなくても、//I//-進位相について //M// が完備かつ分離加群であると仮定すれば、成り立つEisenbud。ここで分離性は //I//-進位相が//T//1分離公理を満たすことを意味する。これは と同値である。

2. 結果
-----

2.1. 局所環
--------

//m// を極大イデアルとする局所環 //R// 上の有限生成加群 //M// という特別なケースにおいて、商 //M/////mM// は体 //R/////m// 上のベクトル空間である。このとき主張 4 は //M/////mM// の基底は //M// の極小生成集合に持ちあがることを意味する。逆に、//M// のすべての極小生成集合はこのようにして得られ、任意の2つのそのような生成集合は //R// に成分をもつ可逆行列によって関連付けられている。

この形において、中山の補題は具体的な幾何学的重要性を帯びる。局所環は幾何学において点における関数の芽として生じる。局所環上の有限生成加群はきわめて頻繁にベクトル束の断面の芽として生じる。点よりもむしろ芽のレベルで研究するとき、有限次元ベクトル束の概念は連接層の概念に取って代わられる。インフォーマルには、中山の補題は連接層をなおある意味でベクトル束から来ているとみなすことができると言っている。正確には、//F// を任意のスキーム //X// 上の O//X//-加群の連接層とする。点 //p//   ∈   //X// における //F// の茎、これは //F////p// と表記されるが、局所環 O//p// 上の加群である。//p// における //F// のファイバーは ベクトル空間 //F//   =   //Fp/////mpFp// である、ただし //m////p// は O//p// の極大イデアル。中山の補題によってファイバー //F// の基底は //F////p// の極小生成集合に持ちあがる。つまり：

点における連接層 //F// のファイバーの任意の基底は局所断面の極小基底から来ている。

2.2. 上昇と下降
----------

上昇定理  は本質的に中山の補題の系であるEisenbud。それは次のようなものである。

//R//   ⊂   //S// を可換環の整拡大とし、//P// を //R// の素イデアルとする。このとき //S// の素イデアル //Q// が存在して、//Q//   ∩   //R//   =   //P//. さらに、//Q// は //Q//1   ∩   //R//   ⊂   //P// であるような //S// の任意の素イデアル //Q//1 を含むように選ぶことができる。この結果を幾何学的に述べるために、整拡大は代数多様体の固有射と対応する。複素数体上の多様体に対して、固有とは単に通常の位相でコンパクト集合の逆像が再びコンパクトであるということを意味する。すると上昇は固有射のもとでの部分多様体の像が再び部分多様体であることを意味している。

2.3. 加群の全射準同型
-------------

中山の補題は可換環上の有限生成加群は体上のベクトル空間のようであるという解釈を与える。中山の補題の次の結果はこれが正しいような別の解釈を与える。

//M// が有限生成 //R//-加群で //ƒ//:   //M//   →   //M// が全射自己準同型であれば、//ƒ// は同型写像であるMatsumura。局所環上では、加群の全射についてさらに言えることがある。

//R// が局所環でその極大イデアルが //m// であり、//M//, //N// は有限生成 //R//-加群であるとする。φ   :   //M//   →   //N// が //R//-線型写像で商 φ//m//   :   //M/////mM//   →   //N/////mN// が全射であれば、φ は全射である。

2.4. ホモロジー代数において
----------------

中山の補題はまたホモロジー代数学においてもいくつかのバージョンがある。上記の全射についてのステートメントは次のことを示すのに使える。

//M// を局所環上有限生成加群とする。すると //M// が射影加群であることと自由加群であることは同値である。これの幾何学的、大域的な対応物は Serre–Swan の定理であり、射影加群と連接層を関係づける。

より一般にEisenbud、

//R// を局所環とし //M// を //R// 上の有限生成加群とする。このとき //M// の //R// 上の射影次元は //M// のすべての極小自由分解の長さに等しい。さらに、射影次元は //M// の大域次元に等しく、これは定義によって次を満たす最小の整数 //i//   ≥   0 である：ここで //k// は //R// の剰余体であり Tor はTor関手である。

3. 証明
-----

中山の補題の標準的な証明はAtiyahによる次のテクニックを用いる。

//M// を //n// 元で生成された //R//-加群とし、φ   :   //M//   →   //M// を //R//-線型写像とする。φ   ⊂   //IM// であるような //R// のイデアル //I// が存在すれば、//p////k//   ∈   //I////k// であるような単多項式が存在して、//M// の自己準同型としてである。この主張はちょうどケイリー・ハミルトンの定理を一般化したものであり、同様に証明できる。//M// の生成元 //x////i// について、

の形の関係がある。ただし //a////ij//   ∈   //I// である。したがって

である。求める結果は行列  の余因子行列を掛け、クラメルの公式を使うことによって従う。すると det   =   0 であることがわかるので、求める多項式は

である。

中山の補題をケイリー・ハミルトンの定理から証明するため、//IM//   =   //M// と仮定し、φ を //M// 上恒等写像であるようにとる。そして上記のように多項式 //p// を定義する。すると

が所望の性質をもっている。

4. 非可換の場合
---------

補題は非可換単位的環 //R// 上の右加群に対しても成り立つ。結果の定理は ジャコブソン-東屋の定理  と呼ばれることもあるNagata。

//J// を //R// のジャコブソン根基とする。//U// が環 //R// 上の右加群で //I// が //R// の右イデアルであれば、//UI// を //ui// の形の元のすべての和が成す集合と定義する。//UI// は //U// の部分加群である。

//V// が //U// の極大部分加群であれば、//U/////V// は単純加群である。なので //UJ// は //J// の定義と //U/////V// が単純であるという事実によって //V// の部分集合である。したがって、//U// が少なくとも1つの極大部分加群を含めば、//UJ// は //U// の真の部分加群である。しかしながら、これは //R// 上の任意の加群 //U// に対しては成り立つとは限らない、というのも //U// がどの極大部分加群を含まないこともあるからだIsaacs。//U// がネーター加群であれば、自然にこれは成り立つ。//R// がネーター環であり //U// が有限生成であれば、//U// は //R// 上のネーター加群であり、結論が成り立つIsaacs。注目すべきなのはより弱い仮定、すなわち //U// が //R//-加群として有限生成で結論を保証するのに十分であるということである。本質的にこれが中山の補題のステートメントである。

正確に言えば、

中山の補題： //U// を環 //R// 上の有限生成右加群とする。//U// が 0 でなければ、//UJ// は //U// の真の部分加群である。

4.1. 証明
-------

//X// を //U// の有限部分集合とし、//U// を生成するという性質をもつもので極小とする。//U// は0でないので、この集合 //X// は空でない。//X// の各元を に対し //x//i と表記する。//X// は //U// を生成するので、

と仮定し、矛盾を導く。 であるので、

結合律により、

//J// は //R// のイデアルであるので、すべての //i// に対して であって、それゆえ

分配律を適用して、

であるので、それは準正則であり、したがってすべての //i// に対して 、ただし //U// は //R// の単元群を表す。ある //j// を選び、

と書く。したがって、

ゆえに //x//j は //x//j と異なる //X// の元の線型結合である。これは //X// の極小性に矛盾する。証明終了。

4.2. より精密な形
-----------

//I// を //R// の左イデアルとすると、以下の条件は同値であるLam：

//I// ⊂ //J// 
任意の有限生成左 //R//-加群 //M// に対し、//IM// = 0 ならば //M// = 0
//M// / //N// が有限生成であるような任意の左 //R// 加群 //N// ⊂ //M// に対し、//N// + //IM// = //M// ならば //N// = //M//

5. 次数環・加群において
-------------

中山の補題の次数付きバージョンもある。//R// を非負整数からなる半群で次数付けられた環とし、 で次数が正の元で生成されたイデアルを表記する。このとき //M// が十分小さい //i// に対して であるような //R// 上の次数加群であって であれば、 である。特に重要なのは //R// が普通の次数付けによる多項式環で //M// が有限生成加群の場合である。

証明は次数付きでない場合よりもはるかに簡単である。//i// を であるような最小の整数ととれば、 は に現れないことがわかるので、 であるかまたは、そのような //i// は存在しないすなわち 。

6. 脚注
-----

7. 参考文献
-------

first=Robin .
last1=Nagata .
last1=Nakayama ケンブリッジ大学出版局により2016年1月22日にウェブ10.1017/S0027763000012265}}で公開。

8. 関連項目
-------

加群論
セール・スワンの定理

9. 関連文献
-------

中山正『局所類体論』、岩波書店〈岩波講座数学9 別項〉、1935年。BN14766638}}。
中山正『代数系と微分 : 代数学よりの二三の話題』、河出書房〈数学集書4〉、1948年。BN04295422}}。
中山正、東屋五郎『環論』、岩波書店〈現代数学5 代数学 2〉、1954年。 BN02068361}}。
松島与三、秋月康夫、永田雅宜、中山正『リー環論 . 近代代数学 . ホモロジー代数学』、服部昭、共立出版〈現代数学講座[6]〉、1956年。 BN04204212}}。