Showing 1–50 of 52 results for author: Østvær, P A

On the logarithmic slice filtration

Authors: Federico Binda, Doosung Park, Paul Arne Østvær

Abstract: We consider slice filtrations in logarithmic motivic homotopy theory. Our main results establish conjectured compatibilities with the Beilinson, BMS, and HKR filtrations on (topological, log) Hochschild homology and related invariants. In the case of perfect fields admitting resolution of singularities, we show that the slice filtration realizes the BMS filtration on the $p$-completed topological… ▽ More We consider slice filtrations in logarithmic motivic homotopy theory. Our main results establish conjectured compatibilities with the Beilinson, BMS, and HKR filtrations on (topological, log) Hochschild homology and related invariants. In the case of perfect fields admitting resolution of singularities, we show that the slice filtration realizes the BMS filtration on the $p$-completed topological cyclic homology. Furthermore, the motivic trace map is compatible with the slice and BMS filtrations, yielding a natural morphism from the motivic slice spectral sequence to the BMS spectral sequence. Finally, we consider the Kummer étale hypersheafification of logarithmic $K$-theory and show that its very effective slices compute Lichtenbaum étale motivic cohomology. △ Less

Submitted 8 April, 2024; v1 submitted 5 March, 2024; originally announced March 2024.

Comments: 31 pages. We have added Theorem 1.3. Comments welcome!

Cousin complexes in motivic homotopy theory

Authors: A. Druzhinin, Håkon Kolderup, Paul Arne Østvær

Abstract: We investigate Cousin (bi-)complexes in the setting of motives. Over essentially smooth local schemes, the columns of the Cousin bicomplex with coefficients in any stable motivic homotopy type are shown to be acyclic. On the other hand, we also construct a family of non-acyclic Cousin complexes over any positive dimensional base scheme. Our method of proof employs the notion of extended compactifi… ▽ More We investigate Cousin (bi-)complexes in the setting of motives. Over essentially smooth local schemes, the columns of the Cousin bicomplex with coefficients in any stable motivic homotopy type are shown to be acyclic. On the other hand, we also construct a family of non-acyclic Cousin complexes over any positive dimensional base scheme. Our method of proof employs the notion of extended compactified framed correspondences. Three major motivations for this study are to further our understanding of strict homotopy invariance, motivic infinite loop spaces, and connectivity in stable motivic homotopy theory. As applications of our main results on motivic Cousin complexes, we generalize several fundamental results in these topics to finite dimensional base schemes. △ Less

Submitted 16 February, 2024; originally announced February 2024.

Comments: 35 pages, comments welcome

The integral motivic dual Steenrod algebra

Authors: Bjørn Ian Dundas, Paul Arne Østvær

Abstract: We calculate the motivic integral dual Steenrod algebra over base schemes for which the mod p motivic dual Steenrod algebra conforms with Voevodsky's formula. We calculate the motivic integral dual Steenrod algebra over base schemes for which the mod p motivic dual Steenrod algebra conforms with Voevodsky's formula. △ Less

Submitted 22 November, 2023; originally announced November 2023.

Logarithmic Prismatic Cohomology via Logarithmic THH

Authors: Federico Binda, Tommy Lundemo, Doosung Park, Paul Arne Østvær

Abstract: Inspired by Bhatt-Morrow-Scholze's work on ${\rm THH}$, we define Nygaard-completed log prismatic cohomology based on log topological Hochschild homology via filtrations on log ${\rm THH}$ and its variants. Moreover, of independent interest, we describe log ${\rm THH}$ for quasiregular semiperfectoids as a $1$-parameter deformation of ordinary, non-logarithmic Hochschild homology. Inspired by Bhatt-Morrow-Scholze's work on ${\rm THH}$, we define Nygaard-completed log prismatic cohomology based on log topological Hochschild homology via filtrations on log ${\rm THH}$ and its variants. Moreover, of independent interest, we describe log ${\rm THH}$ for quasiregular semiperfectoids as a $1$-parameter deformation of ordinary, non-logarithmic Hochschild homology. △ Less

Submitted 6 September, 2023; v1 submitted 2 June, 2023; originally announced June 2023.

Comments: 30 pages. Final version, with an additional comparison with log (derived) de Rham cohomology. To appear in IMRN

MSC Class: 14F30; 19D55; 13D03; 14A21

Logarithmic motivic homotopy theory

Authors: Federico Binda, Doosung Park, Paul Arne Østvær

Abstract: This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our setting can be used to represent log topological Hochschild and cyclic homology, as well as algebraic $K$-theory of regular schemes, and to realize the cyclotomic trace as a morphism between motivic spectra. Among the applica… ▽ More This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our setting can be used to represent log topological Hochschild and cyclic homology, as well as algebraic $K$-theory of regular schemes, and to realize the cyclotomic trace as a morphism between motivic spectra. Among the applications, a generalized framework of oriented cohomology theories allows us to produce new residue sequences for (topological) Hochschild, periodic and cyclic homology of classical schemes, to compute $\mathrm{THH}$ and variants of Grassmannians, and to define a new version of algebraic cobordism. Finally, we give a construction of a log étale stable realization functor, as well as a Kato-Nakayama realization functor, which are of independent interest for applications in log geometry. △ Less

Submitted 8 February, 2024; v1 submitted 5 March, 2023; originally announced March 2023.

Comments: 145 pages, major rewriting. New results added. Comments still welcome!

The Multiplicative Structures on Motivic Homotopy Groups

Authors: Daniel Dugger, Bjørn Ian Dundas, Daniel C. Isaksen, Paul Arne Østvær

Abstract: We reconcile the multiplications on the homotopy rings of motivic ring spectra used by Voevodsky and Dugger. While the connection is elementary and similar phenomena have been observed in situations like supersymmetry, neither we nor other researchers we consulted were aware of the conflicting definitions and the potential consequences. Hence this short note. We reconcile the multiplications on the homotopy rings of motivic ring spectra used by Voevodsky and Dugger. While the connection is elementary and similar phenomena have been observed in situations like supersymmetry, neither we nor other researchers we consulted were aware of the conflicting definitions and the potential consequences. Hence this short note. △ Less

Submitted 7 December, 2022; originally announced December 2022.

Journal ref: Algebr. Geom. Topol. 24 (2024) 1781-1786

A Hochschild-Kostant-Rosenberg theorem and residue sequences for logarithmic Hochschild homology

Authors: Federico Binda, Tommy Lundemo, Doosung Park, Paul Arne Østvær

Abstract: This paper incorporates the theory of Hochschild homology into our program on log motives. We discuss a geometric definition of logarithmic Hochschild homology of derived pre-log rings and construct an André-Quillen type spectral sequence. The latter degenerates for derived log smooth maps between discrete pre-log rings. We employ this to show a logarithmic version of the Hochschild-Kostant-Rosenb… ▽ More This paper incorporates the theory of Hochschild homology into our program on log motives. We discuss a geometric definition of logarithmic Hochschild homology of derived pre-log rings and construct an André-Quillen type spectral sequence. The latter degenerates for derived log smooth maps between discrete pre-log rings. We employ this to show a logarithmic version of the Hochschild-Kostant-Rosenberg theorem and that logarithmic Hochschild homology is representable in the category of log motives. Among the applications, we deduce a generalized residue sequence involving blow-ups of log schemes. △ Less

Submitted 6 October, 2023; v1 submitted 28 September, 2022; originally announced September 2022.

Comments: 46 pages. Final version, to appear in Advances in Mathematics

MSC Class: 13D03; 14A21; 14F42; 19D55

Punctured tubular neighborhoods and stable homotopy at infinity

Authors: Frédéric Déglise, Adrien Dubouloz, Paul Arne Østvær

Abstract: We initiate a study of punctured tubular neighborhoods and homotopy theory at infinity in motivic settings. We use the six functors formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational tools include cdh-descent for normal crossing divisors, Euler classes, Gysin maps, and homotopy purity. Under $\ell$-adic realizat… ▽ More We initiate a study of punctured tubular neighborhoods and homotopy theory at infinity in motivic settings. We use the six functors formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational tools include cdh-descent for normal crossing divisors, Euler classes, Gysin maps, and homotopy purity. Under $\ell$-adic realization, the motive at infinity recovers a formula for vanishing cycles due to Rapoport-Zink; similar results hold for Steenbrink's limiting Hodge structures and Wildeshaus' boundary motives. Under the topological Betti realization, the stable motivic homotopy type at infinity of an algebraic variety recovers the singular complex at infinity of the corresponding topological space. We coin the notion of homotopically smooth morphisms with respect to a motivic $\infty$-category and use it to show a generalization to virtual vector bundles of Morel-Voevodsky's purity theorem, which yields an escalated form of Atiyah duality with compact support. Further, we study a quadratic refinement of intersection degrees, taking values in motivic cohomotopy groups. For relative surfaces, we show the stable motivic homotopy type at infinity witnesses a quadratic version of Mumford's plumbing construction for smooth complex algebraic surfaces. Our construction and computation of stable motivic links of Du Val singularities on normal surfaces is expressed entirely in terms of Dynkin diagrams. In characteristic p>0, this improves Artin's analysis on Du Val singularities through étale local fundamental groups. The main results in the paper are also valid for $\ell$-adic sheaves, mixed Hodge modules, and more generally motivic $\infty$-categories. △ Less

Submitted 3 June, 2022; originally announced June 2022.

Comments: This paper subsumed arXiv:2104.03222.Final version. Comments welcome !

MSC Class: 14F42; 19E15; 55P42; 14F45; 55P57

Hochschild homology of mod-$p$ motivic cohomology over algebraically closed fields

Authors: Bjørn Ian Dundas, Michael A. Hill, Kyle Ormsby, Paul Arne Østvær

Abstract: We perform Hochschild homology calculations in the algebro-geometric setting of motives. The motivic Hochschild homology coefficient ring contains torsion classes which arise from the mod-$p$ motivic Steenrod algebra and from generating functions on the natural numbers with finite non-empty support. Under the Betti realization, we recover Bökstedt's calculation of the topological Hochschild homolo… ▽ More We perform Hochschild homology calculations in the algebro-geometric setting of motives. The motivic Hochschild homology coefficient ring contains torsion classes which arise from the mod-$p$ motivic Steenrod algebra and from generating functions on the natural numbers with finite non-empty support. Under the Betti realization, we recover Bökstedt's calculation of the topological Hochschild homology of finite prime fields. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Comments: 27 pages, 2 figures; comments welcome!

MSC Class: 14F42; 19E15; 19D55

Bredon motivic cohomology of the complex numbers

Authors: Jeremiah Heller, Mircea Voineagu, Paul Arne Østvær

Abstract: Over the complex numbers, we compute the $C_2$-equivariant Bredon motivic cohomology ring with $\mathbb{Z}/2$ coefficients. By rigidity, this extends Suslin's calculation of the motivic cohomology ring of algebraically closed fields of characteristic zero to the $C_2$-equivariant motivic setting. Over the complex numbers, we compute the $C_2$-equivariant Bredon motivic cohomology ring with $\mathbb{Z}/2$ coefficients. By rigidity, this extends Suslin's calculation of the motivic cohomology ring of algebraically closed fields of characteristic zero to the $C_2$-equivariant motivic setting. △ Less

Submitted 31 October, 2023; v1 submitted 24 February, 2022; originally announced February 2022.

Comments: 20 pages, Revised version, Accepted Documenta Math

MSC Class: 14F42; 55P91

Geometric models for algebraic suspensions

Authors: Aravind Asok, Adrien Dubouloz, Paul Arne Østvær

Abstract: We analyze the question of which motivic homotopy types admit smooth schemes as representatives. We show that given a pointed smooth affine scheme $X$ and an embedding into affine space, the affine deformation space of the embedding gives a model for the ${\mathbb P}^1$ suspension of $X$; we also analyze a host of variations on this observation. Our approach yields many examples of… ▽ More We analyze the question of which motivic homotopy types admit smooth schemes as representatives. We show that given a pointed smooth affine scheme $X$ and an embedding into affine space, the affine deformation space of the embedding gives a model for the ${\mathbb P}^1$ suspension of $X$; we also analyze a host of variations on this observation. Our approach yields many examples of ${\mathbb A}^1$-$(n-1)$-connected smooth affine $2n$-folds and strictly quasi-affine ${\mathbb A}^1$-contractible smooth schemes. △ Less

Submitted 9 September, 2022; v1 submitted 15 December, 2021; originally announced December 2021.

Comments: 22 pages; Strengthened some results; Comments welcome!

MSC Class: 14F42; 14D06; 55P40

Stable motivic homotopy theory at infinity

Authors: Adrien Dubouloz, Frédéric Déglise, Paul Arne Østvær

Abstract: In this paper, we initiate a study of motivic homotopy theory at infinity. We use the six functor formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational tools include cdh-descent for normal crossing divisors, Euler classes, Gysin maps, and homotopy purity. Under $\ell$-adic realization, the motive at infinity recove… ▽ More In this paper, we initiate a study of motivic homotopy theory at infinity. We use the six functor formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational tools include cdh-descent for normal crossing divisors, Euler classes, Gysin maps, and homotopy purity. Under $\ell$-adic realization, the motive at infinity recovers a formula for vanishing cycles due to Rapoport-Zink; similar results hold for Steenbrink's limiting Hodge structures and Wildeshaus' boundary motives. Under the topological Betti realization, the stable motivic homotopy type at infinity of an algebraic variety recovers the singular complex at infinity of the corresponding analytic space. We coin the notion of homotopically smooth morphisms with respect to a motivic $\infty$-category and use it to show a generalization to virtual vector bundles of Morel-Voevodsky's purity theorem, which yields an escalated form of Atiyah duality with compact support. Further we study a quadratic refinement of intersection degrees taking values in motivic cohomotopy groups. For relative surfaces, we show the stable motivic homotopy type at infinity witnesses a quadratic version of Mumford's plumbing construction for smooth complex algebraic surfaces. Our main results are also valid for $\ell$-adic sheaves, mixed Hodge modules, and more generally motivic $\infty$-categories. △ Less

Submitted 7 April, 2021; originally announced April 2021.

Comments: Draft, comments are welcome

MSC Class: Primary: 14F42; 19E15; 55P42; Secondary: 14F45; 55P57

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)

Topological models for stable motivic invariants of regular number rings

Authors: Tom Bachmann, Paul Arne Østvær

Abstract: For an infinity of number rings we express stable motivic invariants in terms of topological data determined by the complex numbers, the real numbers, and finite fields. We use this to extend Morel's identification of the endomorphism ring of the motivic sphere with the Grothendieck-Witt ring of quadratic forms to deeper base schemes. For an infinity of number rings we express stable motivic invariants in terms of topological data determined by the complex numbers, the real numbers, and finite fields. We use this to extend Morel's identification of the endomorphism ring of the motivic sphere with the Grothendieck-Witt ring of quadratic forms to deeper base schemes. △ Less

Submitted 1 April, 2021; v1 submitted 2 February, 2021; originally announced February 2021.

Comments: 20 pages v2: minor corrections

Journal ref: Forum of Mathematics, Sigma 10 (2022) e1

The trivial fiber topology and framed motives over the integers

Authors: A. Druzhinin, Håkon Kolderup, Paul Arne Østvær

Abstract: This paper introduces the trivial fiber topology on schemes. For one-dimensional base schemes, we use it to describe fibrant replacements in the stable motivic homotopy category and motivic infinite loop spaces. We also extend the Garkusha-Panin and Voevodsky strict $\mathbb{A}^{1}$-invariance theorems to one-dimensional base schemes. The trivial fiber topology plays a central role in the proof of… ▽ More This paper introduces the trivial fiber topology on schemes. For one-dimensional base schemes, we use it to describe fibrant replacements in the stable motivic homotopy category and motivic infinite loop spaces. We also extend the Garkusha-Panin and Voevodsky strict $\mathbb{A}^{1}$-invariance theorems to one-dimensional base schemes. The trivial fiber topology plays a central role in the proof of refined localization results for motivic homotopy categories. Moreover, we extend Morel's $\mathbb{A}^{1}$-connectivity theorem on Nisnevich sheaves of stable motivic homotopy groups. These results open new vistas for computations of motivic invariants over deeper base schemes of arithmetic interest. △ Less

Submitted 13 January, 2023; v1 submitted 14 December, 2020; originally announced December 2020.

Comments: Revised version, with new results

Triangulated categories of logarithmic motives over a field

Authors: Federico Binda, Doosung Park, Paul Arne Østvær

Abstract: In this work we develop a theory of motives for logarithmic schemes over fields in the sense of Fontaine, Illusie, and Kato. Our construction is based on the notion of finite log correspondences, the dividing Nisnevich topology on log schemes, and the basic idea of parameterizing homotopies by $\overline{\square}$, i.e. the projective line with respect to its compactifying logarithmic structure at… ▽ More In this work we develop a theory of motives for logarithmic schemes over fields in the sense of Fontaine, Illusie, and Kato. Our construction is based on the notion of finite log correspondences, the dividing Nisnevich topology on log schemes, and the basic idea of parameterizing homotopies by $\overline{\square}$, i.e. the projective line with respect to its compactifying logarithmic structure at infinity. We show that Hodge cohomology of log schemes is a $\overline{\square}$-invariant theory that is representable in the category of logarithmic motives. Our category is closely related to Voevodsky's category of motives and $\mathbb{A}^{1}$-invariant theories: assuming resolution of singularities, we identify the latter with the full subcategory comprised of $\mathbb{A}^{1}$-local objects in the category of logarithmic motives. Fundamental properties such as $\overline{\square}$-homotopy invariance, Mayer-Vietoris for coverings, the analogs of the Gysin sequence and the Thom space isomorphism as well as a blow-up formula and a projective bundle formula witness the robustness of the setup. △ Less

Submitted 23 September, 2021; v1 submitted 26 April, 2020; originally announced April 2020.

Comments: 252 pages. Final version to appear in Asterisque

MSC Class: Primary 14A21; 14A30; 14F42; 18N40; 18N55; Secondary 18F10; 18G35; 19E15

Milnor-Witt Motives

Authors: Tom Bachmann, Baptiste Calmès, Frédéric Déglise, Jean Fasel, Paul Arne Østvær

Abstract: We develop the theory of Milnor-Witt motives and motivic cohomology. Compared to Voevodsky's theory of motives and his motivic cohomology, the first difference appears in our definition of Milnor-Witt finite correspondences, where our cycles come equipped with quadratic forms. This yields a weaker notion of transfers and a derived category of motives that is closer to the stable homotopy theory of… ▽ More We develop the theory of Milnor-Witt motives and motivic cohomology. Compared to Voevodsky's theory of motives and his motivic cohomology, the first difference appears in our definition of Milnor-Witt finite correspondences, where our cycles come equipped with quadratic forms. This yields a weaker notion of transfers and a derived category of motives that is closer to the stable homotopy theory of schemes. We prove a cancellation theorem when tensoring with the Tate object, we compare the diagonal part of our Milnor-Witt motivic cohomology to Minor-Witt K-theory and we provide spectra representing various versions of motivic cohomology in the $\mathbb{A}^1$-derived category or the stable homotopy category of schemes. △ Less

Submitted 4 April, 2022; v1 submitted 14 April, 2020; originally announced April 2020.

Comments: 198 pages. This book is composed of updated versions of arXiv:1412.2989, arXiv:1708.06100, arXiv:1710.00594, arXiv:1708.06102, arXiv:1708.06098 and arXiv:1708.06095, together with an introduction, and an index

MSC Class: 11E70; 13D15; 14F42; 19E15; 19G38 (Primary) 11E81; 14A99; 14C35; 19D45 (Secondary)

On étale motivic spectra and Voevodsky's convergence conjecture

Authors: Tom Bachmann, Elden Elmanto, Paul Arne Østvær

Abstract: We prove a new convergence result for the slice spectral sequence, following work by Levine and Voevodsky. This verifies a derived variant of Voevodsky's conjecture on convergence of the slice spectral sequence. This is, in turn, a necessary ingredient for our main theorem: a Thomason-style étale descent result for the Bott-inverted motivic sphere spectrum, which generalizes and extends previous é… ▽ More We prove a new convergence result for the slice spectral sequence, following work by Levine and Voevodsky. This verifies a derived variant of Voevodsky's conjecture on convergence of the slice spectral sequence. This is, in turn, a necessary ingredient for our main theorem: a Thomason-style étale descent result for the Bott-inverted motivic sphere spectrum, which generalizes and extends previous étale descent results for special examples of motivic cohomology theories. Combined with first author's étale rigidity results, we obtain a complete structural description of the étale motivic stable category. △ Less

Submitted 4 October, 2021; v1 submitted 9 March, 2020; originally announced March 2020.

Comments: New title and introduction

Framed motivic $Γ$-spaces

Authors: Grigory Garkusha, Ivan Panin, Paul Arne Østvær

Abstract: We combine several mini miracles to achieve an elementary understanding of infinite loop spaces and very effective spectra in the algebro-geometric setting of motivic homotopy theory. Our approach combines $Γ$-spaces and framed correspondences into the concept of framed motivic $Γ$-spaces; these are continuous or enriched functors of two variables that take values in motivic spaces and are equippe… ▽ More We combine several mini miracles to achieve an elementary understanding of infinite loop spaces and very effective spectra in the algebro-geometric setting of motivic homotopy theory. Our approach combines $Γ$-spaces and framed correspondences into the concept of framed motivic $Γ$-spaces; these are continuous or enriched functors of two variables that take values in motivic spaces and are equipped with a framing. We craft proofs of our main results by imposing further axioms on framed motivic $Γ$-spaces such as a Segal condition for simplicial Nisnevich sheaves, cancellation, ${\mathbb A}^{1}$- and $σ$-invariance, Nisnevich excision, Suslin contractibility, and grouplikeness. This adds to the discussion in the literature on coexisting points of view on the ${\mathbb A}^{1}$-homotopy theory of algebraic varieties. △ Less

Submitted 21 April, 2022; v1 submitted 30 June, 2019; originally announced July 2019.

Comments: to appear in Izvestiya Math

A^1-homotopy theory and contractible varieties: a survey

Authors: Aravind Asok, Paul Arne Østvær

Abstract: We survey some topics in ${\mathbb A}^1$-homotopy theory. Our main goal is to highlight the interplay between ${\mathbb A}^1$-homotopy theory and affine algebraic geometry, focusing on the varieties that are "contractible" from various standpoints. We survey some topics in ${\mathbb A}^1$-homotopy theory. Our main goal is to highlight the interplay between ${\mathbb A}^1$-homotopy theory and affine algebraic geometry, focusing on the varieties that are "contractible" from various standpoints. △ Less

Submitted 19 March, 2019; originally announced March 2019.

Comments: 52 pages; comments welcome!

MSC Class: 14F42 14R10 57N15

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

Motivic stable homotopy groups

Authors: Daniel C. Isaksen, Paul Arne Østvær

Abstract: We survey computations of stable motivic homotopy groups over various fields. The main tools are the motivic Adams spectral sequence, the motivic Adams-Novikov spectral sequence, and the effective slice spectral sequence. We state some projects for future study. We survey computations of stable motivic homotopy groups over various fields. The main tools are the motivic Adams spectral sequence, the motivic Adams-Novikov spectral sequence, and the effective slice spectral sequence. We state some projects for future study. △ Less

Submitted 6 March, 2019; v1 submitted 14 November, 2018; originally announced November 2018.

Comments: Minor improvements. Final version to appear in the forthcoming Handbook of Homotopy Theory

MSC Class: 14F42; 55T15; 55Q45

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

Rigidity for equivariant pseudo pretheories

Authors: Jeremiah Heller, Charanya Ravi, Paul Arne Østvær

Abstract: We prove versions of the Suslin and Gabber rigidity theorems in the setting of equivariant pseudo pretheories of smooth schemes over a field with an action of a finite group. Examples include equivariant algebraic $K$-theory, presheaves with equivariant transfers, equivariant Suslin homology, and Bredon motivic cohomology. We prove versions of the Suslin and Gabber rigidity theorems in the setting of equivariant pseudo pretheories of smooth schemes over a field with an action of a finite group. Examples include equivariant algebraic $K$-theory, presheaves with equivariant transfers, equivariant Suslin homology, and Bredon motivic cohomology. △ Less

Submitted 1 October, 2018; originally announced October 2018.

Comments: 19 pages; to appear in Journal of Algebra

MSC Class: 14C35; 14F42; 19E15

A1 contractibility of affine modifications

Authors: Adrien Dubouloz, Sabrina Pauli, Paul Arne Østvær

Abstract: We introduce Koras-Russell fiber bundles over algebraically closed fields of characteristic zero. After a single suspension, this exhibits an infinite family of smooth affine A1-contractible 3-folds. Moreover, we give examples of stably A1-contractible smooth affine 4-folds containing a Brieskorn-Pham surface, and a family of smooth affine 3-folds with a higher dimensional A1-contractible total sp… ▽ More We introduce Koras-Russell fiber bundles over algebraically closed fields of characteristic zero. After a single suspension, this exhibits an infinite family of smooth affine A1-contractible 3-folds. Moreover, we give examples of stably A1-contractible smooth affine 4-folds containing a Brieskorn-Pham surface, and a family of smooth affine 3-folds with a higher dimensional A1-contractible total space. △ Less

Submitted 23 May, 2018; originally announced May 2018.

MSC Class: 14F42; 14L30; 14R20; 19E15; 55Q99

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

Algebraic Cobordism and Étale Cohomology

Authors: Elden Elmanto, Marc Levine, Markus Spitzweck, Paul Arne Østvær

Abstract: Thomason's étale descent theorem for Bott periodic algebraic $K$-theory \cite{aktec} is generalized to any $MGL$ module over a regular Noetherian scheme of finite dimension. Over arbitrary Noetherian schemes of finite dimension, this generalizes the analog of Thomason's theorem for Weibel's homotopy $K$-theory. This is achieved by amplifying the effects from the case of motivic cohomology, using t… ▽ More Thomason's étale descent theorem for Bott periodic algebraic $K$-theory \cite{aktec} is generalized to any $MGL$ module over a regular Noetherian scheme of finite dimension. Over arbitrary Noetherian schemes of finite dimension, this generalizes the analog of Thomason's theorem for Weibel's homotopy $K$-theory. This is achieved by amplifying the effects from the case of motivic cohomology, using the slice spectral sequence in the case of the universal example of algebraic cobordism. We also obtain integral versions of these statements: Bousfield localization at étale motivic cohomology is the universal way to impose étale descent for these theories. As applications, we describe the étale local objects in modules over these spectra and show that they satisfy the full six functor formalism, construct an étale descent spectral sequence converging to Bott-inverted motivic Landweber exact theories, and prove cellularity and effectivity of the étale versions of these motivic spectra. △ Less

Submitted 16 May, 2022; v1 submitted 16 November, 2017; originally announced November 2017.

Comments: published version with revised acknowledgements, 70 pages, to appear in Geometry & Topology

MSC Class: 14F42; 18F25

Journal ref: Geom. Topol. 26 (2022) 477-586

A cancellation theorem for Milnor-Witt correspondences

Authors: Jean Fasel, Paul Arne Østvær

Abstract: We show that finite Milnor-Witt correspondences satisfy a cancellation theorem with respect to the pointed multiplicative group scheme. This has several notable applications in the theory of Milnor-Witt motives and Milnor-Witt motivic cohomology. We show that finite Milnor-Witt correspondences satisfy a cancellation theorem with respect to the pointed multiplicative group scheme. This has several notable applications in the theory of Milnor-Witt motives and Milnor-Witt motivic cohomology. △ Less

Submitted 21 August, 2017; originally announced August 2017.

Comments: 22 pages. Comments are welcome

MSC Class: Primary: 11E70; 13D15; 14F42; 19E15; 19G38; Secondary: 11E81; 14A99; 14C35; 19D45

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 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

Topological comparison theorems for Bredon motivic cohomology

Authors: Jeremiah Heller, Mircea Voineagu, Paul Arne Ostvaer

Abstract: We prove equivariant versions of the Beilinson-Lichtenbaum conjecture for Bredon motivic cohomology of smooth complex and real varieties with an action of the group of order two. This identifies equivariant motivic and topological invariants in a large range of degrees. We prove equivariant versions of the Beilinson-Lichtenbaum conjecture for Bredon motivic cohomology of smooth complex and real varieties with an action of the group of order two. This identifies equivariant motivic and topological invariants in a large range of degrees. △ Less

Submitted 19 March, 2018; v1 submitted 24 February, 2016; originally announced February 2016.

Comments: Corrected indices in main theorem and a few minor changes. To appear, Transactions AMS

Two-complete stable motivic stems over finite fields

Authors: Glen M. Wilson, Paul Arne Østvær

Abstract: Let $\ell$ be a prime and $q = p^ν$ where $p$ is a prime different from $\ell$. We show that the $\ell$-completion of the $n$th stable homotopy group of spheres is a summand of the $\ell$-completion of the $(n, 0)$ motivic stable homotopy group of spheres over the finite field with $q$ elements $F_q$. With this, and assisted by computer calculations, we are able to explicitly compute the two-compl… ▽ More Let $\ell$ be a prime and $q = p^ν$ where $p$ is a prime different from $\ell$. We show that the $\ell$-completion of the $n$th stable homotopy group of spheres is a summand of the $\ell$-completion of the $(n, 0)$ motivic stable homotopy group of spheres over the finite field with $q$ elements $F_q$. With this, and assisted by computer calculations, we are able to explicitly compute the two-complete stable motivic stems $π_{n, 0}(F_q)^{\wedge}_2$ for $0\leq n\leq 18$. Additionally, we compute $π_{19, 0}(F_q)^{\wedge}_2$ and $π_{20, 0}(F_q)^{\wedge}_2$ when $q \equiv 1 \bmod 4$ assuming Morel's connectivity theorem for $F_q$ holds. △ Less

Submitted 20 March, 2017; v1 submitted 24 January, 2016; originally announced January 2016.

Comments: 4 figures, 2 tables. Published version now available

Journal ref: Algebr. Geom. Topol. 17 (2017) 1059-1104

A1-contractibility of Koras-Russell threefolds

Authors: Marc Hoyois, Amalendu Krishna, Paul Arne Østvær

Abstract: Finite suspensions of Koras-Russell threefolds are contractible in A1-homotopy theory. Finite suspensions of Koras-Russell threefolds are contractible in A1-homotopy theory. △ Less

Submitted 13 December, 2015; v1 submitted 3 September, 2014; originally announced September 2014.

Comments: Final version, to appear in Algebraic Geometry

Motivic homotopy theory of group scheme actions

Authors: Jeremiah Heller, Amalendu Krishna, Paul Arne Ostvaer

Abstract: We define an unstable equivariant motivic homotopy category for an algebraic group over a Noetherian base scheme. We show that equivariant algebraic $K$-theory is representable in the resulting homotopy category. Additionally, we establish homotopical purity and blow-up theorems for finite abelian groups. We define an unstable equivariant motivic homotopy category for an algebraic group over a Noetherian base scheme. We show that equivariant algebraic $K$-theory is representable in the resulting homotopy category. Additionally, we establish homotopical purity and blow-up theorems for finite abelian groups. △ Less

Submitted 16 October, 2015; v1 submitted 11 August, 2014; originally announced August 2014.

Comments: Final version, to appear in Journal of Topology. arXiv admin note: text overlap with arXiv:1403.1915

Motivic homotopy of group scheme actions

Authors: Amalendu Krishna, Paul Arne Ostvaer

Abstract: To smooth schemes equipped with a smooth affine group scheme action, we associate an equivariant motivic homotopy category. Underlying our construction is the choice of an `equivariant Nisnevich topology' induced by a complete, regular, and bounded $cd$-structure. We show equivariant $K$-theory of smooth schemes is represented in the equivariant motivic homotopy category. This is used to character… ▽ More To smooth schemes equipped with a smooth affine group scheme action, we associate an equivariant motivic homotopy category. Underlying our construction is the choice of an `equivariant Nisnevich topology' induced by a complete, regular, and bounded $cd$-structure. We show equivariant $K$-theory of smooth schemes is represented in the equivariant motivic homotopy category. This is used to characterize equivariantly contractible smooth affine curves and equivariant vector bundles on such curves. Generalizations of the purity and blow-up theorems in motivic homotopy theory are shown for actions of finite cyclic groups. △ Less

Submitted 7 March, 2014; originally announced March 2014.

Comments: 44 pages

MSC Class: 14L30; 55P91

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

Stable motivic pi_1 of low-dimensional fields

Authors: Kyle M. Ormsby, Paul Arne Østvær

Abstract: Let k be a field with cohomological dimension less than 3; we call such fields low-dimensional. Examples include algebraically closed fields, finite fields and function fields thereof, local fields, and number fields with no real embeddings. We determine the 1-column of the motivic Adams-Novikov spectral sequence over k. Combined with rational information we use this to compute the first stable mo… ▽ More Let k be a field with cohomological dimension less than 3; we call such fields low-dimensional. Examples include algebraically closed fields, finite fields and function fields thereof, local fields, and number fields with no real embeddings. We determine the 1-column of the motivic Adams-Novikov spectral sequence over k. Combined with rational information we use this to compute the first stable motivic homotopy group of the sphere spectrum over k. Our main result affirms Morel's pi_1-conjecture in the case of low-dimensional fields. We also determine stable motivic pi_1 in integer weights other than -2, -3, and -4. △ Less

Submitted 14 August, 2014; v1 submitted 10 October, 2013; originally announced October 2013.

Comments: v2: Referee comments incorporated. This is the pre-proofs version of the published paper. 31 pages, 2 figures, 2 tables. v1: 27 pages, 2 figures, 2 tables

MSC Class: 55T15; 19E15

Journal ref: Advances in Mathematics 265 (2014) 97-131

The motivic Steenrod algebra in positive characteristic

Authors: Marc Hoyois, Shane Kelly, Paul Arne Østvær

Abstract: Let S be an essentially smooth scheme over a field and l a prime number invertible on S. We show that the algebra of bistable operations in the mod l motivic cohomology of smooth S-schemes is generated by the motivic Steenrod operations. This was previously proved by Voevodsky for S a field of characteristic zero. We follow Voevodsky's proof but remove its dependence on characteristic zero by usin… ▽ More Let S be an essentially smooth scheme over a field and l a prime number invertible on S. We show that the algebra of bistable operations in the mod l motivic cohomology of smooth S-schemes is generated by the motivic Steenrod operations. This was previously proved by Voevodsky for S a field of characteristic zero. We follow Voevodsky's proof but remove its dependence on characteristic zero by using étale cohomology instead of topological realization and by replacing resolution of singularities with a theorem of Gabber on alterations. △ Less

Submitted 31 July, 2013; v1 submitted 24 May, 2013; originally announced May 2013.

Comments: 39 pages

Equivariant cycles and cancellation for motivic cohomology

Authors: Jeremiah Heller, Mircea Voineagu, Paul Arne Ostvaer

Abstract: We introduce a Bredon motivic cohomology theory for smooth schemes defined over a field and equipped with an action by a finite group. These cohomology groups are defined for finite dimensional representations as the hypercohomology of complexes of equivariant correspondences in the equivariant Nisnevich topology. We generalize the theory of presheaves with transfers to the equivariant setting and… ▽ More We introduce a Bredon motivic cohomology theory for smooth schemes defined over a field and equipped with an action by a finite group. These cohomology groups are defined for finite dimensional representations as the hypercohomology of complexes of equivariant correspondences in the equivariant Nisnevich topology. We generalize the theory of presheaves with transfers to the equivariant setting and prove a Cancellation Theorem. △ Less

Submitted 10 August, 2014; v1 submitted 22 April, 2013; originally announced April 2013.

Comments: Minor expositional changes, typo fixes, and corrections in Section 8. Mathematical content unchanged

Motivic Brown-Peterson invariants of the rationals

Authors: Kyle M. Ormsby, Paul Arne Østvær

Abstract: Fix the base field Q of rational numbers and let BP<n> denote the family of motivic truncated Brown-Peterson spectra over Q. We employ a "local-to-global" philosophy in order to compute the motivic Adams spectral sequence converging to the bi-graded homotopy groups of BP<n>. Along the way, we provide a new computation of the homotopy groups of BP<n> over the 2-adic rationals, prove a motivic Hasse… ▽ More Fix the base field Q of rational numbers and let BP<n> denote the family of motivic truncated Brown-Peterson spectra over Q. We employ a "local-to-global" philosophy in order to compute the motivic Adams spectral sequence converging to the bi-graded homotopy groups of BP<n>. Along the way, we provide a new computation of the homotopy groups of BP<n> over the 2-adic rationals, prove a motivic Hasse principle for the spectra BP<n>, and deduce several classical and recent theorems about the K-theory of particular fields. △ Less

Submitted 23 June, 2013; v1 submitted 24 August, 2012; originally announced August 2012.

Comments: 32 pages, 6 figures; Introduction and exposition improved, typos corrected, now published in Geometry & Topology

MSC Class: 55T15; 19D50; 19E15

Journal ref: Geom. Topol. 17 (2013) 1671-1706

Periodicity of hermitian K-groups

Authors: A. J. Berrick, M. Karoubi, P. A. Østvær

Abstract: Bott periodicity for the unitary, orthogonal and symplectic groups is fundamental to topological K-theory. Analogous to unitary topological K-theory, for algebraic K-groups with finite coefficients similar periodicity results are consequences of the Milnor and Bloch-Kato conjectures, affirmed by Voevodsky, Rost and others. More generally, we prove that periodicity of the algebraic K-groups for any… ▽ More Bott periodicity for the unitary, orthogonal and symplectic groups is fundamental to topological K-theory. Analogous to unitary topological K-theory, for algebraic K-groups with finite coefficients similar periodicity results are consequences of the Milnor and Bloch-Kato conjectures, affirmed by Voevodsky, Rost and others. More generally, we prove that periodicity of the algebraic K-groups for any ring implies periodicity for its hermitian K-groups, analogous to orthogonal and symplectic topological K-theory. The proofs use in an essential way higher KSC theories extending those of Anderson and Green. They also provide an upper bound for the higher hermitian K-groups in terms of the higher algebraic K-groups. We also relate periodicity to etale hermitian K-groups by proving ahermitian version of Thomason's etale descent theorem. The results are illustrated in detail for local fields, rings of integers in number fields, smooth complex algebraic varieties, rings of continuous functions on compact spaces, and group rings. △ Less

Submitted 11 January, 2011; originally announced January 2011.

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

The homotopy fixed point theorem and the Quillen-Lichtenbaum conjecture in hermitian K-theory

Authors: A. J. Berrick, M. Karoubi, M. Schlichting, P. A. Østvær

Abstract: Let X be a noetherian scheme of finite Krull dimension, having 2 invertible in its ring of regular functions, an ample family of line bundles, and a global bound on the virtual mod-2 cohomological dimensions of its residue fields. We prove that the comparison map from the hermitian K-theory of X to the homotopy fixed points of K-theory under the natural Z/2-action is a 2-adic equivalence in genera… ▽ More Let X be a noetherian scheme of finite Krull dimension, having 2 invertible in its ring of regular functions, an ample family of line bundles, and a global bound on the virtual mod-2 cohomological dimensions of its residue fields. We prove that the comparison map from the hermitian K-theory of X to the homotopy fixed points of K-theory under the natural Z/2-action is a 2-adic equivalence in general, and an integral equivalence when X has no formally real residue field. We also show that the comparison map between the higher Grothendieck-Witt (hermitian K-) theory of X and its étale version is an isomorphism on homotopy groups in the same range as for the Quillen-Lichtenbaum conjecture in K-theory. Applications compute higher Grothendieck-Witt groups of complex algebraic varieties and rings of 2-integers in number fields, and hence values of Dedekind zeta-functions. △ Less

Submitted 18 February, 2015; v1 submitted 22 November, 2010; originally announced November 2010.

Comments: 17 pages, to appear in Adv. Math

Existence and uniqueness of E-infinity structures on motivic K-theory spectra

Authors: Niko Naumann, Markus Spitzweck, Paul Arne Østvær

Abstract: We show that algebraic K-theory KGL, the motivic Adams summand ML and their connective covers acquire unique E-infinity structures refining naive multiplicative structures in the motivic stable homotopy category. The proofs combine Gamma-homology computations and work due to Robinson giving rise to motivic obstruction theory. As an application we employ a motivic to simplicial deloo** argument t… ▽ More We show that algebraic K-theory KGL, the motivic Adams summand ML and their connective covers acquire unique E-infinity structures refining naive multiplicative structures in the motivic stable homotopy category. The proofs combine Gamma-homology computations and work due to Robinson giving rise to motivic obstruction theory. As an application we employ a motivic to simplicial deloo** argument to show a uniqueness result for E-infinity structures on the K-theory Nisnevich presheaf of spectra. △ Less

Submitted 9 March, 2015; v1 submitted 19 October, 2010; originally announced October 2010.

Comments: 17 pages, differs from published version only in the proofs, to appear in JHRS

MSC Class: 14F42; 19E08; 55P43

Motivic twisted K-theory

Authors: Markus Spitzweck, Paul Arne Østvær

Abstract: This paper sets out basic properties of motivic twisted K-theory with respect to degree three motivic cohomology classes of weight one. Motivic twisted K-theory is defined in terms of such motivic cohomology classes by taking pullbacks along the universal principal BG_m-bundle for the classifying space of the multiplicative group scheme. We show a Kuenneth isomorphism for homological motivic twist… ▽ More This paper sets out basic properties of motivic twisted K-theory with respect to degree three motivic cohomology classes of weight one. Motivic twisted K-theory is defined in terms of such motivic cohomology classes by taking pullbacks along the universal principal BG_m-bundle for the classifying space of the multiplicative group scheme. We show a Kuenneth isomorphism for homological motivic twisted K-groups computing the latter as a tensor product of K-groups over the K-theory of BG_m. The proof employs an Adams Hopf algebroid and a tri-graded Tor-spectral sequence for motivic twisted K-theory. By adopting the notion of an E-infinity ring spectrum to the motivic homotopy theoretic setting, we construct spectral sequences relating motivic (co)homology groups to twisted K-groups. It generalizes various spectral sequences computing the algebraic K-groups of schemes over fields. Moreover, we construct a Chern character between motivic twisted K-theory and twisted periodized rational motivic cohomology, and show that it is a rational isomorphism. The paper includes a discussion of some open problems. △ Less

Submitted 29 August, 2010; originally announced August 2010.

Comments: 35 pages

MSC Class: 14F42; 55P43; 19E08

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

Hermitian K-theory and 2-regularity for totally real number fields

Authors: A. J. Berrick, M. Karoubi, P. A. Østvær

Abstract: We completely determine the 2-primary torsion subgroups of the hermitian K-groups of rings of 2-integers in totally real 2-regular number fields. The result is almost periodic with period 8. We also identify the homotopy fibers of the forgetful and hyperbolic maps relating hermitian and algebraic K-theory. The result is then exactly periodic of period 8. In both the orthogonal and symplectic cas… ▽ More We completely determine the 2-primary torsion subgroups of the hermitian K-groups of rings of 2-integers in totally real 2-regular number fields. The result is almost periodic with period 8. We also identify the homotopy fibers of the forgetful and hyperbolic maps relating hermitian and algebraic K-theory. The result is then exactly periodic of period 8. In both the orthogonal and symplectic cases, we prove the 2-primary hermitian Quillen-Lichtenbaum conjecture. △ Less

Submitted 29 January, 2010; v1 submitted 14 March, 2009; originally announced March 2009.

Comments: To appear in Mathematische Annalen

MSC Class: 19Dxx

Homotopy theory of C*-algebras

Authors: Paul Arne Østvær

Abstract: In this work we construct from ground up a homotopy theory of C*-algebras. This is achieved in parallel with the development of classical homotopy theory by first introducing an unstable model structure and second a stable model structure. The theory makes use of a full fledged import of homotopy theoretic techniques into the subject of C*-algebras. The spaces in C*-homotopy theory are certain… ▽ More In this work we construct from ground up a homotopy theory of C*-algebras. This is achieved in parallel with the development of classical homotopy theory by first introducing an unstable model structure and second a stable model structure. The theory makes use of a full fledged import of homotopy theoretic techniques into the subject of C*-algebras. The spaces in C*-homotopy theory are certain hybrids of functors represented by C*-algebras and spaces studied in classical homotopy theory. In particular, we employ both the topological circle and the C*-algebra circle of complex-valued continuous functions on the real numbers which vanish at infinity. By using the inner workings of the theory, we may stabilize the spaces by forming spectra and bispectra with respect to either one of these circles or their tensor product. These stabilized spaces or spectra are the objects of study in stable C*-homotopy theory. The stable homotopy category of C*-algebras gives rise to invariants such as stable homotopy groups and bigraded cohomology and homology theories. We work out examples related to the emerging subject of noncommutative motives and zeta functions of C*-algebras. In addition, we employ homotopy theory to define a new type of K-theory of C*-algebras. △ Less

Submitted 30 November, 2008; originally announced December 2008.

MSC Class: 46L99; 55P99