Boardman–Vogt construction

Boardman–Vogt construction
Name	Boardman–Vogt construction
Introduced by	Peter Boardman, Rainer Vogt
First appeared	1970s
Field	Algebraic topology

Boardman–Vogt construction The Boardman–Vogt construction is a method in algebraic topology that produces a homotopically well-behaved resolution of algebraic structures such as operads and monoids. It provides a combinatorial and geometric machine that relates ideas from Peter May's operad theory, J. Peter May's loop space recognition, and work of Boardman and Vogt to classical constructions used in the studies of Sullivan minimal model, Eilenberg–MacLane space, Stasheff associahedron, and McClure–Smith's multivariable approaches. It has been influential in developments linked to the Deligne conjecture, Kontsevich, Getzler, and others studying formality and deformation.

Definition and intuition

The intuitive goal of the Boardman–Vogt construction is to replace a given algebraic object by a homotopy equivalent "up-to-homotopy" or "rectified" object that admits strict composition laws parametrized by cellular or polyhedral data such as associahedra or permutohedra. Early expositions relate to the work of Boardman and Vogt in topology and connect to ideas from Stasheff's A-infinity spaces, May's recognition principle for iterated loop spaces, Adams' cobar constructions, and combinatorial models used by Bott and Segal. The construction organizes compositions along combinatorial types indexed by trees, linking to the combinatorics explored by Harer and Kontsevich.

Formal construction

Formally, for an operad O in a symmetric monoidal category like compactly generated weak Hausdorff spaces or chain complexes over a field studied by Quillen and Hovey, the Boardman–Vogt W-construction produces W(O) equipped with a map W(O) → O that is often a homotopy equivalence under suitable cofibrancy conditions invoked by Quillen model category theory. The definition assembles labeled trees with edge-length parameters and gluing rules similar to those used in the definitions of Stasheff associahedron and Kapranov's work, paralleling techniques from Cohen's configuration space analyses. Variants are formulated using interval objects as in work by Moerdijk and Weiss and use categorical notions developed by Kelly and Mac Lane.

Properties and examples

Key properties include that W(O) is typically cofibrant when O is well-pointed and that the map W(O) → O exhibits W(O) as a resolution respecting homotopy invariance properties proven using tools from Dwyer–Kan theory and model structures developed by Boardman, Vogt, and later formalized by Hirschhorn. Classical examples: applying W to the associative operad recovers models for A-infinity operads used by Stasheff and Keller; applying W to the commutative operad yields E-infinity resolutions central to work by May, McClure, and Smith; applying W to little n-disks operads connects to homotopy-theoretic results by F. Cohen and structural results by Salvatore and Sinha. The construction also appears in algebraic geometry contexts influenced by Deligne and Kontsevich when studying formality and deformation quantization.

Relationship to operads and trees

W(O) is constructed from combinatorial trees whose vertices are labeled by operations in O and whose internal edges carry interval-like parameters; this explicitly ties to the tree-indexed operadic compositions studied by Ginzburg and Kapranov and to the bar–cobar duality frameworks advanced by Getzler and Jones. Trees encode parenthesizations akin to Stasheff's associahedra and allow the Boardman–Vogt construction to serve as a bridge between strict operads and homotopy-coherent analogues appearing in the work of Lurie on higher categories and in Hinich's treatments of homotopy algebras. Connections to planar and non-planar tree combinatorics feature in combinatorial studies by Chapoton and Loday.

Homotopical and model-categorical aspects

The homotopical behavior of W is often analyzed using model category structures devised by Quillen, with cofibrancy and fibrancy conditions compared via Quillen equivalences explored by Dwyer and Spalinski. W provides cofibrant replacements that are crucial for computing mapping spaces and derived Hom-objects treated in papers by Fresse and Batanin. Technical proofs invoke spectral sequence arguments reminiscent of analyses by Bousfield and Kan and use rectification results similar to those by Hinich and Fresse for homotopy algebras. The Boardman–Vogt resolution plays a role in establishing homotopy invariance of algebraic structures central to the work of Schwede and Shipley.

Variants and generalizations

Variants include versions for colored operads and multicategories treated by Yau and Markl, enriched versions in DG-categories related to Keller and Bernhard Keller's enhancements, and infinity-operad analogues appearing in the higher-categorical frameworks of Lurie and Toën–Vezzosi. Generalizations employ different interval objects or polyhedral decompositions as in constructions by Berger and Fresse, and relatives appear in factorization homology contexts studied by Ayala and Francis as well as in manifold calculus developed by Goodwillie and Weiss. These extensions connect the Boardman–Vogt idea to broad research programs in homotopical algebra, deformation theory, and higher category theory led by many of the aforementioned researchers.

Category:Algebraic topology