Positive definite matrices and involutions: the manners of their infinite cousins

技术摘要：行有限与列有限矩阵代数中的正定矩阵与对合

问题陈述
本文研究了无限矩阵的结构性质，特别是在由域 $F$（其中 $F$ 为 $\mathbb{R}$ 或 $\mathbb{C}$）上的 $\omega \times \omega$ 行有限且列有限矩阵组成的代数 $B(F)$ 中。虽然正定性、Cholesky 分解和对合等概念在有限维矩阵（$M_n(F)$）中已非常成熟，但将其扩展到无限维时面临着显著的障碍。作者强调，即使所有乘积都有定义，无限矩阵乘法也不一定满足结合律。此外，在有限维情形下成立的标准谱性质（特征值）和分解定理（平方根、Cholesky）在无限维情形下往往会失效或表现得异常。主要目标是刻画 $B(F)$ 上的正定对合，并确定经典矩阵性质（可逆性、分解、谱理论）在这一无限背景下的延续程度。

研究方法
作者结合了环论分析、模论以及显式的矩阵构造。

1. 代数框架： 研究基于 $B(F)$ 作为交换环（exchange ring）的性质，及其与行有限（$RF$）和列有限（$CF$）矩阵代数的关系。作者利用$R \cdot M \cdot C$-结合性（行有限$\times$任意$\times$ 列有限）的概念来应对一般无限矩阵乘法的非结合性问题。
2. 模论刻画： 通过区分在有限支撑向量空间（$V$）与全向量空间（$W$）上的作用，来分析可逆性和零化子条件。论文区分了 $CF$和$RF$中的左/右可逆性与$B(F)$ 中的可逆性。
3. 构造性反例： 方法论的重要部分包括构造特定的无限矩阵（例如，移位矩阵、块三对角矩阵），以展示有限维情形下成立的性质（如特征值的存在性、平方根的存在性或正定性导致的可逆性）在无限维中的失效。
4. Jacobson 技巧： 为了刻画对合，作者利用了 Nathan Jacobson 的定理，即 $B(F)$ 的所有自同构都是内自同构。这使得他们能够将一般的对合表示为通过单位矩阵对标准转置（或共轭转置）对合的共轭。

核心贡献与结果

1. 结合性与可逆性
论文严格记录了 $M(F)$ 中结合性的失效，并提供了尽管所有乘积均有定义但 $(AB)C \neq A(BC)$ 的示例。它确立了 $B(F)$ 是一个 $(RF, CF)$-双模，在该双模下结合性成立。

• 可逆性准则： 矩阵 $A \in B(F)$ 在 $B(F)$ 中可逆，当且仅当其列空间等于 $V$ 且其行空间等于 $V^t$。作者澄清，在 $CF$（或$RF$）中的可逆性并不意味着在$B(F)$中的可逆性，且$V$中零化子的消失并不保证在$B(F)$ 中的可逆性。

2. 正定矩阵与分解
作者将矩阵 $A \in M$ 定义为正定的，如果它是厄米矩阵（Hermitian）且对于所有非零 $x \in V$，都有 $x^*Ax > 0$。

• Cholesky 分解： 不同于有限维矩阵中正定性蕴含可逆性，在 $B(F)$ 中的无限正定矩阵不一定可逆。然而，论文证明了每个 $B(F)$ 中的正定矩阵在 $B(F)$ 内都存在唯一的 Cholesky 分解 $A = U^*U$，其中 $U$ 是对角线元素为正的上三角矩阵。
• 因子的可逆性： $A$ 在 $B(F)$ 中的可逆性等价于其 Cholesky 因子 $U$ 在 $B(F)$ 中的可逆性。
• 谱异常： 论文构造了正定矩阵的示例，这些矩阵在 $V$ 上的作用不具备任何特征值，但同时在 $W$ 上的作用中，每一个标量 $F$ 中的元素都是其特征值。

3. 平方根
与有限维矩阵理论的一个重大偏离是平方根的不存在性。作者证明，存在正定矩阵（既包括可逆的也包括不可逆的）在 $B(F)$ 中、甚至在更大的代数 $RF$或$CF$中都没有平方根。这是通过构造具有特定$W$ 上谱性质的矩阵来实现的，这些性质排除了存在交换平方根的可能性。

4. 对合的刻画
核心理论结果涉及对 $B(F)$ 上正定对合的分类。

• 定理 A（主要结果）： 一个对合 $\#$ 在 $B(F)$ 上（当 $F=\mathbb{R}$ 时为线性，当 $F=\mathbb{C}$ 时为共轭线性）是“适当的”（即 $A^\# A = 0 \implies A=0$）或“正定的”（即 $\sum A_i^\# A_i = 0 \implies \text{所有 } A_i = 0$），当且仅当它等价于标准转置（或共轭转置）对合。
• 对合的形式： 具体而言，此类对合由 $A^\# = C^{-1} A^* C$ 给出，其中 $C$ 是某个可逆正定矩阵 $C \in B(F)$。
• 等价性： 论文确立了任何适当的对合都通过内自同构与标准对合等价。反之，如果共轭矩阵 $C$ 不是正定的（或其负的），则所得对合不是适当的。

意义与主张
该论文声称解决了行有限与列有限矩阵代数中正定对合的分类问题，表明它们在经由正定矩阵共轭后，在结构上与标准对合是相同的。
作者强调，虽然无限矩阵的“不良行为”（非结合性、缺乏特征值、缺乏平方根）是众所周知的，但 Cholesky 分解的持续存在以及对正定对合的具体刻画，为处理这些对象提供了一个稳健的框架。结果表明，在无限维设定下，正定性是一个极强的条件，它迫使对合在尽管其他经典矩阵性质失效的情况下，仍与标准对合保持“接近”。该论文并不声称将这些结果扩展到没有行/列有限约束的一般无限矩阵代数，也不旨在提出超出对这些代数结构进行理论刻画之外的新应用。