Source author record

Marc Hoyois

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.KT math.AT math.CT math.QA

Catalog footprint

Research overview

11works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

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.

preprint2020arXiv

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.

preprint2020arXiv

Norms in motivic homotopy theory

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 $S$ . If $f$ is finite étale, we show that it stabilizes to a functor $f_\otimes: \mathcal{SH}(S') \to \mathcal{SH}(S)$ , where $\mathcal{SH}(S)$ is the $\mathbb P^1$ -stable motivic homotopy category over $S$ . Using these norm functors, we define the notion of a normed motivic spectrum, which is an enhancement of a motivic $E_\infty$ -ring spectrum. The main content of this text is a detailed study of the norm functors and of normed motivic spectra, and the construction of examples. In particular: we investigate the interaction of norms with Grothendieck's Galois theory, with Betti realization, and with Voevodsky's slice filtration; we prove that the norm functors categorify Rost's multiplicative transfers on Grothendieck-Witt rings; and we construct normed spectrum structures on the motivic cohomology spectrum $H\mathbb Z$ , the homotopy K-theory spectrum $KGL$ , and the algebraic cobordism spectrum $MGL$ . The normed spectrum structure on $H\mathbb Z$ is a common refinement of Fulton and MacPherson's mutliplicative transfers on Chow groups and of Voevodsky's power operations in motivic cohomology.

preprint2020arXiv

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.

preprint2020arXiv

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.

preprint2019arXiv

Framed transfers and motivic fundamental classes

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 spectrum, generalizing Voevodsky's category of finite correspondences and Calmès and Fasel's category of finite Milnor-Witt correspondences. Using the formalism of fundamental classes, we show that the natural functor from the category of framed correspondences to the category of E-module spectra factors through the category of finite E-correspondences.

preprint2016arXiv

Categorifying rationalization

We solve a problem proposed by Khovanov by constructing, for any set of primes $S$ , a triangulated category (in fact a stable $\infty$ -category) whose Grothendieck group is $S^{-1}\mathbf{Z}$ . More generally, for any exact $\infty$ -category $E$ , we construct an exact $\infty$ -category $S^{-1}E$ of equivariant sheaves on the Cantor space with respect to an action of a dense subgroup of the circle. We show that this $\infty$ -category is precisely the result of categorifying division by the primes in $S$ . In particular, $K_n(S^{-1}E)\cong S^{-1}K_n(E)$ .

preprint2015arXiv

A1-contractibility of Koras-Russell threefolds

Finite suspensions of Koras-Russell threefolds are contractible in A1-homotopy theory.

preprint2014arXiv

A quadratic refinement of the Grothendieck-Lefschetz-Verdier trace formula

We prove a trace formula in stable motivic homotopy theory over a general base scheme, equating the trace of an endomorphism of a smooth proper scheme with the "Euler characteristic integral" of a certain cohomotopy class over its scheme of fixed points. When the base is a field and the fixed points are étale, we compute this integral in terms of Morel's identification of the ring of endomorphisms of the motivic sphere spectrum with the Grothendieck-Witt ring. In particular, we show that the Euler characteristic of an étale algebra corresponds to the class of its trace form in the Grothendieck-Witt ring.

preprint2014arXiv

From algebraic cobordism to motivic cohomology

Let S be an essentially smooth scheme over a field of characteristic exponent c. Let MGL and HZ denote the algebraic cobordism spectrum and the motivic cohomology spectrum over S, respectively. We show that the canonical map MGL/(a1, a2, ...) -> HZ induced by the additive orientation of motivic cohomology becomes an equivalence after inverting c. As an application, we prove the convergence of the Atiyah-Hirzebruch spectral sequence for all Z[1/c]-local Landweber exact motivic spectra.

preprint2013arXiv

The motivic Steenrod algebra in positive characteristic

Let S be an essentially smooth scheme over a field and l a prime number invertible on S. We show that the algebra of bistable operations in the mod l motivic cohomology of smooth S-schemes is generated by the motivic Steenrod operations. This was previously proved by Voevodsky for S a field of characteristic zero. We follow Voevodsky's proof but remove its dependence on characteristic zero by using étale cohomology instead of topological realization and by replacing resolution of singularities with a theorem of Gabber on alterations.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Marc Hoyois

Research overview

Is this your work?

11 publications

Hermitian K-theory via oriented Gorenstein algebras

Cdh descent in equivariant homotopy K-theory

Norms in motivic homotopy theory

The categorified Grothendieck-Riemann-Roch theorem

The localization theorem for framed motivic spaces

Framed transfers and motivic fundamental classes

Categorifying rationalization

A1-contractibility of Koras-Russell threefolds

A quadratic refinement of the Grothendieck-Lefschetz-Verdier trace formula

From algebraic cobordism to motivic cohomology

The motivic Steenrod algebra in positive characteristic

See the researcher in context

Building this map preview