对数修辞邻近循环

我们定义对数修辞邻近循环函子。我们展示，该函子将 DVR 分数域上proper smooth scheme的动机映射到log光滑模型边界的动机，假设满足绝对纯净性，这在等特征情况下是无条件的。在特征为0的情况下，我们证明了标准log点和刚性解析动机的 ∞-类别等价，并将log修辞邻近循环函子与 Ayoub 的修辞邻近循环函子关联。