以晶体局部系统为系数的算术平展-晶体比较

我们利用Drinfeld和Bhatt--Lurie最近发展的p进上同调理论的堆栈方法，将Colmez--Niziol关于任意真p进形式概型$X$的特殊纤维的有理晶体上同调与其算术一般纤维的有理p进平展上同调的比较定理，推广到系数为$X$的一般纤维上的任意晶体局部系统的情况。在此过程中，我们在真情形下建立了带系数的Antieau--Mathew--Morrow--Nikolaus版本的Beilinson纤维方块，并证明了以任意$F$-规范为系数的句法上同调与p进平展上同调之间的比较。我们的方法还给出了$\mathbb{Z}_p$上完美$F$-规范的同源范畴的描述。