The Parafree Conjecture for associative algebras

技术摘要：结合结合代数的 Parafree 猜想

问题陈述
本文探讨了在增广结合结合代数范畴内 Parafree 猜想的有效性。在群论中，一个 parafree 群被定义为一个剩余幂零群，且其下中心序列商与自由群相同。一个被称为 Parafree 猜想的核心开放问题是：对于每一个有限生成的 parafree 群 $G$，其二阶同调群 $H_2(G; \mathbb{Z})$ 为零。

该猜想已被推广到其他代数范畴，包括李代数和增广结合代数。Ivanov 和 Lopatkin [IL21] 此前构造了一个具有无限上同调维度的有限生成 parafree 增广结合代数，从而反驳了“强”形式的猜想（即断言上同调维度 $\le 2$）。然而，关于是否对于每个有限生成 parafree 增广结合代数 $B$ 都有 $H_2(B) = 0$ 的特定问题仍然悬而未决。本文旨在解决这一特定问题。

方法论
作者利用一个特定自由单半群之子单半群的单半群代数构造了一个反例。其方法论通过以下步骤进行：

1. 构造代数： 作者定义了一个在域 $k$ 上由六个元素 $\{a, b, c, d, x, y\}$ 生成的增广代数 $A$，其受限于由以下恒等式导出的无穷集合关系：
   $$e_\ell = (1 + a)(1 + b)^\ell(1 + c) - (1 + d)(1 + x)^\ell(1 + y) = 0, \quad \ell \ge 0.$$
   该代数被识别为自由单半群的一个子单半群的单半群代数 $k[L]$，这种结构已知是有限生成的，但不是有限呈现的（基于 Spehner 的构造 [Sp77]）。

2. 辅助代数与 Para-等价性： 为了分析其同调性质，作者引入了一个由相同生成元及仅前两个关系（$e_0, e_1$）定义的辅助代数 $A_0$。作者证明了从四个生成元的自由代数 $k\langle a, b, c, d \rangle$ 到 $A_0$ 的规范映射是一个 para-等价（在所有幂零商上均为同构）。这确立了 $A_0$ 是秩为四的 parafree 代数。

3. 通过 Gröbner–Shirshov 基进行同调计算： 作者利用 Anick 分辨式和 Gröbner–Shirshov 基理论来计算二阶同调群 $H_2(A)$。通过建立该族关系 $\{f_\ell\}$（与 $\{e_\ell\}$ 线性等价）构成具有特定极大项的约化 Gröbner–Shirshor 基，作者证明了 $A_0 \to A$ 的核对应于 $A_0$ 增广理想的幂的交集，记作 $I(A_0)^\omega$。

4. 超限增广级数： 本文分析了增广理想 $I(A_0)$ 的超限幂。通过使用序数索引的幂，作者表明级数 $\{I(A_0)_\alpha\}$ 具有 $\omega^2$ 的超限长度，这意味着有限幂的交集 $I(A_0)^\omega$ 是非零的（具体而言，它等于投影 $A_0 \to A$ 的核），而超限级数的交集最终在 $\omega^2$ 处消失。

核心结果
本文确立了以下主要定理：

• 定理 A： 增广代数 $A$ 是秩为四的 parafree 代数。然而，其二阶同调群是可数无穷维的：
  $$H_2(A) \cong k^{\oplus \aleph_0}.$$
  此外，$A$ 是有限生成的，但不是有限呈现的。

• 定理 B： 规范映射 $k\langle a, b, c, d \rangle \to A_0$ 是一个 para-等价。投影 $A_0 \to A$ 的核恰好是 $A_0$ 增广理想的幂的交集 $I(A_0)^\omega$。二阶同调 $H_2(A)$ 同构于商空间：
  $$\frac{I(A_0)^\omega}{I(A_0) \cdot I(A_0)^\omega + I(A_0)^\omega \cdot I(A_0)} \cong \bigoplus_{\ell \ge 2} k.$$
  该同调的一个基由元素 $(1+a)b^\ell(1+c) - (1+d)x^\ell(1+y)$ （对于 $\ell \ge 2$）的类表示。

• 定理 C： 超限增广级数 $\{I(A_0)_\alpha\}$ 的超限长度为 $\omega^2$。具体而言，$I(A_0)_{\omega^2} = 0$，但对于任何序数 $\alpha < \omega^2$，都有 $I(A_0)_\alpha \neq I(A_0)_{\alpha+1}$。

意义与结论
本研究的主要贡献在于反驳了结合代数的 Parafree 猜想的结合代数类比。作者证明了即使在有限生成的条件下，$H_2(B) = 0$ 这一性质对于所有有限生成的 parafree 增广结合代数并不成立。

本文阐明，虽然 parafree 代数与自由代数共享其幂零商，但它们并不一定共享自由代数的同调有限性质（特别是 $H_2$ 的消失）。所提供的反例是自由单半群的一个有限生成、非有限呈现的子单半群的单半群代数。这一结果回答了 Ivanov 和 Lopatkin 关于该范畴内二阶同调群是否消失的特定问题。这项工作依赖于单半群理论、Gröbner–Shirshov 基以及增广结合代数同调代数之间的相互作用，并未提出超出解决所述猜想之外的进一步应用或扩展。