Related papers: A derived Milnor-Moore theorem

We show how, under certain conditions, an adjoint pair of braided monoidal functors can be lifted to an adjoint pair between categories of Hopf algebras. This leads us to an abstract version of Michaelis' theorem, stating that given a Hopf…

The main objective of the present paper is to present a version of the Tannaka-Krein type reconstruction Theorems: If $F:B\to C$ is an exact faithful monoidal functor of tensor categories, one would like to realize $B$ as category of…

In this paper, we show that Goodwillie calculus, as applied to functors from stable homotopy to itself, interacts in striking ways with chromatic aspects of the stable category. Localized at a fixed prime p, let T(n) be the telescope of a…

Let $\mathcal{C}$ be a finite tensor category with simple unit object, let $\mathcal{Z}(\mathcal{C})$ denote its monoidal center, and let $L$ and $R$ be a left adjoint and a right adjoint of the forgetful functor $U:…

The natural problem we approach in the present paper is to show how the notion of formally smooth (co)algebra inside monoidal categories can substitute that of (co)separable (co)algebra in the study of splitting bialgebra homomorphisms.…

We present a novel approach to the problem of integrating homotopy Lie algebras by representing the Maurer-Cartan space functor with a universal cosimplicial object. This recovers Getzler's original functor but allows us to prove the…

Over a field of characteristic zero, we show that the forgetful functor from the homotopy category of commutative dg algebras to the homotopy category of dg associative algebras is faithful. In fact, the induced map of derived mapping…

Let $\mathsf{s}_0\mathsf{Lie}^r$ be the category of $0$-reduced simplicial restricted Lie algebras over a fixed perfect field of positive characteristic $p$. We prove that there is a full subcategory…

Let $A$ be a separable unital C*-algebra and let $\pi : A \ra \Lc(\Hf)$ be a faithful representation of $A$ on a separable Hilbert space $\Hf$ such that $\pi(A) \cap \Kc(\Hf) = \{0 \}$. We show that $\Oc_E$, the Cuntz-Pimsner algebra…

In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential…

We introduce a natural generalization of the definition of a symmetric Hopf algebroid, internal to any symmetric monoidal category with coequalizers that commute with the monoidal product. Motivation for this is the study of Heisenberg…

For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…

We use a version of Haboush's theorem over complete local Noetherian rings to prove faithfulness of the lifting for semisimple cosemisimple Hopf algebras and separable (braided, symmetric) fusion categories from characteristic $p$ to…

We present a universal property of the Bousfield--Kuhn functor $\operatorname{\Phi}_h$ of height $h$, for every positive natural number $h$. This result is achieved by proving that the costabilisation of the $\infty$-category of…

For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}_{\mathrm{sep}}$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable…

The celebrated Milnor-Moore theorem and the more general Cartier-Kostant-Milnor-Moore theorem establish close relationships of a connected and a pointed cocommutative Hopf algebra with its Lie algebra of primitive elements and its group of…

We analyze a model for the homotopy theory of complete filtered $L_\infty$-algebras intended for applications in algebraic and algebro-geometric deformation theory. We provide an explicit proof of an unpublished result of E.\ Getzler which…

We prove an analogue of the Poincare'-Birkhoff-Witt theorem and of the Cartier-Milnor-Moore theorem for non-cocommutative Hopf algebras. The primitive part of a cofree Hopf algebra is a B-infini-algebra. We construct a universal enveloping…

Using the notion of isotopy modulo $k$, with $k \in \mathbb{N}^+$, we introduce a stratification on the set of all minimal $C_\infty$-algebra enhancements of a finite-type graded commutative algebra $H^*$. We determine obstruction classes…

We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal…