The Painlevé I hierarchy: Correspondence between the isomonodromic approach and the minimal models of the KP hierarchy

技術要約：Painlevé I（PI）階層における等モンオドロミック的アプローチと最小モデルのKP階層間の対応関係

問題設定
Painlevé I (PI) 階層は、閉弦場理論、ランダム行列理論における臨界エッジ遷移、および分散レス波方程式の可積分な正則化など、多様な文脈で現れる非線形常微分方程式の列である。歴史的に、この階層は二つの異なる形式化を通じて研究されてきた：

1. 等モンオドロミック的アプローチ（Isomonodromic Approach）： $\mathbb{P}^1$ 上の、無限遠点に分岐した極を持つ、ねじれたランク2の有理接続の幾何学的構成に基づく。このアプローチは、等モンオドロミックな変形におけるシンプレクティック構造と、オペレーター・ゲージにおける見かけ上の特異点から導かれるダルブー座標を利用する。
2. 最小モデル（弦の方程式）アプローチ（Minimal Model Approach）： $(2, 2g+1)$ 最小モデルによるKP（具体的にはKdV）階層の簡約に基づく。このアプローチは、弦の方程式、レナード再帰演算子、およびマムフォード・システムに関連するスペクトル・ダルブー座標に依存している。

両アプローチともPI階層に対してハミルトン構造を与えるが、それぞれの時刻（times）、ラックス行列、スペクトル不変量、およびハミルトニアンの間の明示的な対応関係は、完全には確立されていなかった。主要な問いは、これら二つの異なる視点が同じ階層を記述しているのか、そしてもしそうであれば、それらの形式化をどのように明示的に同一視できるのか、という点であった。

手法
著者らは、以下のステップを実行することにより、二つの形式化間の厳密な辞書を構築している：

1. 幾何学的セットアップ（等モンオドロミック側）： 無限遠点に次数 $r_\infty \ge 3$ の極を持つ、ねじれた有理接続からのPI階層の構成を検討する。著者らは、偶数の不規則な時刻をゼロに設定し、アフィンおよびスカラーの冗長性を除去するために特定の奇数の時刻を固定するという、標準的な正規化（仮定1）を固定する。これにより、変形空間は次元 $2g$（ここで $g = r_\infty - 3$）のシンプレクティック多様体に減少する。著者らは、ラックス行列の非対角成分の根と、その根における対角成分によって定義される「オペレーター・ダルブー座標」$(q, p)$ を利用する。また、ラックス行列とハミルトニアンの多項式表現を保証するために、基本対称多項式を用いた「対称ダルブー座標」$(Q, P)$ を導入する。

2. 最小モデルのセットアップ（弦の方程式側）： KdV階層のフローと弦の方程式の制約条件との両立性によって定義される、$(2, 2g+1)$ 最小モデルの構成を検討する。この階層は、レナード再帰によって生成される微分多項式 $R_{2k-1}[u]$ によって特徴付けられる。著者らは、補助行列 $A^{(g)}(\lambda)$ の非対角成分の根と、その対角成分に基づくスペクトル・ダルブー座標 $(\lambda, \mu)$ を定義する。

3. 明示的な同一視： 著者らは、両方のシステムのパラメータと変数を一致させることで、コアとなる手法を行う：

   • 時刻（Times）： 等モンオドロミック的アプローチの不規則な時刻 $t_{\infty, 2k-1}$ は、線形スケーリング関係 $t_{\infty, 2k-1} = (2k-1)s_{2k-1}$ を通じて、KdVの時刻 $s_{2k-1}$ と同一視される。
   • 座標（Coordinates）： オペレーター・ダルブー座標 $(q, p)$ は、スペクトル・ダルブー座標 $(\lambda, \mu)$ と直接的に同一視される。
   • ラックス行列（Lax Matrices）： 幾何学的なラックス行列 $\hat{L}(\lambda)$ は、確立された座標写像の下で、最小モデル側の補助行列 $A^{(g)}(\lambda)$ と同一であることが示される。
   • ハミルトニアン（Hamiltonians）： 著者らは、二つのアプローチのハミルトニアン間の関係を導出する。彼らは、最小モデル側のハミルトニアン $K_{2k-1}$ が、スペクトル不変量と、時刻および弦の方程式の特定の正規化に依存する項によって補正された、等モンオドロミック側のハミルトニアン $H_{\infty, k}$ の特定の線形結合に対応することを証明する。

主な貢献と結果

• 明示的な対応定理： 本論文は、等モンオドロミック的アプローチの変数、行列、およびハミルトニアンを、最小モデル的アプローチへと写像する完全な定理のセット（定理5.1–5.6）を提供する。
  • 定理 5.1： 時刻の同一視 $t = Ds$ （ここで $D$ は奇数の対角行列）を確立する。
  • 定理 5.2： 関数 $u$ のジェットから正規化された行列 $A^{(g)}$ への写像が、可逆な多項式パラメータ化であり、局所座標 $q_j = \lambda_j$ および $p_j = \mu_j$ を同一視することを証明する。
  • 定理 5.5： ハミルトニアンの発展が、同一視された時刻と座標の下で同一であることを示す。具体的には、$(2k-1)\text{Ham}^{(e_{2k-1})} = K_{2k-1}$ である。
• 最小モデル側における対称座標： 等モンオドロミックの文脈で以前に使用されていた対称ダルブー座標 $(Q, P)$ を、最小モデル側へと拡張したことは重要な成果である。著者らは、弦の方程式における関数 $u$ が $u = -2Q_1$ と関連していることを示す。これにより、最小モデルの枠組みにおけるラックス行列やハミルトニアンを、ダルブー座標の多項式として表現することが可能になる。これは、既存の文献において欠落していた特徴である。
• 補正項（Correction Terms）： 著者らは、ハミルトニアンを整合させるために必要な「補正項」を明示的に特定している。彼らは、スペクトル・ハミルトニアン $H_k$ （固有値展開の係数）が、スペクトル不変量と、位相に依存する補正項 $T$ （これは対称座標の多項式である）を含む項によって、物理的ハミルトニアン $K_{2k-1}$ と異なることを示している。
• ポアソン構造： 本研究は、マムフォード・システム（最小モデルの側で使用される）に関連するポアソン括弧が、等モンオドロミック的アプローチのオペレーター・ゲージへと輸送され、標準的なシンプレクティック形式 $\sum dq_j \wedge dp_j = \sum d\lambda_j \wedge d\mu_j$ を保持することを確認している。

意義
本論文は、等モンオドロミック的アプローチと最小モデル的アプローチが同じPI階層を記述しているという問いに対し、決定的な肯定的な回答を提供すると主張している。明示的な辞書を構築することにより、著者らは以下を実現している：

1. 公式の検証： 両方のアプローチで提案された公式の妥当性に対する非自明なチェックを提供する。
2. 視点の架け橋： 一方の形式では理解しやすいが、他方では困難な量（例えば、対称座標を用いたラックス行列やハミルトニアンの明示的な多項式表現の導出）の翻訳を可能にする。この同一視により、既存の文献の空白を埋めることが可能となる。
3. 正規化の明確化： 異なるハミルトニアン形式を比較する際に生じる、正規化定数や補正項（$C^{-1}A$ や $C^{-1}T$ 項など）の役割を明確にし、基礎となるハミルトンベクトル場が正しく識別されることを保証する。

著者らは、本研究はランク2のケースおよびPI階層に焦点を当てたものであるが、その手法は、より高ランクの接続や他の $(p, q)$ 最小モデルへと結果を一般化するための道筋を示唆しているとし、これらの一般化については今後の課題として残されていると述べている。