Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2408.06917 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866908481173323776 |
|---|---|
| author | Heine, Hadrian |
| author_facet | Heine, Hadrian |
| contents | For every stable presentably symmetric monoidal $\infty$-category $\mathcal{C}$ we use the Koszul duality between the spectral Lie operad and the cocommutative cooperad to construct an enveloping Hopf algebra functor $\mathcal{U}: \mathrm{Alg}_{\mathrm{Lie}}(\mathcal{C}) \to \mathrm{Hopf}(\mathcal{C})$ from Lie algebras in $\mathcal{C}$ to cocommutative Hopf algebras in $\mathcal{C}$ left adjoint to a functor of derived primitive elements $\mathrm{Prim}$. We study the unit of this adjunction in rational and chromatic homotopy theory: we prove that if $\mathcal{C}$ is a rational stable presentably symmetric monoidal $\infty$-category, the enveloping Hopf algebra functor $\mathcal{U}: \mathrm{Alg}_{\mathrm{Lie}}(\mathcal{C}) \to \mathrm{Hopf}(\mathcal{C})$ is fully faithful reproving a result of Gaitsgory-Rozenblyum. Let $n \geq 1 $ be a natural and $Φ[-1]: \mathcal{S}_{v_n} \to \mathrm{Alg}_{\mathrm{Lie}}(\mathrm{Sp}_{T_n})$ the shifted Bousfield-Kuhn functor from $v_n$-periodic homotopy types to spectral Lie algebras in $T_n$-local spectra. We prove that for every $v_n$-periodic homotopy type $X$ the unit $Φ(X)[-1] \to Prim \mathcal{U}(Φ(X)[-1])$ identifies with the Goodwillie completion $ Φ\to \lim_{n \geq 0} P_n(Φ)$ evaluated at the loop space of $X.$ |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_06917 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A derived Milnor-Moore theorem Heine, Hadrian Algebraic Topology For every stable presentably symmetric monoidal $\infty$-category $\mathcal{C}$ we use the Koszul duality between the spectral Lie operad and the cocommutative cooperad to construct an enveloping Hopf algebra functor $\mathcal{U}: \mathrm{Alg}_{\mathrm{Lie}}(\mathcal{C}) \to \mathrm{Hopf}(\mathcal{C})$ from Lie algebras in $\mathcal{C}$ to cocommutative Hopf algebras in $\mathcal{C}$ left adjoint to a functor of derived primitive elements $\mathrm{Prim}$. We study the unit of this adjunction in rational and chromatic homotopy theory: we prove that if $\mathcal{C}$ is a rational stable presentably symmetric monoidal $\infty$-category, the enveloping Hopf algebra functor $\mathcal{U}: \mathrm{Alg}_{\mathrm{Lie}}(\mathcal{C}) \to \mathrm{Hopf}(\mathcal{C})$ is fully faithful reproving a result of Gaitsgory-Rozenblyum. Let $n \geq 1 $ be a natural and $Φ[-1]: \mathcal{S}_{v_n} \to \mathrm{Alg}_{\mathrm{Lie}}(\mathrm{Sp}_{T_n})$ the shifted Bousfield-Kuhn functor from $v_n$-periodic homotopy types to spectral Lie algebras in $T_n$-local spectra. We prove that for every $v_n$-periodic homotopy type $X$ the unit $Φ(X)[-1] \to Prim \mathcal{U}(Φ(X)[-1])$ identifies with the Goodwillie completion $ Φ\to \lim_{n \geq 0} P_n(Φ)$ evaluated at the loop space of $X.$ |
| title | A derived Milnor-Moore theorem |
| topic | Algebraic Topology |
| url | https://arxiv.org/abs/2408.06917 |