Stable motivic homotopy theory at infinity

From MaRDI portal
Publication:6364754

arXiv2104.03222MaRDI QIDQ6364754FDOQ6364754


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


Publication date: 7 April 2021

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













This page was built for publication: Stable motivic homotopy theory at infinity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6364754)