[論文レビュー] Holonomic D-modules and positive characteristic

Maxim Kontsevich|arXiv (Cornell University)|Oct 14, 2010

Algebraic Geometry and Number Theory参考文献 9被引用数 6

ひとこと要約

本稿は、正標数における特徴的D加群とシンプレクティック代数幾何におけるラグランジュ的サイクルの間の予想的対応を、正標数への還元をブリッジとして用いることで提案する。代数的トーラスの双有理シンプレクティズム群に、量子フロベニウス自己準同型を定義し、量子自己準同型が根の単位根におけるアズマヤ代数の中心上で同一の変換を引き起こすことを示す。これにより、乗法的（三角関数的）設定における量子群と算術幾何の間に深い関係が明らかになる。

ABSTRACT

This article is based on the 5th Takagi Lectures delivered at the University of Tokyo in 2008. We discuss a hypothetical correspondence between holonomic D-modules on an algebraic variety X defined over a field of zero characteristic, and certain families of Lagrangian subvarieties in the cotangent bundle to X. The correspondence is based on the reduction to positive characteristic.

研究の動機と目的

• 正標数における特徴的D加群と代数的シンプレクティック幾何におけるラグランジュ的サイクルの間の予想的対応を確立すること。これは正標数における量子化にインspiredされる。
• 古典的量子化辞書を代数的および正標数の設定に一般化すること。特にD加群と量子トーラスに対して。
• 代数的トーラスの双有理シンプレクティズム群に、量子フロベニウス自己準同型を定義し、根の単位根における還元を用いること。
• Sp(2n,Z)、乗法的平行移動、および非自明な自己準同型Tによって生成される群が、標準的ラグランジュ的部分多様体を実現する役割を調べること。
• Fock-Goncharov理論を介して、楕円的代数へのフレームワークの拡張と、クラスター構造およびマッピングクラス群との関係を明らかにすること。

提案手法

• 正標数への還元と正標数技術を用いて、代数幾何における量子化にインspiredされた特徴的D加群を研究する。
• 量子トーラス代数を、歪対称行列ωとパラメータqによって制御される関係を持つ、代数的トーラスの非可換変形として定義する。
• 特にn=1の場合の巡回加群と、分数体の斜体の自己準同型に対する双加群を含む、量子トーラス上の特徴的加群を構成する。
• q = q_N（N乗単位根）における量子トーラス代数の還元を通じて、中心がk[(x_i^N)^±1]に同型であるアズマヤ代数を取得する。
• q = q_Nにおける還元によって、量子トーラス代数の中心上に誘導される作用として量子フロベニウス写像Fr_Nを定義し、自己準同型Tに対してx_i^N ↦ x_i^N(1 - x_{n+1}^N)と作用することを示す。
• Sp(2n,Z)およびTにおける量子フロベニウスの不変性と、乗法的平行移動への非自明な作用を用いて、群Γ_nに属する要素のグラフとして標準的ラグランジュ的部分多様体を同定する。

実験結果

リサーチクエスチョン

• RQ1 古典的対応（ラグランジュ的部分多様体と量子状態）を、正標数における代数的D加群にどのように拡張できるか？
• RQ2 pを法としての還元は、特徴的D加群とシンプレクティック代数幾何におけるラグランジュ的サイクルを結ぶ上で果たす役割は何か？
• RQ3 代数的トーラスの双有理シンプレクティズム群に、量子フロベニウス自己準同型を定義できるか？また、それは量子トーラス代数の中心上でどのように作用するか？
• RQ4 なぜ量子フロベニウス写像Fr_Nは自己準同型TとSp(2n,Z)に対して同一に作用するが、乗法的平行移動に対しては非自明に作用するのか？
• RQ5 Sp(2n,Z)、T、および乗法的平行移動によって生成される群Γ_nの要素のグラフは、乗法的設定における標準的ラグランジュ的部分多様体とどのように関係するか？

主な発見

• 量子フロベニウス写像Fr_Nは、乗法的平行移動に対して各λ_iをN乗することで作用し、Fr_N(M_{(λ_i)}) = M_{(λ_i^N)}が成り立つ。
• 非自明な自己準同型T: x_1 ↦ x_1(1 - x_{n+1})に対して、q = q_Nにおける中心への誘導作用はx_1^N ↦ x_1^N(1 - x_{n+1}^N)となり、同じ関数的形を保つ。
• Sp(2n,Z)、乗法的平行移動、およびTによって生成される群Γ_nは、Fock-Goncharovのクラスター理論に従い、大きなnに対して算術群およびマッピングクラス群を含む。
• q = q_Nにおける量子トーラス代数の中心はk[(x_i^N)^±1]に同型であり、この中心上でのアズマヤ代数として、M_{N^n}(k)のねじれ形と同型である。
• q → 1の半古典的極限では、古典的双有理シンプレクティズム群が回復され、古典的量子化辞書と整合することが確認される。
• Γ_nの要素のグラフは、加法的設定における孤立点の乗法的アナロジーとして同定され、三角関数的設定における最も標準的なラグランジュ的部分多様体を表していると考えられる。