[論文レビュー] A model for configuration spaces of points

Ricardo Campos, Thomas Willwacher|arXiv (Cornell University)|Apr 7, 2016

Homotopy and Cohomology in Algebraic Topology被引用数 7

ひとこと要約

本稿は、境界のないコンpactな滑らかで向き付け可能な多様体上での点の配置空間のための実組合併的モデル $^{*}\mathsf{Graphs}_M$ を構築し、これらの配置空間の実ホモトピー型が多様体自身の実ホモトピー型およびその分配関数にのみ依存することを示している。このモデルは、フレームド多様体に対して、小さな $D$-ディスク作用素の自然な右ホモトピー作用を捉えており、配置空間ホモトピー型を計算的に扱いやすい代数的枠組みで扱うためのものである。

ABSTRACT

We construct a real combinatorial model for the configuration spaces of points of compact smooth oriented manifolds without boundary. We use these models to show that the real homotopy type of configuration spaces of a simply connected such manifold only depends on the real homotopy type of the manifold. Moreover, we show that for framed $D$-dimensional manifolds these models capture a natural right homotopy action of the little $D$-disks operad.

研究の動機と目的

• 境界のないコンpactな滑らかで向き付け可能な多様体上での点の配置空間のための計算的に扱いやすい実組合併的モデルを構築すること。
• これらの配置空間の実ホモトピー型が、多様体自身の実ホモトピー型およびその分配関数にのみ依存することを示すこと。
• フレームド多様体に対して、モデルが小さな $D$-ディスク作用素の右ホモトピー作用を捉えていることの証明。
• 配置空間の有理ホモトピー論と摂動的トポロジカル場理論不変量を統合する枠組みを提供すること。

提案手法

• モデル $^{*}\mathsf{Graphs}_M$ は、Cattaneo-Felder-Mnev のグラフ複体のねじれ版を用いて構築され、多様体のコホモロジーおよびその分配関数の情報を組み込んでいる。
• 分配関数 $Z_M$ は、コホモロジー $V = H^\bullet(M)$ とそのポincare双対性ペアリングにのみ依存するグラフ複体におけるMaurer-Cartan要素として定義される。
• モデルは、小さな $D$-ディスク作用を組合併的に記述する Kontsevich のホップコオペラッド $^{*}\mathsf{Graphs}_D$ における右コモジュールとして構築され、これにより小領域の作用が組み込まれている。
• グラフ複体 $\mathsf{Gra}_M$ のねじれ版を用い、挿入作用素およびグラフの収縮によって定義される微分を用いる。
• モデルが、木構造成分に制限した場合に $E^2$-頁で収束するスペクトル系列を介して配置空間の実コホモロジーを計算できることを示した。
• 半代数的 de Rham 理論および自明化されたバンドル上の積分を用いて、幾何的微分形式と代数的モデルとの関係を確立した。

実験結果

リサーチクエスチョン

• RQ1 境界のないコンpactな滑らかで向き付け可能な多様体上での点の配置空間の実ホモトピー型は、多様体自身の実ホモトピー型にのみ依存するか？
• RQ2 配置空間の完全な実ホモトピー型を捉える、組合併的で実の微分-グレーディング代数的モデルを構築できるか？
• RQ3 フレームド多様体に対して、小さな $D$-ディスク作用素の作用がモデル内でどのように代数的に現れるか？
• RQ4 摂動的不変量としての分配関数 $Z_M$ が、配置空間の実ホモトピー型をどの程度まで記述できるか？
• RQ5 モデルを単純化して、木構造成分のみでコホモロジーを計算できるか。また、高次のループ項は果たす役割は何か？

主な発見

• 単連結な境界のないコンpactな滑らかで向き付け可能な多様体 $M$ に対して、$\operatorname{Conf}_\bullet(M)$ の実ホモトピー型は、$M$ 自身の実ホモトピー型およびその分配関数 $Z_M$ にのみ依存する。
• $^{*}\mathsf{Graphs}_M$ は、$^{*}\mathsf{Graphs}_D$ における右ホップ $E_D$-コモジュールであり、フレームド多様体に対して配置空間上の小さな $D$-ディスク作用素の位相的右作用を捉えている。
• $\operatorname{Conf}_\bullet(M)$ の実コホモロジーは、$Z_M$ の木構造成分から完全に計算可能であり、高次のループ項は、ホモトピー型が $M$ のみによって決定されない障害を示している。
• 分配関数 $Z_M$ は、コホモロジー $V = H^\bullet(M)$ とそのポincare双対性ペアリングにのみ依存するグラフ複体におけるMaurer-Cartan要素である。
• モデルは、配置空間の実コホモロジーと組合併的 dgca のコホモロジーとの間の準同型を提供し、明示的な計算を可能にしている。
• 構成により、不変量の階層が確立された：(1) $M$ の実ホモトピー型、(2) $\mathsf{FM}_M$ の実ホモトピー型、(3) $\mathsf{FM}_M$ が右 $\mathsf{FM}_D$-モジュールとしての実ホモトピー型であり、後者はより強い不変量である。