The D-affinity conjecture for Frobenius pushforwards

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 FeDX(e)=EndFeOXF_*^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 FeOXF_*^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.

Sources & referencesView supporting material

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.