The D-affinity conjecture for Frobenius pushforwards

About 2 years old · traced to

Let XX be a globally FF-split variety. Write DX(e)D_X^{(e)} for the sheaf of OXpeO_X^{p^e}-linear endomorphisms of OX\mathcal O_X, so that F∗eDX(e)=End⁡F∗eOXF_*^eD_X^{(e)}=\operatorname{\mathcal{E}nd}F_*^e\mathcal O_X. D-affinity conjecture. For e′>ee'>e, the vector space Hi(DX(e))H^i(D_X^{(e)}) is a direct summand of Hi(DX(e′))H^i(D_X^{(e')}); consequently, if F∗eOXF_*^e\mathcal O_X is not tilting for some ee, then XX is not DD-affine. This would connect the tilting property of Frobenius pushforwards with DD-affinity, since a DD-affine variety must have vanishing higher cohomology for its sheaf of differential operators. The paper presents both assertions as conjectural and does not establish them.

References

Primary source

Devlin Mallory, “The tilting property for F_*^eO_X on Fano surfaces and threefolds”, arXiv:2405.14070 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.