完美oid覆盖上的线丛：良好约化情形

我们研究作为刚性空间极限的完美oid空间的Picard群与Picard函子。对于足够大的、作为具有良好约化的刚性空间之极限的覆盖，我们证明Picard函子可由特殊纤维表示。我们利用所得结果回答了文献中关于完美oid空间Picard群的若干开放问题，例如我们证明这些群并非总是$p$-可除的。在此过程中，我们构造了一个具有独立意义的“$\mathbb G_m$的Hodge–Tate谱序列”。