Searcharxiv⌕ Search

arXiv subjects

Paul Arne Østvær

Publications and source records attributed to Paul Arne Østvær.

At least 37 records · Page 2Linked to original sources
arXiv2022

Milnor-Witt Motives

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.

math.AG↗
arXiv2022

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

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.

math.AG↗
arXiv2021

On étale motivic spectra and Voevodsky's convergence conjecture

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.

math.KT↗
arXiv2021

Triangulated categories of logarithmic motives over a field

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.

math.AG↗
arXiv2021

Stable motivic homotopy theory at infinity

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.

math.AG↗
arXiv2021

Topological models for stable motivic invariants of regular number rings

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.

math.KT↗
arXiv2019

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

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.

math.AG↗
arXiv2019

Motivic stable homotopy groups

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.

math.AT↗
arXiv2018

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

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.

math.KT↗
arXiv2018

Rigidity for equivariant pseudo pretheories

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.

math.AG↗
arXiv2018

The first stable homotopy groups of motivic spheres

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.

math.AT↗
arXiv2018

A1 contractibility of affine modifications

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.

math.AG↗
arXiv2017

On very effective hermitian $K$-theory

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.

math.KT↗
arXiv2017

A cancellation theorem for Milnor-Witt correspondences

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.

math.KT↗
arXiv2017

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

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.

math.KT↗