Additive preservers of mutual strong Birkhoff-James orthogonality on finite-dimensional $C^\ast$-algebras

技術的サマリー：有限次元 C-代数における相互強バーヒフ・ジェームス直交性の加法性保存写像*

問題提起
本論文は、有限次元複素 C*-代数 $A$ 上の加法性全射写像 $\Phi: A \to A$ の構造を、一方の方向で「相互強バーヒフ・ジェームス直交性」を保存するものとして調査する。ノルム空間 $X$ において、2 つのベクトル $x, y$ がバーヒフ・ジェームス（BJ）直交する（$x \perp_{BJ} y$）とは、すべてのスカラー $\lambda$ に対して $\|x + \lambda y\| \ge \|x\|$ が成り立つことをいう。$X$ が C*-代数 $A$ 上の右ヒルベルト C*-モジュールであるとき、$x$ が $y$ に強 BJ 直交する（$x \perp^S_{BJ} y$）とは、すべての $c \in A$ に対して $\|x + yc\| \ge \|x\|$ が成り立つことをいう。著者らは、$x \perp^S_{BJ} y$ かつ $y \perp^S_{BJ} x$ の両方が成り立つ相互バージョン $x \perp\perp^S_{BJ} y$ に焦点を当てる。

具体的な設定は、行列環の直和に同型である有限次元 C*-代数 $A$ である：
$$A \cong M_{n_1}(\mathbb{C}) \oplus M_{n_2}(\mathbb{C}) \oplus \cdots \oplus M_{n_k}(\mathbb{C}).$$
中心的な問いは、以下の条件を満たすすべての加法性全射 $\Phi$ を分類することである：
$$x \perp\perp^S_{BJ} y \implies \Phi(x) \perp\perp^S_{BJ} \Phi(y).$$

手法
著者らは、直交性の保存を特異性（非可逆性）の保存に結びつける還元戦略を採用する。

1. 特異性への還元： 核心的な技術的道具は定理 1.4 であり、これは行列環の直和上の加法性全射で、特異な元を特異な元に写すものを特徴づけるものである。この定理の証明は以下の事実に依存する：

   • ランク 1 の保存： このような写像がランク 1 作用素をランク 1 作用素または零に写すことを示す（補題 2.2）。
   • ブロックの置換： 写像が代数のブロック成分を置換することを示す（補題 2.3）。
   • 行列幾何学の基本定理： ランクまたは特異性を保存する加法性写像に関する既知の結果を適用し、各ブロックにおける写像の具体的な形（体準同型と可逆行列を含む）を決定する。

2. 直交性から特異性へ： 補題 3.1 は、有限次元 C*-代数（$\mathbb{C} \oplus \mathbb{C}$ のような特定の低次元の場合を除く）において、相互強 BJ 直交性を保存する任意の加法性写像は特異性も保存することを確立する。これは、特異値分解を用いた特定の直交関係の構成と、特異な元を可逆な元に写すことが矛盾を導くことを示すことによって証明される。

3. ブロックの構造解析： 写像がブロックの置換と体準同型を含む形に還元された後、著者らは直交性条件が特定の成分に課す制約を分析する：

   • 次元 $n \ge 2$ のブロックに対して、転置に基づく形（例：$A \mapsto A^T$）を排除する（補題 3.3）。
   • 体準同型 $\sigma$ は恒等写像または複素共役でなければならないことを決定する（補題 3.4）。
   • 関与する可逆行列はユニタリ作用素のスカラー倍でなければならないこと、およびブロック間のスカラー因子は均一でなければならないことを証明する（補題 3.6, 3.7, 3.8）。

主要な結果

• 定理 1.2（主要分類）： $A$ を $\mathbb{C}$、$\mathbb{C} \oplus \mathbb{C}$、または $M_2(\mathbb{C})$ に同型でない有限次元複素 C*-代数とする。加法性全射 $\Phi: A \to A$ が相互強 BJ 直交性を保存するならば、かつその逆も成り立つのは、以下のものが存在する場合である：

  1. 次元を尊重する $A$ の極小イデアルの置換 $\pi$。
  2. 正のスカラー $\gamma$。
  3. 要素 $u, v \in A$（ユニタリ）。
  4. 一部の極小イデアルでは恒等写像として、他の極小イデアルでは（固定された正規直交基底に関する）成分ごとの共役として作用する写像 $a \mapsto a^\dagger$。

  以下の式を満たす：
  $$\Phi(a) = \gamma u \pi(a)^\dagger v.$$

• 系 1.3： 同じ仮定の下で、（相互であるとは限らない）強 BJ 直交性を保存する写像の分類は、相互の場合と同一である。

• 定理 1.4（特異性保存写像）： 標数 0 の体上の行列環の直和について、加法性全射が特異性を保存するならば、かつその逆も成り立つのは、それがブロックを置換し、各ブロックに対して $A_i \mapsto P_i \pi(A_i)^{\sigma_i} Q_i$ または $A_i \mapsto P_i \pi(A_i^T)^{\sigma_i} Q_i$ の形の写像として作用する場合である。ここで $\sigma_i$ は体準同型である。

例外と反例
本論文は、主要定理が $\mathbb{C}$、$\mathbb{C} \oplus \mathbb{C}$、および $M_2(\mathbb{C})$ の形の代数では成立しないことを明示的に指摘している：

• $A = \mathbb{C}$ の場合、すべての加法性写像がその関係を保存する。
• $A = \mathbb{C} \oplus \mathbb{C}$ の場合、ユニタリ/スカラー形式に適合しない非標準的な線形保存写像が存在する（例 3.2、例 4.2）。
• $A = M_2(\mathbb{C})$ の場合、構造は異なる。具体的には、$P, Q$ がユニタリのスカラー倍であるかどうかに関わらず、可逆な $P, Q$ を用いた $\Phi(A) = PAQ$ の形の任意の写像は相互強 BJ 直交性を保存する（例 4.3）。

意義と範囲
著者らは、この研究を線形保存写像およびノルム空間における直交性に関する先行研究を拡張した、加法性保存写像の分類として位置づけている。その意義は以下の点にある：

1. 直交性理論の拡張： C*-代数上の強 BJ 直交性の文脈において、線形保存写像から加法性全射へと移行する。
2. 概念の連結： 相互強 BJ 直交性という幾何学的概念と、特異性保存という代数的概念との間の厳密なリンクを確立する。
3. 分類の完成： 一般的な有限次元の場合に対する完全な構造記述を提供し、より許容的な構造を持つ例外となる低次元の場合を慎重に区別する。

本論文は新しい応用や実験的枠組みを提案するものではなく、これらの保存写像の代数的特徴づけに厳密に焦点を当てている。著者らは、加法性の仮定なしには、保存写像のクラスは「荒々しい（wild）」ものとなり、非線形保存写像に関する既存の文献を引用している（注 4.4）。