[論文レビュー] Simplicial Endomorphisms

Kosta Došen|ArXiv.org|Jan 25, 2003

Homotopy and Cohomology in Algebraic Topology被引用数 5

ひとこと要約

本稿は、単体的自己準同型のモノイド $ϴ_n$ を、生成元と関係式による完全な提示として、自己完備的に与える。$ϴ_n$ は単体的圏 $Δ$ の自己準同型モノイドである。本稿は、装飾図（frieze diagrams）を通じて、随伴とテンパラー＝ライブ代数との深い関係を明らかにし、$ϴ_n$ がこれらの代数のモノイドの部分モノイドとして記述されることを示す。また、$Δ$ 上の順序を保つ関数と装飾構造との間の新規な関係を提示する。

ABSTRACT

The monoids of simplicial endomorphisms, i.e. the monoids of endomorphisms in the simplicial category, are submonoids of monoids one finds in Temperley-Lieb algebras, and as the monoids of Temperley-Lieb algebras are linked to situations where an endofunctor is adjoint to itself, so the monoids of simplicial endomorphisms are linked to arbitrary adjoint situations. This link is established through diagrams of the kind found in Temperley-Lieb algebras. Results about these matters, which were previously prefigured up to a point, are here surveyed and reworked. A presentation of monoids of simplicial endomorphisms by generators and relations has been given a long time ago. Here a closely related presentation is given, with completeness proved in a new and self-contained manner.

研究の動機と目的

• 単体的自己準同型のモノイド $\mathcal{O}_n$ を、生成元と関係式によって自己完備的に完全に提示すること。
• 単体的自己準同型と随伴函手の状況との間の体系的な関係を確立し、テンパラー＝ライブ代数で観察される関係を一般化すること。
• 『装飾』（friezes）——随伴から生じる図式的構造——を導入し、その性質を分析し、$Δ$ 上の有限型の順序を保つ $Δ$ への自己準同型と同型であることを示すこと。
• $\mathcal{O}_n$ がテンパラー＝ライブ代数に関連するモノイド $\mathcal{K}_\omega$ の部分モノイドに同型であることを示すこと。
• 既存の $\mathcal{O}_n$、$\mathcal{K}_\omega$、および随伴に関する結果を統合し、一貫性のある自己完備的な枠組みに再構築すること。

提案手法

• $\mathcal{O}_n$ の要素に対する正規形を用いて、生成元と関係式による提示の完全性を証明する。
• 証明理論におけるカット除去に類似した「合成の削除」の技法を用い、モノイド内の合成を分析・簡略化する。
• 生成元 $p^i$ と $q^i$ を、標準的な単体的生成元 $\sigma_i$ と $\delta_i$ の合成として定義し、それぞれ右分岐型および左分岐型の自己準同型を表す。
• $\mathbb{N}$ の有限型の順序を保つすべての自己準同型のモノイド $\mathcal{O}_\omega$ を構成し、$\mathcal{K}_\omega$ の部分モノイドに同型であることを示す。
• 装飾図（frieze diagrams）を随伴のための図式的計算体系として導入し、$\mathbb{N}$ の有限型の順序を保つ自己準同型と一対一対応することを示す。
• 標準的な単体的生成元 $\sigma_i$ と $\delta_i$ を $\mathcal{K}_\omega$ に埋め込み、$\sigma_i \mapsto \lfloor{2i+2}\rfloor$、$\delta_i \mapsto \lceil{2i+1}\rceil$ と定義し、この代数的設定で単体的関係が成立することを検証する。

実験結果

リサーチクエスチョン

• RQ1 単体的自己準同型のモノイド $\mathcal{O}_n$ を、自己完備的に生成元と関係式によって完全に提示することは可能か？
• RQ2 圏論における単体的自己準同型と随伴との間の明確な関係は何か？
• RQ3 元々テンパラー＝ライブ代数から生じた装飾図（frieze diagrams）は、$\mathbb{N}$ 上の順序を保つ関数とどのように関係するか？
• RQ4 モノイド $\mathcal{O}_n$ は、どのようにしてテンパラー＝ライブ代数のモノイドの部分モノイドとして埋め込まれるか？
• RQ5 標準的な単体的圏 $\Delta$ は、単一の対象によって生成される自由モナドとして再構成可能か？また、これは随伴とどのように関係するか？

主な発見

• $\mathcal{O}_n$ は生成元 $p^i$ と $q^i$ と関係式 $p^i p^j = p^j p^i$（$i \leq j$）、$q^i q^j = q^j q^i$（$i \leq j$）、$p^i q^j = q^j p^i$（$i \leq j$）、および $p^i q^i = p^i q^{i+1} = \mathbf{1}$ によって完全に提示される。
• $\mathbb{N}$ の有限型の順序を保つすべての自己準同型のモノイド $\mathcal{O}_\omega$ は、装飾の $\mathcal{K}$-同値類のモノイド $\mathcal{K}_\omega$ の部分モノイドに同型である。
• $\mathbb{N}$ の有限型の順序を保つ自己準同型と有限型の装飾（friezes）との間に一対一対応が存在し、代数的構造と図式的計算体系との直接的な関係を確立する。
• 標準的な単体的生成元 $\sigma_i$ と $\delta_i$ は、$\sigma_i \mapsto \lfloor{2i+2}\rfloor$ および $\delta_i \mapsto \lceil{2i+1}\rceil$ と埋め込まれ、この設定ですべての単体的関係が成立することが確認された。
• 単体的圏 $\Delta$ は、単一の対象によって生成される自由モナドと同型であり、この構成は随伴データから自然に導かれることが示された。
• $\mathcal{O}_n$ がテンパラー＝ライブ代数に関連するモノイドの部分モノイドであることが示され、自己随伴の場合に知られていた関係を一般の随伴設定に一般化した。