Totally compatible structures on the radical of an incidence algebra

技術的要約：冪等代数の根基上の完全適合構造

問題提起
本論文は、有限ポセット $X$ 上の冪等代数 $I(X, K)$ のヤコブソン根基 $J = J(I(X, K))$ 上の**完全適合構造（totally compatible structures）**の分類を調査するものである。ベクトル空間 $V$ 上の2つの双線型積 $\cdot_1$ と $\cdot_2$ は、すべての $a, b, c \in V$ に対して以下の恒等式を満たすとき、完全適合であると定義される：
$$(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)$$
著者は、冪等代数の標準的な乗法 $\cdot$ と完全適合な、 $J$ 上のすべての結合的積 $\ast$ を明示的に記述することを目的としている。本研究は、冪等代数根基の特殊なケースである厳密な上三角行列代数（$UT_n(K)$）に関する先行研究を、任意の有限ポセットというより広い文脈へと一般化するものである。

手法および定義
本論文は、「固有（proper）」な完全適合構造と「非固有（non-proper）」な完全適合構造を区別する、構造的分解アプローチを採用している。

1. 固有構造（Proper Structures）： 完全適合構造 $\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$ は元の代数の零化元（annihilator）へ写し、元の積は $\bullet$ の零化元へ写す。
2. 中心元解析（Centroid Analysis）： 著者は、根基 $J$ の中心 $\Gamma(J)$ を特徴付けている。任意の $\phi \in \Gamma(J)$ は、鎖（chain）上で一定である関数 $\sigma: X^2_{<} \to K$ によって決定される写像 $\phi_\sigma$ と、零化元値の線型写像の和として表されることが示されている。
3. 組合せ論的同値関係： 一般的な（潜在的に非固有な）構造を記述するために、著者は $X^3_{<} = \{(x, y, z) \mid x < y < z\}$ 上の同値関係 $\approx$ を導入する。2つの三つ組（triples）が同じ鎖に属しているとき、それらは*連鎖（chained）*しているという。関係 $\approx$ は、これらの連鎖する三つ組によって生成される同値関係である。
4. 基底構造の構成： 各同値類 $C \in X^3_{<} / \approx$ に対して、自然な基底 $\{e_{xy}\}$ 上の特定の積 $\ast_C$ が以下のように定義される：
   $$e_{xy} \ast_C e_{uv} = \begin{cases} e_{xv} & \text{if } y=u \text{ and } (x, y, v) \in C \\ 0 & \text{otherwise} \end{cases}$$
   著者は、これらの $\ast_C$ が結合的であり、かつ $\cdot$ と完全適合であることを証明している。

主要な貢献および結果

• 固有構造の特性付け（第4節）： 本論文は、固有の完全適合構造が、$\phi \in \Gamma(J)$ と零化元値の構造 $\bullet$ を用いた形式 $\ast = \ast_\phi + \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では、特定の $\approx$ 類（三つ組に関連するもの）に関連する構造 $\ast_C$ が、$\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を通じて、この条件は十分条件ではあるが、必要条件ではないことを指摘している。

意義および未解決問題
本論文は、冪等結合的代数の完全適合構造の状況を明確にしており、特に行列代数のケースを超えて、一般的な冪等代数へと展開している。多くの古典的な代数（単元を持つもの、自由なもの、など）は、典型的には「固有」な完全適合構造（中心と零化元によって決定されるもの）のみを持つが、冪等代数のヤコブソン根基は、三つ組の組合せ論的同値類に関わる、より豊かなクラスの構造を許容することを明らかにしている。

著者は、明示的に未解決問題（問題6.1）を挙げている。それは、すべての完全適合構造が固有となるような有限ポセット $X$ を特徴付けることである。本論文は、系5.13の条件が必ずしも必要ではないことを示す例を提示しており、これらポセットの完全な特徴付けは依然として未解決の課題として残されている。