The category of differential graded operads is a cofibrantly generated model category and as such inherits simplicial mapping spaces. The vertices of an operad mapping space are just operad morphisms. The 1-simplices represent homotopies between morphisms in the category of operads.
The goal of this paper is to determine the homotopy of the operadic mapping spaces Map(E_n,C) with a cofibrant E_n-operad on the source and the commutative operad on the target. First, we prove that the homotopy class of a morphism phi: E_n -> C is uniquely determined by a multiplicative constant which gives the action of phi on generating operations in homology. From this result, we deduce that the connected components of Map(E_n,C) are in bijection with the ground ring. Then we prove that each of these connected components is contractible.
In the case where n is infinite, we deduce from our results that the space of homotopy self-equivalences of an E-infinity-operad in differential graded modules has contractible connected components indexed by invertible elements of the ground ring.
The spaces of configurations of non-$k$-overlapping discs have been studied as a bimodule over the little discs operad. In fact, the spaces form a filtered operad. We define and study the induced structure on the homology.
This paper deals with the homotopy theory of differential graded operads. We endow the Koszul dual category of curved conilpotent cooperads, where the notion of quasi-isomorphism barely makes sense, with a model category structure Quillen equivalent to that of operads. This allows us to describe the homotopy properties of differential graded operads in a simpler and richer way, using obstruction methods.
Minimal models of chain complexes associated with free torus actions on spaces have been extensively studied in the literature. In this paper, we discuss these constructions using the language of operads. The main goal of this paper is to define a new Koszul operad that has projections onto several of the operads used in these minimal model constructions.
In this paper we present a construction which is a generalization of the exterior algebra of a vector space $V$. We show how this fits in the language of operads, discuss some properties, and give explicit computations for the case $dim(V)=2$.
Equipping a non-equivariant topological $E_\infty$-operad with the trivial $G$-action gives an operad in $G$-spaces. For a $G$-spectrum, being an algebra over this operad does not provide any multiplicative norm maps on homotopy groups. Algebras over this operad are called naïve-commutative ring $G$-spectra. In this paper we take $G=SO(2)$ and we show that commutative algebras in the algebraic model for rational $SO(2)$-spectra model rational naïve-commutative ring $SO(2)$-spectra. In particular, this applies to show that the $SO(2)$-equivariant cohomology associated to an elliptic curve $C$ f…
We study some formality criteria for differential graded algebras over differential graded operads. This unifies and generalizes other known approaches like the ones by Manetti and Kaledin. In particular, we construct general operadic Kaledin classes and show that they provide obstructions to formality. Moreover, we show that an algebra A is formal if and only if its operadic cohomology spectral sequence degenerates at $E_2$.
In this paper, we set up a rational homotopy theory for operads in simplicial sets whose term of arity one is not necessarily reduced to an operadic unit, extending results obtained by the author in the book "Homotopy of operads and Grothendieck-Teichmüller groups". In short, we prove that the rational homotopy type of such an operad is determined by a cooperad in cochain differential graded algebras (a cochain Hopf dg-cooperad for short) as soon as the Sullivan rational homotopy theory works for the spaces underlying our operad (e.g. when these spaces are connected, nilpotent, and have finite…
The goal of this paper is to furnish a literature on Goodwillie calculus for functors defined between categories which derive from chain complexes over a ground field $\Bbbk.$ We characterize homogeneous functors $F: \mathcal{C} \longrightarrow \mathcal{D}$ where $\mathcal{C} ,\mathcal{D}= Ch$ (chain complexes), $Ch_+$(non-negatively graded chain complexes) or $\text{Alg}_\mathcal{O}$ (algebras over a chain complex operad $\mathcal{O}$). In the particular case when $\mathcal{D}= \text{Alg}_\mathcal{O},$ our characterization requires $\Bbbk$ to be of characteristics $0.$ We are then extending t…
The note identifies which which couniversal spaces have suspension spectra equivalent to commutative orthogonal ring G-spectra for a compact Lie group G. These are precisely those whose cofamily is closed under passage to finite index subgroups. Equivalently these are the couniversal spaces admitting an action of an equivariant E infinity operad.
This paper sets up the foundations for derived algebraic geometry, Goerss--Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially) arbitrary model category. We show that one can do derived algebraic geometry a la Toën--Vezzosi in an abstract category of spectra. We also answer in the affirmative a question of Goerss and Hopkins by showing that the obstruction theory for operadic algebras in spectra can be done in the generality of spectra in an (essentially) arbitrary model category. We c…
本文的目的是比较，在一个精确的方式，两个概念的操作同伦出现在文献中。也就是说，我们构造了一个从严格酉同伦有色算子范畴到无穷算子范畴的函子。前一个概念，我们使精确，是操作推广的概念的A-无限范畴和后一个概念是由Moerdijk-Weiss定义的，以推广单纯概念的无限范畴的Joyal-Lurie。这个函子在两个方向上扩展了A-无穷范畴的Faonte-Lurie的单纯神经和微分分次算子的Moerdijk-Weiss的同伦相干神经;它也被证明等价于微分分次算子的大神经à la Lurie。我们证明了它满足一些同伦性质的弱等价和纤维化，例如，它是一个右Quillen函子。
We define a simplicial enrichment on the category of differential graded Hopf cooperads (the category of dg Hopf cooperads for short). We prove that our simplicial enrichment satisfies, in part, the axioms of a simplicial model category structure on the category of dg Hopf cooperads. We use this simplicial model structure to define a model of mapping spaces in the category of dg Hopf cooperads and to upgrade results of the literature about the homotopy automorphism spaces of dg Hopf cooperads by dealing with simplicial monoid structures. The rational homotopy theory of operads implies that the…
This paper is a review of concepts from graded commutative algebra with specific attention given to length and multiplicity. The author's motivation for this paper comes from the study of equivariant cohomology in algebraic topology where the graded commutative algebra of the module is intimately connected to topological properties of the space (as shown by Quillen). Results (and their proofs) which are often left as exercises, or considered 'folklore' in the commutative algebra community are included in this paper, as are references to relevant applications in topology. As such, this paper is…
Computing Small 1-Homological Models for Commutative Differential Graded Algebras
我们使用同调扰动机械具体的代数范畴[P。同调扰动理论与结合论。Homology，Homotopy and Applications第2卷，n. 5（2000）51-88]给出了计算交换微分分次代数（简称CDGA）的小1-同调模型的微分结构的算法。的过程的复杂性进行了研究，并在Mathematica的计算机软件包中描述用于确定这样的模型。
Let R be a strongly Z-graded ring with degree-0 subring S, and let C be a chain complex of modules over the subring P of elements of non-negative degree. We show that there are non-commutative localisations of P which detect whether the complex C is S-finitely dominated or S-contractible, respectively, and that these localisations are universal among P-rings making S-finitely dominated and S-contractible complexes contractible. This generalises known results for polynomial rings to a much wider class of rings. We show by example that in general C need not be P-homotopy finite even if C is S-fi…
We establish a highly flexible condition that guarantees that all colored symmetric operads in a symmetric monoidal model category are admissible, i.e., the category of algebras over any operad admits a model structure transferred from the original model category. We also give a necessary and sufficient criterion that ensures that a given weak equivalence of admissible operads admits rectification, i.e., the corresponding Quillen adjunction between the categories of algebras is a Quillen equivalence. In addition, we show that Quillen equivalences of underlying symmetric monoidal model categori…
