-
C-motivic modular forms
Authors:
Bogdan Gheorghe,
Daniel C. Isaksen,
Achim Krause,
Nicolas Ricka
Abstract:
We construct a topological model for cellular, 2-complete, stable C-motivic homotopy theory that uses no algebro-geometric foundations. We compute the Steenrod algebra in this context, and we construct a "motivic modular forms" spectrum over C.
We construct a topological model for cellular, 2-complete, stable C-motivic homotopy theory that uses no algebro-geometric foundations. We compute the Steenrod algebra in this context, and we construct a "motivic modular forms" spectrum over C.
△ Less
Submitted 25 October, 2018;
originally announced October 2018.
-
The special fiber of the motivic deformation of the stable homotopy category is algebraic
Authors:
Bogdan Gheorghe,
Guozhen Wang,
Zhouli Xu
Abstract:
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…
▽ More
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 each prime $p$, we prove that the motivic Adams spectral sequence for $\widehat{S^{0,0}}/τ$, which converges to the motivic homotopy groups of $\widehat{S^{0,0}}/τ$, is isomorphic to the algebraic Novikov spectral sequence, which converges to the classical Adams-Novikov $E_2$-page for the sphere spectrum $\widehat{S^0}$. This isomorphism of spectral sequences allows Isaksen and the second and third authors to compute the stable homotopy groups of spheres at least to the 90-stem, with ongoing computations into even higher dimensions.
△ Less
Submitted 14 May, 2020; v1 submitted 24 September, 2018;
originally announced September 2018.
-
Exotic Motivic Periodicities
Authors:
Bogdan Gheorghe
Abstract:
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…
▽ More
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$-periodicity, there is a similar theory starting with the non-nilpotent element $η\in π_{\ast,\ast}(S^{0,0})$, which Andrews-Miller denoted by $η= w_0$. In this paper we investigate the beginning of the motivic story of $w_n$-periodicity when the base scheme is $\mathbf{Spec} \! \ \mathbb{C}$. In particular, we construct motivic fields $K(w_n)$ designed to detect such $w_n$-periodic phenomena, in the same way that $K(n)$ detects $v_n$-periodic phenomena. In the hope of detecting motivic nilpotence, we also construct a more global motivic spectrum $wBP$ with homotopy groups $π_{\ast,\ast}(wBP) \cong \mathbb{F}_2[w_0, w_1, \ldots]$.
△ Less
Submitted 4 September, 2017;
originally announced September 2017.
-
The Motivic Cofiber of $τ$
Authors:
Bogdan Gheorghe
Abstract:
Consider the Tate twist $τ\in H^{0,1}(S^{0,0})$ in the mod 2 cohomology of the motivic sphere. After 2-completion, the motivic Adams spectral sequence realizes this element as a map $τ\colon S^{0,-1} \to S^{0,0}$, with cofiber $Cτ$. We show that this motivic 2-cell complex can be endowed with a unique $E_{\infty}$ ring structure. Moreover, this promotes the known isomorphism…
▽ More
Consider the Tate twist $τ\in H^{0,1}(S^{0,0})$ in the mod 2 cohomology of the motivic sphere. After 2-completion, the motivic Adams spectral sequence realizes this element as a map $τ\colon S^{0,-1} \to S^{0,0}$, with cofiber $Cτ$. We show that this motivic 2-cell complex can be endowed with a unique $E_{\infty}$ ring structure. Moreover, this promotes the known isomorphism $π_{\ast,\ast} Cτ\cong \mathrm{Ext}^{\ast,\ast}_{BP_{\ast}BP}(BP_{\ast},BP_{\ast})$ to an isomorphism of rings which also preserves higher products.
We then consider the closed symmetric monoidal category $({ }_{Cτ}\textbf{Mod}, - \wedge_{Cτ} -)$ which lives in the kernel of Betti realization. Given a motivic spectrum $X$, the $Cτ$-induced spectrum $X \wedge Cτ$ is usually better behaved and easier to understand than $X$ itself. We specifically illustrate this concept in the examples of the mod 2 Eilenberg-Maclane spectrum $H\mathbb{F}_2$, the mod 2 Moore spectrum $S^{0,0}/2$ and the connective hermitian $K$-theory spectrum $kq$.
△ Less
Submitted 17 January, 2017;
originally announced January 2017.
-
The Picard group of motivic A(1)
Authors:
Bogdan Gheorghe,
Daniel C. Isaksen,
Nicolas Ricka
Abstract:
We show that the Picard group $Pic(A(1))$ of the stable category of modules over $\mathbb{C}$-motivic $A(1)$ is isomorphic to $\mathbb{Z}^4$. By comparison, the Picard group of classical $A(1)$ is $\mathbb{Z}^2 \oplus \mathbb{Z}/2$. One extra copy of $\mathbb{Z}$ arises from the motivic bigrading. The joker is a well-known exotic element of order $2$ in the Picard group of classical $A(1)$. The…
▽ More
We show that the Picard group $Pic(A(1))$ of the stable category of modules over $\mathbb{C}$-motivic $A(1)$ is isomorphic to $\mathbb{Z}^4$. By comparison, the Picard group of classical $A(1)$ is $\mathbb{Z}^2 \oplus \mathbb{Z}/2$. One extra copy of $\mathbb{Z}$ arises from the motivic bigrading. The joker is a well-known exotic element of order $2$ in the Picard group of classical $A(1)$. The $\mathbb{C}$-motivic joker has infinite order.
△ Less
Submitted 16 June, 2016;
originally announced June 2016.
-
The Structure of Motivic Homotopy Groups
Authors:
Bogdan Gheorghe,
Daniel C. Isaksen
Abstract:
We study the stable motivic homotopy groups $π_{s,w}$ of the 2-completion of the motivic sphere spectrum over $\mathbb{C}$. When arranged in the $(s,w)$-plane, these groups break into four different regions: a vanishing region, an $η$-local region that is entirely known, a $τ$-local region that is identical to classical stable homotopy groups, and a region that is not well-understood.
We study the stable motivic homotopy groups $π_{s,w}$ of the 2-completion of the motivic sphere spectrum over $\mathbb{C}$. When arranged in the $(s,w)$-plane, these groups break into four different regions: a vanishing region, an $η$-local region that is entirely known, a $τ$-local region that is identical to classical stable homotopy groups, and a region that is not well-understood.
△ Less
Submitted 6 May, 2015;
originally announced May 2015.