We study the logarithmic syntomic cohomology of fine and saturated log schemes and its realization in the logarithmic motivic stable homotopy category of a log point. We prove that logarithmic prismatic and syntomic cohomology satisfy saturated descent under the sole assumption that the log structure is free, and that the presheaves , , , and are representable and -invariant in . As an application, we compute for the projective log coordinate axes in , obtaining Moreover, we determine logarithmic topological cyclic homology for truncated polynomial and semistable examples, directly from the syntomic calculations.

生成讲解博客的中文版本

生成AI智能校验的中文版本