Algebras for enriched $\infty$-operads

Basic Information

• Paper ID: 1909.10042
• Title: Algebras for enriched $\infty$-operads
• Author: Rune Haugseng (Norwegian University of Science and Technology)
• Classification: math.AT (Algebraic Topology), math.CT (Category Theory)
• Publication Date: September 2019 (initial arXiv submission), October 2024 revision (v2)
• Paper Link: https://arxiv.org/abs/1909.10042

Abstract

This paper utilizes enriched $\infty$-operads as descriptions of associative algebras in symmetric sequences to define algebras for enriched $\infty$-operads as specific modules in symmetric sequences. For a symmetric monoidal model category $\mathbf{V}$ and a $\Sigma$-cofibrant operad $\mathbf{O}$ (whose model structure lifts to $\mathbf{O}$-algebras), the author proves that strict algebras in $\mathbf{V}$ are equivalent to $\infty$-categorical algebras in the symmetric monoidal $\infty$-category associated with $\mathbf{V}$. Furthermore, for enriched $\infty$-operads $\mathcal{O}$ in an appropriately closed symmetric monoidal $\infty$-category $\mathcal{V}$, the author proves that $\mathcal{O}$-algebras in $\mathcal{V}$ can equivalently be described as self-enriched $\infty$-operad morphisms from $\mathcal{O}$ to $\mathcal{V}$.

Research Background and Motivation

Research Questions

This paper addresses how to define and study algebraic structures for enriched operads within the $\infty$-categorical framework. Specifically:

1. $\infty$-Categorification of Classical Theory: In classical category theory, algebras for enriched operads $O$ can be described through multiple equivalent methods. The paper aims to lift these descriptions to the $\infty$-categorical level.
2. Rectification Problem: Establishing equivalences between strict operadic algebras in model categories and their corresponding homotopy-coherent algebras in $\infty$-categories.
3. Endomorphism Operads: Constructing the $\infty$-categorical version of endomorphism operads and proving they possess the classical universal properties.

Importance of the Problem

1. Theoretical Completeness: $\infty$-operadic algebra theory is a core component of higher category theory, providing foundational frameworks for algebraic topology, homotopy theory, and derived algebraic geometry.
2. Unified Framework: Provides a unified perspective for understanding operadic structures across different enrichment contexts (topological spaces, simplicial sets, chain complexes, spectra, etc.).
3. Bridging Role: Connects classical model category theory with modern $\infty$-categorical theory, enabling free translation between the two frameworks.

Limitations of Existing Approaches

1. Lack of Unified Description: Existing $\infty$-operadic theories (such as Lurie's work, Barwick's definition, tree-based methods) each have advantages but lack a unified algebraic theory.
2. Incomplete Enrichment Theory: While Lurie developed the theory of space-enriched $\infty$-operads, systematic theory in general enrichment contexts remains incomplete.
3. Missing Rectification Results: Systematic rectification theorems for operadic algebras in general model categories are lacking.

Motivation for This Work

Building on the author's previous work Hau22 (describing enriched $\infty$-operads as associative algebras in symmetric sequences), this paper naturally defines algebras as corresponding module structures and systematically develops this theoretical framework.

Core Contributions

The main contributions of this paper include:

1. Module-Theoretic Characterization of Algebras (Definition 3.6): Defines algebras for enriched $\infty$-operads $O$ as right $O$-modules concentrated in degree 0 in the symmetric sequence category, providing a concise and computationally friendly definition.
2. Rectification Theorem (Theorem 4.10): For a symmetric monoidal model category $\mathbf{V}$ and a $\Sigma$-cofibrant operad $\mathbf{O}$ satisfying appropriate conditions, proves the equivalence $\text{Alg}_O(\mathbf{V})[\mathbf{W}_O^{-1}] \simeq \text{Alg}_O(\mathcal{V})$ where $\mathcal{V} = \mathbf{V}[\mathbf{W}^{-1}]$ is the localization of the model category.
3. Explicit Formula for Free Algebras (Proposition 3.8): Provides an explicit expression for the free $O$-algebra functor: $U_O F_O M(x) \simeq \coprod_n \operatorname{colim}_{(x_1,\ldots,x_n) \in X^n_{h\Sigma_n}} M(x_1) \otimes \cdots \otimes M(x_n) \otimes O\left(\begin{smallmatrix}x_1,\ldots,x_n\\x\end{smallmatrix}\right)$
4. Construction of Endomorphism $\infty$-Operads (Theorem 5.12): For a closed symmetric monoidal $\infty$-category $\mathcal{V}$, constructs a self-enrichment $\mathbb{V}$ and proves the natural equivalence $\{O\text{-algebras in }\mathcal{V}\} \simeq \{\text{morphisms of }\mathcal{V}\text{-}\infty\text{-operads } O \to \mathbb{V}\}$
5. Application Examples: Applies the rectification theorem to important examples including simplicial sets, topological spaces, chain complexes (characteristic zero), and symmetric spectra.

Detailed Methodology

Theoretical Foundations

$\infty$-Operads as Algebras

The core idea builds on the author's previous work Hau22:

Key Content of Theorem 2.12: There exists a framed double $\infty$-category $\text{COLL}(\mathcal{V})$ where:

• Objects are small $\infty$-groupoids
• Horizontal morphisms from $X$ to $Y$ are functors $F_X^{\simeq,Y} \to \mathcal{V}$ (symmetric sequences)
• Composition of horizontal morphisms is given by the composition product $\Phi \odot_Y \Psi$

Composition Product Formula: $\Phi \odot_Y \Psi\left(\begin{smallmatrix}x_1,\ldots,x_n\\z\end{smallmatrix}\right) \simeq \operatorname{colim}_{n \to m \to 1} \operatorname{colim}_{(y_i) \in Y^{\times m}} \bigotimes_{i \in m} \Phi\left(\begin{smallmatrix}x_k : k \in n_i\\y_i\end{smallmatrix}\right) \otimes \Psi\left(\begin{smallmatrix}y_1,\ldots,y_k\\z\end{smallmatrix}\right)$

where $F_X^{\simeq} := \coprod_{n=0}^{\infty} X^{\times n}_{h\Sigma_n} \times X$ is the indexing category for symmetric sequences.

Key Equivalence: $\text{Opd}_X(\mathcal{V}) \simeq \text{Alg}_{\Delta^{\text{op}}}(\text{Coll}_X(\mathcal{V}))$

That is, $\mathcal{V}$-enriched $\infty$-operads with space $X$ are equivalent to associative algebras in $\text{Coll}_X(\mathcal{V}) := \text{Fun}(F_X^{\simeq}, \mathcal{V})$.

Definition of Algebras

Concentration in Degree 0

Definition 3.4: An element $\Phi \in \text{Coll}_X(\mathcal{V})$ is concentrated in degree 0 if for all $n > 0$, $\Phi\left(\begin{smallmatrix}x_1,\ldots,x_n\\y\end{smallmatrix}\right) \simeq \varnothing$ where $\varnothing$ is the initial object in $\mathcal{V}$.

Proposition 3.5(i): The functor $Z: \text{Coll}_X(\mathcal{V}) \to \text{Fun}(X, \mathcal{V})$ (given by composition with $X \hookrightarrow F_X^{\simeq}$) has a fully faithful left adjoint, identifying $\text{Fun}(X, \mathcal{V})$ with degree-0-concentrated symmetric sequences.

Module-Theoretic Characterization of Algebras

Key Observation (Proposition 3.5(ii)): If $M$ is concentrated in degree 0, then for any $N \in \text{Coll}_X(\mathcal{V})$, the composition product $M \odot_X N$ is also concentrated in degree 0.

This means $\text{Fun}(X, \mathcal{V})$ naturally forms a right module over $\text{Coll}_X(\mathcal{V})$.

Definition 3.6: Let $O$ be a $\mathcal{V}$-$\infty$-operad with space $X$ (i.e., an associative algebra in $\text{Coll}_X(\mathcal{V})$). An algebra for $O$ in $\mathcal{V}$ is a right $O$-module in $\text{Fun}(X, \mathcal{V})$. Denote $\text{Alg}_O(\mathcal{V}) := \text{RMod}_O(\text{Fun}(X, \mathcal{V}))$

Free Algebras and Monadicity

Proposition 3.8 provides the left adjoint $F_O$ to the forgetful functor $U_O: \text{Alg}_O(\mathcal{V}) \to \text{Fun}(X, \mathcal{V})$, satisfying:

1. Free Algebra Formula: As stated above
2. Preservation of Sifted Colimits: $U_O$ preserves sifted colimits
3. Monadicity: The adjoint pair $(F_O, U_O)$ is monadic

These properties are proved using general theory of module categories from Lur17.

Proof Strategy for Rectification Theorem

The rectification theorem (Theorem 4.10) follows the strategy of Lurie Lur17, Theorem 4.1.4.4 and Pavlov-Scholbach PS18a, Theorem 7.10:

Proof Outline:

1. Monad Comparison: Prove both adjoints are monadic
2. Monad Equivalence: Prove the corresponding monads on $\text{Fun}(S, \mathcal{V})$ have equivalent underlying functors
3. Apply Monadicity Theorem: Use Lur17, Corollary 4.7.3.16 to obtain equivalence of algebra categories

Key Technical Points:

• Use the concept of flat objects (Definition 4.1) to handle cases where the unit is not cofibrant
• For $\Sigma$-cofibrant operads, use PS18a, Proposition 7.8 to prove the forgetful functor preserves sifted homotopy colimits
• The free algebra formula, under $\Sigma$-cofibrancy, has $\Sigma_n$-orbits equivalent to homotopy orbits

Construction of Endomorphism Operads

Lurie's Endomorphism Algebra Theory

For a monoidal $\infty$-category $\mathcal{A}$ and right $\mathcal{A}$-tensored category $\mathcal{M}$, the endomorphism algebra of an object $M \in \mathcal{M}$ is an associative algebra $\text{End}(M)$ in $\mathcal{A}$ with the universal property: for any associative algebra $A$ in $\mathcal{A}$, $\text{RMod}_A(\mathcal{M})_M \simeq \text{Map}_{\text{Alg}_{\Delta^{\text{op}}}(\mathcal{A})}(A, \text{End}(M))$

Application to Symmetric Sequences

Proposition 5.2: For $M \in \text{Fun}(X, \mathcal{V})$ and $S \in \text{Coll}_X(\mathcal{V})$, there exists a natural equivalence $\text{Map}_{\text{Fun}(X,\mathcal{V})}(M \odot S, M) \simeq \text{Map}_{\text{Coll}_X(\mathcal{V})}(S, \text{End}_{\mathcal{V}}(M))$ where $\text{End}_{\mathcal{V}}(M)\left(\begin{smallmatrix}x_1,\ldots,x_n\\x\end{smallmatrix}\right) \simeq \text{MAP}_{\mathcal{V}}(M(x_1) \otimes \cdots \otimes M(x_n), M(x))$

Here $\text{MAP}_{\mathcal{V}}$ is the internal Hom.

Corollary 5.4: For any $M \in \text{Fun}(X, \mathcal{V})$, there exists an endomorphism $\infty$-operad $\text{End}_{\mathcal{V}}(M) \in \text{Opd}_X(\mathcal{V})$ satisfying the universal property.

Universe Enlargement Technique

To handle the large functor $\mathcal{V}^{\simeq} \to \mathcal{V}$, the author uses universe enlargement:

1. Construct a very large presentable $\infty$-category $\hat{\mathcal{V}}$ containing $\mathcal{V}$ as a fully faithful subcategory
2. Apply the endomorphism algebra construction to the inclusion $i: \mathcal{V}^{\simeq} \to \hat{\mathcal{V}}$
3. Obtain a (large) $\mathcal{V}$-$\infty$-operad $\mathbb{V} := \text{End}_{\hat{\mathcal{V}}}(i)$

Theorem 5.12: For any small $\mathcal{V}$-$\infty$-operad $O$, the mapping space $\text{Map}_{\text{Opd}(\hat{\mathcal{V}})}(O, \mathbb{V}) \simeq \text{Alg}_O(\mathcal{V})^{\simeq}$ is an equivalence.

Experimental Setup

This is a pure theoretical mathematics paper with no experimental setup, datasets, or numerical experiments. All results are rigorous mathematical proofs.

Experimental Results

Applications of Main Theorems

Corollary 4.11: The rectification theorem applied to concrete examples:

1. Simplicial Sets: For $\Sigma$-cofibrant simplicial operads $O$, $\text{Alg}_O(\text{Set}_{\Delta})[\mathbf{W}_O^{-1}] \simeq \text{Alg}_O(\mathcal{S})$
2. Topological Spaces: For $\Sigma$-cofibrant topological operads $O$, $\text{Alg}_O(\text{Top})[\mathbf{W}_O^{-1}] \simeq \text{Alg}_O(\mathcal{S})$
3. Chain Complexes (characteristic zero): For $\Sigma$-cofibrant dg-operads $O$ over a characteristic zero field $k$, $\text{Alg}_O(\text{Ch}_k)[\mathbf{W}_O^{-1}] \simeq \text{Alg}_O(\mathcal{D}(k))$
4. Symmetric Spectra: For $\Sigma$-cofibrant symmetric spectrum operads $O$, $\text{Alg}_O(\text{Sp}^{\Sigma})[\mathbf{W}_O^{-1}] \simeq \text{Alg}_O(\text{Sp})$

Verification of Theoretical Properties

Application of Proposition 3.8: The free algebra formula is verified to satisfy:

• Consistency with classical theory in the strict case
• Preservation of expected universal properties at the $\infty$-categorical level
• Monadicity ensures good properties of the algebra category

Proposition 5.7: Compatibility of endomorphism operads with morphisms: for $f: X \to Y$, $f^* \text{End}_{\mathcal{V}}(M) \simeq \text{End}_{\mathcal{V}}(f^* M)$

Proposition 5.14: For the category of spaces $\mathcal{S}$, $\mathcal{S}^{\times} \simeq \mathbb{S}$ where $\mathcal{S}^{\times}$ is the symmetric monoidal $\infty$-category given by Cartesian product.

Related Work

Different Approaches to $\infty$-Operads

1. Lurie's Approach Lur17:
   • Uses complete Segal spaces and fibrations of $\infty$-categories
   • Primarily focuses on space-enriched cases
   • Provides general theory of endomorphism algebras
2. Barwick's Approach Bar18:
   • Uses operator categories
   • Defines $\infty$-operads as presheaves on $\Delta_F$ satisfying Segal conditions
   • Provides the foundational framework adopted in this paper
3. Tree-Based Methods:
   • Heuts Heu11 uses dendroidal sets to describe space and $\infty$-category-valued algebras
   • Moerdijk-Weiss's dendroidal $\infty$-operad theory
4. Trimble-Carboni Approach:
   • Brantner Bra17 uses symmetric sequences as freely generated symmetric monoidal $\infty$-categories
   • Comparison with other methods remains to be done

Operadic Algebras in Model Categories

1. Pavlov-Scholbach PS18a, PS18b:
   • Systematically study admissible operads
   • Prove rectification theorems for simplicial operads
   • Theorem 4.10 of this paper is a generalization
2. Spitzweck Spi01:
   • Proves existence of (semi)model structures on algebras over $\Sigma$-cofibrant operads in general model categories
   • This paper uses results about cofibrant algebras having cofibrant underlying objects
3. White-Yau WY18, WY24:
   • Generalize operadic algebra theory to the colored setting
   • Recently generalize rectification results to semi-model categories

Enriched $\infty$-Category Theory

1. Gepner-Haugseng GH15:
   • Define enriched $\infty$-categories via non-symmetric $\infty$-operads
   • Provide some technical tools used in this paper
2. Hinich Hin20:
   • Studies Yoneda lemma for enriched $\infty$-categories
   • Provides strategy for endomorphism algebra construction (adopted in §5)
3. Chu-Haugseng CH20:
   • Systematically develop enriched $\infty$-operad theory
   • Define Segal condition version used in this paper

Unique Contributions of This Paper

Compared to existing work:

• Unification: Provides unified framework handling various enrichments
• Computational Friendliness: Module-theoretic characterization enables more direct computation
• Generality: Rectification theorem applies to broad class of model categories
• Completeness: Simultaneously addresses algebra definition, rectification, and endomorphism operads

Conclusions and Discussion

Main Conclusions

1. Module-Theoretic Characterization of Algebras: Algebras for enriched $\infty$-operads can be concisely defined as degree-0-concentrated modules in the symmetric sequence category. This definition:
   • Is conceptually clear and operationally convenient
   • Automatically yields explicit formulas for free algebras
   • Agrees with classical definitions in the strict case
2. Universality of Rectification Theorem: For model categories and $\Sigma$-cofibrant operads satisfying appropriate conditions, strict algebras in the model category are equivalent to homotopy-coherent algebras in the $\infty$-category. This applies to:
   • All chain complexes in characteristic zero
   • Simplicial sets and topological spaces
   • Symmetric spectra (using flat objects technique)
3. Universal Property of Endomorphism Operads: For closed symmetric monoidal $\infty$-categories, there exists a self-enrichment $\mathbb{V}$ such that $O$-algebras are equivalent to operad morphisms $O \to \mathbb{V}$. This generalizes classical endomorphism operad theory to the $\infty$-categorical level.

Limitations

The author explicitly identifies the following restrictions:

1. Completeness Issues (Warning 1.3):
   • The "$\mathcal{V}$-$\infty$-operads" used are algebraic in nature, not requiring completeness
   • More precisely, these are "flagged" enriched $\infty$-operads
   • However, Remark 3.10 shows algebra categories are invariant under fully faithful essential surjections, so this doesn't affect main results
2. Existence of Model Structures:
   • Rectification theorem requires model structures on operad algebra categories
   • For chain complexes in positive characteristic, typically only semi-model structures exist (Remark 4.14)
   • White-Yau WY24 recently generalized to semi-model setting
3. Technical Assumptions:
   • Requires $\mathcal{V}$ compatible with colimits indexed by small $\infty$-groupoids
   • Endomorphism operads require $\mathcal{V}$ to be closed
   • $\Sigma$-cofibrancy is key assumption for rectification theorem
4. Comparison with Other Constructions:
   • Brantner's composition product construction not yet compared with this approach
   • Remark 5.13 notes that relationship with Lurie's tensor-based enrichment needs better understanding

Future Directions

Research directions suggested or explicitly proposed in the paper:

1. Completeness Theory:
   • Systematically study complete enriched $\infty$-operads
   • Understand impact of completion on algebra categories
2. Semi-Model Structures:
   • Fully generalize rectification theorem to semi-model categories (partially completed by White-Yau)
   • Understand special features in positive characteristic
3. Tensors and Enrichment (Remark 5.13):
   • Better understand $\infty$-category tensor constructions
   • Prove equivalence of $\text{Alg}_O(\mathcal{V})$ with $\text{Alg}_{(\Delta^{\bullet} \otimes O)}(\mathcal{V})^{\simeq}$
4. Other Enrichment Contexts:
   • Generalize to more general enrichment bases
   • Study non-symmetric monoidal enrichments
5. Applications:
   • Applications in derived algebraic geometry
   • Applications in spectral algebraic topology

In-Depth Evaluation

Strengths

1. Theoretical Innovation

Elegance of Module-Theoretic Perspective: Defining algebras as degree-0-concentrated modules is a profound insight. This definition:

• Arises naturally from the symmetric sequence description of operads
• Avoids direct handling of infinite coherence complexity
• Automatically yields computationally friendly formulas

Unified Framework: This paper provides a unified framework for handling different enrichment contexts, which is particularly important for:

• Connecting model category and $\infty$-categorical worlds
• Simultaneously handling one-object and multi-object operads
• Applying to multiple concrete mathematical objects (spaces, spectra, chain complexes, etc.)

2. Technical Depth

Handling of Flat Objects: The introduction of the flat object subcategory (Definition 4.1) elegantly solves the problem of non-cofibrant units, enabling the rectification theorem to apply to important examples like symmetric spectra.

Universe Enlargement Technique: The use of universe enlargement in constructing endomorphism operads (§5) is a technical highlight, cleverly addressing size issues.

Monadicity Arguments: The entire rectification theorem proof is based on monad comparison, a powerful and conceptually clear strategy.

3. Importance of Results

Broad Applicability of Rectification Theorem: Theorem 4.10 and Corollary 4.11 cover the most important model categories in algebraic topology, providing solid foundations for using $\infty$-categorical methods in these contexts.

Universal Property of Endomorphism Operads: Theorem 5.12 fully lifts classical endomorphism operad theory to the $\infty$-categorical level, which is crucial for understanding representation theory of operads.

4. Writing Quality

• Clear Structure: Well-organized progression from background to new results
• Adequate Motivation: Clear motivation for each definition and construction
• Technical Precision: Rigorous mathematical arguments with appropriate citations
• Readability: Despite highly technical content, the author makes efforts toward clarity

Weaknesses

1. Theoretical Level

Impact of Completeness Assumptions: While Remark 3.10 shows algebra categories are invariant under fully faithful essential surjections, completeness issues may remain important in broader operadic theory.

Necessity of Technical Conditions: The necessity of certain technical assumptions (such as $\Sigma$-cofibrancy) is not entirely clear. Do weaker conditions also yield similar results?

2. Comparison with Other Methods

Missing Comparison with Brantner's Approach: While Brantner's composition product construction is mentioned (§1.1), detailed comparison with this paper's method would be valuable.

Relationship to Tree-Based Methods: The relationship with Heuts and others' dendroidal set methods is only briefly mentioned; deeper comparison would be worthwhile.

3. Demonstration of Applications

The paper primarily focuses on theoretical development, lacking concrete examples of applications to specific mathematical problems. For instance:

• How to use these results to study concrete operads (e.g., $E_n$-operads)
• Specific applications in derived algebraic geometry or spectral algebraic topology

4. Computational Examples

While explicit formulas for free algebras are provided, concrete computational examples demonstrating practical use of these formulas would be helpful.

Impact

Contributions to the Field

1. Foundational Theory: Provides solid algebraic foundations for enriched $\infty$-operad theory
2. Methodology: Module-theoretic perspective may inspire research on other higher categorical structures
3. Bridging Role: Connects classical and modern theory, enabling mutual translation of results

Practical Value

1. Computational Tools: Provides computationally friendly algebra definitions and free algebra formulas
2. Rectification Applications: Enables computation in model categories with transfer to $\infty$-categories
3. Theoretical Foundation: Provides necessary theoretical support for subsequent applied work

Reproducibility

As a pure theoretical mathematics paper:

• Complete Proofs: All main results have complete proofs
• Sufficient Citations: Appropriately cites necessary background results
• Clear Logic: Argument chains are clear and traceable

However, note:

• Requires substantial $\infty$-categorical background
• Depends on important references like Lurie's Higher Algebra
• Some technical details require consulting cited literature

Applicable Scenarios

This paper's theory and methods apply to:

1. Algebraic Topology:
   • Studying operadic structures on spectra
   • Higher algebraic structures in homotopy theory
2. Derived Algebraic Geometry:
   • Operadic algebras on derived categories
   • Enriched structures in formal geometry
3. Higher Category Theory:
   • Enriched $\infty$-category theory
   • Research on other higher algebraic structures
4. Model Category Theory:
   • Understanding relationships between model categories and $\infty$-categories
   • Research on rectification problems
5. Representation Theory:
   • Representation theory of operads
   • Module categories in enriched contexts

Long-Term Value

The long-term value of this paper lies in:

1. Foundational Status: As foundational literature for algebraic theory of enriched $\infty$-operads
2. Methodology: Module-theoretic methods may influence other fields
3. Completeness: Systematically addresses algebra definition, rectification, and endomorphism operads
4. Extensibility: Framework is sufficiently general for application to new enrichment contexts

References

The paper cites the following key references:

1. Lur17 Jacob Lurie, Higher Algebra - Foundational reference for $\infty$-category theory
2. Hau22 Rune Haugseng, ∞-Operads via symmetric sequences - Preceding work of this paper
3. PS18a, PS18b Pavlov-Scholbach's work on admissible operads
4. Bar18 Barwick's definition of $\infty$-operads
5. CH20 Chu-Haugseng's systematic theory of enriched $\infty$-operads
6. Hin20 Hinich's Yoneda lemma for enriched $\infty$-categories
7. WY18, WY24 White-Yau's work on colored operads and semi-model structures

Overall Assessment: This is a high-quality theoretical mathematics paper making important contributions to enriched $\infty$-operad theory. Through the module-theoretic perspective, the author provides an elegant and computationally friendly framework for defining algebras and proves important rectification theorems and universal properties for endomorphism operads. The paper has high technical depth, rigorous arguments, and significant theoretical and practical value for higher category theory and algebraic topology. While highly specialized, it is essential reading for researchers in this field.