[論文レビュー] Natural Associativity without the Pentagon condition

William P. Joyce|ArXiv.org|Sep 14, 2001

Advanced Topics in Algebra参考文献 7被引用数 9

ひとこと要約

本稿では、五角形条件を自然な自己同型 𝔮 に置き換えることでモノイダル圏の変形を導入し、結合性からの逸脱を捉える。根付き平面2分木と整合性群oids を用いて、前モノイダル、𝔮-擬モノイダル、𝔮-ブレッド擬モノイダル構造の整合性定理を確立し、それらを置換と線形順序に関連づけながら、カタラン数の複雑さを回避する。

ABSTRACT

A premonoidal category is equipped only with a bifunctor and a natural isomorphism for associativity. We introduce a (deformation) natural automorphism representing the deviation from the Pentagon condition. We uncover a binary tree representation for all diagrams involving associativity natural isomorphisms and (deformation) natural automorphisms and provide a link to permutations and linear orderings. This leads to other notions of premonoidalness. We define these notions and prove coherence results for each.

研究の動機と目的

• モノイダル圏が純粋なフェルミ統計をモデル化する能力に限界があることに対処する。ここでは結合性が (a⊗b)⊗c = −a⊗(b⊗c) を満たさねばならず、これは五角形条件を破る。
• 五角形図の破綻を測る自然な自己同型 𝔮 を導入することで、量子理論における非結合的粒子統計の枠組みを構築すること。
• ラカ・ワイナー計算のような量子力学における明確でない結合スキームのための組合せ的かつ圏論的基盤を提供する。具体的には、曖昧な図の射影を構造的な木ベースの整合性に置き換える。
• 前モノイダル、擬モノイダル、𝔮-擬モノイダル、𝔮-ブレッド擬モノイダルといった新しい圏を導入し、それぞれが異なる整合性群oids と図式的規則を持つように一般化する。
• カタラン数に依存せず、組合せ論を単純化するため、根付き平面2分木と原始的矢印操作に基づいて、これらの構造の整合性定理を確立する。

提案手法

• 前モノイダル圏において結合性が自然同型にしかならない場合に、五角形条件の不成立を表す自然な自己同型 𝔮 を導入する。
• 整合性図式をレベルを持つ根付き平面2分木（RBTree）として表現し、𝔮 を内部ノード間のレベル交換操作として作用させる。
• 原始的操作（ノードの接ぎ合わせと刈り取り）に基づく整合性群oids を定義する。規則は 𝔮-三角形、𝔮-五角形、および十二角形などの図式に符号化される。
• 木の操作と置換の関係を確立し、群oids 構造が隣接転置と上下の置換に対応することを示す。
• 原始的矢印の最大列に関する帰納法により整合性定理を証明し、任意の図式を、基底ケースで可換性が保証される標準形に還元する。
• 平面図式（例：十二角形、十四角形）を用いて高次の整合性関係を符号化し、十二角形がヤン・バクスター型条件を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 五角形条件を満たさない状況において、結合性の自然同型を定義可能か？その場合、整合性はどのような構造に置き換わるか？
• RQ2 完全な結合性からの逸脱を代数的および組合せ論的に捉えるにはどうすればよいか？また、自己同型 𝔮 はその過程でどのような役割を果たすか？
• RQ3 前モノイダル圏の整合性群oids と置換、あるいは線形順序との関係は何か？
• RQ4 新たな構造、すなわち 𝔮-擬モノイダルおよび 𝔮-ブレッド擬モノイダル構造は、モノイダル圏やブレッド圏をどのように一般化するか？それらに適用可能な整合性定理は何か？
• RQ5 アソシアヘドロンは 𝔮-変形された多面体に一般化可能か？もし不可能ならば、どのような代替的な幾何的構造が生じるか？

主な発見

• 本稿では、十二角形と2つの十四角形図式を含む有限の図式集合を用いて、𝔮-擬モノイダル圏の整合性定理を証明し、原始的矢印から構成されるすべての図式が可換であることを保証する。
• 𝔮-擬モノイダル圏の整合性群oids は、レベル交換操作を伴う根付き2分木の群oids と同型であり、カタラン数の複雑さを回避する組合せ的基盤を提供する。
• 十二角形図式がヤン・バクスター条件を満たすことが示され、𝔮-自己同型の背後にはブレッドのような構造が存在することが明らかになる。
• 𝔮-ブレッド擬モノイダル構造は、十角形と 𝔮-五角形図式のみを保持し、ブレッド構造を 𝔮 に備えた弱いが依然として整合性のあるシステムを形成する。
• 𝔮-自己同型は2分木の内部ノードのレベルを入れ替えるものとして解釈され、葉への拡張が 𝔮-擬モノイダル構造を導く。
• 本稿では、元の平面図式が多面体に折り畳めないにもかかわらず、隣接転置に対応する辺を持つ、パーミュタヘドロンに類似た構造を 𝔮-アソシアヘドロンの代替として構成する。