Symmetric Bessmertny\u{i} Realizations and Field Extension Problems in Characteristic 2 - A Differential Algebra Approach

技術的概要：標数 2 における対称ベッセルトニイ実現と体拡大問題

問題の定義
本論文は、多変数有理関数行列 $F(z)$ が対称ベッセルトニイ実現（SBR）または同次対称ベッセルトニイ実現（hSBR）を許容するための必要十分条件を決定する問題を取り扱う。特に、基礎体 $F$ が標数 2（$\text{char}(F) = 2$）である場合を対象とする。

ベッセルトニイ実現（BR）は、$F(z)$ をアフィン線形行列ペンシル（LP）のシュール補として表現するものである。SBR は、そのペンシルが対称であることを要求する。このような実現の存在は直近で [EOW26] において確立されたが、標数 2 の場合（特に $n \ge 2$）の元の証明はアルゴリズム的であり、長大（約 26 ページ）で、ケースバイケースの分析に大きく依存していた。本論文は、標数 2 における実現可能性の特定のスカラー基準がなぜ成立するのかについて、より簡潔で純粋に代数的な理解を提供することを目的としている。

手法
著者らは、[EOW26] のアルゴリズム的アプローチに代わる主要なツールとして微分代数を採用する。手法は以下の通りである：

1. 形式的偏微分：著者らは、正の標数を持つ体上の有理関数体 $F(z)$ において、形式的偏微分 $\frac{\partial}{\partial z_i}$ を定義する。
2. 定数体：標数 $p$ において、これらの微分に対する定数体が $p$ 乗の部分体 $F(z^p)$ であるという性質を利用する。標数 2 の場合、これは $F(z^2)$ である。
3. 対角成分への還元：シュール補の公式の微分を解析することにより、著者らは標数 2 における行列関数 $F(z)$ の実現可能性が、その対角成分の性質によって完全に決定されることを示す。
4. ベクトル空間解析：本論文は、有理関数の空間を定数部分体 $F(z^2)$ 上のベクトル空間として扱う。これにより、実現可能関数と非実現可能関数の「密度」を定量化することが可能となる。
5. ジョルダン代数構造：本論文は、ジョルダン代数の理論（特に広範なエルミート部分空間）を用いて、対称な実現可能関数の集合を、特定の生成元の広範な殻（ample hull）として特徴づける。

主要な貢献と結果

• ベッセルトニイ実現定理の代替証明：本論文は、SBR と hSBR を特徴づける定理 1（[EOW26] より）の、短く純粋に代数的な証明を提供する。

  • 定理 2（スカラーの場合）：標数 2 におけるスカラー有理関数 $F(z)$ について、$F(z)$ が SBR を持つための必要十分条件は、$F(z)$ が $\{q_0^2 + z_1 q_1^2 + \dots + z_n q_n^2 : q_i \in F(z)\}$ によって張られる部分空間に含まれることである。同様に、$F(z)$ が hSBR を持つための必要十分条件は、$F(z)$ が $\{z_1 q_1^2 + \dots + z_n q_n^2 : q_i \in F(z)_0\}$ によって張られる部分空間に含まれることである。
  • この証明は、$F(z)$ が SBR を持つならば、その偏微分 $\frac{\partial F}{\partial z_i}$ が定数体 $F(z^2)$ に属さなければならないことを示すことに依存している。この条件が上記の張る空間の条件と同等であることが示される。

• 非実現可能関数の定量化：

  • 本論文は、$F(z)$ が $F(z^2)$ 上の $2^n$ 次元ベクトル空間であるのに対し、SBR の部分空間は $(n+1)$ 次元に過ぎないことを確立する。
  • したがって、非 SBR 要素の「密度」は $n \to \infty$ として 1 に近づく（具体的には、実現可能要素と全要素の比率は $\frac{n+1}{2^n}$ である）。これは数学的に、標数 2 において非実現可能な対称関数が実現可能なものよりもはるかに豊富であることを定量化するものである。

• 体拡大定理（定理 3）：

  • 本論文は、体拡大に関する新しい結果を証明する：$F(z)$ 係数を持つ有理関数行列 $F(z)$ が、より大きな体拡大 $K(w)$（ここで $K$ は $F$ の拡大）上で SBR（または hSBR）を許容する場合、それは必然的に元の体 $F(z)$ 上でもそのような実現を許容する。
  • この結果は標数 2 の場合にのみ非自明であり、他の標数では定理 1 から直ちに導かれる。証明は、体拡大における定数体の性質（系 1）を利用する。

• ジョルダン代数による特徴づけ：

  • 対称ベッセルトニイ実現可能関数の集合は、行列代数における対称要素の広範部分空間（特定の種類のジョルダン部分代数）として同定される。これは $\{I_k, z_1 I_k, \dots, z_n I_k\}$ の集合の広範な殻であることが示される。

意義と主張
本論文の主な意義は、単純化と洞察にあると主張されている。アルゴリズム的構成から微分代数的枠組みへと移行することにより、著者らは以下の点を実現した：

1. 標数 2 の実現可能性条件の証明を劇的に短縮（最も困難なケースに費やされた労力を 26 ページから簡潔な代数的議論に削減）。
2. 形式的微分の挙動を通じて、なぜ対角成分が標数 2 における行列全体の実現可能性を決定するのかという明確な構造的理由を提供。
3. 定数体上のベクトル空間の次元という観点から問題を定式化し、標数 2 における反例の「豊富さ」の正確な代数的特徴づけを提供。
4. 体拡大に関する新しい定理を確立し、実現可能性が係数体に関わらず基礎体上の関数の固有の性質であることを明確化。

著者らは、新しい物理的応用の発見や実験的実装の提案を主張するものではない。むしろ、この作業は、特に標数 2 の体が導入する代数的微妙さを扱う線形システム理論および行列関数実現の理論的洗練として提示されている。