[論文レビュー] Group operads as crossed interval groups

Jun Yoshida|arXiv (Cornell University)|Jun 8, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 4

ひとこと要約

この論文は、群の作用の圏から交差区間群の圏への完全忠実関手を確立し、群の作用が対称群作用の下での「なだらかで作用的」な交差区間群であることを証明している。主な貢献は、群の作用が交差区間群の圏内に反射的部分圏として埋め込まれるカテゴリカル同値性を確立したことである。これにより、代数的トポロジーとホモトピー論における対称性の2つの記述枠組みが統合された。

ABSTRACT

The goal of the paper is to establish and to investigate a fully faithful embedding of the category of group operads into that of crossed interval groups. For this, we introduce a monoidal structure on the slice of the category of operads over the operad of symmetric groups. Comparing with the monoidal structure on the category of interval sets discussed in the author's previous work, we obtain a monoidal functor connecting these two categories. It will be shown that this actually induces a fully faithful functor on monoid objects and does not change the underlying sets, so we obtain a required embedding. The conditions for crossed interval groups to belong to the essential image will be proposed; namely in terms of commutativity of certain elements. As a result, it will turn out that the group operads form a reflective subcategory of the category of crossed interval groups. Finally, we will discuss monoid objects in symmetric monoidal category and Hochschild homologies on them.

研究の動機と目的

• 群の作用と交差区間群の2つの対称性記述枠組みを統合すること。
• 群の作用と特定の種類の交差区間群の間のカテゴリカル同値性を確立すること。
• 群の作用が、対称群作用の下で「作用的」かつ「なだらか」な交差区間群に正確に対応することを示すこと。
• 群の作用から交差区間群への完全忠実関手を構成し、反射的部分圏構造を可能にすること。
• この埋め込みの本質的像を明示的に記述し、交差区間群の広範な文脈の中で群の作用がどのように特徴づけられるかを明確にすること。

提案手法

• 対称群作用の下での作用の圏 $\mathbf{Op}^{/\mathfrak{S}}$ のスライス圏にモノイド構造 $\rtimes$ を構成し、群構造をモノイド対象として符号化可能にする。
• 関手 $\Psi: (\mathbf{Op}^{/\mathfrak{S}})^{*/} \to \mathbf{Set}^{/\mathfrak{S}}_{\nabla}$ を定義し、これが厳密にモノイド的であることを示し、モノイド対象の圏への関手を誘導する。
• $\Psi$ の厳密モノイド性を用いて、群の作用のモノイド構造を交差区間群の圏へ持ち上げ、完全忠実関手 $\widehat{\Psi}: \mathbf{GrpOp} \to \mathbf{CrsGrp}^{/\mathfrak{S}}_{\nabla}$ を得る。
• この関手 $\widehat{\Psi}$ の本質的像を特定するための2条件（作用的性：特定の元の可換性、なだらかさ：有限性と整合性条件）を同定する。
• 随伴関手定理を適用して $\widehat{\Psi}$ が左随伴を持つことを示し、$\mathbf{GrpOp}$ が $\mathbf{CrsGrp}^{/\mathfrak{S}}_{\nabla}$ の反射的部分圏であることを確認する。
• 関手 $\mathfrak{J}: \widetilde{\Delta} \to \nabla$ 沿いのベースチェンジを活用し、特にブレード群作用のケースにおいて、ホッシャイド・チェーン複体と構築された交差区間群を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 群の作用は、完全忠実かつ構造を保つ方法で、交差区間群の圏にどのように埋め込むことができるか？
• RQ2 群の作用から生じるための、$\mathfrak{S}$ 上の交差区間群に必要な・十分な条件は何か？
• RQ3 群の作用と特定のクラスの交差区間群の間にはカテゴリカル同値性があるか？もしあるならば、その同値性の性質は何か？
• RQ4 ${\mathcal{G}}$-対称モノイド圏におけるモノイドのホッシャイド・チェーン複体は、関連する交差区間群構造から再構成可能か？
• RQ5 増加交差単体群 $\mathbfcal Z$ は、関手 $\mathfrak{J}^\natural\mathcal{G}$ を介して群の作用とホッシャイド・ホモロジーをどのように結びつけるか？

主な発見

• 群の作用の圏 $\mathbf{GrpOp}$ は、関手 $\widehat{\Psi}$ を通じて、$\mathfrak{S}$ 上の交差区間群の圏 $\mathbf{CrsGrp}^{/\mathfrak{S}}_{\nabla}$ に完全忠実に埋め込まれる。
• 群の作用は、対称群作用の下で「作用的」かつ「なだらか」な交差区間群として正確に対応するための構造的特徴づけを提供する。
• 埋め込み $\widehat{\Psi}$ は完全忠実であり、左随伴を持つため、$\mathbf{GrpOp}$ は $\mathbf{CrsGrp}^{/\mathfrak{S}}_{\nabla}$ の反射的部分圏である。
• ${\mathcal{G}}$ が群の作用であるとき、${\mathcal{G}}$-対称モノイド的アーベル圏におけるモノイドのホッシャイド・チェーン複体は、$\Delta^{\mathrm{op}}$ への制限によって得られる $A^{\circledcirc}_\bullet$ のパラサイクル的対象に関連するチェーン複体と同型である。
• ブレード群作用 $\mathcal{B}$ の場合、$\mathbfcal Z$、$\mathfrak{J}^\natural\mathcal{B}$、$\mathfrak{J}^\natural\mathfrak{S}$ を含む標準的なプッシュアウト四角形が存在し、これにより標準的なホッシャイド・チェーン構成が保証される。
• 増加交差単体群 $\mathbfcal Z$ から $\mathfrak{J}^\natural\mathcal{G}$ への写像は、増加交差単体群の写像と双対的に一対一対応し、連結な場合にホッシャイド複体が選択に依存せず定義可能であることを保証する。