对数算术D-模的超相干归纳系
代数几何
2017-02-07 v4 数论
摘要
设V是一个具有完美剩余域的不等特征完备离散赋值环，P是V上的光滑、拟紧、分离形式概形，Z是P的一个严格正规交叉因子，P^♯ := (P, Z)是V上诱导的光滑形式对数概形。在Berthelot的算术D-模理论中，我们处理环层归纳系Ŝ^Ď_{P^♯}^{(•)} := (Ŝ^Ď_{P^♯}^{(m)})_{m∈ℕ}，其中Ŝ^Ď_{P^♯}^{(m)}是P^♯上m阶微分算子环的p进完备化。此外，他引入了有限阶微分算子层D^†_{P^♯,ℚ} := lim_{→} Ŝ^Ď_{P}^{(m)} ⊗_ℤ ℚ。本文定义了Ŝ^Ď_{P^♯}^{(•)}-模复形的超相干概念，并验证了这一概念与D^†_{P,ℚ}-模复形的超相干概念是兼容的。
引用
@article{arxiv.1207.0710,
title = {Syst\`emes inductifs surcoh\'erents de D-modules arithm\'etiques logarithmiques},
author = {Daniel Caro},
journal= {arXiv preprint arXiv:1207.0710},
year = {2017}
}
备注
in French