Order embeddings of real matrix domains

問題の所在
本論文は、行列ドメインにおける順序埋め込み（order embedding）の一般的な形式を特徴付けるという問題に取り組んでいる。具体的には、$n \ge 2$ を整数とし、$S_n$ をすべての $n \times n$ 実対称行列の集合とする。部分集合 $U \subset S_n$ が「行列ドメイン」であるとは、$U$ が開かつ連結であることを指す。写像 $\phi: U \to S_n$ が「順序埋め込み」であるとは、すべての $X, Y \in U$ に対して $X \le Y \iff \phi(X) \le \phi(Y)$ が成り立つ、すなわち、ローウェナーの半順序を双方向に保存することを意味する。本研究の主な目的は、このような写像 $\phi$ の明示的な構造を記述することである。

手法
本論文で採用されているアプローチは、無限次元ホロモルフィー（複素解析）に依拠していた先行研究（具体的には文献 [17] の複素エルミート行列に関する研究）とは異なるものである。実数のケースではホロモルフィックな手法が適用できないため、著者は代数的な同次空間の幾何学および行列の幾何学に着想を得た幾何学的アプローチを用いている。

主要な手法となるツールは以下の通りである：

1. ランクとトレースの解析： トレース関数を利用して連続性の性質（補題 2.1）を確立し、行列間の差のランクを分析することで構造的性質を保持させる。
2. ランク1射影： ランク1射影（$P \in P^1_n$）および関数 $\alpha(A, P; B) = \max\{t \in \mathbb{R} : A + tP \le B\}$ を広範に使用する。この関数は、順序関係と連続性を特徴付けるための決定的なツールとして機能する。
3. 連続性の議論： 行列ドメイン上の順序埋め込みが連続であることを証明し（命題 2.35）、また、閉区間 $[0, I]$ 上の埋め込みは、端点で連続であるならばその内部での振る舞いによって決定されることを確立する。
4. 極大拡張： ツォルンの補題を用いて、順序埋め込みの極大拡張の存在を確立し、これらの拡張の一意性を証明する（系 3.1）。
5. グラスマン空間の幾何学： 行列式の可逆性と隣接性（差のランク）の保存を分析するために、グラスマン空間 $G(n, 2n)$ の幾何学を用いる。

主要な貢献と結果

• 主定理 (Theorem 1.2): 本論文は、$U \subset S_n$ が零行列を含む行列ドメインであり、$\phi(0)=0$ である順序埋め込み $\phi: U \to S_n$ が与えられたとき、対称行列 $A \in S_n$ と可逆な実行列 $T$ が存在して、$U \subset U_A$（ここで $U_A$ は $XA+I$の可逆性によって定義される特定のドメインである）となり、すべての$X \in U$ に対して以下が成り立つことを示している：
  $$\phi(X) = T(XA + I)^{-1} X T^t$$

• 命題 1.1: 写像 $\psi_A(X) = (XA + I)^{-1}X$ を導入し、これが特定の行列ドメイン $U_A$ から $U_{-A}$ への連続な順序同型写像であることを証明する。この写像は、一般的な埋め込みの基本構成要素として機能する。

• 連続性の結果: 本論文は、行列ドメイン上の順序埋め込みが至る所で連続であることを証明している（命題 2.35）。さらに、閉行列区間 $[A, B]$ において、順序埋め込みは端点を除いて至る所で連続であり、その内部における形式は上記の公式によって厳密に決定される。

• 特殊なケース:

  • 開区間: 定理 4.1 は、$(-I, I)$ のような開区間上の埋め込みを特徴付け、それらが $\phi(X) = T(XA + I)^{-1}XT^t + B$ （ただし $\|A\| \le 1$）の形式をとることを示している。
  • 全空間: 定理 4.2 は、ドメインが全空間 $S_n$ である場合、埋め込みは $\phi(X) = TXT^t + B$ というアフィン変換（これは $A=0$ を意味する）でなければならないことを示している。
  • 閉区間: 定理 4.3 は $[0, I]$ 上の埋め込みについて記述しており、写像は端点 $0$および$I$で不連続である可能性があるものの、その内部$(0, I)$ における制限は定理 1.2 で導かれた一般的な形式に従うことを示している。

• 一意性と拡張: 本論文は、2つの順序埋め込みがドメインの空でない開部分集合上で一致する場合、それらはドメイン全体で同一であるという恒等定理（定理 2.41）を証明している。また、順序埋め込みの極大拡張の存在と一意性（系 3.1）についても確立している。

意義と関連性
本論文は、従来の複素数の手法が通用しなかった実対称行列の設定において、順序埋め込みの完全な記述を提供したという点で重要であると主張している。著者は、これらの結果とクロノジオメトリー（時間幾何学）の基本定理との関連性を強調している。具体的には、$2 \times 2$ 複素エルミート行列上の隣接性を保存する全単射な写像を特徴付ける問題は、ミンコフスキー空間における光的な性質（lightlikeness）を保存する問題（アレクサンドロフの定理）と等価である。本論文で使用されている、特にランク1射影や隣接性に関連する手法は、近年のクロノジオメトリー定理の最適版（文献 [18]）に見られる証明技法に関連していることが指摘されている。

また、本研究は、順序埋め込みに関する有限次元と無限次元の構造的な違いを明確にしている。有限次元の場合、一般形式を記述するために全単射性の仮定は必要とされないが、無限次元の場合（文献 [21] に見られるように）には不可欠であるという点である。