We exhibit a relationship between motivic homotopy theory and spectral algebraic geometry, based on the motivic $τ$-deformation picture of Gheorghe, Isaksen, Wang, Xu. More precisely, we identify cellular motivic spectra over $\mathbf C$ with ind-coherent sheaves (in a slightly non-standard sense) on a certain spectral stack $τ_{\ge 0}(\mathcal M_\mathrm{FG}^\mathrm{or})$. The latter is the connective cover of the non-connective spectral stack $\mathcal M_\mathrm{FG}^\mathrm{or}$, the moduli stack of oriented formal groups, which we have introduced previously and studied in connection with chromatic homotopy theory. We also provide a geometric origin on the level of stacks for the observed $τ$-deformation behavior on the level of sheaves, based on a notion of extended effective Cartier divisors in spectral algebraic geometry.
We describe some regular behavior in the motivic wedge, which is a subalgebra of the cohomology Ext$_{\mathbf{A}}(\mathbb{M}_2,\mathbb{M}_2)$ of the $\mathbb{C}$-motivic Steenrod algebra. The key tool is to compare motivic computations to classical computations, to Ext$_{\mathbf{A}(2)}(\mathbb{M}_2,\mathbb{M}_2)$, or to $h_1$-localization of Ext$_{\mathbf{A}}(\mathbb{M}_2,\mathbb{M}_2)$. We also give a conjecture on the behavior of the family $e_0^tg^k$ in Ext$_{\mathbf{A}}(\mathbb{M}_2,\mathbb{M}_2)$ which raises naturally from the study of the motivic wedge.
We introduce in this work the notion of the category of pure $\mathbf{E}$-Motives, where $\mathbf{E}$ is a motivic strict ring spectrum and construct twisted $\mathbf{E}$-cohomology by using six functors formalism of J. Ayoub. In particular, we construct the category of pure Chow-Witt motives $CHW(k)_{\mathbb{Q}}$ over a field $k$ and show that this category admits a fully faithful embedding into the geometric stable $\mathbb{A}^1$-derived category $D_{\mathbb{A}^1,gm}(k)_{\mathbb{Q}}$.
We relate the recognition principle for infinite $\mathbf P^1$-loop spaces to the theory of motivic fundamental classes of Déglise, Jin, and Khan. We first compare two kinds of transfers that are naturally defined on cohomology theories represented by motivic spectra: the framed transfers given by the recognition principle, which arise from Voevodsky's computation of the Nisnevish sheaf associated with $\mathbf A^n/(\mathbf A^n-0)$, and the Gysin transfers defined via Verdier's deformation to the normal cone. We then introduce the category of finite E-correspondences for E a motivic ring spect…
We prove that the symmetric monoidal category of mixed motives generated by an abelian variety (more generally, an abelian scheme) can be described as a certain module category. More precisely, we describe it as the category of quasi-coherent complexes over a derived quotient stack constructed from a motivic algebra of the abelian variety. We then study the structure of the motivic Galois groups of their mixed motives. We prove that the motivic Galois group is decomposed into a unipotent part constructed from the motivic algebra, and the reductive quotient which is the Tannaka dual of Grothend…
We show that if G is a finite constant group acting on a scheme X such that the order of G is invertible in the residue fields of X, then the G-equivariant motivic stable homotopy category of X is equivalent to the stabilization of the category of motivic G-spaces with finite étale transfers over X at the trivial representation sphere. Along the way we obtain several results of independent interest, among them: we construct and study norms in the motivic homotopy theory of stacks, and we extend the homotopy t-structure to DM-stacks and establish some favorable properties.
For each prime $p$, we define a $t$-structure on the category $\widehat{S^{0,0}}/τ\text{-}\mathbf{Mod}_{harm}^b$ of harmonic $\mathbb{C}$-motivic left module spectra over $\widehat{S^{0,0}}/τ$, whose MGL-homology has bounded Chow-Novikov degree, such that its heart is equivalent to the abelian category of $p$-completed $BP_*BP$-comodules that are concentrated in even degrees. We prove that $\widehat{S^{0,0}}/τ\text{-}\mathbf{Mod}_{harm}^b$ is equivalent to $\mathcal{D}^b({{BP}_*{BP}\text{-}\mathbf{Comod}}^{ev})$ as stable $\infty$-categories equipped with $t$-structures. As an application, for…
This article develops, via the perspective of (arithmetic) algebraic geometry and category theory, different aspects of geometry of information. First, we describe in the terms of Eilenberg--Moore algebras over a Giry monad, the collection $Cap_n$ of all probability distributions on the measurable space $(Ω_n, \mathcal{A})$ (where $Ω$ is discrete with $n$ issues) and it turns out that there exists an embedding relation of Segre type among the product of $Cap_n$'s. We unravel hidden symmetries of these type of embeddings and show that there exists a hypercubic relation. Secondly, we show that t…
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 specifically, we extend results of Goerss to the $\mathbb{A}^1$-algebraic topology setting: we study the homotopy theory of the category $s\mathrm{coCAlg}_k(Sm_F)$ of presheaves of simplicial coalgebras over a field $k$ and their $τ$ and $\mathbb{A}^1$-localizations. For $k$ algebraically closed, we show that the unit of the adjunction $k^δ[-]\dashv(-)^{gp}$ determines …
We provide an expository introduction to $\mathbb{A}^1$-enumerative geometry, which uses the machinery of $\mathbb{A}^1$-homotopy theory to enrich classical enumerative geometry questions over a broader range of fields. Included is a discussion of enriched local degrees of morphisms of smooth schemes, following Morel, $\mathbb{A}^1$-Milnor numbers, as well as various computational tools and recent examples. Based off lectures delivered by Kirsten Wickelgren at the 2018 LMS-CMI summer school ''Homotopy Theory and Arithmetic Geometry, Motivic and Diophantine Aspects.''
To an Adams-type homology theory we associate a notion of a synthetic spectrum, this is a product-preserving sheaf on the site of finite spectra with projective $E$-homology. We prove that the $\infty$-category $Syn_{E}$ of synthetic spectra based on $E$ is in a precise sense a deformation of the $\infty$-category of spectra into quasi-coherent sheaves over a certain algebraic stack, and show that this deformation encodes the $E$-based Adams spectral sequence. We describe a symmetric monoidal functor from cellular motivic spectra over the complex numbers into an even variant of synthetic spect…
One can attempt to study motivic homotopy groups by mimicking the classical (non-motivic) chromatic approach. There are however major differences, which makes the motivic story more complicated and still not well understood. For example, classically the $p$-local sphere spectrum $S^0_{(p)} $ admits an essentially unique non-nilpotent self-map, which is not the case motivically, since Morel showed that the first Hopf map $η\colon S^{1,1} \to S^{0,0}$ is non-nilpotent. In the same way that the non-nilpotent self-map $2 = v_0 \in π_{\ast,\ast}(S^{0,0})$ starts the usual chromatic story of $v_n$-p…
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 deduce that very effective $\mathrm{MGL}$-modules over a perfect field are equivalent to grouplike motivic spaces with finite syntomic transfers. Along the way, we describe any motivic Thom spectrum built from virtual vector bundles of nonnegative rank in terms of the moduli stack of finite quasi-smooth derived schemes with the corresponding tangential s…
Let T be a torus, X a smooth quasi-compact separated scheme equipped with a T-action, and [X/T] the associated quotient stack. Given any localizing A1-homotopy invariant of dg categories E, we prove that the derived completion of E([X/T]) at the augmentation ideal I of the representation ring R(T) of T agrees with the Borel construction associated to the T-action on X. Moreover, for certain localizing A1-homotopy invariants, we extend this result to the case of a linearly reductive group scheme G. As a first application, we obtain an alternative proof of Krishna's completion theorem in algebra…
We introduce framed formal curves, which are formal algebraic curves with boundary components parametrized by the punctured formal disk. We study the moduli space of nodal framed formal curves, which we endow with a logarithmic structure. We show that this moduli space is a smooth formal logarithmic stack. The remarkable property of our construction is that framed formal curves admit a natural operation of "gluing along the boundary" which works well in families and preserves smoothness (both in a formal and in a logarithmic sense), and this induces gluing maps on the level of moduli. Using mo…
