Related papers: Rigidity in etale motivic stable homotopy theory
Let $ A $ be a finite connected graded cocommutative Hopf algebra over a field $ k $. There is an endofunctor $ \mathsf{tw} $ on the stable module category $ \mathrm{StMod}_A $ of $ A $ which twists the grading by $ 1 $. We show the…
We establish a kind of "degree zero Freudenthal Gm-suspension theorem" in motivic homotopy theory. From this we deduce results about the conservativity of the P^1-stabilization functor. In order to establish these results, we show how to…
We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real \'etale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the…
We construct an analog of the intrinsic normal cone of Behrend-Fantechi in the equivariant motivic stable homotopy category over a base-scheme B and construct a fundament class in E-cohomology for any cohomology theory E in SH(B). For…
We show that mapping spaces in the p-local motivic stable category over an Fp-scheme are strictly commutative monoids (whence HZ-modules) in a canonical way.
A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes…
We develop a mechanism of "isotropy separation for compact objects" that explicitly describes an invertible $G$-spectrum through its collection of geometric fixed points and gluing data located in certain variants of the stable module…
Using the trivial fiber topology we describe motivic $\infty$-loop spaces and fibrant replacements in the motivic stable homotopy category $\mathbf{SH}_{\mathbb{A}^1,\mathrm{Nis}}(B)$ defined over one-dimensional base schemes $B$.
We develop in this paper a stable theory for projective complexes, by which we mean to consider a chain complex of finitely generated projective modules as an object of the factor category of the homotopy category modulo split complexes. As…
Let $f : X \rightarrow Y$ be a generically smooth nonconstant morphism between irreducible projective curves, defined over an algebraically closed field, which is \'etale on an open subset of $Y$ that contains both the singular locus of $Y$…
Given a 0-connective motivic spectrum $E \in SH(k)$ over a perfect field k, we determine $h_0$ of the associated motive $M E \in DM(k)$ in terms of $\pi_0 (E)$. Using this we show that if k has finite 2-\'etale cohomological dimension, then…
We strengthen some results in \'etale (and real \'etale) motivic stable homotopy theory, by eliminating finiteness hypotheses, additional localizations and/or extending to spectra from HZ-modules.
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…
We construct a left adjoint $\mathcal{H}^\text{st}\colon \mathbf{Ex}_{\infty} \rightarrow \mathbf{St}_{\infty}$ to the inclusion $\mathbf{St}_{\infty} \hookrightarrow \mathbf{Ex}_{\infty}$ of the $\infty$-category of stable…
This paper is an expository account of the theory of stable infinity categories. We prove that the homotopy category of a stable infinity category is triangulated, and that the collection of stable infinity categories is closed under a…
We study exponentiable functors in the context of synthetic $\infty$-categories. We do this within the framework of simplicial Homotopy Type Theory of Riehl and Shulman. Our main result characterizes exponentiable functors. In order to…
For any finite group G, we show that the 2-local G-equivariant stable homotopy category, indexed on a complete G-universe, has a unique equivariant model in the sense of Quillen model categories. This means that the suspension functor,…
Smooth structures on high dimensional manifolds are classified by maps to the infinite loop space $TOP/O$. The homotopy groups of this space are known to be finite. Given a compact Lie group $G$, this space can be regarded as an equivariant…
We prove a topological invariance statement for the Morel-Voevodsky motivic homotopy category, up to inverting exponential characteristics of residue fields. This implies in particular that SH[1/p] of characteristic p>0 schemes is invariant…
A new approach to \'etale homotopy theory is presented which applies to a much broader class of objects than previously existing approaches, namely it applies not only to all schemes (without any local Noetherian hypothesis), but also to…