[論文レビュー] Commutative Rings of Differential Operators Corresponding to Multidimensional Algebraic Varieties

Andrey E. Mironov|ArXiv.org|Nov 4, 2002

Advanced Topics in Algebra参考文献 4被引用数 6

ひとこと要約

本稿は、主に極化されたアーベル多様体内のk個の平行移動されたシータ除集合の交わりとして得られるスペクトル多様体$Y^k$の点によってパrameter化される固有関数および固有値をもつ、多変数行列微分作用素の可換環を構成する。ベクトルシータ関数およびフーリエ–ミューカイ変換を用いて、$Q^k$に極を持つ$Y^k$上のメルモーフィック関数の埋め込みを、$g-k$変数における$(N \times N)$行列微分作用素の可換環へ行い、$N = r d_g$で、$d_g$はシータ除集合の$g$重自己交わり指数である。主な結果は、これらの作用素に対して、Kadomtsev–Petviashvili階層の多次元アナロジーが成立することである。

ABSTRACT

We construct new examples of multidimensional commuting matrix differential operators and a multidimensional analog of the Kadomtsev--Petviashvili hierarchy.

研究の動機と目的

• $g-k$変数における$N \times N$行列微分作用素の可換環を構成し、その固有関数および固有値がスペクトル多様体$Y^k$の点によってパrameter化されること。
• ベクトルシータ関数およびフーリエ–ミューカイ変換を用いて、$Q^k$に極を持つ$Y^k$上のメルモーフィック関数と行列微分作用素との間に幾何的対応を確立すること。
• 1次元のKrichever構成を、有限ギャップ性を持つ高次元行列微分作用素へ一般化し、スペクトルデータを多次元可積分階層に埋め込むこと。
• これらの作用素に対して、時間に依存する係数をもつKadomtsev–Petviashvili階層の多次元アナロジーが存在することを証明すること。

提案手法

• 主に極化されたアーベル多様体$X^g$上にランク$r$の正則ベクトルバンドルのセクションを定義するために、ベクトルシータ関数を用いる。
• ベクトルシータ関数を用いて表現される、微分作用素環上のバーグマン–アキエツェルモジュラスを、フーリエ–ミューカイ変換を用いて構成する。
• リーマン–ローチ–ヒルツブルーチュールの定理を用いて、自己交わり指数$d_g$が$g!$の倍数であることを示し、したがって$N = r d_g$が$g!$の整数倍であることを示す。
• メルモーフィック関数を$Y^k$上に、$Q^k$に極を持つものとして、$\mathcal{A}_k$から$\mathrm{Mat}(N, g-k)$への埋め込み$L_k$を構成する。この埋め込みにより、固有関数が$Y^k$によってパrameter化される行列微分作用素の可換環が得られる。
• 時間変数$t_{j,m}$を導入し、シータ関数の対数微分の指数関数を用いて関数を変換することで、時間に依存する作用素の発展方程式を導出する。
• セクションの空間における解析的依存性と次元数え上げを用いて、モジュラ$\mathcal{D}_{g-k}\Phi_c^{j+1}$がランク$N$の自由モジュラであり、$M_c^{j+1}$と一致することを証明し、埋め込みを確立する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、$g-k$変数における$N \times N$行列微分作用素の可換環を構成し、そのスペクトルデータが多次元代数的多様体$Y^k$に対応するか？
• RQ2 スペクトル多様体$Y^k = Y_{a_1} \cap \cdots \cap Y_{a_k}$の幾何学的・代数的構造は何か？ また、アーベル多様体のシータ除集合とどのように関係するか？
• RQ3 通常の微分作用素に対するKrichever構成を、有限ギャップ性を持つ高次元行列微分作用素へ一般化できるか？
• RQ4 ベクトルシータ関数およびフーリエ–ミューカイ変換は、多次元可積分系におけるスペクトル対応を実現するために果たす役割は何か？
• RQ5 このような作用素に対して、Kadomtsev–Petviashvili階層の多次元アナロジーをどのように導出できるか？

主な発見

• $d_g$をシータ除集合の$g$重自己交わり指数とするとき、$N = r d_g$は$g!$の倍数であり、行列サイズが整数であることが保証される。
• $Q^k$に極を持つ$Y^k$上のメルモーフィック関数から、$g-k$変数における行列微分作用素の可換環への埋め込み$L_k: \mathcal{A}_k \to \mathrm{Mat}(N, g-k)$が存在する。
• $L_k$の像はランク$r$の作用素からなるため、$Y^k$の各点が$r$個の線形独立な固有関数に対応することを意味する。
• $\dim Y^k = 2$のとき、スペクトル曲面のコダイラ次元は2であり、一般型の曲面であることを示唆する。
• 作用素$L_k(\lambda)$は発展方程式$\partial_t L_k(\lambda) = [L_k(\lambda), T_j]$を満たし、KP階層の多次元アナロジーを形成する。
• 時間に依存する実現が可能であり、$\Psi = (\psi_{1,c}, \dots, \psi_{N,c})^\top$が$L_{j,m} \Psi = \partial_{t_{j,m}} \Psi$を満たし、$[\partial_{t_{j,m}} - L_{j,m}, \partial_{t_{i,n}} - L_{i,n}] = 0$を満たす。これは可積分性を確認する。