Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2408.06917 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of 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.$