Related papers: Remarks on the motivic sphere without $\mathbb A^1…
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…
Let $k$ be a field with resolution of singularities, and $X$ a separated $k$-scheme of finite type with structure map $g$. We show that the slice filtration in the motivic stable homotopy category commutes with pullback along $g$.…
A key triviality result for support extension maps for motivic $\mathbb{A}^1$-homotopies of cellular motivic spaces $S$ over a DVR spectrum $B$ is proven. Combining with earlier known results on Gersten complex and the K-theory motivic…
For any natural numbers $k \leq n$, the rational cohomology ring of the space of continuous maps $S^{2k-1} \to S^{2n-1}$ (respectively, $S^{4k-1} \to S^{4n-1}$) equivariant under the Hopf action of the circle (respectively, of the group…
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…
Let k be a field. Denote by Spc(k)_* the unstable, pointed motivic homotopy category and by Omega_Gm: Spc(k)_* \to Spc(k)_* the Gm-loops functor. For a k-group G, denote by Gr_G the affine Grassmannian of G. If G is isotropic reductive, we…
For any motivic $\mathbb{E}_\infty$-ring spectrum $A$ we construct an equivalence $\rho$ between the $\infty$-category of cellular motivic $A$-module spectra and modules over an $\mathbb{E}_1$-algebra $\Theta$ in $\mathbb{Z} $-graded…
We study the motive of the moduli space of semistable Higgs bundles of coprime rank and degree on a smooth projective curve C over a field k under the assumption that C has a rational point. We show this motive is contained in the thick…
We review some recent results and conjectures saying that, roughly speaking, periodic cyclic homology of a smooth non-commutative algebraic variety should carry all the additional "motivic" structures possessed by the usual de Rham…
This paper introduces a new cohomology theory for schemes of finite type over an arithmetic ring. The main motivation for this Arakelov-theoretic version of motivic cohomology is the conjecture on special values of $L$-functions and zeta…
The de Rham stack construction of Simpson shows that D-modules are quasicoherent sheaves on a modified geometry. Drinfeld furthermore introduced the ring stack perspective (aka transmutation), which asserts that a coefficient theory is…
If there exists a diffeomorphism $f$ on a closed, orientable $n$-manifold $M$ such that the non-wandering set $\Omega(f)$ consists of finitely many orientable $(\pm)$ attractors derived from expanding maps, then $M$ must be a rational…
We construct the $\mathbb{A}^1$-local stable motivic homotopy categories of fs log schemes. For schemes with the trivial log structure, our construction is equivalent to the original construction of Morel-Voevodsky. We prove the…
We prove the motivic classes in the motivic cohomology groups of Picard modular surfaces with non-trivial coefficients constructed in a paper of Loeffler\textendash Skinner\textendash Zerbes are in the motivic cohomology groups of the…
We strengthen some results in \'etale (and real \'etale) motivic stable homotopy theory, by eliminating finiteness hypotheses, additional localizations and/or extending to spectra from HZ-modules.
We study point modules of monomial algebras associated with symbolic dynamical systems, parametrized by proalgebraic varieties which 'linearize' the underlying dynamical systems. Faithful point modules correspond to transitive sub-systems,…
Using the theory of framed correspondences developed by Voevodsky, we introduce and study framed motives of algebraic varieties. They are the major computational tool for constructing an explicit quasi-fibrant motivic replacement of the…
This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our framework can be used to represent log topological Hochschild and…
This article fills some gaps in Voevodsky's construction of the Steenrod operations acting on the motivic cohomology with coefficients in Z/lZ of motivic spaces in the sense of Morel and Voevodsky over a perfect field of characteristic…
We prove a motivic version of Landweber's exact functor theorem from topology. The main result is that the assignment given by a Landweber-type formula using the MGL-homology of a motivic spectrum defines a homology theory on the stable…