Theta functions for singular curves

技術的概要：特異曲線に対する Theta 関数

問題提起
本論文は、滑らかなコンパクトリーマン面から、既約な特異代数曲線へと、古典的 Theta 関数およびそれに関連する幾何学的構成を一般化する問題を取り扱っている。滑らかな場合、ヤコビアン $J(X)$ 上の Theta 関数は、特定の次数の線形束に対する「普遍截面」を提供する。アベル写像 $A: X \hookrightarrow J(X)$ を通じて、Theta 関数を平行移動させることで、その次数のすべての線形束の截面が得られ、実質的に曲線の関数論が再構成される。この枠組みは、特にスペクトル曲線を通じて KP 型方程式に関連するフローを解く際、可積分系において極めて重要である。

しかし、スペクトル曲線 $X$ が特異（例えば、ノードまたはカスプを持つ）である場合、標準的なヤコビアンでは不十分である。関連する対象は、非特異化 $\tilde{X}$ のヤコビアン $J(\tilde{X})$ 上にファイバー束となる「一般化ヤコビアン」$J(X)$ である。一般化ヤコビアンおよびそのアベル写像（$\tilde{X}$ 上で定義される）は確立されているが、特異曲線 $X$ 上の線形束に対する普遍截面として機能する対応する Theta 関数は、一般的な場合について完全には構成されていない。先行研究は特定のケース（例えば、単純なノードまたはカスプ）を扱ってきたが、任意の特異性に対する統一的な構成は欠けていた。

手法
著者らは、一般化ヤコビアン $J(X)$ のコンパクト化上で Theta 関数を構成する。手法は以下の手順で進められる。

1. 一般化ヤコビアンの構造: 論文は、特異点の原像における線形束の「崩壊」を表す $Q_S(X)$ を含む厳密列 $0 \to Q_S(X) \to J(X) \to J(\tilde{X}) \to 0$ を解析する。$Q_S(X)$ は、特異点における線形束の局所自明化に対応する $\mathbb{C}$ と $\mathbb{C}^*$ のコピーの反復拡張である。
2. 微分形式と周期: 著者らは、$Q_S(X)$ のリー代数の双対を張る、非特異化 $\tilde{X}$ 上の有理微分形式の基底を定義する。これらには以下が含まれる：
   • ノードの原像における単純極（留数 $\pm 1$）を持つ形式。
   • カスプの原像における高次極および留数ゼロを持つ形式。
   • $J(\tilde{X})$ からの正則微分形式。
     これらの形式は、$A$ 周期がゼロになるように正規化され、特定の $B$ 周期は $\tilde{X}$ の標準的な周期行列を拡張する周期行列を形成する。
3. コンパクト化: アベル写像において無限大に写る特異点において有限値をとる Theta 関数を定義するために、著者らは $Q_S(X)$ に対応する $J(X)$ のファイバーをコンパクト化する。$\mathbb{C}^*$ の因子は $\mathbb{P}^1$ へコンパクト化され（$0$と$\infty$を追加）、$\mathbb{C}$の因子も$\mathbb{P}^1$へコンパクト化される（$\infty$ を追加）。Theta 関数は、この射影空間の積上の線形束 $\mathcal{O}(1, \dots, 1)$ の截面として構成される。
4. Theta 関数の構成: Theta 関数は、$\tilde{X}$ に関連する標準的な Theta 関数 $\tilde{\theta}$ を用いて構築される。
   • 有理非特異化（$\tilde{X} = \mathbb{P}^1$）の場合、関数は（$\mathbb{C}^*$ 因子に対する）積分の指数を含む項の積と、（$\mathbb{C}$ 因子に対する）線形項の積として明示的に構成される。
   • 種数が高い非特異化の場合、構成は $\tilde{\theta}$ に作用する微分演算子を含む。具体的には、カスプ型特異性に対して、著者らは特異形式の $B$ 周期に基づいて演算子 $D_{i,h}$ を定義し、特異ファイバーの座標を掛けた $\tilde{\theta}$ の微分の項の和として $\theta$ を構成する。
   • 任意の特異性の場合、関数は指数項、特異座標における多項式項、および滑らかな Theta 関数のシフトされた引数を組み合わせた、インデックスの部分集合に対する和として定義される。

主要な貢献と結果

• 一般化 Theta 関数: 論文は、任意の既約特異曲線に対する $J(X)$ のコンパクト化上の Theta 関数の明示的な構成を提供する。この関数は、古典的な場合と類似の準周期性関係を満たし、その自己同型因子は一般化ヤコビアンの周期行列によって決定される。
• 普遍截面の性質: 一般化ヤコビアンの要素によって Theta 関数を平行移動させることで、著者らは特異曲線 $X$ 上の特定の次数の線形束の截面を得る。これらの平行移動を非特異化 $\tilde{X}$ へ引き戻すことで、特異曲線上の線形束を定義するために必要な特定の部分層が生成される。
• アベル写像の逆写像: 著者らは一般化されたリーマンの定理を確立する。平行移動された Theta 関数 $\theta_{a,b,\lambda}$ の零点のアベル写像像の和は、一般化されたリーマン定数まで、平行移動パラメータ $(a, b, \lambda)$ と線形に関連することを証明する。具体的には、非特異化 $\tilde{X}$ を持つ曲線に対して、零点 $q_\rho$ は以下を満たす：
  $$\sum_{\rho} \Pi(q_\rho) = \text{Linear Shift}(a, b, \lambda) + \kappa$$
  ここで、線形シフトは $\mathbb{C}^*$ 成分に対して対数項を、$\mathbb{C}$ 成分に対して線形項を含む。
• 特異性に対する明示的公式: 論文は、ノード曲線、カスプ曲線、および高次特異性を持つ曲線に対する Theta 関数の具体的な形式と、それによって生じる逆写像公式の詳細を述べている。滑らかな部分では平行移動パラメータと因子の零点との対応が線形であるのに対し、特異部分では対数や有理関数といった非線形項が関与しており、Theta 関数における特異点の混合を反映していることが強調されている。

意義と主張
著者らは、この仕事が曲線の関数論に関するリーマンの古典的結果を特異な設定へ拡張するものであると主張している。構成された Theta 関数は、滑らかな場合における Theta 関数の役割を反映し、特異曲線上の線形束に対する「普遍截面」として機能する。これは、ソリトン極限など、特異多様体へ退化するスペクトル曲線を扱う幾何学的枠組みを提供する点で、可積分系の理論において重要である。

論文はコンパクト化に関する幾何学的な主張において控えめである。著者らは、使用された特定のコンパクト化は「初等的」であり、「それが多くの幾何学的意味を持つかどうかは確信が持てない」と指摘しているが、それは所望の Theta 関数と普遍截面を得るには十分である。さらに、構成によりアベル写像の逆写像が可能であるが、平行移動パラメータと結果としての線形束との関係は、滑らかな場合のような単純な線形恒等写像ではなく、特異点間の複雑な非線形相互作用を伴うものであり、それを単純な方法で線形化する方法は発見されていないと著者らは観察している。この仕事は、基礎となるスペクトル曲線が特異であっても Theta 関数を用いて方程式を解くために必要な道具を提供する、構成論的な一般化として提示されている。