ドリンフェルト加群

数学の**ドリンフェルト加群**（ドリンフェルトかぐん、）とは、有限体上の曲線上の関数からなる環上のある特殊な加群のことである。**カーリッツ加群**の一般化であり、**楕円加群**ともいう。これを使うと、虚数乗法論の類似理論を関数体上で構築することができる。ドリンフェルト加群の一種の一般化が**シトゥーカ**（, ）であり、これはおおまかに言うと曲線上のベクトル束にその束の"フロベニウスねじり"と"改造"を結びつける付加構造を付与したものである。**F 層**、**シュトゥカ**ともいう。

ドリンフェルト加群はウラジーミル・ドリンフェルトによって考え出され、代数関数体の GL2 ついてのラングランズ予想をある特別な場合に証明するために使われた。関数体の場合、志村多様体のようなものは存在しなかったので、このようなことが可能であろうとは誰も想像していなかった。彼は後にシトゥーカを創案し、階数が2のシトゥーカを使って GL2 についてのラングランズ予想を完全に証明した。ローラン・ラフォルグは、階数 *n* のシトゥーカのを調べることにより、関数体の GL*n* についてのラングランズ予想を証明した。

シトゥーカは、「1つのコピー」を意味するロシア語の штука をカナ転写したものである。このロシア語は、「一切れ、もの、ひとかたまり」を意味するドイツ語の Stück に由来している。シトゥーカは、話者にとってよく知っているけど名前のないもの（あれ）を指すロシア語のスラングでもある。

## ドリンフェルト加群

### 加法的多項式の環

L を標数 p>0 の体とする。環 L\{\tau\} を、L 上の非可換（捻じれた、ともいう） a_0+a_1\tau+a_2\tau^2+\cdots の環として定義する。この環の乗法は

:\tau a = a^p\tau,\quad a\in L 

で定義する。\tau は一種のフロベニウス元と思える。実際、\tau を L にフロベニウス自己準同型として作用させ、L の要素を乗法で L に作用させることで、L は L\{\tau\} 上の左加群になる。環 L\{\tau\} は L[x] の（絶対）加法的多項式

: a_0x+a_1x^p+a_2x^{p^2}+\cdots = a_0\tau^0+a_1\tau+a_2\tau^2+\cdots \, 

全体からなる環と考えることもできる。多項式 f は f(x+y) = f(x)+f(y) が（L[x,y] の要素として）成り立つとき**[[加法的多項式|加法的]]**という。加法的多項式の環は、多項式 \tau = x^p で L 上生成される。加法的多項式の環における乗法は、可換多項式の乗法によってではなく多項式の合成によって定義する。これは非可換である。

### ドリンフェルト加群の定義

*F* を有限体を定数体とする代数関数体とし、*F* の素点 \infty を1つ固定する。*F* の元で \infty を除く全ての素点で正則なもの全体からなる環を *A* と置く。*A* はデデキント環で、*F* の中で（\infty から誘導される位相で）離散である。例えば、多項式環 F_q[t] が *A* の例である。*L* を体、\iota:A\to L を環準同型とする。

: *L* 上の**ドリンフェルト ''A'' 加群**とは、環準同型 \phi:A\to L\{\tau\} であって、像が *L* には含まれず、\phi と d:L\{\tau\}\to L,\,a_0+a_1\tau+\cdots\mapsto a_0 の合成が \iota:A\to L と一致するもののことをいう。

*A* の像が *L* に入らないという条件は自明な場合を除くための非退化条件であり、条件  d\circ \phi=\iota はドリンフェルト加群とは単に写像 \iota  の変形であるという意味の条件である。

*L*{τ} は *L* の加法群の自己準同型からなると考えられるので、ドリンフェルト *A* 加群とは加法群 *L* への *A* の作用とみなすことができる。言い換えると、ドリンフェルト *A* 加群とは、*A* 加群であって加法群としては加法群 *L* であるもののことである。

### ドリンフェルト加群の例

* *A* として位数 *p* の有限体上の通常の多項式の（可換！）環 **F***p*[*T*] を取る。言い換えると、*A* は種数 0 のアフィン曲線の座標環である。このとき、ドリンフェルト加群 ψ は *T* の像 ψ(*T*) で決まり、これとしては *L*{τ} の任意の非定数元が取れる。したがってドリンフェルト加群全体は *L*{τ} の非定数元全体と同一視できる。種数が大きくなるとドリンフェルト加群の記述はもっと複雑になる。

* *A* として、先ほどと同様 **F***p*[*T*] を取る。さらに、*L* としては適当な *A* を含む完備な代数的閉体を取る。このとき、ψ として ψ(*T*) = *T*+τ をとったドリンフェルト加群 ψ のことを**カーリッツ加群**という。これは、ドリンフェルト加群の一般的な定義ができる何十年も前、1935年にによって定義された。カーリッツ加群の詳細についてはゴスの本の第3章参照。「」も参照。

## シトゥーカ

*X* を有限体 **F***p* 上の曲線とする。スキーム（もしくはスタック）*U* 上の階数 *r* の（右）**シトゥーカ**とは、次のデータ

* *U*&times;*X* 上の階数 *r* の局所自由層 *E*, *E&prime; *と単射
: *E* → *E&prime;* ← (Fr&times;1)**E*

で、余核はある *U* から *X* への射（シトゥーカの零と極という。普通 0 と ∞ と書く）のグラフに台を持ち、台の上で階数 1 で局所自由になっているもののことをいう。ここで、(Fr&times;1)**E* は *U* のフロベニウス自己準同型による *E* の引き戻しである。

**左シトゥーカ**も、射の向きを逆にしたものとして同じように定義される。シトゥーカの極と零が交わっていなければ、左シトゥーカと右シトゥーカ本質的に同じものである。

*U* を動かすことにより、階数 *r* のシトゥーカ全体の代数的スタック *Shtuka<sup>r</sup>* と、*Shtuka<sup>r</sup>*&times;*X* 上の"普遍"シトゥーカと、*Shtuka<sup>r</sup>* から *X*&times;*X* への滑らかで相対次元 2*r*&nbsp;&minus;&nbsp;2 の射 (∞,0) が得られる。スタック *Shtuka<sup>r</sup>* は *r*&nbsp;>&nbsp;1 のときは有限型ではない。

定義からはすぐには分からないが、ドリンフェルト加群からシトゥーカを作る方法があるので、ドリンフェルト加群はある意味で特殊なシトゥーカになっている。このことはドリンフェルトによる の論文で示された。

## 応用

関数体に対するラングランズ予想とは、（かなり単純化して言うと）*GL**n* の尖点的保型表現全体とある種のガロア表現全体の間に全単射があるであろうという予想である。ドリンフェルトはドリンフェルト加群を使って特殊な場合にラングランズ予想を証明し、その後にドリンフェルト加群をシトゥーカに一般化することで *GL**2* の場合のラングランズ予想を完全に証明した。この予想を証明するにあたって難しいのはある性質を持つガロア表現を構築することであるが、ドリンフェルトは必要なガロア表現を階数2のシトゥーカのモジュライ空間の *l* 進コホモロジーの中に見つけることで構築した。

ドリンフェルトは階数 *r* のシトゥーカのモジュライ空間を使って *GL**r* のラングランズ予想も同じように証明できるだろうと示唆した。これを実行するには膨大な量の技術的課題を克服せねばならない。何年もの努力のあとに、これはラフォルグによってなされた。

## 関連項目
* 
* 

## 脚注

## 参考文献
* 

### 日本語の文献

* 
* 

### ドリンフェルト加群

* . English translation in *Math. USSR Sbornik* **23** (1974) 561-592.
* 
* .
* 
* 
* .

### シトゥーカ

*Drinfeld, V. G. *Cohomology of compactified moduli varieties of F-sheaves of rank 2.* (Russian) Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI (St. Petersburg Department of Steklov Mathematical Institute of the Russian Academy of Sciences)) 162 (1987), Avtomorfn. Funkts. i Teor. Chisel. III, 107-158, 189; translation in J. Soviet Math. 46 (1989), no. 2, 1789-1821
* . English translation: Functional Anal. Appl. 21 (1987), no. 2, 107-122.
* 
*