[論文レビュー] Notes on Kontsevich-Soibelman's theorem about cyclic A-infinity algebras

Cheol‐Hyun Cho, Sangwook Lee|arXiv (Cornell University)|Feb 19, 2010

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

ひとこと要約

本稿は、ホモロジカルに非退化な負サイクルコhomology類と $A_{\infty}$-代数における強いホモトピー内積の間の明示的対応を提供し、Kontsevich-Soibelmanの定理を一般化する。与えられた負サイクルコhomology類 $[\phi]$ から、$A \to A^*$ への $A_{\infty}$-双モジュール写像 $\widetilde{\phi_0}$ を構成し、誘導される強いホモトピー内積が quasi-isomorphism に関してwell-definedであり、コホモロジー類にのみ依存することを証明する。結果は、非負のエネルギー係数を持つギャップ付きフィルター付き $A_{\infty}$-代数へ一般化可能である。

ABSTRACT

Kontsevich and Soibelman has proved a relation between a non-degenerate cyclic homology element of an A-infinity algebra A and its cyclic inner products on the minimal model of A. We find an explicit formula of this correspondence, in terms of the strong homotopy inner products and negative cyclic cohomology of A. We prove that an equivalence class of the induced strong homotopy inner product depends only on the given negative cyclic cohomology class. Also, we extend such a correspondence to the case of gapped filtered A-infinity algebras.

研究の動機と目的

• 非退化な負サイクルコhomology類と $A_{\infty}$-代数における強いホモトピー内積の間の明示的公式を提供すること。
• 負サイクルコhomologyが明示的構成において、なぜ循環コホモロジーの代わりに適しているかを明確にすること。
• 非負のエネルギーフィルターとノヴィコフ環係数を備えたギャップ付きフィルター付き $A_{\infty}$-代数へ対応を拡張すること。
• シンプレクティック正規化における $A_{\infty}$-構造の保存に関連する、ダーボウの定理適用における微妙な技術的問題を解消すること。
• 誘導される強いホモトピー内積の同型類が、コホモロジー類にのみ依存し、代表元に依存しないことの確立

提案手法

• 著者たちは、特定の適合条件を満たす $A_{\infty}$-双モジュール写像（定義3.4）として定義される強いホモトピー内積を用い、ホモトピー上での循環内積を実現する。
• 命題6.1を用いて、与えられた負サイクルコホモロジー類 $[\phi]$ から明示的な $A_{\infty}$-双モジュール写像 $\widetilde{\phi_0}: A \to A^*$ を構成する。
• 証明は、$A_{\infty}$-代数におけるダーボウの定理の精密化に依存し、形式的ベクトル場 $v$ が $\mathcal{L}_v \omega = -d\mathcal{L}_Q \eta$ を満たすように選ばれ、シンプレクティック形式の変形と同時に $A_{\infty}$-構造を保存する。
• フィルターの制御とギャップ付きフィルター付きの場合の収束を保証するため、$k + 2j = N$ を変数の累乗 $k$ とエネルギー準位 $j$ に関して帰納的に扱う。
• コホモロジカルな負サイクル類が同型な強いホモトピー内積を誘導することを保証するため、$A_{\infty}$-構造を保存するフィルター付き $A_{\infty}$-自己同型を用いる。
• 弱フィルター付き $A_{\infty}$-双モジュール写像の概念を導入し、Hochschildホモロジーにおける同型を示すことで、分類結果を支持する。

実験結果

リサーチクエスチョン

• RQ1 与えられた負サイクルコホモロジー類から、$A_{\infty}$-代数上に強いホモトピー内積を明示的に構成する方法は何か？
• RQ2 この文脈において、なぜ負サイクルコホモロジーが明示的構成に適しているのか、循環コホモロジーと比べてどのような利点があるのか？
• RQ3 コホモロジー類と強いホモトピー内積の間の対応は、quasi-isomorphism や自己同型の下でどのように振る舞うか？
• RQ4 ギャップ付きフィルター付き $A_{\infty}$-代数に、エネルギーフィルターを備えた場合に、Kontsevich-Soibelmanの定理を拡張できるか？
• RQ5 誘導される強いホモトピー内積が、代表元ではなくコホモロジー類にのみ依存するための条件は何か？

主な発見

• 本稿は、ホモロジカルに非退化な負サイクルコホモロジー類 $[\phi]$ から、$A$ そのものへの明示的 $A_{\infty}$-双モジュール写像 $\widetilde{\phi_0}: A \to A^*$ を構成し、最小モデルではなく $A$ 自身に強いホモトピー内積を実現する。
• 誘導される強いホモトピー内積の同型類は、代表元の選び方に依存せず、負サイクルコホモロジー類 $[\phi]$ のみに依存する。
• コホモロジー類および関連写像のすべての項が非負のエネルギーを持つ場合、ギャップ付きフィルター付き $A_{\infty}$-代数へ対応が拡張可能であり、フィルター下での構造が保存される。
• シンプレクティック正規化における $A_{\infty}$-構造の保存に関連する、ダーボウの定理適用における微妙な問題を、定数項のない2次以上な形式的ベクトル場 $v$ を構成することで解決した。
• フィルター付きの場合、$k$ を単項式の次数、$j$ をエネルギー準位とする $k + 2j = N$ の和についての帰納的議論を適応し、収束性と構成の正しさを保証した。
• 循環 $A_{\infty}$-代数 $B$ と内積 $\psi$ を備えた場合、$B \to A$ の quasi-isomorphism $\iota$ が構成され、図式 (1.1) および (9.6) が可換になることが確認され、構造の同値性が裏付けられた。