Voevodsky's S1S^1-connectedness conjecture

Let kk be the base field and let SHS1(k){\operatorname{{\mathcal S}{\mathcal H}}}_{S^1}(k) be the Morel–Voevodsky homotopy category of S1S^1-spectra. For an integer dd, let ΣP1dSHS1(k)\Sigma^d_{{\mathbb P}^1}{\operatorname{{\mathcal S}{\mathcal H}}}_{S^1}(k) denote the localizing subcategory generated by the presheaves ΣP1dF\Sigma^d_{{\mathbb P}^1}F. Voevodsky's S1S^1-connectedness conjecture. If EE belongs to ΣP1dSHS1(k)\Sigma^d_{{\mathbb P}^1}{\operatorname{{\mathcal S}{\mathcal H}}}_{S^1}(k), then

ΩP1ΣP1E\Omega_{{\mathbb P}^1}\Sigma_{{\mathbb P}^1}E

also belongs to ΣP1dSHS1(k)\Sigma^d_{{\mathbb P}^1}{\operatorname{{\mathcal S}{\mathcal H}}}_{S^1}(k). This is the motivic analogue of the fact that ΩΣX\Omega\Sigma X preserves connectivity. The paper states that the result follows from its identification of the S1S^1-slice tower with the homotopy coniveau tower, so the conjecture is resolved in the stated setting.

Sources & referencesView supporting material

Primary source

Marc Levine, “The homotopy coniveau tower”, arXiv:math/0510334 (2005).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.