On Hom-Analogues of Heaps and Trusses

技术摘要：Hom-类堆（Heaps）与 Hom-桁（Trusses）

问题陈述
本文旨在解决将堆（heaps）、桁（trusses）和括号（braces）的代数理论扩展到 Hom-代数框架下的需求。虽然经典的堆（推广群的代数三元结构）、桁（配备了分配乘法的堆）和括号（通过分配律将群论与环论联系起来的结构）已得到充分研究，但其在“扭曲”恒等式下的对应物——即公理仅在某个特定的自映射 $\alpha$ 下成立的结构——仍处于发展不足的状态。具体而言，作者旨在定义 Hom-堆、Hom-桁和 Hom-括号，建立其结构性质，并阐明这些扭曲结构与经典结构及 Hom-群之间的对应关系。

方法论
作者采用了植根于 Hom-代数理论的构造性与公理化方法。该方法包括：

1. 定义与公理化： 引入 Hom-堆、三种不同类型的 Hom-桁以及三种不同类型的 Hom-括号的形式化定义。这些定义通过引入一个双射扭曲映射 $\alpha$（以及可能的第二个映射 $\beta$），对经典公理（结合律、Mal'cev 恒等式、分配律）进行了适配。
2. 收缩（Retraction）与构造： 研究 Hom-堆与 Hom-群之间的关系，通过定义“收缩”（在特定点处从三元运算构造二元运算）。作者分析了收缩产生 Hom-群的条件，特别要求基点必须是扭曲映射的固定点。
3. 等价性证明： 建立所提出的三种不同类型的 Hom-桁与 Hom-括号之间的等价关系。这涉及证明在特定条件下（例如 $\alpha = \beta$ 或 $\alpha = \text{id}$），这些定义如何相互坍缩或简化为已知结构。
4. 对应关系分析： 证明当满足特定结构条件（如乘法部分构成 Hom-群或存在吸收元）时，Hom-桁如何自然地诱导出 Hom-括号（反之亦然）。
5. 平移映射（Translation Maps）： 利用 Hom-堆中的平移映射来证明在不同固定基点下形成的 Hom-群之间的同构关系。

主要贡献与结果

• Hom-堆与 Hom-群：

  • 本文定义了 Hom-堆为一个带有三元运算和双射 $\alpha$ 的集合，且满足 Hom-Mal'cev 和 Hom-结合性质。
  • 定理： 在点 $e$ 处的 Hom-堆的收缩构成一个 Hom-群，当且仅当 $e$ 是 $\alpha$ 的固定点（即 $\alpha(e) = e$）。
  • 作者证明了不同固定基点之间的平移映射会诱导产生相应的 Hom-群之间的同构，从而扩展了关于堆的经典结论。
  • 建立了双射对应关系：每个 Hom-群都诱导一个 Hom-堆，且每个带有固定点的 Hom-堆都诱导一个 Hom-群。

• Hom-桁：

  • 引入了三种类型的 Hom-桁：
    • 类型 (0)： 基于单个扭曲映射 $\alpha$，该映射同时作用于堆结构和乘法结构。
    • 类型 (1)： 涉及两个交换映射 $\alpha$ 和 $\beta$，其中 $\alpha$ 扭曲堆，$\beta$ 扭曲乘法，并具有特定的分配律。
    • 类型 (2)： 一种更复杂的变体，涉及 $\alpha$ 和 $\beta$ 在结合律和分配律中的高阶复合。
  • 等价性： 研究表明，当 $\alpha = \beta$ 时，$\alpha$-Hom-桁的类型 (1) 等价于类型 (2) 的 $\alpha$-Hom-桁。此外，当 $\alpha = \text{id}$ 时，类型 (1) 还原为类型 (0)。
  • 构造： 本文展示了如何通过使用交换自同构来扭曲运算，从而从经典桁构造 Hom-桁；反之，如何通过逆扭曲从 Hom-桁恢复经典桁。

• Hom-括号：

  • 与桁类似，定义了三种类型的 Hom-括号，通过分配律将两种群结构（一个是阿贝尔群，另一个是 Hom-群）联系起来。
  • 与桁的对应关系： 作者证明，每一个乘法部分为 Hom-群的类型 (0) Hom-桁都会产生一个类型 (0) 的 Hom-括号。反之，一个含单位元的 Hom-括号产生一个含单位元的 Hom-桁。
  • 类似的对应关系也在类型 (1) 和类型 (2) 结构中得到建立，特别是在涉及幂等条件和吸收元（使乘法为零的元素）的情况下。

• 子结构： 本文定义了 Hom-子堆和正规 Hom-子堆，提供了正规性的判据，并建立了与商结构相关的性质。

意义
本文声称提供了一个统一的框架，将堆和桁的理论扩展到了 Hom-代数的情境中。通过系统地定义这些结构并证明它们之间的相互关系，该工作推广了经典的分类与扩张结果。作者将这项研究定位为研究 “Hom-仿代数”（Hom-affgebras，即 Hom-代数的仿射对应物）的基础性步骤。

其意义在于：

1. 推广： 成功地将堆、桁和括号的丰富机制适配到 Hom-代数的扭曲语境中。
2. 统一： 展示了三种类型的 Hom-桁与 Hom-括号是如何相互关联的，并在特定约束下简化为经典或更简单的 Hom-结构。
3. 潜在应用： 作者指出，这些结构在研究集合论解的杨-巴克西斯方程（Yang–Baxter equation）以及非结合几何方面具有潜在应用，延续了 Brzeziński 和 Rump 在经典背景下建立的发展轨迹。本文并不声称解决了特定的杨-巴克西斯问题，而是为这类研究奠定了代数基础。