Dice Question Streamline Icon: https://streamlinehq.com

Extend vanishing above the Chow line to MGL and the motivic sphere at the characteristic

Determine whether the vanishing result above the Chow line—namely, kgl^{i,j}(X) = 0 for i > 2j for all smooth S-schemes X—extends to algebraic cobordism cohomology MGL^{i,j}(X) and, further, to the motivic sphere spectrum 1_S (in the modified form of Haine–Pstrągowski, Lemma 3.3.4), at the characteristic. Establish these vanishing properties without relying on the Hopkins–Morel–Hoyois equivalence, which is not currently known to hold at the characteristic.

Information Square Streamline Icon: https://streamlinehq.com

Background

The authors’ construction of weight filtrations leverages a key connectivity/vanishing input for effective K-theory (kgl), namely that kgl{i,j}(X) vanishes for i > 2j. This vanishing enables splitting and boundedness properties necessary for the weight structure.

They explicitly state uncertainty about whether analogous vanishing results extend to MGL-motives or the motivic sphere at the characteristic. Away from the characteristic, such results rely on the Hopkins–Morel–Hoyois equivalence, but this equivalence is not known at the characteristic, leaving the extension as an open problem.

References

The key difference in the $p$-adic case is that while the needed connectivity result, \cref{lem:kglChow}, holds for $kgl$-motives, we do not know if this vanishing can be extended to the case of $MGL$-motives or further to the case of the motivic sphere (in the modified form of Lemma 3.3.4). Away from the characteristic these depend on in an essential way on the Hopkins-Morel-Hoyois equivalence of , which is not currently known to hold at the characteristic.

A note on weight filtrations at the characteristic (2502.19626 - Annala et al., 26 Feb 2025) in Remark after Example 1 in the “Statement of results” subsection