Eigenvectors of $p$-Curvature for Geometric Difference Equations

技術要約：幾何学的差分方程式における $p$-曲率作用素の固有ベクトル

問題設定
本論文は、標数 $p > 2$ の体 $K$ 上の qKZ (量子 Knizhnik–Zamolodchikov) 型の離散的な平坦接続に関連する $p$-曲率作用素の対角化問題を扱う。$\mathbb{C}$ 上の標準的な設定では、離散的な接続の平坦な切断（flat sections）はしばしば積分表示（ガウス・マニンの接続）を通じて構成され、ステップサイズ $a=0$ の場合に生じる交換する転送行列は、古典的なベテ・アンザッツを用いて対角化される。この古典的な枠組みにおいて、固有ベクトルは重み関数をベテ・アンザッツ方程式の解において評価することによって単純に得られる。

しかし、接続が有限標数 $p$ に還元される場合、接続行列 $K_m(x, a)$ は $\tilde{K}_m(x, a)$ と表記される $p$-曲率作用素と呼ばれる、新しい一族の交換する自己同型を生成する。これらの作用素は、$p$ 個連続するステップにわたる輸送として定義される。中心となる問題は、$p$-曲率作用素の固有ベクトルと固有値を構成することである。著者らは、古典的なベテ・アンザッツの手法（ある点における重み関数の評価）では、この文脈においては不十分であることを指摘しており、有限標数の設定を尊重する新しい構成が必要であるとしている。

手法
著者らは、離散的な平坦接続の積分表示の理論に基づいた、「有限標数のためのベテ・アンザッツ法の有限標数版アナログ」を開発している。その手法は以下のステップで進行する：

1. 離散的平坦接続と $p$-曲率： 著者らは、格子 $\mathbb{Z}^n$ 上の自明な束上の $p$-不変な離散的平坦接続を定義する。彼らは $C_l(k)$ を、$l$ 番目の方向への $p$ ステップの輸送として定義する。これらの関数は自己同型であり、互いに交換することが示されている。
2. 積分表示： 本論文は、スカラー変換関数 $(\phi_l, \psi_m)$ とベクトル値の重み関数 $w$ を持つ、ランク1の補助的な離散的平坦接続を伴う、このような接続の積分表示の概念を導入する。鍵となる条件は、重み関数が主接続の演算子 $L_m$ と「補助的な方向における離散的コバウンダリ」を含む差分方程式を満たすことである。
3. 離散積分： 「離散積分」は、有限格子 $\mathbb{Z}^r/p\mathbb{Z}^r$ 上の和として定義される。著者らは、補助的な接続が「特別」である（すなわち、その $p$-曲率関数が恒等的に 1 である）場合、重み関数の離散積分が主接続の平坦な切断を与えるという、離散的なストークスの定理（補題 3.2）を証明する。
4. 固有切断の構成： qKZ 接続およびそれに関連する重み関数を有限標数体 $K$ へ持ち上げ、補助的な接続の $p$-曲率関数の特定の構造（Artin–Schreier 多項式に関連する）を利用することで、著者らは固有切断を構成する。固有ベクトルは単一の点評価ではなく、有限格子上の離散型超幾何級数である。

主要な貢献と結果

• $p$-曲率作用素の対角化： 主要な結果（定理 6.2 および系 6.3）は、$p$-曲率作用素 $\tilde{K}_m(x, a)$ の固有ベクトルの明示的な構成法を提供する。

  • アンザッツ： 固有ベクトルは以下の離散和として構成される：
    $$I(s_0, x_0, a) = \sum_{j_1, \dots, j_r=0}^{p-1} W_K(s_0 + a\mathbf{j}, x_0) \times \prod_{i=1}^r \prod_{d_i=0}^{j_i-1} \Phi_{i,K}(\dots)$$
    ここで、$W_K$ は重み関数であり、$\Phi_{i,K}$ は補助的なランク1接続の変換関数である。
  • 条件： 構成には、基点 $(s_0, x_0)$ が次の方程式系（$p$-曲率ベテ・アンザッツ方程式）を満たすことが要求される：
    $$\tilde{\Phi}_{l,K}(s, x, a) = 1, \quad l=1, \dots, r$$
    ここで $\tilde{\Phi}_{l,K}$ は補助的な接続の $p$-曲率である。
  • 固有値： 構成されたベクトルが非ゼロである場合、それは固有値 $\tilde{\Psi}_{m,K}(s_0, x_0, a)$ を持つ $\tilde{K}_m(x_0, a)$ の固有ベクトルとなる。

• 古典的理論との構造的相違： 本論文は、古典的なケース（$\mathbb{C}$ 上の $a=0$）と有限標数のケースとの間の根本的な違いを強調している。古典的な場合、固有ベクトルは $W(s_0, x_0)$ である。標数 $p$ において、固有ベクトルは、軌道 $\mathbb{Z}^r/p\mathbb{Z}^r$ 上の「離散型超幾何級数」（超幾何積分の有限版）である。

• 対称性と Artin–Schreier 多項式： 著者らは、$p$-曲率関数 $\tilde{\Phi}$ と $\tilde{\Psi}$ が、Artin–Schreier 多項式 $h_p(y) = y^p - a^{p-1}y$ を含む特定の対称性を満たすことを示す。具体的には、$\tilde{\Phi}_{l,K}(s, x, a)$ は、変換された座標 $(h_p(s_1), \dots, h_p(x_n))$ における $\Phi_{l,K}$ として表現できる。これにより、$p$-曲率ベテ・アンザッツ方程式は、変換された変数を用いて古典的な方程式と密接に並行した形式へと簡約される。

• 特殊なケース：

  • 多項式平坦切断： パラメータ $\Lambda_i \in \mathbb{F}_p$、 $a \in \mathbb{F}_p^\times$、および $\kappa=1$ の場合、ベテ・アンザッツ方程式は自明となる（すべての点が解となる）。この手法は、接続の多項式平坦切断を生成し、これらはすべての固有値が 1 となる固有切断である。これは [MV1] における $p$-超幾何解の結果を回収し、一般化するものである。
  • 解が存在しない場合： 同様のパラメータ制約の下で $\kappa^p \neq 1$ である場合、ベテ・アンザッツ方程式は解を持たず、この手法は固有ベクトルを生成しない。
  • XXX モデルとの接続： $a \notin \mathbb{F}_p$ のとき、変換された変数 $(t_l, z_m)$ に関する方程式系は、XXX 可積分鎖のベテ・アンザッツ方程式に対応する。$p$-曲率問題の解は、XXX システムの解空間に対する $\mathbb{Z}^r \times \mathbb{Z}^n$ の作用の軌道であることが示される。

意義と主張
本論文は、幾何学的差分方程式における $p$-曲率作用素の対角化のための体系的な「ベテ・アンザッツ型の構成」を提供することを主張している。その意義は以下の点にある：

1. アナログ構成： ガウス・マニンの積分表示の厳密な有限標数版アナログ（積分が有限格子上の離散和に置き換わるもの）を確立したこと。
2. 新しい固有ベクトル構造： 標数 $p$ において、固有ベクトルは局在化した値ではなく、並行輸送係数を含むグローバルな離散和であることを示したこと。
3. 統一： Artin–Schreier 変換を通じて、差分方程式における $p$-曲率の理論を、古典的な可積分系（XXX モデル）の理論へと結びつけたこと。

著者らは、この構成は固有ベクトルを生成するものの、これらのベクトルの非零性、それらによって形成される基底の完全性、および直交性に関する問題は、一般的なケースにおいては未解決のままであることを控えめに述べている。彼らは付録 B において、特定の非自明な例に対して、非零性と基底に関する肯定的な回答を提供しているが、これらの結果がさらなる条件なしに普遍的に成り立つとは主張していない。本研究は、彼らの以前の研究 [TV3] で導入された不変な離散接続の理論を、有限標数の設定に特化して適応させたものとして提示されている。