Related papers: The Morel-Voevodsky Construction over Algebraic St…

In this paper, we introduce fundamental notions of homotopy theory, including homotopy excision and the Freudenthal suspension theorem. We then explore framed cobordism and its connection to stable homotopy groups of spheres through the…

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…

This text gives a construction of a differential graded Lie algebra in Nori's category of effective homological motives. In fact the construction works in more a general setting than that of an Abelian category. This allows us to give the…

We study the cohomology theory and the canonical Milnor-Witt cycle module associated to a motivic spectrum. We prove that the heart of Morel-Voevodsky stable homotopy category over a perfect field (equipped with its homotopy t-structure) is…

For each prime $p$, we define a $t$-structure on the category $\widehat{S^{0,0}}/\tau\text{-}\mathbf{Mod}_{harm}^b$ of harmonic $\mathbb{C}$-motivic left module spectra over $\widehat{S^{0,0}}/\tau$, whose MGL-homology has bounded…

The aim of this work is to construct certain homotopy t-structures on various categories of motivic homotopy theory, extending works of Voevodsky, Morel, D\'eglise and Ayoub. We prove these $t$-structures possess many good properties, some…

We present a detailed analysis of 2-complete stable homotopy groups, both in the classical context and in the motivic context over C. We use the motivic May spectral sequence to compute the cohomology of the motivic Steenrod algebra over C…

We prove the analog of the Morel-Voevodsky localization theorem for framed motivic spaces. We deduce that framed motivic spectra are equivalent to motivic spectra over arbitrary schemes, and we give a new construction of the motivic…

It is shown that the K-theory of every noetherian base scheme of finite Krull dimension is represented by a strict ring object in the setting of motivic stable homotopy theory. The adjective `strict' is used to distinguish between the type…

For each configuration of rational points on the affine line, we define an operation on the group of unstable A1 motivic homotopy classes of endomorphisms of the projective line. We also derive an algebraic formula for the image of such an…

We formalize an abstraction of Grothendieck's philosophy of motives and construct a category of derived motivic spectra in the Segal category $\mathbb{R} \underline{\text{Hom}} ((\text{dSt}_k)^{\text{op}}_{/F}, \text{Top})$ ($\text{dSt}_k$…

If $f:S' \to S$ is a finite locally free morphism of schemes, we construct a symmetric monoidal "norm" functor $f_\otimes: \mathcal H_*(S') \to\mathcal H_*(S)$, where $\mathcal H_*(S)$ is the pointed unstable motivic homotopy category over…

Over a monoidal model category, under some mild assumptions, we equip the categories of colored PROPs and their algebras with projective model category structures. A Boardman-Vogt style homotopy invariance result about algebras over…

We give a survey of a generalization of Quillen-Sullivan rational homotopy theory which gives spectral algebra models of unstable v_n-periodic homotopy types. In addition to describing and contextualizing our original approach, we sketch…

Working over an algebraically closed field $k$ of characteristic $0$, we show that the motivic stable homotopy groups of the sphere spectrum can be determined entirely from the motivic homotopy groups of the $p$-completed sphere spectra and…

Let $X$ be a variety. In this survey, we study (decompositions of) the motivic class, in the Grothendieck ring of stacks, of the stack $\mathscr{C}oh^n(X)$ of $0$-dimensional coherent sheaves of length $n$ on $X$. To do so, we review the…

We construct a perfect version of Morel--Voevodsky's motivic homotopy category over a perfect base scheme in positive characteristic. By checking the axioms of a coefficient system, we establish a six-functor formalism. We show that…

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…

We construct the motive of an algebraic stack in the Nisnevich topology. For stacks which are Nisnevich locally quotient stacks, we give a presentation of the motive in terms of simplicial schemes. We also show that for quotient stacks the…

Motivic homotopy theory is meant to play the role of algebraic topology, in particular homotopy theory, in the context of algebraic geometry. As proved by Oliver Rondigs and Paul Arne Ostvaer, this theory is closely connected to Voevodsky's…