[論文レビュー] Configuration Spaces of Manifolds with Boundary

R Campos, Najib Idrissi+2 more|arXiv (Cornell University)|Feb 2, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用数 3

ひとこと要約

この論文は、次元が 4 以上であるコンパクトで単連結な境界付き多様体 M に対して、順序付き配置空間の実ホモトピー型が、対 (M, ∂M) の実ホモトピー型にのみ依存することを確立している。著者たちは、ポincare–レフシェッツ双対性、コンパクト化配置空間、およびグラフ複体の三つのアプローチを用いて、これらの配置空間の明示的な実モデルを構成し、スイスチーズ・オペラッドやリトルディスク・オペラッドといった豊かな代数的構造と整合することを証明した。主な貢献は、境界付き多様体の配置空間におけるホモトピー不変性の結果である。

ABSTRACT

We study ordered configuration spaces of compact manifolds with boundary. We show that for a large class of such manifolds, the real homotopy type of the configuration spaces only depends on the real homotopy type of the pair consisting of the manifold and its boundary. We moreover describe explicit real models of these configuration spaces using three different approaches. We do this by adapting previous constructions for configuration spaces of closed manifolds which relied on Kontsevich's proof of the formality of the little disks operads. We also prove that our models are compatible with the richer structure of configuration spaces, respectively a module over the Swiss-Cheese operad, a module over the associative algebra of configurations in a collar around the boundary of the manifold, and a module over the little disks operad.

研究の動機と目的

• コンパクトで単連結な境界付き多様体 M に対して、配置空間 Confk(M) の実ホモトピー型が、対 (M, ∂M) の実ホモトピー型にのみ依存するかどうかを特定すること。
• Poincaré–Lefschetz 双対性、コンパクト化配置空間、およびグラフ複体の複数のアプローチを用いて、このような多様体の配置空間の明示的な実モデルを構築すること。
• これらのモデルが、スイスチーズ・オペラッドやリトルディスク・オペラッドを含む、配置空間に内在する代数的構造と整合することを証明すること。
• 基礎となる多様体・境界対の実ホモトピー同値性の下で、配置空間モデルのホモトピー不変性を確立すること。
• 得られたモデルのコホモロジーを計算し、特に高次元および H1 の消滅条件の下で、既知のグラフ複体と関係づけること。

提案手法

• 対 (M, ∂M) のための Poincaré–Lefschetz 双対性モデルを、対角クラスと相対コホモロジー情報を使って構築する。
• FMn、スイスチーズ、およびファイバーワイズオペラッドを用いたコンパクト化配置空間形式を、境界付き多様体に適応し、ボディおよび境界の配置空間のコンパクト化を定義する。
• 対角データを用いてコンパクト化配置空間上に伝搬子を構成し、それを全配置空間モデルへ拡張する。
• M および ∂M のホモロジー類によってラベル付けされた装飾付きグラフ複体に基づく、図形的モデル（特に SGraphsA,A∂ および mGraphsA）を導入する。
• グラフ複体における Mauer–Cartan 要素を用いて、ねじれた微分を定義し、それが配置空間の実ホモトピー型に quasi-isomorphic であることを証明する。
• ループ次数、空中頂点の数、および次数をフィルターとするスペクトル系列を適用し、コホモロジーを計算し、H1(M) = H1(∂M) = 0 および dim M ≥ 5 の下でホモトピー不変性を証明する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトで単連結な境界付き多様体 M に対して、Confk(M) の実ホモトピー型は、対 (M, ∂M) の実ホモトピー型にのみ依存するか？
• RQ2 スイスチーズ・オペラッドおよびリトルディスク・オペラッドの作用と整合する、境界付き多様体の配置空間の明示的実モデルを構築できるか？
• RQ3 得られた図形的モデルのコホモロジーは何か？ そして、それは配置空間の実ホモトピー型とどのように関係するか？
• RQ4 モデルの高次ループ部のコホモロジーは、どのような条件下で非正の次数に集中するか？
• RQ5 モデルは Confk(M) の実ホモトピー型に quasi-isomorphic か？ そして、これは配置空間のホモトピー不変性とどのように関係するか？

主な発見

• コンパクトで単連結な境界付き多様体 M で、境界が単連結でかつ dim M ≥ 4 である場合、Confk(M) の実ホモトピー型は、対 (M, ∂M) の実ホモトピー型にのみ依存する。
• 著者たちは、Confk(M) のための三つの明示的な実モデルを構築した：Poincaré–Lefschetz 双対性によるもの、コンパクト化配置空間（aFMN, mFMM, SFMM）によるもの、および図形的モデル（SGraphsA,A∂, mGraphsA）によるもの。
• 図形的モデルは、M および ∂M のホモロジー類を通して幾何を符号化する Mauer–Cartan 要素を介して、Confk(M) の実ホモトピー型に quasi-isomorphic である。
• H1(M) = H1(∂M) = 0 かつ dim M ≥ 5 のとき、モデルの高次ループ部のコホモロジーは非正の次数に集中し、構造が単純化される。
• モデルはスイスチーズ・オペラッド、リトルディスク・オペラッド、および ∂M の近傍におけるコラール内の配置の結合代数の作用と整合する。
• スペクトル系列の解析により、モデルのコホモロジーはその木部分によって制御されており、それは M および ∂M の実ホモトピー型を符号化している。また、この複体はヘアド・グラフ複体の変形である。