Primes and fields in stable motivic homotopy theory (Q1746384): Difference between revisions

\textit{P. Balmer} [J. Reine Angew. Math. 588, 149--168 (2005; Zbl 1080.18007); Algebr. Geom. Topol. 10, No. 3, 1521--1563 (2010; Zbl 1204.18005)] associates to a tensor triangulated category \(\mathcal{K}\) a topological space \(\text{Spc}(\mathcal{K})\) which consists of tensor triangulated prime ideals, by analogy with the usual spectrum of a ring, and constructs a comparison map \[ \rho^\bullet_\mathcal{K}: \text{Spc}(\mathcal{K}) \to \text{Spec}^h(\text{End}^\bullet_\mathcal{K}(\mathbb{1})) \] from \(\text{Spc}(\mathcal{K})\) to the spectrum of homogeneous prime ideals of the graded endomorphism ring of the unit. In this paper, the authors study Balmer's comparison map when \(\mathcal{K}\) is the stable motivic homotopy category over a field \(F\) of characteristic not equal to \(2\). The main result is as follows: if \(\mathcal{K}(F)\) is either \(SH^{\mathbb{A}^1}(F)^c\), the homotopy category of compact motivic spectra over \(F\), or \(\mathcal{C}(F)\), the homotopy category of compact cellular motivic spectra over \(F\), then the comparison map \[ \rho^\bullet_{\mathcal{K}(F)}: \text{Spc}(\mathcal{K}(F)) \to \text{Spec}^h(K^{MW}_*(F)) \] is surjective, where \(K^{MW}_*(F)\) is the Milnor-Witt \(K\)-theory. This generalizes a result of \textit{Sh. Kelly} for finite fields [``Some observations about motivic tensor triangulated geometry over a finite field'', \url{arXiv:1608.02913}], and its proof extends Kelly's argument to the case where \(-1\) is a sum of squares in \(F\), and then deduces the general case. The remaining of the paper is devoted to finding explicit tensor prime ideals in \(SH^{\mathbb{A}^1}(F)^c\) and \(\mathcal{C}(F)\); when \(F\) is a subfield of \(\mathbb{C}\), by studying the \(C_2\)-equivariant Betti realization functor, the authors exhibit infinitely many such tensor primes (see Figure 4).