On Hom-Analogues of Heaps and Trusses

技術要約：ホム・アナローグとしてのヒープとトラス（Hom-Analogues of Heaps and Trusses）

問題提起
本論文は、代数的なヒープ（heaps）、トラス（trusses）、およびブレース（braces）の理論を、ホム代数（Hom-algebraic）の設定へと拡張する必要性に取り組んでいる。古典的なヒープ（群を一般化する三項構造）、トラス（分配的な乗法を備えたヒープ）、およびブレース（分配則を介して群論と環論を連結する構造）は確立されているが、「ねじれ」た恒等式（公理が、特定の自己写像 $\alpha$ に従ってのみ成立する状態）の下での対応物である「ホム（Hom-）」構造は、未だ十分に発展していない。具体的には、著者らはホム・ヒープ、ホム・トラス、およびホム・ブレースを定義し、それらの構造的性質を確立し、これらの「ねじれた」構造と、古典的な構造およびホム・群との間の対応関係を明らかにすることを目指している。

手法
著者らは、ホム代数理論に根ざした構成的かつ公理的なアプローチを採用している。その手法には以下のステップが含まれる：

1. 定義と公理化： ホム・ヒープ、ホム・トラス（3つの異なる型）、およびホム・ブレース（3つの異なる型）の形式的な定義を導入する。これらの定義は、全単射なねじれ写像 $\alpha$（および場合によっては第2の写像 $\beta$）を組み込むことにより、古典的な公理（結合律、マルセフ恒等式、分配律）を適応させたものである。
2. 退縮（Retraction）と構成： ホム・ヒープとホム・群の関係を調査するため、「退縮」（特定の点において三項演算から二項演算を構成すること）を定義する。著者らは、退縮がホム・群を与えるための条件を分析しており、そこでは基点（base point）がねじれ写像の不動点であることが要求される。
3. 同値性の証明： 提案された3種類のホム・トラスおよびホム・ブレース間の同値性を確立する。これには、特定の条件（例：$\alpha = \beta$ または $\alpha = \text{id}$）の下で、定義が互いに崩壊するか、あるいは既知の構造に還元されることを証明することが含まれる。
4. 対応関係の分析： 特定の構造的条件（例えば、乗法部分がホム・群を形成する場合や、吸収元が存在する場合）が満たされるとき、ホム・トラスが自然にホム・ブレースを誘導すること（およびその逆）を示す。
5. 翻訳写像（Translation Maps）： ホム・ヒープにおける翻訳写像を利用して、異なる固定基点におけるホム・群のレトラクト間の同型性を証明する。

主要な貢献と結果

• ホム・ヒープとホム・群：

  • 本論文は、集合、三項演算、および全単射写像 $\alpha$ を持つホム・ヒープを定義する。これはホム・マルセフおよびホム結合律を満たす。
  • 定理： 点 $e$ におけるホム・ヒープのレトラクトは、$e$ が $\alpha$ の不動点（すなわち $\alpha(e) = e$）である場合に限り、ホム・群を形成する。
  • 著者らは、異なる固定基点間の翻訳写像が、結果として得られるホム・群の間の同型を誘導することを証明しており、これはヒープに関する古典的な結果を拡張するものである。
  • 全単射な対応関係が確立されている：すべてのホム・群はホム・ヒープを誘導し、すべてのホム・ヒープは固定点を持つ場合にホム・群を誘導する。

• ホム・トラス：

  • 3種類のホム・トラスが導入されている：
    • 型 (0)： ヒープ構造と乗法構造の両方に作用する単一のねじれ写像 $\alpha$ に基づくもの。
    • 型 (1)： 2つの可換な写像 $\alpha$ と $\beta$ を含む。ここでは $\alpha$ がヒープをねじれ、$\beta$ が乗法をねじれ、特定の分配則に従う。
    • 型 (2)： 結合律および分配律における $\alpha$ と $\beta$ の高次合成を含む、より複雑な変種。
  • 同値性： $\alpha = \beta$ であるとき、$\alpha$-ホム・トラスの型 (1) は $\alpha$-ホム・トラスの型 (2) と同値であることが示されている。さらに、型 (1) において $\alpha = \text{id}$ であるとき、型 (0) が回収される。
  • 構成： 著者らは、可換な自己同型写像によって演算をねじることにより、古典的なトラスからホム・トラスを構成する方法を示し、逆に、逆のねじれ操作を通じて古典的なトラスをホム・トラスから回収する方法を示す。

• ホム・ブレース：

  • トラスと同様に、2つの群構造（一つはアーベル群、もう一つはホム・群）を分配則によって連結する3種類のホム・ブレースが定義されている。
  • トラスとの対応： 著者らは、乗法部分がホム・群であるすべての型 (0) のホム・トラスが、型 (0) のホム・ブレースを生じさせることを証明している。逆に、単位元を持つホム・ブレースは、単位元を持つホム・トラスを与える。
  • 同様の対応関係が、特に冪等条件や吸収元（乗法を消滅させる元）の存在に関して、型 (1) および型 (2) の構造についても確立されている。

• 部分構造： 本論文は、ホム・サブヒープおよび正規ホム・サブヒープを定義し、正規性の基準を提供し、商構造に関する性質を確立している。

意義
本論文は、ヒープおよびトラスの理論をホム代数の設定へと拡張する統一的な枠組みを提供すると主張している。体系的にこれらの構造を定義し、それらの相互関係を証明することにより、本研究は古典的な分類および拡張の結果を一般化している。著者らは、この研究を「ホム・アフィア（Hom-affgebras）」（ホム・代数のアフィン対応物）の研究に向けた基礎的な一歩として位置づけている。

その意義は以下の点にある：

1. 一般化： ヒープ、トラス、およびブレースの豊かなメカニズムを、ねじれたホム代数の文脈へと見事に適応させたこと。
2. 統一： 3種類のホム・トラスおよびホム・ブレースが相互に関連しており、特定の制約の下で古典的またはより単純なホム構造に還元されることを示したこと。
3. 潜在的な応用： 著者らは、これらの構造が集合論的なヤン・バクスター方程式の解の研究において潜在的な応用を持つことを指摘しており、これは、古典的な設定における Brzeziński や Rump によって確立された軌跡を継承するものである。本論文は、特定のヤン・バクスター問題を解決することを主張しているのではなく、そのような調査のための代数的な基礎を築くものである。