Logarithmic K-theory comparison conjecture

Let SS be a scheme. Write \Kthlog(S)\Kthlog(S) for its logarithmic KK-theory spectrum and \Kth(S)\Kth(S) for its algebraic KK-theory spectrum. Logarithmic K-theory comparison conjecture. For every S\SchS\in\Sch there exists an equivalence of spectra

\Kthlog(S)\Kth(S).\Kthlog(S) \simeq \Kth(S).

The preceding discussion establishes this equivalence when SS is a regular log scheme in the stated setting, and in particular when S\Sm/kS\in\Sm/k. The conjecture asks whether the comparison holds for every scheme.

Sources & referencesView supporting material

Primary source

Federico Binda, Doosung Park and Paul Arne Østvær, “Logarithmic motivic homotopy theory”, arXiv:2303.02729 (2025).

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.