[論文レビュー] Formality of the little N-disks operad

Pascal Lambrechts, Ismar Volić|arXiv (Cornell University)|Aug 4, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 30被引用数 69

ひとこと要約

この論文は、実数上のlittle $N$-disksoperadに対するKontsevichの形式的定理の詳細な証明を提供し、可換微分付き代数（CDGA）の圏におけるoperadの特異的鎖複体とそのホモロジーの間の quasi-isomorphism を確立する。形式的性は有理数ホモトピー論の枠組みに拡張され、$N \geq 2m+1$ のとき little $m$-disks から little $N$-disks への埋め込みに対して相対的形而上性が証明され、配置空間積分とFulton-MacPhersonのコンパクト化およびPA形式を用いた図式的モデルによって構成される。

ABSTRACT

We develop the details of Kontsevich's proof of the formality of little N-disks operad over the field of real numbers. Formality holds in the category of operads of chain complexes and also in some sense in the category of commutative differential graded algebras, which is the category encoding "real" homotopy theory. We also prove a relative version of the formality for the inclusion of the little m-disks operad in the little N-disks operad for N>=2m+1.

研究の動機と目的

• Kontsevichの形式的定理が、元のスケッチに欠落している部分を埋め、little $N$-disks operad について $\mathbb{R}$ 上で完全かつ厳密な証明を提供すること。
• チェーン複体の圏から可換微分付き代数（CDGA）の圏への形式的性の拡張を行い、有理数ホモトピー論と整合させる。
• N \geq 2m+1 のとき、little $m$-disks operad から little $N$-disks operad への埋め込みに対して相対的形而上性を確立し、埋め込み空間への応用を可能にする。
• 配置空間積分と適切な図式（admissible diagrams）を用いて、little $N$-disks operad のCDGAモデルを構成すること。
• Kontsevich積分写像がコオペラッドの quasi-isomorphism であることを証明し、明示的な幾何的積分によって形式的性を実現すること。

提案手法

• 各有限集合 $A$ に対して、適切な図式のCDGAモデル $\mathcal{D}(A)$ を構成し、微分および積構造を備える。
• Fulton-MacPhersonoperad $\operatorname{C}[n]$ を用い、$\mathbb{R}^N$ 内の配置空間の滑らかなコンパクト化として、little $N$-disks operad の幾何的モデルを提供する。
• 部分集合 $A \subset V$ に対して、$\pi: \operatorname{C}[V] \to \operatorname{C}[A]$ を定義し、明示的なチャート $\Phi$ および $\widehat{\Phi}$ を用いて局所的に自明なファイブレーションであることを証明する。
• 射影に沿った形式の引き戻しを用いて配置空間積分を定義し、PA（区分的代数的）形式を用いてKontsevich積分 $\widehat{I}$ を定義する。
• 弱分割 $\nu$ に関連する写像 $\Psi_\nu$ および $\widehat{\Psi}_\nu$ を用いて、図式空間 $\mathcal{D}(\bullet)$ にコオペラッド構造を定義し、微分と整合することを証明する。
• Kunnethの quasi-isomorphism とファイバーに沿った押し出しを用いて、$\operatorname{C}[n]$ のコホモロジーと図式複体の関係を確立し、$\widehat{I}$ がチェーン写像かつ quasi-isomorphism であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 little $N$-disks operad は、$\mathbb{R}$ 上のCDGAの圏で形式的であるか？ もしそうならば、明示的な幾何的積分を用いて証明可能か？
• RQ2 N \geq 2m+1 のとき、little $m$-disks operad から little $N$-disks operad への形式的性は確立可能か？ これは埋め込み空間にどのような意味を持つのか？
• RQ3 little $N$-disks operad の特異的鎖複体は、配置空間積分から構成された図式的CDGAによって、 quasi-isomorphic にモデル化可能か？
• RQ4 適切な図式の空間に存在する正確なコオペラッド構造は何か？ そして、$\operatorname{C}[n]$ におけるオペラッド構造とどのように関係するか？
• RQ5 Kontsevich積分写像 $\widehat{I}$ は代数的およびコアルゲブラ的構造を保存するか？ そして、コオペラッドの quasi-isomorphism であるか？

主な発見

• この論文は、$\mathbb{R}$ 上のCDGAの圏において、little $N$-disks operad が形式的であることを確立し、Kontsevichの元々の結果をチェーン複体から有理数ホモトピー論へ拡張する。
• 相対的形而上性が証明された：$N \geq 2m+1$ のとき、little $m$-disks operad から little $N$-disks operad への埋め込みは形式的である。これは、埋め込み空間におけるスペクトル系列の収束に不可欠である。
• Kontsevich積分 $\widehat{I}$ が、図式複体 $\widehat{\mathcal{D}}(\bullet)$ からFulton-MacPhersonoperad $\operatorname{C}[\bullet]$ のコホモロジー $\operatorname{H}^*(\operatorname{C}[\bullet])$ へのチェーン写像かつコオペラッドの quasi-isomorphism であることが示され、形式的性が証明される。
• 図式複体 $\mathcal{D}(A)$ は、エッジの縮約と符号 $\epsilon(\Gamma,e)$ を用いて定義される微分を持つCDGAとして構成され、$\operatorname{C}[A]$ の有理数ホモトピー型をモデル化することが示された。
• 標準的射影 $\pi: \operatorname{C}[V] \to \operatorname{C}[A]$ が明示的なチャート $\Phi$ および $\widehat{\Phi}$ を用いて局所的に自明なファイブレーションであることが証明され、ファイバーに沿った積分が可能になる。
• $\widehat{I}$ は非適切な図式上で消え、ホモトピーの意味でコオペラッド構造と整合する。これにより、最終的に quasi-isomorphism であるほぼコオペラッド準同型としての性質が確立される。