特征 p 洛朗级数域上的迭代线积分

受 Besser 关于 Coleman 积分工作的启发，我们利用 $\nabla$-模定义了特征 $p$ 洛朗级数域上的迭代线积分，其取值于幂幺 $n\times n$ 矩阵的双陪集，这些矩阵的系数取自 Robba 环，左陪集模掉系数取自有限 Robba 环的幂幺 $n\times n$ 矩阵，右陪集模掉系数取自常数域的幂幺 $n\times n$ 矩阵。我们通过首先考察特征 $0$ 洛朗级数域的类似理论，并用形式概型上的 $\nabla$-模重新诠释经典形式对数，从而得到这一定义。为说明新的 $p$-进理论并非平凡，我们证明它包含了 $p$-进形式对数作为特例。