[Paper Review] A Compactification of the Real Configuration Space as an Operadic Completion

Martin Markl|ArXiv.org|Aug 12, 1996

Constraint Satisfaction and Optimization3 citations

TL;DR

This paper demonstrates that the compactification of the real configuration space of distinct points in a Riemannian manifold, constructed by Axelrod and Singer, naturally inherits an operadic structure through an operadic completion process. By showing that the non-compactified configuration space forms a partial operad, the authors prove that its compactification arises as a modular completion, thereby endowing the compactified space with a canonical operad structure and linking the spectral sequence of its stratification to the bar resolution of an operadic module.

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.

Motivation & Objective

• To understand the algebraic structure underlying the compactification of configuration spaces in Riemannian manifolds.
• To explain why the compactified configuration space carries a natural operad structure, despite the non-compactness of the original space.
• To generalize previous results on planar configurations (e.g., Getzler, Jones) to arbitrary Riemannian manifolds.
• To establish a connection between the spectral sequence of the stratification and the bar resolution of an operadic module.
• To provide a conceptual framework—operadic completion—for understanding the compactification as a natural algebraic completion of a partial operad.

Proposed method

• The non-compactified configuration space is shown to form a partial operad, or more precisely, a partial module over a partial operad.
• The compactification is constructed as an operadic completion, a universal construction that extends the partial structure to a full operad.
• The authors use the theory of modular operads and operadic modules to formalize the completion process.
• The spectral sequence associated with the stratification of the compactified space is analyzed using homological algebra techniques.
• The second page of the spectral sequence is identified with the bar resolution of an operadic module, linking topology to homological algebra.
• The framework generalizes earlier results on planar configurations by Getzler and Jones to the setting of general Riemannian manifolds.

Experimental results

Research questions

• RQ1 How can the compactification of configuration spaces in a Riemannian manifold be understood as a completion of an algebraic structure?
• RQ2 What is the precise operadic structure that arises on the compactified configuration space?
• RQ3 How does the spectral sequence of the stratification of the compactified space relate to homological algebra constructions such as the bar resolution?
• RQ4 In what sense does the configuration space form a partial operad before compactification?
• RQ5 To what extent can the results of Getzler and Jones on planar configurations be generalized to arbitrary Riemannian manifolds?

Key findings

• The non-compactified configuration space of distinct points in a Riemannian manifold naturally carries the structure of a partial operad or partial module over a partial operad.
• The compactification of the configuration space is shown to be the operadic completion of this partial structure, thereby endowing the compactified space with a canonical full operad structure.
• The spectral sequence of the stratification of the compactified space has its E2-page isomorphic to the bar resolution of an operadic module.
• The construction provides a conceptual explanation for the operad structure observed by Getzler and Jones in the planar case, extending it to general Riemannian manifolds.
• The framework unifies and generalizes earlier results of Getzler, Kimura, Jones, Stasheff, Voronov, and others in the context of configuration space compactifications.