[論文レビュー] A proof of a cyclic version of Deligne's conjecture via Cacti

Ralph M. Kaufmann|ArXiv.org|Mar 21, 2004

Algebraic structures and combinatorial models参考文献 8被引用数 14

ひとこと要約

本稿は、正規化されたカクティスを用いてフレームド・リトルディスク・オペラッドのチェイン・モデルを構成することで、デリーニの予想の巡回的版を証明する。その結果、非退化で対称的かつ不変な内積を持つ単位的結合的代数の正規化 Hochschild コホホロジーがホモトピー的に BV 代数をなすことが示される。主な結果は、Hochschild コホモロジーに誘導される Gerstenhaber bracket が標準的な Gerstenhaber bracket と一致することであり、装飾付き木のオペラッド的相関関数を通じてホモトピー的 BV 構造が確立される。

ABSTRACT

In this note, we show that the normalized Hochschild co--chains of an associative algebra with a non--degenerate, symmetric, invariant inner product are an algebra over a chain model of the framed little discs operad which is given by cacti. In particular, in this sense they are a BV algebra up to homotopy and the Hochschild cohomology of such an algebra is a BV algebra whose induced bracket coincides with Gerstenhaber's bracket. To show this, we use a cellular chain model for the framed little disc operad in terms of normalized cacti. This model is given by tensoring our chain model for the little discs operad in terms of spineless cacti with natural chain models for $(S^1)^{ imes n}$ adapted to cacti.

研究の動機と目的

• 単位的結合的代数に対して、非退化で対称的かつ不変な内積を持つ場合に、その正規化 Hochschild コホホロジーにホモトピー的 BV 代数構造を確立すること。
• 従来のスプラインレス・カクティスに基づくリトルディスク・オペラッドのチェイン・モデルを、正規化されたカクティスを用いてフレームド・リトルディスク・オペラッドのチェイン・モデルへ拡張すること。
• このチェイン・モデルが正規化 Hochschild コホホロジーに作用し、ホモトピー的に BV 代数を実現すること。
• Hochschild コホモロジーに誘導される括弧が Gerstenhaber の括弧と一致することを示すこと。
• 平面に埋め込まれた黒・白の二部木にスプラインを加えた装飾付き木を用いて、フレームド・リトルディスク・オペラッドの組み合わせ的・セル的記述を提供し、オペラッド的相関関数と整合性を持つこと。

提案手法

• スプラインレス・カクティスのチェインと、群 $S^1$ に基づくオペラッドのチェインのテンソル積を用いて、フレームド・リトルディスク・オペラッドのセル・チェイン・モデルを構成する。
• カクティスのローブ構造から誘導される $S^1$ 要素のセル構造を組み込んだ、半直積の洗練されたセル分解を用いる。
• 局所的ゼロの位置を記録し、オペラッド的演算を追跡するため、スプラインを備えた平面的プラントド・ブラック・ホワイト二部木の装飾付き木を導入する。
• これらの装飾付き木におけるオペラッド的相関関数を定義し、フレームド・リトルディスク・チェインが Hochschild コホホロジーに作用する様子を記述する。
• 関係式を $\mathcal{A}rc$ オペラッドから翻訳することで、微分とオペラッド構造の整合性を検証する。[K1, KLP] の手法を用いる。
• 葉の作用素と木の向きの双対性を用いて、この作用が対称的かつ不変なペアリングを満たすことを保証する。

実験結果

リサーチクエスチョン

• RQ1 正規化されたカクティスを用いて、フレームド・リトルディスク・オペラッドのチェイン・モデルを構成できるか。これは、スプラインレス・カクティスのモデルを拡張するものである。
• RQ2 このチェイン・モデルが正規化 Hochschild コホホロジーに作用することで、ホモトピー的に BV 代数構造が得られるか。
• RQ3 Hochschild コホモロジーに誘導される Gerstenhaber 括弧が、このホモトピー的 BV 構造から得られる括弧と一致するか。
• RQ4 オペラッド的相関関数を装飾付き木上で組み合わせ的にどのように記述できるか。
• RQ5 この枠組みは、循環的複体や装飾付き境界付き曲面のモジュライ空間への作用へ一般化可能か。

主な発見

• 単位的結合的代数に非退化で対称的かつ不変な内積が存在する場合、その正規化 Hochschild コホホロジーがフレームド・リトルディスク・チェイン・モデルを用いてホモトピー的に BV 代数をなすことが示された。
• Hochschild コホモロジーに誘導される括弧が、Gerstenhaber の標準的括弧と完全に一致し、ホモトピー的 BV 構造が裏付けられた。
• フレームド・リトルディスク・オペラッドのチェイン・モデルは、正規化されたスプラインレス・カクティスのチェインと $S^1$ を基盤とするオペラッドのチェインのテンソル積として実現され、必要なすべての演算を扱える洗練されたセル分解を備えている。
• 作用は、スプラインを備えた平面的プラントド・ブラック・ホワイト二部木におけるオペラッド的相関関数によって記述され、スプラインが局所的ゼロの位置を追跡し、線形順序が平面的順序とは異なる。
• 微分の整合性は、$\mathcal{A}rc$ オペラッドからの関係式の翻訳と、Hochschild複体の微分定義との一致によって検証された。
• この構成は、循環的複体や装飾付き境界付き曲面のモジュライ空間への一般化を許容しており、モジュライ空間の擬セルを用いたストリング位相作用への道筋を示唆している。