arXiv subjects

Marc Hoyois

Publications and source records attributed to Marc Hoyois.

At least 19 recordsLinked to original sources

arXiv2025

Grothendieck-Witt theory of derived schemes

We construct a non-$\mathbb{A}^1$-invariant motivic ring spectrum $\mathrm{KO}$ over $\mathrm{Spec}(\mathbb{Z})$, whose associated cohomology theory on qcqs derived schemes is the Grothendieck-Witt theory of classical symmetric forms (as opposed to homotopy symmetric forms). In particular, we show that this theory satisfies Nisnevich descent, smooth blowup excision, a projective bundle formula, and is locally left Kan extended from smooth $\mathbb{Z}$-schemes up to Bass delooping. More generally, our construction produces $\mathrm{KO}$-modules representing localizing invariants of two different families of Poincaré structures on derived schemes, which we call "classical" and "genuine"; the latter Poincaré structures are defined for spectral schemes with involution, but the former only for derived schemes. We then establish basic properties of these motivic spectra. As in $\mathbb{A}^1$-homotopy theory, the fracture square of $\mathrm{KO}$ with respect to the Hopf element recovers the fundamental cartesian square relating GW-theory, L-theory, and K-theory. A new phenomenon when $2$ is not a unit is that $\mathrm{KO}$ is not Bott-periodic, and the left and right Bott periodizations of $\mathrm{KO}$ represent the Grothendieck-Witt theories of homotopy symmetric and homotopy quadratic forms, respectively. We also construct the expected metalinear $\mathrm{E}_\infty$-orientation of $\mathrm{KO}$. Finally, we show that the $\mathbb{A}^1$-localization of $\mathrm{KO}$ recovers the motivic spectrum recently constructed by Calmès, Harpaz, and Nardin.

math.AG↗

arXiv2024

Remarks on the motivic sphere without $\mathbb A^1$-invariance

We generalize several basic facts about the motivic sphere spectrum in $\mathbb A^1$-homotopy theory to the category $\mathrm{MS}$ of non-$\mathbb A^1$-invariant motivic spectra over a derived scheme. On the one hand, we show that all the Milnor-Witt K-theory relations hold in the graded endomorphism ring of the motivic sphere. On the other hand, we show that the positive eigenspace $\mathbf 1_\mathbb Q^+$ of the rational motivic sphere is the rational motivic cohomology spectrum $\mathrm H\mathbb Q$, which represents the eigenspaces of the Adams operations on rational algebraic K-theory. We deduce several familiar characterizations of $\mathrm H\mathbb Q$-modules in $\mathrm{MS}$: a rational motivic spectrum is an $\mathrm H\mathbb Q$-module iff it is orientable, iff the involution $\langle -1\rangle$ is the identity, iff the Hopf map $η$ is zero, iff it satisfies étale descent. Moreover, these conditions are automatic in many cases, for example over non-orderable fields and over $\mathbb Z[ζ_n]$ for any $n\geq 3$.

math.AG↗

arXiv2024

The six operations in equivariant motivic homotopy theory

We introduce and study the homotopy theory of motivic spaces and spectra parametrized by quotient stacks [X/G], where G is a linearly reductive linear algebraic group. We extend to this equivariant setting the main foundational results of motivic homotopy theory: the (unstable) purity and gluing theorems of Morel and Voevodsky and the (stable) ambidexterity theorem of Ayoub. Our proof of the latter is different than Ayoub's and is of interest even when G is trivial. Using these results, we construct a formalism of six operations for equivariant motivic spectra, and we deduce that any cohomology theory for G-schemes that is represented by an absolute motivic spectrum satisfies descent for the cdh topology.

math.AG↗

arXiv2024

Atiyah duality for motivic spectra

We prove that Atiyah duality holds in the $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra over arbitrary derived schemes: every smooth projective scheme is dualizable with dual given by the Thom spectrum of its negative tangent bundle. The Gysin maps recently constructed by L. Tang are a key ingredient in the proof. We then present several applications. First, we study $\mathbb A^1$-colocalization, which transforms any module over the $\mathbb A^1$-invariant sphere into an $\mathbb A^1$-invariant motivic spectrum without changing its values on smooth projective schemes. This can be applied to all known $p$-adic cohomology theories and gives a new elementary approach to "logarithmic" or "tame" cohomology theories; it recovers for instance the logarithmic crystalline cohomology of strict normal crossings compactifications over perfect fields and shows that the latter is independent of the choice of compactification. Second, we prove a motivic Landweber exact functor theorem, associating a motivic spectrum to any graded formal group law classified by a flat map to the moduli stack of formal groups. Using this theorem, we compute the ring of $\mathbb P^1$-stable cohomology operations on the algebraic K-theory of qcqs derived schemes, and we prove that rational motivic cohomology is an idempotent motivic spectrum.

math.AG↗

arXiv2024

Algebraic cobordism and a Conner-Floyd isomorphism for algebraic K-theory

We formulate and prove a Conner-Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra, which turns out to be equivalent to the $\infty$-category of fundamental motivic spectra satisfying elementary blowup excision, previously introduced by the first and third authors. We prove that this $\infty$-category satisfies $\mathbb P^1$-homotopy invariance and weighted $\mathbb A^1$-homotopy invariance, which we use in place of $\mathbb A^1$-homotopy invariance to obtain analogues of several key results from $\mathbb A^1$-homotopy theory. These allow us in particular to define a universal oriented motivic $\mathbb E_\infty$-ring spectrum $\mathrm{MGL}$. We then prove that the algebraic K-theory of a qcqs derived scheme $X$ can be recovered from its $\mathrm{MGL}$-cohomology via a Conner-Floyd isomorphism \[\mathrm{MGL}^{**}(X)\otimes_{\mathrm L}\mathbb Z[β^{\pm 1}]\simeq \mathrm K^{**}(X),\] where $\mathrm L$ is the Lazard ring and $\mathrm K^{p,q}(X)=\mathrm K_{2q-p}(X)$. Finally, we prove a Snaith theorem for the periodized version of $\mathrm{MGL}$.

math.AG↗

arXiv2023

The étale symmetric Künneth theorem

Let $k$ be an algebraically closed field, $l\neq\operatorname{char} k$ a prime number, and $X$ a quasi-projective scheme over $k$. We show that the étale homotopy type of the $d$th symmetric power of $X$ is $\mathbb Z/l$-homologically equivalent to the $d$th strict symmetric power of the étale homotopy type of $X$. We deduce that the $\mathbb Z/l$-local étale homotopy type of a motivic Eilenberg-Mac Lane space is an ordinary Eilenberg-Mac Lane space.

math.AG↗

arXiv2022

Hermitian K-theory via oriented Gorenstein algebras

We show that the hermitian K-theory space of a commutative ring R can be identified, up to A^1-homotopy, with the group completion of the groupoid of oriented finite Gorenstein R-algebras, i.e., finite locally free R-algebras with trivialized dualizing sheaf. We deduce that hermitian K-theory is universal among generalized motivic cohomology theories with transfers along oriented finite Gorenstein morphisms. As an application, we obtain a Hilbert scheme model for hermitian K-theory as a motivic space. We also give an application to computational complexity: we prove that 1-generic minimal border rank tensors degenerate to the big Coppersmith-Winograd tensor.

math.AG↗

arXiv2022

Introduction to Framed Correspondences

We give an overview of the theory of framed correspondences in motivic homotopy theory. Motivic spaces with framed transfers are the analogue in motivic homotopy theory of $E_{\infty}$-spaces in classical homotopy theory, and in particular they provide an algebraic description of infinite $\mathbb{P}^1$-loop spaces. We will discuss the foundations of the theory (following Voevodsky, Garkusha, Panin, Ananyevskiy, and Neshitov), some applications such as the computations of the infinite loop spaces of the motivic sphere and of algebraic cobordism (following Elmanto, Hoyois, Khan, Sosnilo, and Yakerson), and some open problems.

math.AG↗

arXiv2021

The Hilbert scheme of infinite affine space and algebraic K-theory

We study the Hilbert scheme $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ from an $\mathbb{A}^1$-homotopical viewpoint and obtain applications to algebraic K-theory. We show that the Hilbert scheme $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ is $\mathbb{A}^1$-equivalent to the Grassmannian of $(d-1)$-planes in $\mathbb{A}^\infty$. We then describe the $\mathbb{A}^1$-homotopy type of $\mathrm{Hilb}_d(\mathbb{A}^n)$ in a range, for $n$ large compared to $d$. For example, we compute the integral cohomology of $\mathrm{Hilb}_d(\mathbb{A}^n)(\mathbb{C})$ in a range. We also deduce that the forgetful map $\mathrm{FFlat}\to\mathrm{Vect}$ from the moduli stack of finite locally free schemes to that of finite locally free sheaves is an $\mathbb{A}^1$-equivalence after group completion. This implies that the moduli stack $\mathrm{FFlat}$, viewed as a presheaf with framed transfers, is a model for the effective motivic spectrum $\mathrm{kgl}$ representing algebraic K-theory. Combining our techniques with the recent work of Bachmann, we obtain Hilbert scheme models for the $\mathrm{kgl}$-homology of smooth proper schemes over a perfect field.

math.AG↗

arXiv2021

Milnor excision for motivic spectra

We prove that the $\infty$-category of motivic spectra satisfies Milnor excision: if $A\to B$ is a morphism of commutative rings sending an ideal $I\subset A$ isomorphically onto an ideal of $B$, then a motivic spectrum over $A$ is equivalent to a pair of motivic spectra over $B$ and $A/I$ that are identified over $B/IB$. Consequently, any cohomology theory represented by a motivic spectrum satisfies Milnor excision. We also prove Milnor excision for Ayoub's étale motives over schemes of finite virtual cohomological dimension.

math.AG↗

arXiv2021

Motivic infinite loop spaces

We prove a recognition principle for motivic infinite P1-loop spaces over a perfect field. This is achieved by developing a theory of framed motivic spaces, which is a motivic analogue of the theory of E-infinity-spaces. A framed motivic space is a motivic space equipped with transfers along finite syntomic morphisms with trivialized cotangent complex in K-theory. Our main result is that grouplike framed motivic spaces are equivalent to the full subcategory of motivic spectra generated under colimits by suspension spectra. As a consequence, we deduce some representability results for suspension spectra of smooth varieties, and in particular for the motivic sphere spectrum, in terms of Hilbert schemes of points in affine spaces.

math.AG↗

arXiv2021

On the infinite loop spaces of algebraic cobordism and the motivic sphere

We obtain geometric models for the infinite loop spaces of the motivic spectra $\mathrm{MGL}$, $\mathrm{MSL}$, and $\mathbf{1}$ over a field. They are motivically equivalent to $\mathbb{Z}\times \mathrm{Hilb}_\infty^\mathrm{lci}(\mathbb{A}^\infty)^+$, $\mathbb{Z}\times \mathrm{Hilb}_\infty^\mathrm{or}(\mathbb{A}^\infty)^+$, and $\mathbb{Z}\times \mathrm{Hilb}_\infty^\mathrm{fr}(\mathbb{A}^\infty)^+$, respectively, where $\mathrm{Hilb}_d^\mathrm{lci}(\mathbb{A}^n)$ (resp. $\mathrm{Hilb}_d^\mathrm{or}(\mathbb{A}^n)$, $\mathrm{Hilb}_d^\mathrm{fr}(\mathbb{A}^n)$) is the Hilbert scheme of lci points (resp. oriented points, framed points) of degree $d$ in $\mathbb{A}^n$, and $+$ is Quillen's plus construction. Moreover, we show that the plus construction is redundant in positive characteristic.

math.AG↗

arXiv2021

Remarks on étale motivic stable homotopy theory

We strengthen some results in étale (and real étale) motivic stable homotopy theory, by eliminating finiteness hypotheses, additional localizations and/or extending to spectra from HZ-modules.

math.KT↗

arXiv2020

Modules over algebraic cobordism

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 structure. In particular, over a regular equicharacteristic base, we show that $Ω^\infty_{\mathbb{P}^1}\mathrm{MGL}$ is the $\mathbb{A}^1$-homotopy type of the moduli stack of virtual finite flat local complete intersections, and that for $n>0$, $Ω^\infty_{\mathbb{P}^1} Σ^n_{\mathbb{P}^1} \mathrm{MGL}$ is the $\mathbb{A}^1$-homotopy type of the moduli stack of finite quasi-smooth derived schemes of virtual dimension $-n$.

math.AG↗

arXiv2020

The categorified Grothendieck-Riemann-Roch theorem

In this paper we prove a categorification of the Grothendieck-Riemann-Roch theorem. Our result implies in particular a Grothendieck-Riemann-Roch theorem for Toën and Vezzosi's secondary Chern character. As a main application, we establish a comparison between the Toën-Vezzosi Chern character and the classical Chern character, and show that the categorified Chern character recovers the classical de Rham realization.

math.KT↗

arXiv2020

Cdh descent, cdarc descent, and Milnor excision

We give necessary and sufficient conditions for a cdh sheaf to satisfy Milnor excision, following ideas of Bhatt and Mathew. Along the way, we show that the cdh infinity-topos of a quasi-compact quasi-separated scheme of finite valuative dimension is hypercomplete, extending a theorem of Voevodsky to nonnoetherian schemes. As an application, we show that if E is a motivic spectrum over a field k which is n-torsion for some n invertible in k, then the cohomology theory on k-schemes defined by E satisfies Milnor excision.

math.AG↗

arXiv2020

The localization theorem for framed motivic spaces

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 cohomology of arbitrary schemes.

math.AG↗

arXiv2020

Cdh descent in equivariant homotopy K-theory

We construct geometric models for classifying spaces of linear algebraic groups in G-equivariant motivic homotopy theory, where G is a tame group scheme. As a consequence, we show that the equivariant motivic spectrum representing the homotopy K-theory of G-schemes (which we construct as an E-infinity-ring) is stable under arbitrary base change, and we deduce that homotopy K-theory of G-schemes satisfies cdh descent.

math.KT↗