ガロワ加群

数学において、ガロワ加群  は、//G// がある体の拡大のガロワ群であるときの //G//-加群である。//G//-加群が体上のベクトル空間や環上の自由加群であるときに、用語ガロワ表現  がしばしば用いられるが、//G//-加群の同義語としても用いられる。局所体や大域体の拡大のガロワ加群の研究は数論において重要なツールである。

1. 例
----

体 //K// が与えられたとき、//K// の分離閉包の乗法群 × は絶対ガロワ群のガロワ加群である。その第二コホモロジー群は //K// のブラウアー群に同型である。。
//X// が体 //K// 上の滑らかな固有スキームであれば、その幾何学的ファイバーの ℓ-進コホモロジー群は //K// の絶対ガロワ群のガロワ加群である。

1.1. 分岐理論
---------

//K// を付値体とし//L/////K// を有限次ガロワ拡大でそのガロワ群を //G// とする。//v// の //L// への延長 //w// に対し、//Iw// をその付値の延長の惰性群とする。ガロワ加群 ρ : //G// → Aut は ρ = {1} であるときに不分岐という。

2. 代数的整数のガロワ加群の構造
-----------------

古典的な代数的整数論において、//L// を体 //K// のガロワ拡大とし、//G// を対応するガロワ群とする。このとき //L// の整数環 //O////L// を //O////K//   [//G//]-加群と考えることができ、その構造がどのようなものであるかを問うことができる。正規基底定理によって //L// はランク 1 の自由 //K//   [//G//]-加群であることが分かっているという点で、これは数論的問題である。同じことが整数に対しても正しければ、それは正規整基底の存在、すなわち、α∈//OL// であってその //G// による共役元が //O////K// 上の //OL// の自由基底を与えるようなものの存在と同値である。これは //K// が有理数体 Q であるときでさえ面白い問題である。

例えば、 のとき、正規整基底は存在するだろうか？ζ   =}} exp}} として //L// =}} Q}} であることから分かるように、答えは肯定的である。

実は //p// が//素数//であるとき 1 の //p// 乗根に対する円分体のすべての部分体は正規整基底を持つ。これは Gaussian period の理論から分かる。一方、Q は正規整基底を持たない。これはエミー・ネーターにより発見された//必要//条件の例である。ここで問題となるのは//順//分岐である。//K// はなお Q とし、//L// の代数体の判別式 //D// のことばでは、どんな素数 //p// の //p// 乗も //D// を割り切らない。するとネーターの定理は、順分岐は //OL// が Z[//G//] 上射影加群であるために必要かつ十分であると述べている。したがって確かにそれが//自由//加群であるためにそれが必要である。自由と射影の間のギャップの問題が残っており、それに対して大きな理論が建設されているところである。

ダフィット・ヒルベルトの結果に基づく古典的な結果の 1 つは、順分岐アーベル的代数体は正規整基底を持つというものである。このことはクロネッカー・ウェーバーの定理を使ってアーベル体を円分体に埋め込むことで分かる。

3. 数論におけるガロワ表現
--------------

数論において現れる多くの対象は自然にガロワ表現である。例えば、//L// が代数体 //K// のガロワ拡大であれば、//L// の整数環 //OL// は //L/////K// のガロワ群に対して //OK// 上のガロワ加群である。//K// が局所体であれば、その分離閉包の乗法群は //K// の絶対ガロワ群に対する加群であり、その研究は局所類体論につながる。大域類体論に対しては、代わりに //K// のすべての有限次分離拡大のイデール類群の和集合が用いられる。

補助的な対象から生じガロワ群を研究するために使うことのできるガロワ表現も存在する。例の重要な族はアーベル多様体の テイト加群である。

3.1. アルティン表現
------------

//K// を代数体とする。エミール・アルティン  は、今ではアルティン表現  と呼ばれる、//K// の絶対ガロワ群 //GK// のガロワ表現のクラスを導入した。これは複素ベクトル空間上 //GK// の連続な有限次元線型表現である。アルティンはこれらの表現を研究することでアルティンの相互法則や現在アルティン予想と呼ばれる予想の定式化に至った。アルチィン予想はアルティンの //L//-関数の正則性に関する予想である。

//GK// 上の射有限位相と複素ベクトル空間上の通常の位相との非協調性のために、アルティン表現の像は必ず有限である。

3.2. ℓ-進表現
----------

ℓ を素数とする。//GK// の ℓ-進表現  とは連続な群準同型 ρ: //GK// → Aut}} である。ここに //M// は Q}}ℓ 上の有限次元ベクトル空間か、あるいは、有限生成 Z}}ℓ-加群である。最初に現れた例はp-進円分指標と //K// 上のアーベル多様体の ℓ-進テイト加群であった。他の例は、モジュラー形式や保型形式のガロワ表現や、代数多様体の ℓ-進コホモロジー群上のガロワ表現から来る。

アルチィン表現とは異なり、ℓ-進表現は像が無限のこともある。例えば、ℓ-進円分指標による //G//Q の像は である。像が有限の ℓ-進表現はしばしばアルティン表現と呼ばれる。Q}}ℓ の C との同型を通して、それらを本来のアルティン表現と同一視することができる。

3.3. mod ℓ 表現
-------------

これらは標数 ℓ の有限体上の表現であり、しばしば ℓ 進表現の mod ℓ での還元として生じる。

3.4. 表現の局所的な条件
--------------

素数の分解群に制限された表現の性質によって与えられる、表現に関する非常に多くの条件が存在する。これらの条件に対する用語は幾分混沌としている。同じ条件に対して異なる名前が付いたり、異なる意味に同じ名前が用いられたりする。条件には例えば以下のものがある。

アーベル表現 。これは表現のガロワ群の像が可換であることを意味する。
絶対既約表現 。これは体の代数的閉包上既約のままである。
バルソッティ・テイト表現 。これは有限平坦表現と同様である。
クリスタル表現 。
ド・ラーム表現 。
有限平坦表現 。これは有限平坦群スキーム上のガロワ群の表現の射影極限として構成できる。
良い表現 。これは有限平坦表現と同様である。
ホッジ・テイト表現 。
既約表現 。これは部分表現が全空間と 0 しかないという意味で既約である。
minimally ramified representation.
モジュラー表現 。これはモジュラー形式から来る表現である。
通常表現 。これは、1 次元部分表現を持った可約な 2 次元表現であって、惰性群がその部分加群と商加群にある方法で作用するようなものである。正確な条件は著者に依る。例えば、商に自明に作用し、部分加群に指標 ε によって作用する。
potentially something representation. これは指数有限のある開部分群に制限された表現がある性質  を持つことを意味する。
可約表現 。これは 0 でない真の部分表現を持つ。
半安定表現 。これは半安定な楕円曲線から来る表現に関係する 2 次元表現である。
順分岐表現 。これは分岐群上自明である。
不分岐表現 。これは惰性群上自明である。
激分岐表現 。これは分岐群上非自明である。

4. ヴェイユ群の表現
-----------

//K// が局所体あるいは大域体であるとき、類構造  の理論は //K// に以下のものをアタッチする。

//K// のclass formation のヴェイユ群
連続な群準同型
位相群の同型写像 ここで、//CK// は、//K// が局所体か大域体かに応じて、//K//× あるいはイデール類群 //IK/////K//× であり、//W//は //K// のヴェイユ群のアーベル化である。φ を通して、//GK// の任意の表現を //WK// の表現と考えることができる。しかし、//WK// は //GK// よりも真に多くの表現を持ち得る。例えば、//rK// を通して、//WK// の連続複素指標は //CK// の連続複素指標と全単射の関係にある。したがって、//CK// 上の絶対値指標から、像が無限である //WK// の指標が定まり、これは //GK// の指標ではない。

//WK// の ℓ-進表現は //GK// と同様に定義される。これは幾何学から自然に生じる。すなわち、//X// が //K// 上の滑らかな射影多様体であれば、//X// の幾何学的ファイバーの ℓ-進コホモロジーは、//GK// の ℓ-進表現であり、φ を通して //WK// の ℓ-進表現を誘導する。//K// が局所体で剰余体の標数が //p//   ≠   ℓ であれば、//WK// のいわゆるヴェイユ・ドリーニュ表現を研究する方が簡単である。

4.1. ヴェイユ・ドリーニュ表現
-----------------

//K// を局所体とする。//E// を標数 0 の体とする。//WK//の //E// 上のヴェイユ・ドリーニュ表現  は、以下のものからなる対 }} である。

連続な群準同型 ただし //V// は離散位相を持った //E// 上の有限次元ベクトル空間；
冪零自己準同型 であって、すべての //w//   ∈   //WK// に対して であるようなもの。これらの表現は //K// のヴェイユ・ドリーニュ群の //E// 上の表現と同じである。

//K// の剰余体の標数が ℓ と異なるとき、グロタンディークの ℓ-進モノドロミー定理は、//WK// の ℓ-進表現と、//WK// の Q}}ℓ 上のヴェイユ・ドリーニュ表現の間の全単射を確立する。後者の表現は、//r// の連続性は //V// の離散位相に関してのみであるから状況をより代数的な感じにするという素敵な性質を持っている。

5. 関連項目
-------

ガロワコホモロジー
Compatible system of ℓ-adic representations

6. 脚注
-----

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

8. Further reading
------------------