# Comparison of Stable Homotopy Categories and a Generalized Suslin-Voevodsky Theorem

## TL;DR

This paper constructs a stable étale realization functor linking motivic and classical stable homotopy categories over algebraically closed fields, demonstrating its full faithfulness and generalizing the Suslin-Voevodsky theorem homotopically.

## Contribution

It introduces a new stable étale realization functor for motivic spectra and proves its full faithfulness, extending the Suslin-Voevodsky theorem in a homotopy-theoretic context.

## Key findings

- The stable étale realization functor is fully faithful.
- The functor induces a natural embedding of classical into motivic stable homotopy categories.
- A homotopy-theoretic generalization of the étale Suslin-Voevodsky theorem is established.

## Abstract

Let $k$ be an algebraically closed field of exponential characteristic $p$. Given any prime $\ell\neq p$, we construct a stable \'etale realization functor $$\underline{\text{\'Et}}_{\ell}:\text{Spt}(k)\rightarrow \text{Pro}(\text{Spt})^{H\mathbb{Z}/\ell}$$ from the stable $\infty$-category of motivic $\mathbb{P}^1$-spectra over $k$ to the stable $\infty$-category of $(H\mathbb{Z}/\ell)^*$-local pro-spectra (see section 3 for definition). This is induced by the \'etale topological realization functor \'a la Friedlander. The constant presheaf functor naturally induces the functor \[\text{SH}[1/p]\rightarrow\text{SH}(k)[1/p],\] where $k$ and $p$ are as above and $\text{SH}$ and $\text{SH}(k)$ are the classical and motivic stable homotopy categories, respectively. We use the stable \'etale realization functor to show that this functor is fully faithful. Furthermore, we conclude with a homotopy theoretic generalization of the \'etale version of the Suslin-Voevodsky theorem.