[Paper Review] Constructions of E_n Operads

Zbigniew Fiedorowicz|ArXiv.org|Aug 19, 1998

Parallel Computing and Optimization Techniques6 references3 citations

TL;DR

This paper presents a systematic construction of E_n operads—algebraic structures encoding n-fold loop spaces—via a family of right adjoint functors on the category of operads. It introduces a novel method to generate new E_n operads and describes generalized tensor products, offering a framework to recognize E_n structures and unify known constructions in algebraic topology.

ABSTRACT

This paper discusses the question of how to recognize whether an operad is E_n (ie. equivalent to the little n-cubes operad). A construction is given which produces many new examples of E_n operads. This construction is developed in the context of an infinite family of right adjoint constructions for operads. Some other related constructions of E_n operads, so-called generalized tensor products, are also described.

Motivation & Objective

• To develop a general method for constructing E_n operads, which model n-fold loop spaces in homotopy theory.
• To provide criteria for recognizing when an operad is equivalent to the little n-cubes operad (i.e., E_n).
• To extend existing operad constructions by introducing a family of right adjoint functors that preserve E_n structure.
• To explore generalized tensor products as a tool for generating new E_n operads from simpler ones.
• To unify and generalize known constructions of E_n operads through categorical and homotopical techniques.

Proposed method

• The paper employs a family of right adjoint functors on the category of operads to systematically generate new E_n operads.
• It uses the concept of a 'tensor product' of operads, generalized to allow for E_n structure preservation.
• The construction is applied in the context of operads enriched in topological spaces, focusing on symmetric monoidal structures.
• The method relies on categorical adjunctions to ensure that the resulting operads inherit the desired homotopical properties of E_n operads.
• The approach is illustrated through examples derived from the little n-cubes operad and its variants.
• The framework is validated by showing that known E_n operads arise naturally as special cases of the generalized construction.

Experimental results

Research questions

• RQ1 How can one systematically construct new E_n operads beyond the standard little n-cubes model?
• RQ2 What categorical constructions preserve the E_n property under operad operations?
• RQ3 Can generalized tensor products of operads yield new examples of E_n structures?
• RQ4 What conditions ensure that an operad is equivalent to the little n-cubes operad?
• RQ5 How do right adjoint functors on the category of operads relate to the homotopical properties of E_n algebras?

Key findings

• The construction yields a broad class of new E_n operads through a family of right adjoint functors, extending known examples.
• Generalized tensor products of operads are shown to preserve the E_n property under suitable conditions.
• The method provides a recognition principle for E_n operads, enabling identification of such structures in abstract settings.
• The framework unifies previously disparate constructions of E_n operads under a single categorical mechanism.
• The results demonstrate that the little n-cubes operad is not unique in its homotopical role, as many quasi-isomorphic variants can be generated via the proposed method.
• The paper establishes a formal link between adjoint functors and E_n structure, enriching the categorical understanding of iterated loop spaces.