crystalline 点的 Zariski 稠密性

我们证明了 crystalline 点在 $p$-adic 域的绝对 Galois 群表示的形变空间中是 Zariski 稠密的。我们还证明了这些点在参数化具有等于固定 crystalline 特征的行列式之形变的子空间中是稠密的。我们的证明是纯局部的，适用于所有 $p$-adic 域和所有剩余 Galois 表示。