Showing 1–17 of 17 results for author: Heuts, G

Poincaré-Birkhoff-Witt Theorems in Higher Algebra

Authors: Omar Antolín-Camarena, Lukas Brantner, Gijs Heuts

Abstract: We extend the classical Poincaré-Birkhoff-Witt theorem to higher algebra by establishing a version that applies to spectral Lie algebras. We deduce this statement from a basic relation between operads in spectra: the commutative operad is the quotient of the associative operad by a right action of the spectral Lie operad. This statement, in turn, is a consequence of a fundamental relation between… ▽ More We extend the classical Poincaré-Birkhoff-Witt theorem to higher algebra by establishing a version that applies to spectral Lie algebras. We deduce this statement from a basic relation between operads in spectra: the commutative operad is the quotient of the associative operad by a right action of the spectral Lie operad. This statement, in turn, is a consequence of a fundamental relation between different $\mathbb{E}_n$-operads, which we articulate and prove. We deduce a variant of the Poincaré--Birkhoff--Witt theorem for relative enveloping algebras of $\mathbb{E}_n$-algebras. Our methods also give a simple construction and description of the higher enveloping $\mathbb{E}_n$-algebras of a spectral Lie algebra. △ Less

Submitted 6 January, 2025; originally announced January 2025.

Comments: 14 pages

MSC Class: 17B01; 17B05; 17B35; 18N70

Koszul duality and a conjecture of Francis-Gaitsgory

Authors: Gijs Heuts

Abstract: Koszul duality is a fundamental correspondence between algebras for an operad $\mathcal{O}$ and coalgebras for its dual cooperad $B\mathcal{O}$, built from $\mathcal{O}$ using the bar construction. Francis-Gaitsgory proposed a conjecture about the general behavior of this duality. The main result of this paper, roughly speaking, is that Koszul duality provides an equivalence between the subcategor… ▽ More Koszul duality is a fundamental correspondence between algebras for an operad $\mathcal{O}$ and coalgebras for its dual cooperad $B\mathcal{O}$, built from $\mathcal{O}$ using the bar construction. Francis-Gaitsgory proposed a conjecture about the general behavior of this duality. The main result of this paper, roughly speaking, is that Koszul duality provides an equivalence between the subcategories of nilcomplete algebras and conilcomplete coalgebras and that these are the largest possible subcategories for which such a result holds. This disproves Francis-Gaitsgory's prediction, but does provide an adequate replacement. We show that many previously known partial results about Koszul duality can be deduced from our results. △ Less

Submitted 12 August, 2024; originally announced August 2024.

Formality of $\mathbb{E}_n$-algebras and cochains on spheres

Authors: Gijs Heuts, Markus Land

Abstract: We study the loop and suspension functors on the category of augmented $\mathbb{E}_n$-algebras. One application is to the formality of the cochain algebra of the $n$-sphere. We show that it is formal as an $\mathbb{E}_n$-algebra, also with coefficients in general commutative ring spectra, but rarely $\mathbb{E}_{n+1}$-formal unless the coefficients are rational. Along the way we show that the free… ▽ More We study the loop and suspension functors on the category of augmented $\mathbb{E}_n$-algebras. One application is to the formality of the cochain algebra of the $n$-sphere. We show that it is formal as an $\mathbb{E}_n$-algebra, also with coefficients in general commutative ring spectra, but rarely $\mathbb{E}_{n+1}$-formal unless the coefficients are rational. Along the way we show that the free functor from operads in spectra to monads in spectra is fully faithful on a nice subcategory of operads which in particular contains the stable $\mathbb{E}_n$-operads for finite $n$. We use this to interpret our results on loop and suspension functors of augmented algebras in operadic terms. △ Less

Submitted 11 July, 2024; v1 submitted 30 June, 2024; originally announced July 2024.

Comments: v2: added further references

Report number: CPH-GEOTOP-DNRF151

Partition complexes and trees

Authors: Gijs Heuts, Ieke Moerdijk

Abstract: We construct a homotopy initial functor from the partition complex of a finite set $A$ to a category of trees with leaves labelled by $A$. As an application, this provides an equivalence between different bar constructions of an operad. In the differential graded case, this gives a very elementary proof of an equivalence originally due to Fresse. We construct a homotopy initial functor from the partition complex of a finite set $A$ to a category of trees with leaves labelled by $A$. As an application, this provides an equivalence between different bar constructions of an operad. In the differential graded case, this gives a very elementary proof of an equivalence originally due to Fresse. △ Less

Submitted 15 December, 2021; originally announced December 2021.

A short proof of the straightening theorem

Authors: Fabian Hebestreit, Gijs Heuts, Jaco Ruit

Abstract: We provide a short and reasonably self-contained proof of Lurie's straightening equivalence, relating cartesian fibrations over a given $\infty$-category $S$ with contravariant functors from $S$ to the $\infty$-category of small $\infty$-categories. We provide a short and reasonably self-contained proof of Lurie's straightening equivalence, relating cartesian fibrations over a given $\infty$-category $S$ with contravariant functors from $S$ to the $\infty$-category of small $\infty$-categories. △ Less

Submitted 20 December, 2024; v1 submitted 29 October, 2021; originally announced November 2021.

Comments: 42 pages, v2: Minor revision following a referee report, to appear in Transactions of the AMS

MSC Class: 18N50; 18N60

Lie algebra models for unstable homotopy theory

Authors: Gijs Heuts

Abstract: Quillen showed how to describe the homotopy theory of simply-connected rational spaces in terms of differential graded Lie algebras. Here we survey a generalization of Quillen's results that describes the $v_n$-periodic localizations of homotopy theory (where rational corresponds to $n=0$) in terms of spectral Lie algebras. The latter form an extension of the theory of Lie algebras to the setting… ▽ More Quillen showed how to describe the homotopy theory of simply-connected rational spaces in terms of differential graded Lie algebras. Here we survey a generalization of Quillen's results that describes the $v_n$-periodic localizations of homotopy theory (where rational corresponds to $n=0$) in terms of spectral Lie algebras. The latter form an extension of the theory of Lie algebras to the setting of stable homotopy theory. This is a chapter written for the Handbook of Homotopy Theory edited by Haynes Miller. △ Less

Submitted 30 July, 2019; originally announced July 2019.

A Whitehead theorem for periodic homotopy groups

Authors: Tobias Barthel, Gijs Heuts, Lennart Meier

Abstract: We show that $v_n$-periodic homotopy groups detect homotopy equivalences between simply-connected finite CW-complexes. We show that $v_n$-periodic homotopy groups detect homotopy equivalences between simply-connected finite CW-complexes. △ Less

Submitted 17 July, 2019; v1 submitted 9 November, 2018; originally announced November 2018.

Report number: CPH-SYM-DNRF92

Lie algebras and $v_n$-periodic spaces

Authors: Gijs Heuts

Abstract: We consider a homotopy theory obtained from that of pointed spaces by inverting the maps inducing isomorphisms in $v_n$-periodic homotopy groups. The case n = 0 corresponds to rational homotopy theory. In analogy with Quillen's results in the rational case, we prove that this $v_n$-periodic homotopy theory is equivalent to the homotopy theory of Lie algebras in T(n)-local spectra. We also compare… ▽ More We consider a homotopy theory obtained from that of pointed spaces by inverting the maps inducing isomorphisms in $v_n$-periodic homotopy groups. The case n = 0 corresponds to rational homotopy theory. In analogy with Quillen's results in the rational case, we prove that this $v_n$-periodic homotopy theory is equivalent to the homotopy theory of Lie algebras in T(n)-local spectra. We also compare it to the homotopy theory of commutative coalgebras in T(n)-local spectra, where it turns out there is only an equivalence up to a certain convergence issue of the Goodwillie tower of the identity. △ Less

Submitted 29 October, 2020; v1 submitted 16 March, 2018; originally announced March 2018.

Comments: Final version to appear in Annals of Mathematics. Added a short section on the Whitehead bracket

Report number: CPH-SYM-DNRF92

Monadicity of the Bousfield-Kuhn functor

Authors: Rosona Eldred, Gijs Heuts, Akhil Mathew, Lennart Meier

Abstract: We consider the localization of the $\infty$-category of spaces at the $v_n$-periodic equivalences, the case $n=0$ being rational homotopy theory. We prove that this localization is for $n\geq 1$ equivalent to algebras over a certain monad on the $\infty$-category of $T(n)$-local spectra. This monad is built from the Bousfield--Kuhn functor. We consider the localization of the $\infty$-category of spaces at the $v_n$-periodic equivalences, the case $n=0$ being rational homotopy theory. We prove that this localization is for $n\geq 1$ equivalent to algebras over a certain monad on the $\infty$-category of $T(n)$-local spectra. This monad is built from the Bousfield--Kuhn functor. △ Less

Submitted 19 July, 2017; originally announced July 2017.

Comments: 8 pages

Report number: CPH-SYM-DNRF92 MSC Class: 55Q51; 55P60

The $v_n$-periodic Goodwillie tower on Wedges and Cofibres

Authors: Lukas Brantner, Gijs Heuts

Abstract: We introduce general methods to analyse the Goodwillie tower of the identity functor on a wedge $X \vee Y$ of spaces (using the Hilton-Milnor theorem) and on the cofibre $\mathrm{cof}(f)$ of a map $f: X \rightarrow Y$. We deduce some consequences for $v_n$-periodic homotopy groups: whereas the Goodwillie tower is finite and converges in periodic homotopy when evaluated on spheres (Arone-Mahowald),… ▽ More We introduce general methods to analyse the Goodwillie tower of the identity functor on a wedge $X \vee Y$ of spaces (using the Hilton-Milnor theorem) and on the cofibre $\mathrm{cof}(f)$ of a map $f: X \rightarrow Y$. We deduce some consequences for $v_n$-periodic homotopy groups: whereas the Goodwillie tower is finite and converges in periodic homotopy when evaluated on spheres (Arone-Mahowald), we show that neither of these statements remains true for wedges and Moore spaces. △ Less

Submitted 16 May, 2019; v1 submitted 8 December, 2016; originally announced December 2016.

Comments: 17 pages. Journal version

Report number: CPH-SYM-DNRF92 MSC Class: 55P65; 55P42; 55Q20; 55Q51

Two models for the homotopy theory of $\infty$-operads

Authors: Hongyi Chu, Rune Haugseng, Gijs Heuts

Abstract: We compare two models for $\infty$-operads: the complete Segal operads of Barwick and the complete dendroidal Segal spaces of Cisinski and Moerdijk. Combining this with comparison results already in the literature, this implies that all known models for $\infty$-operads are equivalent - for instance, it follows that the homotopy theory of Lurie's $\infty$-operads is equivalent to that of dendroida… ▽ More We compare two models for $\infty$-operads: the complete Segal operads of Barwick and the complete dendroidal Segal spaces of Cisinski and Moerdijk. Combining this with comparison results already in the literature, this implies that all known models for $\infty$-operads are equivalent - for instance, it follows that the homotopy theory of Lurie's $\infty$-operads is equivalent to that of dendroidal sets and that of simplicial operads. △ Less

Submitted 31 October, 2020; v1 submitted 13 June, 2016; originally announced June 2016.

Comments: 16 pages, v2: accepted version

Report number: CPH-SYM-DNRF92

Journal ref: Journal of Topology 11(4) (2018) 856-872

Left fibrations and homotopy colimits II

Authors: Gijs Heuts, Ieke Moerdijk

Abstract: For a small simplicial category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the homotopy-coherent nerve of A provides a left Quillen equivalence between the projective model structure on the former category and the covariant model structure on the latter. We compare this Quillen equivalence to the straightening… ▽ More For a small simplicial category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the homotopy-coherent nerve of A provides a left Quillen equivalence between the projective model structure on the former category and the covariant model structure on the latter. We compare this Quillen equivalence to the straightening-unstraightening equivalence previously established by Lurie, where the left adjoint goes in the opposite direction. The existence of left Quillen functors in both directions considerably simplifies the proof that these constructions provide Quillen equivalences. The results of this paper generalize those of part I, where A was an ordinary category. The proofs for a simplicial category are more involved and can be read independently. △ Less

Submitted 3 February, 2016; originally announced February 2016.

Report number: CPH-SYM-DNRF92

Goodwillie approximations to higher categories

Authors: Gijs Heuts

Abstract: We construct a Goodwillie tower of categories which interpolates between the category of pointed spaces and the category of spectra. This tower of categories refines the Goodwillie tower of the identity functor in a precise sense. More generally, we construct such a tower for a large class of infinity-categories C. We classify such Goodwillie towers in terms of the derivatives of the identity func… ▽ More We construct a Goodwillie tower of categories which interpolates between the category of pointed spaces and the category of spectra. This tower of categories refines the Goodwillie tower of the identity functor in a precise sense. More generally, we construct such a tower for a large class of infinity-categories C. We classify such Goodwillie towers in terms of the derivatives of the identity functor of C. As a particular application we show how this provides a model for the homotopy theory of simply-connected spaces in terms of coalgebras with Tate diagonals. Our classification of Goodwillie towers simplifies considerably in settings where the Tate cohomology of the symmetric groups vanishes. As an example we apply our methods to rational homotopy theory. Another application identifies the homotopy theory of p-local spaces with homotopy groups in a certain finite range with the homotopy theory of certain algebras over Ching's spectral version of the Lie operad. This is a close analogue of Quillen's results on rational homotopy. In the sequel to this paper we work out consequences for the study of $v_n$-periodic unstable homotopy theory and the Bousfield-Kuhn functors. △ Less

Submitted 25 July, 2018; v1 submitted 12 October, 2015; originally announced October 2015.

Comments: Version 4: final version to appear in Memoirs of the AMS. Version 3: improved and expanded the exposition, added Section 7.4 on coalgebras with Tate diagonals as a model for homotopy types. Version 2: changed the introduction and added the example of truncated spaces

Report number: CPH-SYM-DNRF92

Left fibrations and homotopy colimits

Authors: Gijs Heuts, Ieke Moerdijk

Abstract: For a small category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the nerve of A establishes a left Quillen equivalence between the projective (or Reedy) model structure on the former category and the covariant model structure on the latter. We compare this equivalence to a Quillen equivalence in the opposite di… ▽ More For a small category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the nerve of A establishes a left Quillen equivalence between the projective (or Reedy) model structure on the former category and the covariant model structure on the latter. We compare this equivalence to a Quillen equivalence in the opposite direction previously established by Lurie. From our results we deduce that a categorical equivalence of simplicial sets induces a Quillen equivalence on the corresponding over-categories, equipped with the covariant model structures. Also, we show that versions of Quillen's Theorems A and B for infinity-categories easily follow. △ Less

Submitted 3 February, 2016; v1 submitted 3 August, 2013; originally announced August 2013.

Comments: Version 4: Added Quillen's Theorem B for infinity-categories. Version 3: We thank Joost Nuiten for pointing out an oversight in the proof of Lemma 7.2. We have fixed this and sharpened the statement and proof of Lemma 7.3. Version 2: Added a section on homotopy invariance of the covariant model structure and a section on Quillen's Theorem A for infinity-categories

On the equivalence between Lurie's model and the dendroidal model for infinity-operads

Authors: Gijs Heuts, Vladimir Hinich, Ieke Moerdijk

Abstract: We compare two approaches to the homotopy theory of infinity-operads. One of them, the theory of dendroidal sets, is based on an extension of the theory of simplicial sets and infinity-categories which replaces simplices by trees. The other is based on a certain homotopy theory of marked simplicial sets over the nerve of Segal's category Gamma. In this paper we prove that for operads without const… ▽ More We compare two approaches to the homotopy theory of infinity-operads. One of them, the theory of dendroidal sets, is based on an extension of the theory of simplicial sets and infinity-categories which replaces simplices by trees. The other is based on a certain homotopy theory of marked simplicial sets over the nerve of Segal's category Gamma. In this paper we prove that for operads without constants these two theories are equivalent, in the precise sense of the existence of a zig-zag of Quillen equivalences between the respective model categories. △ Less

Submitted 29 January, 2015; v1 submitted 15 May, 2013; originally announced May 2013.

An infinite loop space machine for infinity-operads

Authors: Gijs Heuts

Abstract: This paper describes a consequence of the more general results of a previous paper which is of independent interest. We construct a functor from the category of dendroidal sets, which models the theory of infinity-operads, into the category of E-infinity-spaces. Applying May's infinite loop space machine for E-infinity-spaces then gives an infinite loop space machine for infinity-operads. We show… ▽ More This paper describes a consequence of the more general results of a previous paper which is of independent interest. We construct a functor from the category of dendroidal sets, which models the theory of infinity-operads, into the category of E-infinity-spaces. Applying May's infinite loop space machine for E-infinity-spaces then gives an infinite loop space machine for infinity-operads. We show that our machine exhibits the homotopy theory of E-infinity-spaces as a localization of the homotopy theory of infinity-operads. △ Less

Submitted 3 December, 2011; originally announced December 2011.

Algebras over infinity-operads

Authors: Gijs Heuts

Abstract: We develop a notion of an algebra over an infinity-operad with values in infinity-categories which is completely intrinsic to the formalism of dendroidal sets. Its definition involves the notion of a coCartesian fibration of dendroidal sets and extends Lurie's definition of a coCartesian fibration of simplicial sets. We show how, for a dendroidal set X, the coCartesian fibrations over X fit togeth… ▽ More We develop a notion of an algebra over an infinity-operad with values in infinity-categories which is completely intrinsic to the formalism of dendroidal sets. Its definition involves the notion of a coCartesian fibration of dendroidal sets and extends Lurie's definition of a coCartesian fibration of simplicial sets. We show how, for a dendroidal set X, the coCartesian fibrations over X fit together to form an infinity-category coCart(X). Using a generalization of the Grothendieck construction, we prove that coCart(X) is equivalent to the infinity-category of algebras in infinity-categories over the simplicial operad associated to X. This equivalence can be restricted to give an equivalence between algebras taking values in infinity-groupoids (or equivalently, spaces) and the infinity-category of so-called left fibrations over X. △ Less

Submitted 3 December, 2011; v1 submitted 8 October, 2011; originally announced October 2011.

Comments: 93 pages