[論文レビュー] Framed discs operads and the equivariant recognition principle

Paolo Salvatore, Nathalie Wahl|ArXiv.org|Jun 28, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用数 6

ひとこと要約

本稿は、フレームド $n$-ディスクホモトピー型 $f\mathcal{D}_n$ の同変認識原理を確立し、$f\mathcal{D}_n$ が作用する群的空間が、$SO(n)$-空間の $n$ 重ループ空間と弱ホモトピー同値であることを示している。トポロジカルおよびチェーンのオペラッドに対して半直積構成を導入し、$H$-モジュールに対するコーサン・デュアルリティを定義し、$f\mathcal{D}_n$ の有理ホモロジーをバタリン＝ヴィルコフィスキー代数として計算し、$S^1$-空間上の二重ループ空間への応用を含む。

ABSTRACT

The framed n-discs operad fD_n is studied as semidirect product of SO(n) and the little n-discs operad. Our equivariant recognition principle says that a grouplike space acted on by fD_n is equivalent to the n-fold loop space on a SO(n)-space. Examples of fD_2-spaces are nerves of ribbon braided monoidal categories. We compute the rational homology of fD_n. Koszul duality for semidirect product operads of chain complexes is defined and applied to compute the double loop space homology as BV-algebra.

研究の動機と目的

• 反復ループ空間の古典的認識原理を、フレームド $n$-ディスクオペラッド $f\mathcal{D}_n$ を用いて回転対称性を含む形に拡張すること。
• 群的連結性の条件下で、$SO(n)$-空間と $f\mathcal{D}_n$ が作用する空間との間の圏同値を確立すること。
• トポロジカルおよびチェーン複体におけるオペラッドに対して、半直積構成を定義し、$G$-空間上の代数的構造を可能にする。
• チェーン複体の半直積オペラッドに対するコーサンデュアルリティ理論を構築し、半直積構造を保存すること。
• 最小モデルと微分作用素を用いて、$f\mathcal{D}_n$ の有理ホモロジーおよび二重ループ空間ホモロジーをBV代数として計算すること。

提案手法

• フレームド $n$-ディスクオペラッド $f\mathcal{D}_n$ を、小 $n$-ディスクオペラッド $\mathcal{D}_n$ と $SO(n)$ の半直積 $\mathcal{D}_n \rtimes SO(n)$ として表現する。
• $G$-オペラッド $\mathcal{A}$ に対して、半直積オペラッド $\mathcal{A} \rtimes G$ を定義し、$\Sigma_k$-作用の対角的構造と、$G$-作用によるねじれ付きの合成を含む。
• ホモロジー関手が半直積と可換であることを用い、$f\mathcal{D}_n$-代数の有理ホモロジーがBV代数構造を誘導することを示す。
• チェーン複体の半直積オペラッドに対するコーサンデュアルリティを定義し、双対が依然として半直積構造を保ち、導来圏同値を誘導することを保証する。
• $P\rtimes H$-代数のオペラッド的ホモロジーを $H(C_P(A))$ として定義し、$C_P(A)$ を微分が $d_1 + d_2$ でねじれたコバール型複体とする。
• この道具立てを用いて、$S^1$-空間 $X$ に対して $H_*(\Omega^2X)$ をBV代数として計算し、最小モデル $M(X)$ と $S^1$-作用によって誘導される微分作用素 $\Delta$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 反復ループ空間の古典的認識原理を、回転対称性を含む形にどのように拡張できるか？
• RQ2 $f\mathcal{D}_n$ の有理ホモロジーの代数的構造は何か？
• RQ3 群作用を伴うオペラッドに対してコーサンデュアルリティを一般化でき、半直積構造を保存できるか？
• RQ4 $S^1$-空間上の二重ループ空間ホモロジーに現れるBV代数構造を、最小モデルからどのように計算できるか？
• RQ5 BV作用素 $\Delta$ が球面ホモロジー類に与える幾何的解釈は何か？

主な発見

• フレームド $n$-ディスクオペラッド $f\mathcal{D}_n$ は、半直積 $\mathcal{D}_n \rtimes SO(n)$ に同型であり、$f\mathcal{D}_n$-代数は、$SO(n)$-空間の圏における $\mathcal{D}_n$-代数として解釈可能である。
• 同変認識原理により、群的 $f\mathcal{D}_n$-空間は、$SO(n)$-空間の $n$ 重ループ空間と弱ホモトピー同値である。
• $f\mathcal{D}_n$ の有理ホモロジーはBV代数として計算され、任意の $f\mathcal{D}_n$-代数の有理ホモロジーにはBV代数構造が誘導される。
• BVオペラッドは、適切なシフトを除いて自己コーサン双対的であり、半直積オペラッドに対するコーサンデュアルリティは半直積構造を保存する。
• $2$-連結で型が有限の $S^1$-空間 $X$ に対して、$BV^\dagger$-代数 $\Sigma m(X)$ のオペラッド的ホモロジーは、BV代数として $H_*(\Omega^2X)$ に同型である。
• $S^1$-作用によって誘導される写像 $s_X: \pi_n(X) \to \pi_{n+1}(X)$ として、球面類におけるBV作用素 $\Delta$ が幾何的に実現される。