Waldhausen's chromatic reformulation of the Lichtenbaum–Quillen conjecture

About 1 year old · traced to

Let O\mathcal{O} be a nice ring, let ℓ\ell be prime, and let S/ℓ\mathbb{S}/\ell denote the mod-ℓ\ell sphere spectrum. Let L1fL_1^f denote finite-height localization, let v1v_1 be the chromatic periodicity class, and let LK(1)L_{K(1)} denote localization at Morava K-theory K(1)K(1). Waldhausen's conjecture. The map

K⁡(O,Z/ℓ)→L1fK⁡(O)⊗S/ℓ≃K⁡(O,Z/ℓ)[v1−1]≃LK(1)(K⁡(O))⊗S/ℓ\operatorname{K}(\mathcal{O},\mathbb{Z}/\ell)\to L_1^f\operatorname{K}(\mathcal{O})\otimes\mathbb{S}/\ell\simeq \operatorname{K}(\mathcal{O},\mathbb{Z}/\ell)[v_1^{-1}]\simeq L_{K(1)}(\operatorname{K}(\mathcal{O}))\otimes\mathbb{S}/\ell

is an equivalence on large degrees. This is Waldhausen's topological reformulation of the Lichtenbaum–Quillen conjecture, connecting algebraic K-theory with chromatic localization; the supplied text does not state whether the conjecture is resolved for all nice rings.

References

Primary source

Rixin Fang, “Algebraic K-theory of finite algebras over higher local fields”, arXiv:2503.20383 (2026).

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.