Totally compatible structures on the radical of an incidence algebra

技术摘要：关于关联代数根的完全相容结构

问题陈述
本文研究了有限偏序集 $X$ 在域 $K$ 上的关联代数 $I(X, K)$ 的 Jacobson 根 $J = J(I(X, K))$ 上完全相容结构（totally compatible structures）的分类。文中定义了向量空间 $V$ 上的两种双线性积 $\cdot_1$ 和 $\cdot_2$ 为完全相容，若它们满足恒等式：
$$(a \cdot_1 b) \cdot_2 c = (a \cdot_2 b) \cdot_1 c = a \cdot_1 (b \cdot_2 c) = a \cdot_2 (b \cdot_1 c)$$
对于所有 $a, b, c \in V$ 均成立。作者试图显式地描述 $J$ 上所有与标准乘法 $\cdot$ 完全相容的结合积 $\ast$。这项工作将以往关于严格上三角矩阵代数（$UT_n(K)$）的研究结果（这些是关联代数根的特例）推广到了更广泛的任意有限偏序集的背景下。

方法论与定义
本文采用结构分解方法，区分了“正规”（proper）与“非正规”的完全相容结构。

1. 正规结构： 若一个完全相容结构 $\ast$ 可以分解为 $\ast = \ast_\phi + \bullet$，则称其为正规，其中：
   • $\ast_\phi$ 由中心元（centroid element）$\phi \in \Gamma(J)$ 决定，定义为 $a \ast_\phi b = \phi(a \cdot b)$。
   • $\bullet$ 是一个湮灭值结构（annihilator-valued structure），即乘积 $\bullet$ 将映射入原代数的湮灭子，且原乘法也将映射入 $\bullet$ 的湮灭子。
2. 中心分析： 作者刻画了根 $J$ 的中心 $\Gamma(J)$。研究表明，任何 $\phi \in \Gamma(J)$ 都是一个由函数 $\sigma: X^2_{<} \to K$（在链上取常数）确定的映射 $\phi_\sigma$ 与一个湮灭值线性映射之和。
3. 组合等价关系： 为了描述一般的（潜在非正规的）结构，论文引入了集合 $X^3_{<} = \{(x, y, z) \mid x < y < z\}$ 上的一个等价关系 $\approx$。若若干三元组属于 $X$ 中的同一条链，则称它们是链连通的（chained）。关系 $\approx$ 是由这些链连通的三元组生成的等价关系。
4. 基结构构造： 对于每个等价类 $C \in X^3_{<} / \approx$，在自然基 $\{e_{xy}\}$ 上定义了一个特定的积 $\ast_C$：
   $$e_{xy} \ast_C e_{uv} = \begin{cases} e_{xv} & \text{若 } y=u \text{ 且 } (x, y, v) \in C \\ 0 & \text{否则} \end{cases}$$
   作者证明了这些 $\ast_C$ 是结合的，且与 $\cdot$ 完全相容。

主要贡献与结果

• 正规结构的刻画（第4节）： 论文确立了正规完全相容结构 $\ast$ 恰好对应于形式为 $\ast = \ast_\phi + \bullet$ 的双线性积，其中 $\phi \in \Gamma(J)$ 且 $\bullet$ 是一个湮灭值结构。根据推论 4.8，这些结构显式地由 $e_{xy} \ast e_{uv} = \sigma(x, v)\delta_{yu}e_{xv} + e_{xy} \bullet e_{uv}$ 给出，其中 $\sigma: X^2_{<} \to K$ 在链上取常数。这一描述依赖于中心 $\Gamma(J)$ 的特定形式，并涉及对 $X^2_{<} / \sim$（其中 $\sim$ 是对的链等价关系）的等价类，而非三元组。

• 完全分类（定理 5.12）： 主要结果提供了 $J$ 上所有完全相容结构的完整描述。定理 5.12 指出，任何此类结构 $\ast$ 都可以表示为：
  $$\ast = \bullet + \sum_{C \in X^3_{<}/\approx} \alpha_C \ast_C$$
  其中 $\bullet$ 是一个湮灭值结构，且 $\alpha_C \in K$。这表明完全相容结构的空间是由湮灭值积和与三元组的等价类相关的特定“基于链的”积 $\ast_C$ 生成的。

• 非正规结构的存在性： 论文证明了并非所有的完全相容结构都是正规的。

  • 例 5.15 构造了一个偏序集，其中一个 $\ast_C$（与 $\approx$-类相关的三元组结构）无法表示为 $\ast_\phi + \bullet$。这发生是因为正规性所需的条件（即对的等价性蕴含三元组的等价性）失效了。
  • 命题 5.19 证明了所有完全相容结构都是湮灭值结构（从而也是正规的），当且仅当偏序集的长度 $l(X) \le 2$。

• 正规性的充分条件： 推论 5.13 提供了一个关于偏序集 $X$ 的充分条件，使得所有完全相容结构均为正规：若 $(x, z) \sim (u, w)$ 蕴含对于所有相关三元组均有 $(x, y, z) \approx (u, v, w)$，则这些结构是正规的。作者指出通过例 5.16 可以发现，该条件是充分的但不是必要的。

意义与开放问题
本文阐明了幂零结合代数上相容结构的图景，特别是将其从矩阵代数扩展到了通用的关联代数。它强调了虽然许多经典代数（单位代数、自由代数等）仅拥有“正规”相容结构（由中心和湮灭子决定），但关联代数的 Jacobson 根却允许存在一种更丰富的、涉及三元组组合等价类的结构类。

作者明确提出了一个开放问题（问题 6.1）：刻画使得 $J(I(X, K))$ 上的所有完全相容结构均为正规的有限偏序集 $X$。本文提供的示例表明，推论 5.13 中的条件并非必要，因此对这些偏序集的完整刻画仍是一个尚未解决的问题。