Elimination strata for torus-dynamical Fuchsian systems and the fixed-component Heun problem

技術要約：トーラス動力学的なフックス・システムにおける除去層と固定成分ヘーン問題

問題設定
本論文は、アレクサンドロフとグルツィュークによって提起された、トーラス動力学的なフックス・システムに関する特定の課題に取り組んでいる。これらは、$0, \alpha, \alpha^{-1}$（ここで $\alpha \in \mathbb{R} \setminus \{0, \pm 1\}$）および $\infty$ に所定の有限特異点を持つ、形式 $Y' = A(z)Y$ の二次元線形系である。これらのシステムは、その射影化されたリッカチ方程式が実二次元トーラス上の動力学系に対応することを保証する、トーラス対称条件によって特徴付けられる。

核心となる問いは、このようなシステムの解の第二成分 $Y_2(z)$ が、どのような条件下で「真の」四特異点ヘーン方程式を満たすか、という点である。著者らは、「ヘーン多項式形式」（所定の点にのみ特異点を持ち、特定の次数の多項式係数を持つ二階スカラー方程式）と、「真の」ヘーン方程式（これら四つの所定の特異点のいずれも除去可能ではないもの）を区別している。

アレクサンドロフとグルツィュークによる先行研究では、ゼロにおける残留行列（$A_0$）が対角行列である場合を扱っていた。本論文の目的は、$A_0$ が対角、三角、あるいは生成的（generic）であることを仮定せず、またスペクトルや非共鳴条件も課さない状態で、「固定成分、固定表現（fixed-component, fixed-representative）」の問題を解決することである。

手法
著者らは、直接的なスカラー除去法に、代数幾何学と残留微積分を組み合わせて用いる。

1. スカラー除去: システム $Y' = A(z)Y$（ここで $A(z) = \sum \frac{A_s}{z-s}$）から出発し、$E = Y_2$ に関する二階スカラー方程式を導出するために第一成分 $Y_1$ を除去する。このプロセスにより、下三角の結合係数 $c(z) = A_{21}(z)$ を含む対数微分項が導入される。
2. 因子解析: 得られたスカラー方程式の一次微分項の係数は $c'/c$ を含む。方程式がヘーン形式（特異点が $0, \alpha, \beta, \infty$ のみに存在すること）であるためには、$c(z)$ の所定の集合外での零点を排除する必要がある。$c(z)$ は所定の特異点に単純な極を持つため、$\Gamma_A(z) = D(z)c(z)$（ここで $D(z) = z(z-\alpha)(z-\beta)$）は高々2次の多項式となる。余分な近似特異点が存在しない条件は、$\Gamma_A(z)$ が所定の特異点上に支持された単項式であること、すなわち $\Gamma_A(z) = \lambda z^{n_0}(z-\alpha)^{n_\alpha}(z-\beta)^{n_\beta}$（ここで総乗数は $\sum n_s \le 2$）であることを要求することと同値である。
3. 残留バランス: 著者らは、スカラー方程式の零次係数を分析する。方程式が有限の極（所定のもの以外）を持たないための条件として、システム行列 $A_s$ の残留値が特定の代数的一致（identities）を満たさなければならないことを証明する。具体的には、$c_s b_s = d_s(a_s + n_s)$ である（ここで $n_s$ は $\Gamma_A$ の $s$ における消滅次数）。
4. トーラス交差: 上記の普遍的な分類結果を、射影化されたリッカチ方程式が反正則な対合 $(Y_1, Y_2, z) \mapsto (Y_2, Y_1, z^{-1})$ に対して不変であるという条件によって定義される「トーラス動力学的残留軌跡」$T_\alpha$ と交差させる。この軌跡は、残留行列に対して実代数的な制約を課す。
5. 射影ゲージの取り扱い: 論文では、「固定表現（literal matrix $A(z)$）」と「射影類（スカラー・フックス項による剰余類）」を慎重に区別している。これを用いて、スカラー・ゲージ変換がどのように残留バランス方程式に影響を与えるか、またヘーン形式を実現するゲージが存在するための基準を提示している。

主要な貢献と結果

• 普遍的除去定理 (Theorem 3.5): 著者らは、$\{0, \alpha, \beta\}$ に極を持つ任意の二次元フックス・システムが、第二成分においてヘーン形式の方程式に帰着するための必要十分条件を確立した。この条件は以下の通りである：

  1. 結合因子条件：$\Gamma_A = \lambda m$（ここで $m$ は10個の可能な多項式集合のいずれかの単項式）。
  2. 三つの局所的な残留バランス恒等式：$s \in \{0, \alpha, \beta\}$ に対して $c_s b_s = d_s(a_s + n_s)$。
     この結果は、残留行列を対角化または三角化することなく成立する。

• トーラス動力学的システムの分類 (Theorem 4.1): 普遍的な層をトーラス対称性の軌跡と交差させることにより、ヘーン方程式を与えるトーラス動力学的システムの完全な分類を行う。解空間は、10個の可能な因子単項式 $m$ によってインデックス付けされた、10個の実局所閉半代数的な層の有限和として記述される。

  • 論文には、10個の層それぞれの残留バランス方程式が明示されている（表1）。
  • また、選択された因子を用いた、結果として得られるヘーン方程式の係数 $P(z)$ および $Q(z)$ の明示的な公式を提供する。

• 真の四特異点条件: 得られたヘーン方程式が退化していない（すなわち、すべての特異点が本質的である）ことを保証するための「非除去可能性」の基準（補題 3.6）を提供する。これには、多項式係数が特異点において同時に消滅しないこと、および最高次係数の次数が特定の除去可能な条件を満たさないことを確認することが含まれる。

• 対角 vs 非対角解析: 著者らは、既知の対角残留のケース（$A_0$ が対角である場合）が、$m(z) = z$ である層内の特定の断面に対応することを示す。極めて重要なことに、非対角な例（Example 6.1）を提示し、$A_0$ が対角ではないにもかかわらず、システムがヘーン条件を満たすことを示し、対角仮定が必須ではないことを実証している。

• 多項式および有理数解 (Section 7): ヘーン方程式が多項式解または有理数解を持つかどうかを判定するための決定条件（Proposition 7.1 および Theorem 7.2）を導出する。これらの基準は、ヘーン係数から構成される三重対角行列を用いた、元の残留パラメータに関する包含条件として表現される。

意義と主張
本論文は、アレクサンドロフとグルツィュークの問題の「固定成分、固定表現」バージョンを完全に解決したと主張している。その意義は以下の点にある：

1. 仮定の排除: ゼロにおける残留に関する対角、三角、あるいは生成的であるという仮定を排除した。
2. 厳密な代数的構造: 解空間を半代数的な層の有限和として特定し、ヘーン形式への還元が起こるパラメータ空間の明確な幾何学的像を提供した。
3. 明示的な公式: システムの残留に関する条件とともに、ヘーン係数の明示的かつ計算可能な公式を提供しており、これにより分類が有効かつ検証可能となっている。
4. ゲージの区別: 固定表現と射影類の違いを明確にし、元の表現がヘーン条件を満たさない場合でも、いかにスカラー・ゲージを用いてヘーン形式を実現できるかを示した。

著者らは、証明が因子の結合項の因子および局所的な残留バランスに関する初等的かつ硬直的な観察に基づいていることを強調しており、隠れた解析接続の議論を避けている。結果は、指定された数学的枠組み内での決定的な分類として提示されている。