[論文レビュー] A Compactification of the Real Configuration Space as an Operadic Completion

Martin Markl|ArXiv.org|Aug 12, 1996

Constraint Satisfaction and Optimization被引用数 3

ひとこと要約

本稿では、アクセルロードとシンガーによって構築された、リーマン多様体上の相異なる点の実構成空間のコンパクト化が、随伴的完成過程を通じて自然にオペラッド構造を引き継ぐことを見出している。非コンパクト化された構成空間が部分オペラッドをなすことを示すことにより、著者らはそのコンパクト化がモジュラー完成として生じることを証明し、コンパクト化された空間に標準的なオペラッド構造をもたらし、その分層のスペクトル系列をオペラッド的モジュールのバー分解に関連づけている。

ABSTRACT

S. Axelrod and I.M. Singer constructed a compactification of the configuration space of distinct points in a Riemannian manifold V. A similar compactification for the moduli space of configurations of distinct points in the plane (mod the affine group action) was considered by E. Getzler and J.D.S. Jones. They observed that this compactification carries a natural structure of an operad. In the present note we show that (non-compactified) configuration spaces form a partial operad (or a partial module over a partial operad) and that the compactification can be described as an operadic (or modular) completion. This approach immediately gives the operad (or module) structure on the compactification. We also discuss the spectral sequence of the stratification and identify the second term of this spectral sequence to the bar resolution of an operadic module. Our results generalize the work of Getzler, Kimura, Jones, Stasheff, Voronov and others to the case of configurations in a general Riemannian manifold.

研究の動機と目的

• リーマン多様体上の構成空間のコンパクト化の背後にある代数的構造を理解すること。
• 非コンパクトな元の空間であるにもかかわらず、コンパクト化された構成空間が自然なオペラッド構造をどのように持つのかを説明すること。
• 平面的構成（例：ゲツラー、ジョーンズ）に関する以前の結果を、一般のリーマン多様体へと一般化すること。
• コンパクト化された空間の分層のスペクトル系列と、オペラッド的モジュールのバー分解との関係を確立すること。
• 部分オペラッドの代数的完成としてコンパクト化を理解する概念的枠組み—随伴的完成—を提供すること。

提案手法

• 非コンパクト化された構成空間が、部分オペラッド、あるいはより正確には部分オペラッド上の部分モジュールを形成することを示した。
• コンパクト化は、部分構造を完全なオペラッドに拡張する普遍的構成である随伴的完成として構築された。
• 著者らは、モジュラー・オペラッドおよびオペラッド的モジュールの理論を用いて、完成過程を形式化した。
• コンパクト化された空間の分層に関連するスペクトル系列を、ホモロジー代数的手法を用いて分析した。
• スペクトル系列の第二ページが、オペラッド的モジュールのバー分解と同型であることが特定され、トポロジーとホモロジー代数の間の関係が結ばれた。
• ゲツラーとジョーンズによる平面的構成に関する以前の結果を、一般のリーマン多様体の文脈へと一般化した。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体上の構成空間のコンパクト化は、どのように代数的構造の完成として理解できるか？
• RQ2 コンパクト化された構成空間に現れる正確なオペラッド的構造は何か？
• RQ3 コンパクト化された空間の分層のスペクトル系列は、バー分解のようなホモロジー代数的構成とどのように関係するか？
• RQ4 コンパクト化の前において、構成空間がどのように部分オペラッドを形成するのか？
• RQ5 ゲツラーとジョーンズによる平面的構成に関する結果は、一般のリーマン多様体へどの程度まで一般化可能か？

主な発見

• リーマン多様体上の相異なる点の非コンパクト化された構成空間は、自然に部分オペラッド、あるいは部分オペラッド上の部分モジュールの構造を持つ。
• 構成空間のコンパクト化は、この部分構造の随伴的完成であることが示され、コンパクト化された空間に標準的な完全なオペラッド構造が与えられた。
• コンパクト化された空間の分層のスペクトル系列のE2ページは、オペラッド的モジュールのバー分解と同型である。
• ゲツラーとジョーンズが平面の場合に観察したオペラッド構造の背後にある概念的説明を提供し、一般のリーマン多様体へと拡張した。
• この枠組みは、ゲツラー、キムラ、ジョーンズ、スタシャフ、ボロノフらの以前の結果を、構成空間のコンパクト化の文脈で統合・一般化した。