Related papers: Stable motivic homotopy theory at infinity

For a finite Galois extension of fields L/k with Galois group G, we study a functor from the G-equivariant stable homotopy category to the stable motivic homotopy category over k induced by the classical Galois correspondence. We show that…

We introduce coefficient systems of pro-\'etale motives and pro-\'etale motivic spectra with coefficients in any condensed ring spectrum and show that they afford the six operations. Over locally \'etale bounded schemes, \'etale motivic…

Let $F$ and $k$ be perfect fields. The main goal of this paper is to investigate algebraic models for the Morel-Voevodsky unstable motivic homotopy category $\mathrm{Ho}(F)$ after $\mathbf{H}^{\mathbb{A}^1}k$ localization. More…

We give sufficient conditions which ensure that a functor of finite length from an additive category to finite-dimensional vector spaces has a projective resolution whose terms are finitely generated. For polynomial functors, we study also…

Using the theory of framed correspondences developed by Voevodsky, we introduce and study framed motives of algebraic varieties. They are the major computational tool for constructing an explicit quasi-fibrant motivic replacement of the…

For a reductive group $G$, we prove that complex irreducible rigid $G$-local systems with quasi-unipotent monodromies and finite order abelianization on a smooth curve are motivic, generalizing a theorem of Katz for $GL_n$. We do so by…

We construct a motivic homotopy theory for rigid analytic varieties with the rigid analytic affine line $\mathbb{A} ^1_\mathrm{rig}$ as an interval object. This motivic homotopy theory is inspired from, but not equal to, Ayoub's motivic…

We consider proper, algebraic semismall maps f from a complex algebraic manifold X. We show that the topological Decomposition Theorem implies a "motivic" decomposition theorem for the rational algebraic cycles of X and, in the case X is…

We prove geometric and cohomological stabilization results for the universal smooth degree $d$ hypersurface section of a fixed smooth projective variety as $d$ goes to infinity. We show that relative configuration spaces of the universal…

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

In this article, we give a construction of the (un-)stable motivic homotopy category of an algebraic stack in the spirit of Morel-Voevodsky. We prove that this new construction agrees with the stable motivic homotopy category defined by…

These notes, written version of a Bourbaki talk, survey Morel-Voevodsky's motivic homotopy theory over a field, with a focus on computations of motivic homotopy sheaves, both stable and unstable. We also describe Isaksen-Wang-Xu's…

For a polynomial function $f \colon \mathbb{C}^n \longrightarrow \mathbb{C}$, it is well-known in singularity theory (after Thom, Pham, Verdier,...) that outside a finite subset of $\mathbb{C}$, the function is a locally trivial…

The aim of this paper is to connect two important and apparently unrelated theories: motivic homotopy theory and ramification theory. We construct motivic homotopy categories over a qcqs base scheme $S$, in which cohomology theories with…

We prove that the $\infty$-category of $\mathrm{MGL}$-modules over any scheme is equivalent to the $\infty$-category of motivic spectra with finite syntomic transfers. Using the recognition principle for infinite $\mathbb{P}^1$-loop spaces,…

We study the representability of motivic spheres by smooth varieties. We show that certain explicit "split" quadric hypersurfaces have the $\mathbb A^1$-homotopy type of motivic spheres over the integers and that the $\mathbb A^1$-homotopy…

Over any field of characteristic not 2, we establish a 2-term resolution of the $\eta$-periodic, 2-local motivic sphere spectrum by shifts of the connective 2-local Witt K-theory spectrum. This is curiously similar to the resolution of the…

Given a small simplicial category $\C$ whose underlying ordinary category is equipped with a Grothendieck topology $\tau$, we construct a model structure on the category of simplicially enriched presheaves on $\C$ where the weak…

In this expository article, we give the foundations, basic facts, and first examples of unstable motivic homotopy theory with a view towards the approach of Asok-Fasel to the classification of vector bundles on smooth complex affine…

In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that…