[論文レビュー] A Diagonal on the Associahedra

Samson Saneblidze, Ronald Umble|ArXiv.org|Nov 9, 2000

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

ひとこと要約

この論文は、スターシェフのアソシアヘドロンのセル・チェインに明示的な組合せ的対角を構成し、$A_\infty$-オペラッドに幾何的に意味のある対角を可能にする。対角は、高次元セルの直接的分解により定義され、$A_\infty$-(co)代数のテンソル積の最大限の一般化を可能にする。

ABSTRACT

Let C_*(K) denote the cellular chains on the Stasheff associahedra. We construct an explicit combinatorial diagonal Δ: C_*(K) --> C_*(K) \otimes C_*(K); consequently, we obtain an explicit diagonal on the A_\infty-operad. We apply the diagonal Δto define the tensor product of A_\infty-(co)algebras in maximal generality.

研究の動機と目的

• スターシェフのアソシアヘドロンのセル・チェインに明示的な組合せ的対角を構成すること。
• $A_\infty$-オペラッドに幾何的に意味のある対角を定義するという長年の問題を解決すること。
• 従来の構成を超えて、$A_\infty$-(co)代数のテンソル積構造を最大限に一般化すること。
• 対角をアソシアヘドロン集合へと上げ、互いに整合する対角構造を持つチェイン複体を定義すること。
• アソシアヘドロン複体のすべての成分への対角の形式的乗法的拡張を提供すること。

提案手法

• アソシアヘドロンにおける高次元セルの幾何的分解を用いて、対角 $\Delta: C_\ast(K) \to C_\ast(K) \otimes C_\ast(K)$ を定義する。
• 括弧の付け方 $d_{(i,\ell)}$ を用いて面をラベル付けし、$n$-セルを低次元のアソシアヘドロンの積に分解する情報を符号化する。
• $K_{n+2}$ を $K_r \times K_s$ の積のコーンとして再帰的に分解し、インデックス $i, \ell$ に制約を課えることで対角を構成する。
• 標準的な単体的恒等式を満たす面および退化作用素を定義することにより、対角をアソシアヘドロン集合 $\mathcal{K}$ へと上げる。
• 微分 $d^{n_1,\dots,n_{k+1}} = \sum (-1)^{\epsilon_1 + \epsilon_2} d_{(i_q,\ell_q)}^q$ を持つチェイン複体 $C_\ast(\mathcal{K})$ を定義する。
• インデックス $(n_1, \dots, n_{k+1})$ における形式的乗法的規則を用いて対角 $\Delta_\mathcal{K}$ を全チェイン複体へ拡張し、退化を商取ることで $C_\ast^N(\mathcal{K})$ を得る。

実験結果

リサーチクエスチョン

• RQ1 高次元セルの幾何的分解を用いて、アソシアヘドロンのセル・チェインに組合せ的対角を明示的に構成する方法は何か？
• RQ2 この対角は、チャポトンやロンドン＝ロンコの従来の構成とどのような関係にあるか？
• RQ3 この対角を用いて、$A_\infty$-(co)代数のテンソル積を最大限に一般化して定義する方法は何か？
• RQ4 アソシアヘドロンからより一般なアソシアヘドロン集合 $\mathcal{K}$ へと対角を上げることは可能か？ その際、整合するチェイン複体構造が得られるか？
• RQ5 アソシアヘドロン集合の枠組みにおいて、面作用素および退化作用素が満たす正確な代数的関係は何か？

主な発見

• この論文は、アソシアヘドロンにおける高次元セルの幾何的分解を用いて、明示的な対角 $\Delta: C_\ast(K) \to C_\ast(K) \otimes C_\ast(K)$ を構成している。
• この対角は、チャポトンやロンドン＝ロンコのものとは根本的に異なる：生成子における原始的性質ではなく、幾何的分解に基づいて定義されている。
• この対角により、従来の構成を超えて、$A_\infty$-(co)代数のテンソル積を最大限に一般化して定義できるようになる。
• 対角はアソシアヘドロン集合 $\mathcal{K}$ へと上げられ、そこではチェイン複体 $C_\ast(\mathcal{K})$ に対角が誘導される。
• チェイン複体 $C_\ast^N(\mathcal{K}) = C_\ast(\mathcal{K})/D$ は、インデックス $(n_1, \dots, n_{k+1})$ における形式的乗法的拡張により対角構造を引き継ぎ、代数的関係を保つ。
• アソシアヘドロン集合における面作用素および退化作用素は、完全な単体的恒等式の集合を満たしており、チェイン複体が整合する対角構造を持つことが保証される。