Centralizers of the complex orthogonal and symplectic group

技术摘要：复正交群与复辛群的中心化子

问题陈述
本文致力于计算复正交群 $O_n(\mathbb{C})$ 和复辛群 $Sp_{2n}(\mathbb{C})$ 在相似变换作用下的中心化子（稳定子群）。具体而言，旨在确定这些群中任意元素 $R$ 对应的群 $C_G(R) = \{Q \in G \mid Q^{-1}RQ = R\}$ 的结构。

本文从李理论和矩阵方程的视角出发处理该问题。通过利用若尔当 - 切瓦莱分解 $R = SU$（其中$S$为半单部分，$U$为幂幺部分），将中心化子$C_G(R)$简化为交集$C_G(S) \cap C_G(U)$。虽然$C_G(S)$作为经典群的直和已被充分理解，但幂幺部分$C_G(U)$的结构，特别是其幂幺根$Ru(C_G(U))$，需要详细分析。此外，本文利用指数映射建立了计算$H$-正交/$H$-辛矩阵中心化子与计算$H$-斜对称/$H$-哈密顿矩阵在相似变换下的稳定子群之间的等价性。

方法论
作者采用了一种基于 $H$-正交或 $H$-辛相似性下矩阵标准形的递归算法方法。方法论按以下步骤进行：

1. 归约至标准形：将问题归约为分析群作用下特定规范形（若尔当块 $J_m(\lambda)$ 和交换矩阵 $\Gamma_m$）的矩阵。分析这些标准形中矩阵 $A$ 的稳定子群。
2. 转化为西尔维斯特方程：通过过渡矩阵 $U$（其中 $A = U^{-1}J(A)U$），将条件 $Q^{-1}AQ = A$ 转化为西尔维斯特方程 $J(A)X = XJ(A)$。已知该方程的解$X$ 是由矩形上三角托普利茨块组成的分块矩阵。
3. 施加群约束：将 $Q$ 必须属于正交群或辛群（即 $Q^T HQ = H$）的约束转化为涉及变换变量 $X$ 的矩阵方程。这导出了形式为 $B = F X^T F B X$（或其变体）的专用方程，其中 $F$ 是分块交换矩阵，$B$ 是具有特定对称性质的分块对角矩阵。
4. 分块方程的递归求解：核心技术贡献在于在分块上三角托普利茨矩阵空间（$T_{\alpha, \mu}$）内求解方程 $C = F X^T F B X$ 中的 $X$。作者推导出一个递归算法（引理 3.1），逐块确定 $X$ 的条目。这包括：
   • 求解对角块上的二次矩阵方程。
   • 将非对角块和高阶对角元表示为先前确定的块和任意参数（受对称约束）的多项式函数。
   • 利用生成函数和卡特兰数来解决非对角块中出现的特定递推关系（例 2.4，引理 3.3）。

主要贡献与结果
本文提供了这些中心化子的完整结构描述和计算算法：

• 结构刻画：证明了中心化子（及稳定子群）共轭于具有矩形分块托普利茨块的非奇异分块矩阵的子群。这些子群 admits 半直积分解 $L \ltimes U$，其中 $L$ 是约化部分（正交群或辛群的直和），$U$ 是幂幺根。
• 显式算法：提出了一个递归算法以计算任意元素 $R$ 的中心化子。该算法显式构造满足定义方程的矩阵 $X$，确定哪些条目是自由参数，哪些在多项式意义上依赖于其他条目。
• 维数公式：本文推导了中心化子/稳定子群在域 $\mathbb{C}$ 上的精确维数公式（以及实数情形的条件）。
  • 对于幂幺情形（定理 2.5），维数由下式给出：
    $$\dim_{\mathbb{F}}(X) = \sum_{r=1}^N \left( \frac{1}{2}\alpha_r \mu_r^2 + \sum_{s=1}^{r-1} \alpha_s \mu_r \mu_s \right) + (-1)^c \sum_{\alpha_r \text{ odd}} \frac{1}{2}\mu_r$$
  • 对于非幂幺情形（定理 2.6），维数为：
    $$\dim_{\mathbb{C}}(X) = \sum_{r=1}^N m_r \left( \alpha_r m_r + 2 \sum_{s=1}^{r-1} \alpha_s m_s \right)$$
• 广义群：结果推广至不定广义正交群和辛群 $O_n(\mathbb{C}, H)$ 和 $Sp_{2n}(\mathbb{C}, H)$，表明它们的中心化子通过特定的过渡矩阵共轭于标准群的中心化子。

意义与主张
本文声称提供了这些中心化子幂幺根的“详细描述”，该分量此前在分块托普利茨结构方面较少被明确刻画。作者指出，虽然一般方法涉及关于厄米特矩阵和对称矩阵的先前工作（引用 [17]、[18]），但当前问题涉及“几个相当微妙的差异”，使得分析“相当复杂”。具体而言，正交/辛群的对称约束与解的托普利茨结构之间的相互作用，导致了群结构中的新现象，特别是在非对角块的递归确定方面。

该工作被呈现为解决矩阵四元组在合同变换下同时约化问题的基础步骤，具有应用于转置 - 西尔维斯特矩阵方程组的潜力。作者明确指出，实数情形“更为复杂”，留待未来工作处理，从而在本文对实数域的应用范围上保持了适度的界定。