Split Heun functions via blown-up surface defects

技術要約：ブローアップされた曲面の欠陥による分裂したHeun関数

問題の定義
本論文は、4次元 $\mathcal{N}=2$ $SU(2)$ ゲージ理論（基本ハイパーマルチプレットを伴う）のネクラスノフ・シャタシュヴィリ（NS）極限において生じる、Heun微分方程式およびその共形極限の共鳴解を調査している。具体的には、著者らはクーロン枝パラメータ空間における共鳴軌跡 $2a/\hbar \in \mathbb{Z}$ におけるこれらの解の挙動を扱っている。これらの点では、Heun方程式のフロケ・マルチプライヤーが合体し、非半単純なモノドロミーが生じる。

標準的なゲージ理論的手法を用いてこれらの共鳴極限を解析する際の主要な障害は、インスタントン展開の構造にある。バルクNS関数 ($W_0, W_1$) および欠陥NS関数 ($\hat{W}_\beta$) の係数は、インスタントン数が増大するにつれて高次の極を発展させる。その結果、インスタントン展開と共鳴極限を項別に交換することができず、素朴な級数は有限で定義された共鳴アクセサリ・パラメータや波動関数を与えない。先行研究では、マチュー演算子（純粋な$SU(2)$）や$N=2^*$ 理論に対して同様の問題が扱われてきたが、基本ハイパーマルチプレットを伴う理論において、バルクおよび欠陥の両方のNS関数を同時に扱う系統的な再総和（resummation）の手順は欠けていた。

手法
著者らは、$\mathbb{C}^2$ のブローアップ上の分配関数が満たす制約であるブローアップ方程式に基づく再総和の枠組みを開発した。

1. 新しいブローアップ方程式の導出: オービフォールド曲面欠陥の分配関数に関する既知のブローアップ方程式（例外的な因子上での異なるフラックスに関連するもの）から出発し、著者らは等変パラメータを $\epsilon_1 = \epsilon_2 = \hbar$ と設定する特定の極限を取る。2つの異なるフラックス値 ($k=0$ および $k=1$) に関連する方程式を比較し、共通部分を排除することで、NS関数 $W_0, W_1, \hat{W}_\beta$ のみを含む新しいクラスのブローアップ方程式（式 2.31）を導出する。
2. 再総和のアンザッツ: 共鳴付近の解を得るために、著者らは変数変換 $q=t^2$ および $x=zt$を導入する。彼らは、インスタントン展開における特異な極の寄与が、相関変数$x_j^\pm = t^j / (j \pm 2a/\hbar)$ の関数へと再構成されるというアンザッツを提案する。このアプローチは、異なるインスタントン次数にわたるクーロン枝の極の全タワーを再総和する。
3. 再帰的決定: 新しいブローアップ方程式により、既知のバルクNS関数の再総和関数が与えられている場合、欠陥の再総和関数を再帰的に決定することができる。著者らは、$N_f=(2,2), N_f=(1,1), N_f=(0,0)$ 理論について、主要な再総和関数を明示的に計算している。
4. 解の構成: 再総和された関数を用いて、以下を構成する：
   • 再総和されたアクセサリ・パラメータ: これらは $2a/\hbar \to n$ に対して有限の片側極限を持ち、スペクトル問題のバンド端パラメータを定義する。
   • 分裂した固有関数: 2つの線形独立なフロケ解が構成され、これらは共鳴端において（反）周期となる。
   • 対数的なコンパニオン: 著者らは、階数低減、分裂した解の衝突極限、または（双対周期の微分が共鳴でゼロである場合に）クーロンパラメータ $a$ に関する単一のフロケ解の微分を用いることで、第2の独立な解（共鳴的な一般ケースにおいて対数的となるもの）を構成する方法を示す。

主要な貢献と結果

• 特異な展開の再総和: 本論文は、インスタントン展開における発散する極のタワーを、制御された平方根および対数的な分岐挙動へと置き換えることに成功した。これにより、アクセサリ・パラメータに対する有限な片側極限と、適切に正規化された共鳴欠陥波動関数の定義が可能となった。
• 共鳴解の解析構造: 再総和された関数は、共鳴付近におけるゲージ理論的解の解析構造、特にアクセサリ・パラメータの分岐構造を明らかにする。著者らは、非ゼロの共鳴 $2a/\hbar = n$ において、アクセサリ・パラメータが一般に、スペクトルのギャップの2つの端に対応する2つの異なる片側極限 $u^{(n)}_+$ および $u^{(n)}_-$ を持つことを示している。
• 対数的なコンパニオンとモノドロミー: 著者らは、共鳴解の対数的なコンパニオンの明示的な構成法を提供している。彼らは、対数項の係数 $K^{(n)}_\sigma$ が、共鳴的なAサイクル・モノドロミーのべき零部分の局所的な代表元であることを特定した。この係数がゼロになることは、モノドロミーの半単純性を特徴づける。
• 特殊な質量軌跡: 著者らは、スペクトルギャップの閉鎖とモノドロミーの半単純性を支配する、質量パラメータ空間内の異なる軌跡を特定した：
  • $D^{(N)}_{bulk}$: スペクトルギャップが閉じる（2つのバンド端アクセサリ・パラメータが合体する）軌跡。これには、少なくとも2つの異なる質量パラメータを特定の多項式 $p_N(m)$ のゼロ点に特化させる必要がある。
  • $D^{(N)}_{defect}$: $D^{(N)}_{bulk}$ に含まれるより小さな軌跡であり、各フレーバーカラーから少なくとも1つの質量を特化させる必要がある。この軌跡上では、2つの正規化された共鳴欠陥波動関数は線形独立であり、かつ同じHeun方程式を解くため、半単純なモノドロミー ($M_A = (-1)^N I$) をもたらす。より大きな軌跡 $D^{(N)}_{bulk} \setminus D^{(N)}_{defect}$ 上では、ギャップは閉じるが、欠陥波動関数は（正規化を除いて）同一の解を与え、モノドロミーは非半単純となる。
• 具体的な例: 手法は $N_f=(1,1)$ 理論に対して明示的に示されており、共鳴解とその対数的なコンパニオンの $t$ 展開の最初の数項が提供されている。

意義
本論文は、ゲージ理論から生じるHeun型の微分方程式に対して、共鳴フロケ解とその対数的なコンパニオンを構成するための系統的な枠組みを提供すると主張しており、標準的なインスタントン展開の限界を克服している。NS関数のみを用いたブローアップ方程式を利用することで、著者らはバルクおよび欠陥セクターの同時な再総和を実現している。この枠組みは、元の定式化では特異となる共鳴点付近での解析的な制御を可能にする。

この研究は、他のゲージ理論や量子曲線へ拡張できる可能性があることを示唆している。具体的には、著者らは $N=2^*$ $SU(2)$理論（ラメ方程式）、5次元$N=1$ $SU(2)$ 理論（差分方程式）、および高ランクのゲージ群への適用可能性に言及している。さらに、アクセサリ・パラメータの正則化および共鳴解と対数的なコンパニオンの分離は、共鳴モノドロミー層付近における等モノドロミー・タウ関数の自然な正則化を与える可能性がある。