The extended rational homotopy theory of operads

DOI10.1515/GMJ-2018-0061MaRDI QIDQ1755865zbMATH OpenOpenAlexFDO

Authors Benoît Fresse

Publication date 11 January 2019

Published in Georgian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1805.00530

zbMATH Keywords

little disks operadoperadsrational homotopySullivan models

Mathematics Subject Classification ID

Rational homotopy theory (55P62)

Abstract: 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"uller 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 type rational cohomology groups).

Review text

Thanks to \textit{D. Sullivan}'s theory [Publ. Math., Inst. Hautes Étud. Sci. 47, 269--331 (1977; Zbl 0374.57002)], the rational homotopy type of a (connected, nilpotent, finite-type) simplicial set $X$ is encoded the quasi-isomorphism type of the commutative differential-graded algebra (CDGA) of piecewise polynomial form $\Omega^*(X)$. In his previous work [Homotopy of operads and Grothendieck-Teichmüller groups. Part 2: The applications of (rational) homotopy theory methods. Providence, RI: American Mathematical Society (AMS) (2017; Zbl 1375.55007)], the author showed that a similar result holds for reduced simplicial $\Lambda$-operads $\mathtt{P}$ satisfying $\mathtt{P}(1) = *$. More precisely, he showed that the rational homotopy type of $\mathtt{P}$ is encoded by a certain Hopf cooperad (i.e. a cooperad in the category of CDGAs) $\Omega^*_\sharp(\mathtt{P})$, an operadic upgrade of Sullivan's functor obtained as the right adjoint of the realization functor. Moreover, he built a model structure on simplicial operads and Hopf cooperads, and showed that $\Omega^*_\sharp$ was part of a Quillen adjunction. These constructions were used to obtain results about the homotopy automorphisms of the little disks operad $\mathtt{D}_2$. \par In this article, the author extends the theory to operads which do not necessarily satisfy $\mathtt{P}(1) = *$. For this, the author considers conilpotent Hopf cooperads, i.e. those such that the cocomposition product of a given element vanishes after enough applications. (This condition is automatically satisfied for reduced Hopf cooperads.) The author shows that the operadic upgrade of Sullivan's functor stills exists, that the model structure extends to this category, and that the rational homotopy type of an operad $\mathtt{P}$ is indeed encoded by $\Omega^*_\sharp$. This enables him to obtain results about the framed little disks operad $\mathtt{D}_n^{fr}$ which satisfies $\mathtt{D}_n^{fr}(1) = \mathrm{SO}(n)$. The main difficulty resides in showing that $\Omega^*_\sharp(\mathtt{P})(r) \simeq \Omega^*(\mathtt{P}(r))$ for cofibrant $\mathtt{P}$: for reduced operads this followed from checking the proposition for free operads, but in the case of unreduced operads, the arity one component may be disconnected and the proof fails. The author uses the James construction instead of the free operad to solve this issue.

Recommendations

• The intrinsic formality of \(E_n\)-operads
• Homotopy of operads and Grothendieck-Teichmüller groups. Part 2: The applications of (rational) homotopy theory methods
• A(nother) model for the framed little disks operad
• Models for operads
• Lie algebras over operads and their applications in homotopy theory

Cites work

• Axiomatic homotopy theory for operads
• Homotopy of operads and Grothendieck-Teichmüller groups. Part 2: The applications of (rational) homotopy theory methods
• Infinitesimal computations in topology
• The homotopy theory of operad subcategories

Cited in

(10)

• Formality of a higher-codimensional Swiss-cheese operad
• Calculus of functors, operad formality, and rational homology of embedding spaces
• The homotopy theory of bialgebras over pairs of operads
• scientific article; zbMATH DE number 2096976 (Why is no real title available?)
• Operads and Operadic Algebras in Homotopy Theory
• The sphere operad
• Homotopy theory of nonsymmetric operads
• A(nother) model for the framed little disks operad
• Real models for the framed little n-disks operads
• The intrinsic formality of \(E_n\)-operads

This page was built for publication: The extended rational homotopy theory of operads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1755865)