[論文レビュー] Affine Jacobians of Spectral Curves and Integrable Models

F. Smirnov, V. Zeitlin|ArXiv.org|Mar 19, 2002

Algebraic Geometry and Number Theory参考文献 4被引用数 14

ひとこと要約

本稿は、分離変数と行列空間を用いて、任意の次数 $N$ のスペクトル曲線に対するアフィンヤコビアンの明示的代数的モデルを構築する。可積分系におけるオブザーバブル環の記述に用いられる。ヤコビアンのオイラー標跡を計算し、双曲的の場合（$N=2$）とは異なり、$N>2$ ではオブザーバブルを生成するために高次極が必要であることを示し、$N>2$ の場合に共ホモロジー構造が著しく複雑であることを示している。結果として、共ホモロジー構造が $2^g$ よりも速やかに成長することが判明し、先行研究における単一極の予想を否定する。

ABSTRACT

We explicitly construct the algebraic model of affine Jacobian of a generic algebraic curve of high genus and use it to compute the Euler characteristic of the Jacobian and investigate its structure.

研究の動機と目的

• 双曲的曲線（$N=2$）における分離変数およびアフィンヤコビアンモデルの明示的構成を、任意の次数 $N$ の一般のスペクトル曲線へ拡張すること。
• ヤコビアン上のオブザーバブル環 $\mathcal{A}$ の代数的モデルを、ポisson構造および可積分系と整合する形で提供すること。
• ヤコビアンのオイラー標跡を計算し、特に $N>2$ の場合の共ホモロジー構造を分析すること。
• 双曲的の場合とは異なり、$N>2$ では最高の非自明な共ホモロジー群だけでは $\mathcal{A}$ を生成できないことを示すこと。
• 行列空間からヤコビアン上の点への構成的逆写像を確立し、行列空間とアフィンヤコビアンとの同型を証明すること。

提案手法

• 適切な軌道を特定し、それに基づいてヤコビアンと同型な行列空間を構成し、その上にポアソン構造を定義する。
• 微分形式 $\omega_{ik}$ と双対ベクトル場 $D_{ik}$ を用いて分離変数を定義し、$\theta$-除法に極を持つメラモーフィック関数の環 $\mathcal{A}$ に作用させる。
• アーベル写像と正規化されたアーベル微分 $\omega_I$ を用い、曲線のホモロジー基底とヤコビアンの複素トーラス構造を関連付ける。
• 次数でグレーディングされた微分形式の複体 $C^k$ を、微分 $d = \sum_{ik} d\tau_{ik} D_{ik}$ を用いて構成し、等変特徴指標の公式を用いてオイラー標跡を計算する。
• $D_{ik}$ で生成される環 $\mathcal{D}$ のグレーディングされた特徴指標を計算し、$\mathop{\symoperators ch}\mathcal{D} = \prod_{k=1}^{N-1}\prod_{i=1}^{nk-1} \frac{1}{1-q^{Ni-k}}$ の式を得る。
• 公式 $\chi_{q}(C_0^{*}) = (-1)^g q^{-\sum \deg D_{ik}} \frac{\mathop{\symoperators ch}\mathcal{A}_0}{\mathop{\symoperators ch}\mathcal{D}}$ を用いてオイラー標跡 $\chi(C_0^*)$ を導出し、$q \to 1$ の極限を取ることで有限な表現を得る。

実験結果

リサーチクエスチョン

• RQ1 任意の次数 $N$ のスペクトル曲線に対して、双曲的の場合を一般化して、アフィンヤコビアンの明示的代数的モデルを構築できるか？
• RQ2 $N>2$ の場合に、ヤコビアン上のオブザーバブル環 $\mathcal{A}$ は、分離変数および行列モデルによって記述可能か？
• RQ3 $N>2$ の場合のヤコビアンの共ホモロジー構造は、$N=2$ 時代の単一極の予想と整合するか？
• RQ4 ヤコビアンのオイラー標跡の漸近的成長率は $n$ および $N$ の関数としてどのように振る舞い、$2^g$ と比較してどうなるか？
• RQ5 行列空間からヤコビアンへの構成的逆写像を確立でき、行列空間とアフィンヤコビアンとの同型を証明できるか？

主な発見

• オイラー標跡は、$\chi(C_0^*) = (-1)^g (Nn-1)^{N-1} N^{Nn-1} \prod_{k=1}^{N} \frac{(k-1)!}{(Nn+k-2)!} \times \prod_{k=1}^{N-1} \left(k \prod_{i=1}^{nk-1} (Ni-k)^2 \right) (Nn-1)!$ として、$q \to 1$ の極限において有限で明示的な表現として得られた。
• $\chi_{n+1}/\chi_n$ の比は、漸近的に $e^{2\sum_{k=1}^{N-1} k\log k + N\log N}$ のように成長し、$2^g$ よりも速い成長を示し、$N=2$ 時代とは整合しない。
• $N>2$ の場合、最高の非自明な共ホモロジー群だけではオブザーバブル環 $\mathcal{A}$ を生成できないが、双曲的の場合とは異なり、これは $\mathcal{A}$ の生成に高次極が必要であることを示している。
• 行列からヤコビアンへの逆写像の構成が成功し、行列空間とアフィンヤコビアンとの同型が確認された。
• $D_{ik}$ のベクトル場の環 $\mathcal{D}$ のグレーディングされた特徴指標は $\mathop{\symoperators ch}\mathcal{D} = \prod_{k=1}^{N-1} \prod_{i=1}^{nk-1} \frac{1}{1-q^{Ni-k}}$ であり、オイラー標跡の計算に不可欠である。
• この結果は、先行研究[1]における単一極の予想を否定し、$N>2$ の場合に $\mathcal{A}$ を生成するには高次極が必要であることを示している。