Scholze 菱形范畴中的专门化映射

我们在 Scholze 的菱形理论中引入专门化映射。我们考虑表现得如同形式概型的 v-层，并称之为 kimberlite。我们为其附加：一个约化特殊纤维、一个解析轨迹、一个专门化映射、一个 Zariski 站点以及一个 étale 站点。当 kimberlite 源于形式概型时，我们的站点恢复经典的那些。我们证明非分歧 p-进 Beilinson--Drinfeld Grassmannian 是具有有限性与正规性性质的 kimberlite。