Frobenius模的派生$\infty$范畴

我们证明了对于X为具有仿紧致$\mathbb{F}_p$方案且仿对角线（例如X仿紧致且分离）时，存在$\mathcal D(\mathrm{Frob}(\mathrm{QCoh}(X),F_*)) \to \mathrm{Frob}(\mathcal D(\mathrm{QCoh}(X)),\mathcal D(F_*))$的稳定$\infty$范畴的t-精确等价。此处，$\mathrm{Frob}(-,-)$表示广义Frobenius模的$\infty$范畴，定义于arXiv:2410.17102。我们推广了arXiv:2410.17102中的结果，该文证实了上述等价适用于规则Noetherian$\mathbb{F}_p$方案。作为副产品，我们证明了派生$\infty$范畴中的Frobenius（以及Cartier）模满足Zariski下降。