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

技术摘要：有限维 C-代数上互强 Birkhoff-James 正交性的加性保持者*

问题陈述
本文研究了有限维复 C*-代数 $A$ 上保持单向“互强 Birkhoff-James 正交性”的加性满射 $\Phi: A \to A$ 的结构。在赋范空间 $X$ 中，两个向量 $x, y$ 是 Birkhoff-James（BJ）正交的（记为 $x \perp_{BJ} y$），如果对于所有标量 $\lambda$ 都有 $\|x + \lambda y\| \ge \|x\|$。当 $X$ 是 C*-代数 $A$ 上的右 Hilbert C*-模时，若对于所有 $c \in A$ 都有 $\|x + yc\| \ge \|x\|$，则称 $x$ 与 $y$ 是强 BJ 正交的（记为 $x \perp^S_{BJ} y$）。作者关注的是互版本，记为 $x \perp\perp^S_{BJ} y$，即 $x \perp^S_{BJ} y$ 且 $y \perp^S_{BJ} x$ 同时成立。

具体设定为有限维 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，该定理刻画了将奇异元映射为奇异元的矩阵代数直和上的加性满射。该定理的证明依赖于：

   • 秩一保持：证明此类映射将秩一算子映射为秩一算子或零（引理 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$ 是有限维复 C*-代数，且不同构于 $\mathbb{C}$、$\mathbb{C} \oplus \mathbb{C}$ 或 $M_2(\mathbb{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（奇异保持者）：对于特征为零的域上的矩阵代数直和，加性满射保持奇异性，当且仅当它置换块，并通过形式为 $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})$，结构不同；具体而言，任何形式为 $\Phi(A) = PAQ$ 的映射（其中 $P, Q$ 可逆）都保持互强 BJ 正交性，无论 $P$ 和 $Q$ 是否为酉算子的标量倍数（例 4.3）。

意义与范围
作者将这项工作定位为对加性保持者的分类，扩展了关于赋范空间中线性保持者和正交性的先前结果。其意义在于：

1. 扩展正交性理论：在 C*-代数上的强 BJ 正交性背景下，从线性保持者扩展到加性满射。
2. 连接概念：在互强 BJ 正交性的几何概念与奇异保持的代数概念之间建立严谨联系。
3. 完成分类：为一般有限维情形提供完整的结构描述，同时仔细界定结构更为宽松的低维例外情形。

本文未提出新的应用或实验框架，而是严格聚焦于这些保持者的代数刻画。作者指出，如果没有加性假设，保持者的类将变得“混乱”（注 4.4），并引用了关于非线性保持者的现有文献。