Related papers: Constructing the Unstable Motivic Homotopy Categor…

We give an introduction to unstable motivic homotopy theory of Morel and Voevodsky, and survey some results.

In this paper we study a model structure on a category of schemes with a group action and the resulting unstable and stable equivariant motivic homotopy theories. The new model structure introduced here samples a comparison to the one by…

In this paper, we continue the program initiated by Kahn-Saito-Yamazaki by constructing and studying an unstable motivic homotopy category with modulus, extending the Morel-Voevodsky construction from smooth schemes over a field $k$ to…

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…

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

In this paper we give a summary of the comparisons between different definitions of so-called (\infty,1)-categories, which are considered to be models for \infty-categories whose n-morphisms are all invertible for n>1. They are also, from…

The motivic homotopy categories can be defined with respect to different topologies and different underlying categories of schemes. For a number of reasons (mainly because of the Gluing Theorem) the motivic homotopy category built out of…

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…

In this paper we lay the foundations of an $\infty$-categorical theory of Stokes data.

We construct a left semi-model structure on the category of intensional type theories (precisely, on $\mathrm{CxlCat_{Id,1,\Sigma(,\Pi_{ext})}}$). This presents an $\infty$-category of such type theories; we show moreover that there is an…

We construct Toda brackets in unstable motivic homotopy theory and prove some fundamental properties of them. Furthermore we construct some examples of motivic Toda brackets.

In this paper, we develop the theory of equivariant motivic homotopy theory, both unstable and stable. While our original interest was in the case of profinite group actions on smooth schemes, we discuss our results in as broad a setting as…

We prove a strong non-structure theorem for a class of metric structures with an unstable pair of formulae. As a consequence, we show that weak categoricity (that is, categoricity up to isomorphisms and not isometries) implies several…

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…

Let $\V$ be a symmetric monoidal model category and let $X$ be an object in $\V$. From this we can construct a new symmetric monoidal model category $Sp^{\Sigma}(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$, together with…

In this paper we introduce and study motives for rational homotopy types.

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…

We study the structure of the rational motivic stable homotopy category over general base schemes. Our first class of results concerns the six operations: we prove absolute purity, stability of constructible objects, and…

The main goal of this paper is to construct an analogue of Voevodsky's slice filtration in the motivic unstable homotopy category. The construction is done via birational invariants, this is motivated by the existence of an equivalence of…

We prove that for any base scheme $S$, real \'etale motivic (unstable) homotopy theory over $S$ coincides with unstable semialgebraic topology over $S$ (that is, sheaves of spaces on the real spectrum of $S$). Moreover we show that for…