Showing 1–26 of 26 results for author: Roendigs, O

A cellular absolute motivic ring spectrum representing Hermitian K-theory

Authors: K. Arun Kumar, Oliver Röndigs

Abstract: Several candidates for a motivic spectrum representing hermitian K-theory in the Morel-Voevodsky motivic stable homotopy category over schemes in which 2 is not necessarily invertible exist. This note shows that the cellular absolute motivic spectrum constructed in the thesis of the first author via the geometry of orthogonal and hyperbolic Grassmannians over any scheme coincides with the motivic… ▽ More Several candidates for a motivic spectrum representing hermitian K-theory in the Morel-Voevodsky motivic stable homotopy category over schemes in which 2 is not necessarily invertible exist. This note shows that the cellular absolute motivic spectrum constructed in the thesis of the first author via the geometry of orthogonal and hyperbolic Grassmannians over any scheme coincides with the motivic ring spectrum constructed recently by Calmès, Harpaz, and Nardin. △ Less

Submitted 22 November, 2024; originally announced November 2024.

Comments: 8 pages

MSC Class: 14F42; 19G38

The motivic Adams conjecture

Authors: Alexey Ananyevskiy, Elden Elmanto, Oliver Röndigs, Maria Yakerson

Abstract: We solve a motivic version of the Adams conjecture with the exponential characteristic of the base field inverted. In the way of the proof we obtain a motivic version of mod k Dold theorem and give a motivic version of Brown's trick studying the homogeneous variety of maximal tori in a general linear group, which turns out to be not stably A1-connected. We also show that the higher motivic stable… ▽ More We solve a motivic version of the Adams conjecture with the exponential characteristic of the base field inverted. In the way of the proof we obtain a motivic version of mod k Dold theorem and give a motivic version of Brown's trick studying the homogeneous variety of maximal tori in a general linear group, which turns out to be not stably A1-connected. We also show that the higher motivic stable stems are of bounded torsion. △ Less

Submitted 8 May, 2025; v1 submitted 2 October, 2023; originally announced October 2023.

Comments: v1: 24 pages; v2: 26 pages, final version to appear in the Journal of Topology, updated exposition, removed the inversion of the exponential characteristic in most places, added the discussion of the singular case,

The second stable homotopy groups of motivic spheres

Authors: Oliver Röndigs, Markus Spitzweck, Paul Arne Østvær

Abstract: We compute the 2-line of stable homotopy groups of motivic spheres over fields of characteristic not two in terms of motivic cohomology and hermitian K-groups. We compute the 2-line of stable homotopy groups of motivic spheres over fields of characteristic not two in terms of motivic cohomology and hermitian K-groups. △ Less

Submitted 31 March, 2021; originally announced March 2021.

Comments: 46 pages, 4 figures, draft version, comments welcome!

MSC Class: 14F42 (Primary) 19D45; 19E15; 55P42 (Secondary)

Endomorphisms of the projective plane and the image of the Suslin-Hurewicz map

Authors: Oliver Röndigs

Abstract: The endomorphism ring of the projective plane over a field F of characteristic neither two nor three is slightly more complicated in the Morel-Voevodsky motivic stable homotopy category than in Voevodsky's derived category of motives. In particular, it is not commutative precisely if there exists a square in F which does not admit a sixth root. A byproduct of the computations is a proof of Suslin'… ▽ More The endomorphism ring of the projective plane over a field F of characteristic neither two nor three is slightly more complicated in the Morel-Voevodsky motivic stable homotopy category than in Voevodsky's derived category of motives. In particular, it is not commutative precisely if there exists a square in F which does not admit a sixth root. A byproduct of the computations is a proof of Suslin's conjecture on the Suslin-Hurewicz homomorphism from Quillen to Milnor K-theory in degree four, based on work of Asok, Fasel, and Williams. △ Less

Submitted 22 December, 2022; v1 submitted 22 March, 2021; originally announced March 2021.

Comments: 31 pages, revision includes the degree four case of Suslin's conjecture. Second revision contains several changes in Section 4, correcting a few mistakes, and a longer title. Accepted for publication

MSC Class: 14F42 (Primary) 55P42; 19D45 (Secondary)

Remarks on motivic Moore spectra

Authors: Oliver Röndigs

Abstract: The term "motivic Moore spectrum" refers to a cone of an element in the motivic stable homotopy groups of spheres. This article discusses some properties of motivic Moore spectra, among them the question whether the ring structure on the motivic sphere spectrum descends to a ring structure on a motivic Moore spectrum. This discussion requires an understanding of some Toda brackets in the motivic s… ▽ More The term "motivic Moore spectrum" refers to a cone of an element in the motivic stable homotopy groups of spheres. This article discusses some properties of motivic Moore spectra, among them the question whether the ring structure on the motivic sphere spectrum descends to a ring structure on a motivic Moore spectrum. This discussion requires an understanding of some Toda brackets in the motivic stable homotopy groups of spheres. △ Less

Submitted 2 October, 2019; originally announced October 2019.

Comments: 17 pages, to appear in the proceedings of the workshop "Motivic homotopy theory and refined enumerative geometry"

MSC Class: 14F42

The homotopy groups of the η-periodic motivic sphere spectrum

Authors: Kyle Ormsby, Oliver Röndigs

Abstract: We compute the homotopy groups of the η-periodic motivic sphere spectrum over a finite-dimensional field k with characteristic not 2 and in which -1 a sum of four squares. We also study the general characteristic 0 case and show that the η-periodic slice spectral sequence over Q determines the η-periodic slice spectral sequence over all extensions of Q. This leads to a speculation on the role of a… ▽ More We compute the homotopy groups of the η-periodic motivic sphere spectrum over a finite-dimensional field k with characteristic not 2 and in which -1 a sum of four squares. We also study the general characteristic 0 case and show that the η-periodic slice spectral sequence over Q determines the η-periodic slice spectral sequence over all extensions of Q. This leads to a speculation on the role of a "connective Witt-theoretic J-spectrum" in η-periodic motivic homotopy theory. △ Less

Submitted 23 September, 2019; v1 submitted 27 June, 2019; originally announced June 2019.

Comments: 14 pages, 2 figures, comments very welcome! v2: hypotheses weakened to finite-dimensional level 4 fields, discussion of connective Witt-theoretic J-spectrum added

MSC Class: 14F42

Journal ref: Pacific J. Math. 306 (2020) 679-697

On functorial (co)localization of algebras and modules over operads

Authors: Javier J. Gutiérrez, Oliver Röndigs, Markus Spitzweck, Paul Arne Østvær

Abstract: Motivated by calculations of motivic homotopy groups, we give widely attained conditions under which operadic algebras and modules thereof are preserved under (co)localization functors Motivated by calculations of motivic homotopy groups, we give widely attained conditions under which operadic algebras and modules thereof are preserved under (co)localization functors △ Less

Submitted 4 December, 2018; originally announced December 2018.

Comments: 29 pages

MSC Class: 18D50; 55P43; 14F42

Hermitian $K$-theory, Dedekind $ζ$-functions, and quadratic forms over rings of integers in number fields

Authors: Jonas Irgens Kylling, Oliver Röndigs, Paul Arne Østvær

Abstract: We employ the slice spectral sequence, the motivic Steenrod algebra, and Voevodsky's solutions of the Milnor and Bloch-Kato conjectures to calculate the hermitian $K$-groups of rings of integers in number fields. Moreover, we relate the orders of these groups to special values of Dedekind $ζ$-functions for totally real abelian number fields. Our methods apply more readily to the examples of algebr… ▽ More We employ the slice spectral sequence, the motivic Steenrod algebra, and Voevodsky's solutions of the Milnor and Bloch-Kato conjectures to calculate the hermitian $K$-groups of rings of integers in number fields. Moreover, we relate the orders of these groups to special values of Dedekind $ζ$-functions for totally real abelian number fields. Our methods apply more readily to the examples of algebraic $K$-theory and higher Witt-theory, and give a complete set of invariants for quadratic forms over rings of integers in number fields. △ Less

Submitted 9 November, 2018; originally announced November 2018.

Comments: 64 pages

MSC Class: 11R42; 14F42; 19E15; 19F27

Journal ref: Cambridge Journal of Mathematics, Volume 8 (2020), Number 3, pp. 505-607

On very effective hermitian $K$-theory

Authors: Alexey Ananyevskiy, Oliver Röndigs, Paul Arne Østvær

Abstract: We argue that the very effective cover of hermitian $K$-theory in the sense of motivic homotopy theory is a convenient algebro-geometric generalization of the connective real topological $K$-theory spectrum. This means the very effective cover acquires the correct Betti realization, its motivic cohomology has the desired structure as a module over the motivic Steenrod algebra, and that its motivic… ▽ More We argue that the very effective cover of hermitian $K$-theory in the sense of motivic homotopy theory is a convenient algebro-geometric generalization of the connective real topological $K$-theory spectrum. This means the very effective cover acquires the correct Betti realization, its motivic cohomology has the desired structure as a module over the motivic Steenrod algebra, and that its motivic Adams and slice spectral sequences are amenable to calculations. △ Less

Submitted 4 December, 2017; originally announced December 2017.

Comments: 15 pages, comments welcome

MSC Class: 14F42

Gigantic random simplicial complexes

Authors: Jens Grygierek, Martina Juhnke-Kubitzke, Matthias Reitzner, Tim Römer, Oliver Röndigs

Abstract: We provide a random simplicial complex by applying standard constructions to a Poisson point process in Euclidean space. It is gigantic in the sense that - up to homotopy equivalence - it almost surely contains infinitely many copies of every compact topological manifold, both in isolation and in percolation. We provide a random simplicial complex by applying standard constructions to a Poisson point process in Euclidean space. It is gigantic in the sense that - up to homotopy equivalence - it almost surely contains infinitely many copies of every compact topological manifold, both in isolation and in percolation. △ Less

Submitted 2 December, 2017; originally announced December 2017.

MSC Class: 60D05; 55U10

Vanishing in stable motivic homotopy sheaves

Authors: Kyle Ormsby, Oliver Röndigs, Paul Arne Østvær

Abstract: We determine systematic regions in which the bigraded homotopy sheaves of the motivic sphere spectrum vanish. We determine systematic regions in which the bigraded homotopy sheaves of the motivic sphere spectrum vanish. △ Less

Submitted 16 April, 2017; originally announced April 2017.

Comments: 14 pages, comments welcome

MSC Class: 14F42

The motivic Hopf map solves the homotopy limit problem for $K$-theory

Authors: Oliver Röndigs, Markus Spitzweck, Paul Arne Østvær

Abstract: We solve affirmatively the homotopy limit problem for $K$-theory over fields of finite virtual cohomological dimension. Our solution employs the motivic slice filtration and the first motivic Hopf map. We solve affirmatively the homotopy limit problem for $K$-theory over fields of finite virtual cohomological dimension. Our solution employs the motivic slice filtration and the first motivic Hopf map. △ Less

Submitted 22 January, 2017; originally announced January 2017.

Comments: 16 pages. Comments welcome!

MSC Class: 19G38; 14F42; 55P42

The Grothendieck ring of varieties and algebraic K-theory of spaces

Authors: Oliver Röndigs

Abstract: Waldhausen's algebraic K-theory machinery is applied to motivic homotopy theory, producing an interesting motivic homotopy type. Over a field F of characteristic zero, its path components receive a surjective ring homomorphism from the Grothendieck ring of varieties over F. Waldhausen's algebraic K-theory machinery is applied to motivic homotopy theory, producing an interesting motivic homotopy type. Over a field F of characteristic zero, its path components receive a surjective ring homomorphism from the Grothendieck ring of varieties over F. △ Less

Submitted 18 February, 2024; v1 submitted 28 November, 2016; originally announced November 2016.

Comments: 31 pages. Almost identical to the version to be published in: The Open Book Series - Motivic Geometry (Oslo)

MSC Class: 14F42; 19D10

Journal ref: Open Book Series 6 (2025) 165-196

The first stable homotopy groups of motivic spheres

Authors: Oliver Röndigs, Markus Spitzweck, Paul Arne Østvær

Abstract: We compute the 1-line of stable homotopy groups of motivic spheres over fields of characteristic not two in terms of hermitian and Milnor K-groups. This is achieved by solving questions about convergence and differentials in the slice spectral sequence. We compute the 1-line of stable homotopy groups of motivic spheres over fields of characteristic not two in terms of hermitian and Milnor K-groups. This is achieved by solving questions about convergence and differentials in the slice spectral sequence. △ Less

Submitted 14 August, 2018; v1 submitted 1 April, 2016; originally announced April 2016.

Comments: Revised introduction, section 4.2, both figures, and appendix B. To appear in Annals of Mathematics

MSC Class: 14F42; 19D45; 19G38; 55P42; 55Q45; 55T99

Cellularity of hermitian K-theory and Witt theory

Authors: Oliver Röndigs, Markus Spitzweck, Paul Arne Østvær

Abstract: Hermitian K-theory and Witt-theory are cellular in the sense of stable motivic homotopy theory over any base scheme without points of characteristic two. Hermitian K-theory and Witt-theory are cellular in the sense of stable motivic homotopy theory over any base scheme without points of characteristic two. △ Less

Submitted 16 March, 2016; originally announced March 2016.

Comments: Preliminary version, 4 pages

MSC Class: 14F42; 19G38; 55P42

On the $η$-inverted sphere

Authors: Oliver Röndigs

Abstract: It is shown that the first and second homotopy groups of the $η$-inverted sphere spectrum over a field of characteristic not two are zero. A cell presentation of higher Witt theory is given as well, at least over the complex numbers. It is shown that the first and second homotopy groups of the $η$-inverted sphere spectrum over a field of characteristic not two are zero. A cell presentation of higher Witt theory is given as well, at least over the complex numbers. △ Less

Submitted 9 January, 2018; v1 submitted 28 February, 2016; originally announced February 2016.

Comments: 19 pages, to appear in the TIFR Proceedings of the International Colloquium on K-theory 2016

MSC Class: 14F42; 55P42; 55Q45

Slices of hermitian K-theory and Milnor's conjecture on quadratic forms

Authors: Oliver Röndigs, Paul Arne Østvær

Abstract: We advance the understanding of K-theory of quadratic forms by computing the slices of the motivic spectra representing hermitian K-groups and Witt-groups. By an explicit computation of the slice spectral sequence for higher Witt-theory, we prove Milnor's conjecture relating Galois cohomology to quadratic forms via the filtration of the Witt ring by its fundamental ideal. In a related computation… ▽ More We advance the understanding of K-theory of quadratic forms by computing the slices of the motivic spectra representing hermitian K-groups and Witt-groups. By an explicit computation of the slice spectral sequence for higher Witt-theory, we prove Milnor's conjecture relating Galois cohomology to quadratic forms via the filtration of the Witt ring by its fundamental ideal. In a related computation we express hermitian K-groups in terms of motivic cohomology. △ Less

Submitted 30 May, 2017; v1 submitted 22 November, 2013; originally announced November 2013.

Comments: Version closer to the published paper

MSC Class: 14F42; 11E04; 55P42; 19G38

Journal ref: Geom. Topol. 20 (2016) 1157-1212

Calculus of functors and model categories II

Authors: Georg Biedermann, Oliver Röndigs

Abstract: This is a continuation, completion, and generalization of our previous joint work with B. Chorny. We supply model structures and Quillen equivalences underlying Goodwillie's constructions on the homotopy level for functors between simplicial model categories satisfying mild hypotheses. This is a continuation, completion, and generalization of our previous joint work with B. Chorny. We supply model structures and Quillen equivalences underlying Goodwillie's constructions on the homotopy level for functors between simplicial model categories satisfying mild hypotheses. △ Less

Submitted 22 January, 2014; v1 submitted 13 May, 2013; originally announced May 2013.

Comments: 47 pages. Version 3 contains a new introduction and further small changes, based on suggestions of the referee. To appear in "Algebraic and Geometric Topology"

MSC Class: 55U35; 18G55

Journal ref: Algebr. Geom. Topol. 14 (2014) 2853-2913

The Arone-Goodwillie spectral sequence for $Σ^{\infty}Ω^n$ and topological realization at odd primes

Authors: Sebastian Büscher, Fabian Hebestreit, Oliver Röndigs, Manfred Stelzer

Abstract: We employ the Goodwillie spectral sequence for the iterated loop space functor in order to provide realizability conditions on certain unstable modules over the Steenrod algebra at an odd prime. We employ the Goodwillie spectral sequence for the iterated loop space functor in order to provide realizability conditions on certain unstable modules over the Steenrod algebra at an odd prime. △ Less

Submitted 1 November, 2011; v1 submitted 11 October, 2011; originally announced October 2011.

Comments: Two figures, uses tikz; minor modifications

MSC Class: 55P65; 55S10; 55T99

Journal ref: Algebr. Geom. Topol. 13 (2013) 127-169

Motivic slices and colored operads

Authors: Javier J. Gutiérrez, Oliver Röndigs, Markus Spitzweck, Paul Arne Østvær

Abstract: Colored operads were introduced in the 1970's for the purpose of studying homotopy invariant algebraic structures on topological spaces. In this paper we introduce colored operads in motivic stable homotopy theory. Our main motivation is to uncover hitherto unknown highly structured properties of the slice filtration. The latter decomposes every motivic spectrum into its slices, which are motives,… ▽ More Colored operads were introduced in the 1970's for the purpose of studying homotopy invariant algebraic structures on topological spaces. In this paper we introduce colored operads in motivic stable homotopy theory. Our main motivation is to uncover hitherto unknown highly structured properties of the slice filtration. The latter decomposes every motivic spectrum into its slices, which are motives, and one may ask to what extend the slice filtration preserves highly structured objects such as algebras and modules. We use colored operads to give a precise solution to this problem. Our approach makes use of axiomatic setups which specialize to classical and motivic stable homotopy theory. Accessible t-structures are central to the development of the general theory. Concise introductions to colored operads and Bousfield (co)localizations are given in separate appendices. △ Less

Submitted 13 April, 2012; v1 submitted 15 December, 2010; originally announced December 2010.

Comments: to appear in Journal of Topology

MSC Class: 14F42; 18D50; 55P43

Journal ref: Journal of Topology 5 (2012), 727-755

Motivic strict ring models for K-theory

Authors: Oliver Röndigs, Markus Spitzweck, Paul Arne Østvær

Abstract: It is shown that the K-theory of every noetherian base scheme of finite Krull dimension is represented by a strict ring object in the setting of motivic stable homotopy theory. The adjective `strict' is used to distinguish between the type of ring structure we construct and one which is valid only up to homotopy. Both the categories of motivic functors and motivic symmetric spectra furnish conve… ▽ More It is shown that the K-theory of every noetherian base scheme of finite Krull dimension is represented by a strict ring object in the setting of motivic stable homotopy theory. The adjective `strict' is used to distinguish between the type of ring structure we construct and one which is valid only up to homotopy. Both the categories of motivic functors and motivic symmetric spectra furnish convenient frameworks for constructing the ring models. Analogous topological results follow by running the same type of arguments as in the motivic setting. △ Less

Submitted 23 July, 2009; originally announced July 2009.

Comments: 16 pages, uses xypic

MSC Class: 55P43; 14F42

Twisted diagrams and homotopy sheaves

Authors: Thomas Huettemann, Oliver Roendigs

Abstract: Twisted diagrams are "diagrams" with components in different categories. Structure maps are defined using auxiliary data which consists of functors relating the various categories to each other. Prime examples of the construction are spectra (in the sense of homotopy theory) and quasi-coherent sheaves on schemes. We develop the basic theory of twisted diagrams, and establish various model struct… ▽ More Twisted diagrams are "diagrams" with components in different categories. Structure maps are defined using auxiliary data which consists of functors relating the various categories to each other. Prime examples of the construction are spectra (in the sense of homotopy theory) and quasi-coherent sheaves on schemes. We develop the basic theory of twisted diagrams, and establish various model structures (which are well-known in special cases). We also introduce a notion of homotopy sheaves, a collection of local data which is compatible up to weak equivalence, and study basic properties of such objects. These objects occur in nature; for example, the notion of an Omega-spectrum fits into this framework. The main purpose of the paper is to provide a convenient reference for model structures on twisted diagrams, and for the language of sheaves and homotopy sheaves as defined here. △ Less

Submitted 27 May, 2008; originally announced May 2008.

Comments: 37 pages; diagrams need post script viewer or PDF

MSC Class: 55U35

On the relation of Voevodsky's algebraic cobordism to Quillen's K-theory

Authors: I. Panin, K. Pimenov, O. Röndigs

Abstract: Quillen's algebraic K-theory is reconstructed via Voevodsky's algebraic cobordism. More precisely, for a ground field k the algebraic cobordism P^1-spectrum MGL of Voevodsky is considered as a commutative P^1-ring spectrum. There is a unique ring morphism MGL^{2*,*}(k)--> Z which sends the class [X]_{MGL} of a smooth projective k-variety X to the Euler characteristic of the structure sheaf of X.… ▽ More Quillen's algebraic K-theory is reconstructed via Voevodsky's algebraic cobordism. More precisely, for a ground field k the algebraic cobordism P^1-spectrum MGL of Voevodsky is considered as a commutative P^1-ring spectrum. There is a unique ring morphism MGL^{2*,*}(k)--> Z which sends the class [X]_{MGL} of a smooth projective k-variety X to the Euler characteristic of the structure sheaf of X. Our main result states that there is a canonical grade preserving isomorphism of ring cohomology theories MGL^{*,*}(X,U) \tensor_{MGL^{2*,*}(k)} Z --> K^{TT}_{- *}(X,U) = K'_{- *}(X-U)} on the category of smooth k-varieties, where K^{TT}_* is Thomason-Trobaugh K-theory and K'_* is Quillen's K'-theory. In particular, the left hand side is a ring cohomology theory. Moreover both theories are oriented and the isomorphism above respects the orientations. The result is an algebraic version of a theorem due to Conner and Floyd. That theorem reconstructs complex K-theory via complex cobordism. △ Less

Submitted 26 September, 2007; originally announced September 2007.

Comments: LaTeX, 18 pages, uses XY-pic

MSC Class: 14F05; 55N22; 55P43

A universality theorem for Voevodsky's algebraic cobordism spectrum

Authors: I. Panin, K. Pimenov, O. Röndigs

Abstract: An algebraic version of a theorem due to Quillen is proved. More precisely, for a ground field k we consider the motivic stable homotopy category SH(k) of P^1-spectra equipped with the symmetric monoidal structure described in arXiv:0709.3905v1 [math.AG]. The algebraic cobordism P^1-spectrum MGL is considered as a commutative monoid equipped with a canonical orientation. For a commutative monoid… ▽ More An algebraic version of a theorem due to Quillen is proved. More precisely, for a ground field k we consider the motivic stable homotopy category SH(k) of P^1-spectra equipped with the symmetric monoidal structure described in arXiv:0709.3905v1 [math.AG]. The algebraic cobordism P^1-spectrum MGL is considered as a commutative monoid equipped with a canonical orientation. For a commutative monoid E in the category SH(k) we identify the set of monoid homomorphisms from MGL to E in the motivic stable homotopy category with the set of all orientations of E. This result was stated originally in a slightly different form by G. Vezzosi in arXiv:math/0004050v2 [math.AG]. △ Less

Submitted 26 September, 2007; originally announced September 2007.

Comments: LaTeX, 14 pages, uses XY-pic

MSC Class: 14F05; 55N22; 55P43

On Voevodsky's algebraic K-theory spectrum BGL

Authors: I. Panin, K. Pimenov, O. Röndigs

Abstract: Under a certain normalization assumption we prove that the $\Pro^1$-spectrum $\mathrm{BGL}$ of Voevodsky which represents algebraic $K$-theory is unique over $\Spec(\mathbb{Z})$. Following an idea of Voevodsky, we equip the $\Pro^1$-spectrum $\mathrm{BGL}$ with the structure of a commutative $\Pro^1$-ring spectrum in the motivic stable homotopy category. Furthermore, we prove that under a certai… ▽ More Under a certain normalization assumption we prove that the $\Pro^1$-spectrum $\mathrm{BGL}$ of Voevodsky which represents algebraic $K$-theory is unique over $\Spec(\mathbb{Z})$. Following an idea of Voevodsky, we equip the $\Pro^1$-spectrum $\mathrm{BGL}$ with the structure of a commutative $\Pro^1$-ring spectrum in the motivic stable homotopy category. Furthermore, we prove that under a certain normalization assumption this ring structure is unique over $\Spec(\mathbb{Z})$. For an arbitrary Noetherian scheme $S$ of finite Krull dimension we pull this structure back to obtain a distinguished monoidal structure on $\mathrm{BGL}$. This monoidal structure is relevant for our proof of the motivic Conner-Floyd theorem. It has also been used by Gepner and Snaith to obtain a motivic version of Snaith's theorem. △ Less

Submitted 27 October, 2008; v1 submitted 25 September, 2007; originally announced September 2007.

Comments: LaTeX, 49 pages, uses XY-pic. Several changes. To appear in: The Abel symposium 2007

MSC Class: 19E08; 55P43

Calculus of functors and model categories

Authors: Georg Biedermann, Boris Chorny, Oliver Röndigs

Abstract: The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study of calculus of functors, namely for a classification of polynomial and homogen… ▽ More The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study of calculus of functors, namely for a classification of polynomial and homogeneous functors. In the $n$-homogeneous model structure, the $n$-th derivative is a Quillen functor to the category of spectra with $Σ_n$-action. After taking into account only finitary functors -- which may be done in two different ways -- the above Quillen map becomes a Quillen equivalence. This improves the classification of finitary homogeneous functors by T. G. Goodwillie. △ Less

Submitted 25 July, 2006; v1 submitted 10 January, 2006; originally announced January 2006.

Comments: 22 pages. Exposition is substantially improved. Few minor mistakes are corrected

MSC Class: 18G55 (primary); 55P65; 55P60 (secondary)

Journal ref: Advances in Mathematics 214 (2007) 92-115