[論文レビュー] Note on commutativity in double semigroups and two-fold monoidal categories

Joachim Kock|arXiv (Cornell University)|Aug 17, 2006

semigroups and automata theory参考文献 12被引用数 39

ひとこと要約

本稿では、任意のダブル半群において、特定の16要素の再配置恒等式が、単位が存在しない場合でも、ある条件下で可換性を強制することを確立している。この結果を拡張して、弱単位を備えた厳密に結合的な2重モノイド圏が、必然的に退化した対称的構造をとることを示しており、これは1対象1射の3型群小を用いた、すべての危曲なホモトピー3型の実現が不可能であることを示唆している。

ABSTRACT

A concrete computation -- twelve slidings with sixteen tiles -- reveals that certain commutativity phenomena occur in every double semigroup. This can be seen as a sort of Eckmann-Hilton argument, but it does not use units. The result implies in particular that all cancellative double semigroups and all inverse double semigroups are commutative. Stepping up one dimension, the result is used to prove that all strictly associative two-fold monoidal categories (with weak units) are degenerate symmetric. In particular, strictly associative one-object, one-arrow 3-groupoids (with weak units) cannot realise all simply-connected homotopy 3-types.

研究の動機と目的

• 単位を含まないダブル半群における可換性現象を調査し、古典的なEckmann-Hiltonの議論が適用できない状況を対象とする。
• 単位が存在しない場合でも、キャンセル可能または逆元を備えたダブル半群が、必然的に可換であるかどうかを特定する。
• 上記の分析を、特に2重モノイド圏を含む高階カテゴリカル構造へと拡張し、その構造的制約を同定する。
• これらの結果が、弱単位を備えた厳密3型群小がすべての単連結ホモトピー3型を実現可能かどうかに与える影響を検討する。

提案手法

• 12回のスライドと16要素を用いた幾何的タイルベースの計算により、ダブル半群における非自明な再配置恒等式を示す。
• 図式的表現を用いて交換法則と結合則を適用し、16要素の可換性恒等式を導出する。
• キャンセル可能および逆元の性質を活用して、恒等式内の未名義要素を削除し、完全な可換性を証明する。
• ダブル半群をCatにおける厳密なダブルモノイドとしてモデル化することで、この結果を圏論的設定に翻訳する。
• 弱単位の存在とそのキャンセル可能性を用いて、構造を保存する同値関手Fを構成し、対称性の構成を可能にする。
• 完全忠実かつ強く乗法的な関手Fを用いて、16要素恒等式から得られるFX ⊗ FY = FY ⊗ FXの等式を基に、対称性同型σを定義する。

実験結果

リサーチクエスチョン

• RQ1 交換法則と結合則のみを用いて、単位を含まないダブル半群において可換性を導出できるか？
• RQ2 キャンセル可能または逆元を備えたダブル半群が、単位が存在しない場合でも、必然的に可換であるか？
• RQ3 弱単位を備えた厳密に結合的な2重モノイド圏において、どのような構造的制約が生じるか？
• RQ4 1対象1射の弱単位を備えた3型群小は、すべての単連結ホモトピー3型を実現可能か？
• RQ5 2重モノイド圏におけるEckmann-Hilton風の議論によって誘導される対称性は、必然的に退化しているか？

主な発見

• すべてのダブル半群において16要素の再配置恒等式が成り立つ：配置全体を回転させても積の値は変わらず、未名義要素の順序が保持される。
• すべてのキャンセル可能なダブル半群は可換である。16要素恒等式内の空白要素はキャンセル性により消去可能である。
• すべての逆元を備えたダブル半群は可換である。逆元の性質により、未名義要素の同一化が可能である。
• 弱単位を備えたすべての厳密に結合的な2重モノイド圏は、退化した対称的構造をとる。つまり、ブレーディングは自明である。
• 弱単位を備えた厳密に結合的な1対象1射の3型群小は、誘導される対称性の退化性のため、すべての単連結ホモトピー3型を実現できない。
• このような2重モノイド圏における対称性は、単位および交換同型の合成から生じるが、16要素恒等式により、それが必然的に退化している。