Extended generalized permutahedra, and cointeracting bialgebras

技術要約：拡張一般化パーミュタヘドラと共相互作用代数

問題提起
本論文は、拡張一般化パーミュタヘドラ（EGP）の代数的構造を調査している。AguiarおよびArdila [1] は、デカルト積を乗法とし、面に基づく分解を余積として用いることで、EGP上のホップモノイド構造を以前に確立したが、共相互作用（cointeracting）バイラテラル（bialgebra）構造の存在に関する重要な空白が残されていた。組合せ論的ホップ代数の文脈において、共相互作用バイラテラルは通常、写像 $\delta': A \to B \otimes A$ を通じて $A$ が $B$ 上の余加群（comodule）となるようなバイラテラル $(A, \mu, \Delta)$ と第二のバイラテラル $(B, \mu, \delta)$ で構成される。著者らは、このような構造がEGPに対して存在するかどうか、もし存在する場合、それがどのような幾何学的または組合せ論的特徴を反映しているのかを問うている。

手法
著者らは、代数的構造を定式化するために、種（species）（有限集合から対称モノイダル圏への関手）の枠組みを採用している。彼らは以下の手法的な柱を利用している：

1. 多面体幾何学： 彼らは多面体の幾何学、特に多面体 $P$、その面 $F$、およびそれらの面における接錐（あるいはアフィン錐）$\text{cone}_F(P)$ の関係に焦点を当てて分析している。
2. ガロア接続： ある錐の劣錐と超錐の間のガロア接続を確立し、それをブレイド錐（braid cones）と前順序（preorders）の設定に特化させている。
3. 劣モジュラ関数： EGPと拡張劣モジュラ関数 $z: \mathcal{P}(I) \to \mathbb{R} \cup \{\infty\}$ の間の全単射を利用している。これにより、幾何学的な操作（面、接錐）を、関数上の操作（制限、余制限、および前順序に基づく修正）へと翻訳することが可能になる。
4. 計量代数（Measuring Algebras）： 古典的な余加群の定義の代わりに、著者らは「計量代数」の概念を用いている。彼らは、標準的な共相互作用条件が、代数 $B$ がバイラテラル $A$ を計量するということと等価であると主張している。この特定の文脈では、彼らはこれを逆転させ、EGPの代数（$A$）がアフィン錐EGPのバイラテラル（$B$）を計量するようにしている。

主要な貢献と結果

• 共相互作用写像の定義： 著者らは、EGPの種 $A$ とアフィン錐EGPの種 $B$ に対する余加群型の写像 $\delta: A \to A \otimes B$ を定義している。多面体 $P$ に対して、この写像は次のように定義される：
  $$\delta(P) = \sum_{F \text{ face of } P} (F, \text{cone}_F(P))$$
  ここで、$\text{cone}_F(P)$ は $P$ の面 $F$ における接錐である。

• 計量の枠組み： 本論文は、この構造が、$A$ が $B$ 上の余加群となる古典的な共相互作用バイラテラルの定義には適合しないことを示している。代わりに、これは「計量」の枠組み、すなわち代数 $A$ がバイラテラル $A$ および $B$ を計量するという枠組みに適合する。これは、技術的に異なる意味での共相互作用である。

• 劣モジュラ関数による明示的な記述：

  • 面： 劣モジュラ関数 $z$ によって定義されるEGPと、前順序 $P$ に対応する法錐（normal cone）を持つ面 $F$ について、面 $F$ の劣モジュラ関数は $z_P = \prod_{C \in b(P)} z_C$ で与えられる。ここで $b(P)$ は $P$ の「バブル（equivalence classes）」であり、$z_C$ は $z$ の特定の制限である。
  • 接錐： $\text{cone}_F(P)$ に対応する劣モジュラ関数を $z_P$ とする。これは次のように定義される：
    $$z_P(S) = \begin{cases} z(S) & \text{if } S \text{ is a down-set of } P \\ \infty & \text{otherwise} \end{cases}$$
    著者らは、$z_P$ がモジュラ関数であることを証明しており、これにより接錐が確かにアフィン錐であることを確認している。

• ブレイドファンと前順序： 本論文は、EGPの法ファン（normal fan）がブレイドファンの部分ファンの粗化（coarsening）であることを確立している。これは、EGPの幾何学を、指数集合 $I$ 上の前順序と直接結びつけている。EGPの面は、関連する前順序の縮退（contraction）に対応し、接錐はこれらの前順序から導出される特定のモジュラ関数に対応する。

• 主要定理（定理 8.1）： EGPの種（$\text{egp}$）とアフィン錐EGPの部分種（$\text{egca}$）は、種における共相互作用ビモノイド（cointeracting bimonoids）を形成する。具体的には、写像 $\delta_{\text{egp}}$ は、モノイド $(\text{egp}, \mu)$ による、ビモノイド $(\text{egp}, \mu, \Delta)$ とビモノイド $(\text{egca}, \mu, \Delta)$ の間の計量を構成する。

意義と主張
著者らは、本研究が拡張一般化パーミュタヘドラのための最初の明示的な共相互作用構造の構築を提供すると主張している。彼らは、この構造が、ほとんどの組合せ論的ホップ代数に見られる古典的な余加群構造ではなく、「計量代数」の概念に依拠しているという点で斬新であることを強調している。

本論文は、写像 $\delta$ が、多面体をその面とその面における局所幾何（接錐）へと分解するという基本的な幾何学的分解を反映していると断言している。これらの幾何学的操作を劣モジュラ関数と前順序の言語へと翻訳することで、本論文は共相互作用の完全な組合せ論的記述を提供している。著者らは、共相互作用は一般的な多面体とアフィン錐に対して成立するものの、バイラテラルの特定の「計量」特性は、拡張一般化パーミュタヘドラのクラスに限定された場合にのみ有効であると述べている。

本研究は、多面体幾何学への焦点の移行と、この特定の文脈における計量代数枠組みの導入を含む、以前のプレプリントの大幅な書き換えとして提示されている。これは新しい応用や将来の実験的方向を提案するものではなく、EGPの幾何学と組合せ論的ホップ代数理論を結ぶ理論的な代数的基礎を固めることを目的としている。