[論文レビュー] On Spineless Cacti, Deligne's Conjecture and Connes--Kreimer's Hopf Algebra

Ralph M. Kaufmann|ArXiv.org|Aug 1, 2003

Algebraic structures and combinatorial models参考文献 25被引用数 4

ひとこと要約

本稿は、スプライスレス・カクティ（spineless cacti）を用いた統一的な位相的オペラッド的枠組みを確立し、Hochschild複体に関するデリーニの予想を同時に解消し、コンヌ＝クライマーのホップ代数をチェーンレベルで実現し、ストリングトポロジーのセルモデルを提供する。ノーマライズド・スプライスレス・カクティから最小チェーンオペラッドを構成することで、デリーニの予想を ℤ 上で証明し、最高次元の対称セルのオペラッドが、プレリーマンフォードおよび重層付きプレリーマンフォード代数のチェーンモデルとして同定され、単一の幾何的形式主義によって、三つの異なる代数的構造が統一される。

ABSTRACT

Using a cell model for the little discs operad in terms of spineless cacti we give a minimal common topological operadic formalism for three a priori disparate algebraic structures: (1) a solution to Deligne's conjecture on the Hochschild complex, (2) the Hopf algebra of Connes and Kreimer, and (3) the string topology of Chas and Sullivan.

研究の動機と目的

• デリーニの予想、コンヌ＝クライマーのホップ代数、ストリングトポロジーの三つの代数的構造を統一する最小の位相的オペラッド的形式主義を提供すること。
• ノーマライズド・スプライスレス・カクティを用いて、リトル・ディスク・オペラッドのチェーンレベルモデルを構築し、デリーニの予想の直接的な位相的証明を可能にすること。
• スプライスレス・カクティのセルチェーンのオペラッドが、チェーンレベルでプレリーマンフォードおよび重層付きプレリーマンフォード代数の構造を実現することを示すこと。
• この枠組みにおいて、コンヌとクライマーのホップ代数が、最高次元の対称セルのコインvariant商として自然に現れることを示すこと。

提案手法

• ノーマライズド・スプライスレス・カクティの空間に CW 分解を構成し、それが、植生された平面的二分木によってインデックス付けられたセル複体 K(n) に同相であることを示す。
• ノーマライズド・スプライスレス・カクティにセルチェーン・オペラッド構造を定義し、セルチェーンがリトル・ディスク・オペラッドのチェーンモデルと同型である dg-オペラッドを形成することを示す。
• 木によるインデックス化を用いて、演算を「フロー・チャート」として解釈し、乗法およびブレイス演算の組み合わせによるゲルステンハーバー代数構造の組み合わせ的実現を提供する。
• 最高次元の対称セルに制限し、次数シフトを施してプレリーマンフォードおよび重層付きプレリーマンフォード代数のオペラッドのチェーンモデルを獲得する。
• 最高次元のセルの ℤn-対称コインバリアントをとることで、コンヌ＝クライマーのホップ代数をセルチェーン・オペラッドの商として実現する。
• S¹-グラフおよびチョーク図構成を用いて、カクティの接合操作を定義し、オペラッド構造および genus-zero トポロジーと整合性を保つようにする。

実験結果

リサーチクエスチョン

• RQ1 単一の位相的オペラッド的枠組みが、デリーニの予想、コンヌ＝クライマーのホップ代数、ストリングトポロジーを統一できるか？
• RQ2 ノーマライズド・スプライスレス・カクティのセルチェーン・オペラッドが、ℤ 上でのデリーニの予想に対して最小かつ構成的解を与えるか？
• RQ3 スプライスレス・カクティの最高次元の対称セルのオペラッドが、チェーンレベルでプレリーマンフォードおよび重層付きプレリーマンフォード代数の構造をどのように実現するか？
• RQ4 コンヌ＝クライマーのホップ代数が、カクティから構築されたセルチェーン・オペラッドの商として導出可能か？
• RQ5 S¹-グラフおよびチョーク図構成は、カクティのオペラッド的接合を定義する上で果たす役割は何か？

主な発見

• ノーマライズド・スプライスレス・カクティの空間、記号で表すと 𝒞act¹(n) は、セル複体 K(n) に同相であり、最小の CW 分解を提供する。
• ノーマライズド・スプライスレス・カクティのセルチェーンは、リトル・ディスク・オペラッドのチェーンモデルと同型である dg-オペラッドを形成し、デリーニの予想が ℤ 上で証明される。
• 最高次元の対称セルのオペラッドは、次数シフトを施すと、重層付きプレリーマンフォード代数のオペラッドと同型であり、シフトされたバージョンはプレリーマンフォード代数のオペラッドを実現する。
• コンヌとクライマーのホップ代数は、ノーマライズド・スプライスレス・カクティのシフトされたセルチェーン・オペラッドにおける最高次元の対称セルの ℤn-対称コインバリアントと同型である。
• セルチェーン・オペラッドのオペラッド構造は、Hochschildコホコロジーにおける乗法およびブレイス演算によって生成されるすべての演算を実現し、最小性が確認される。
• カクティの接合は、スケーリングおよび同値関係を伴うメトリック・グラフの合成によって定義され、リボン・グラフ構造を保ち、genus-zero トポロジーおよび部分加法的ラーブ数を保証する。