The ordinarity conjecture for smooth projective schemes

Let XX be a smooth projective scheme defined over a field of characteristic zero. After spreading out XX, for a prime pp, write Xp=0X_{p=0} for its reduction modulo pp, and let BΩXp=0jB\Omega^j_{X_{p=0}} denote the sheaf of exact differential jj-forms on Xp=0X_{p=0}. Ordinarity conjecture. For infinitely many primes pp, the reduction Xp=0X_{p=0} is ordinary in the sense of Bloch–Kato, namely

Hi(Xp=0,BΩXp=0j)=0H^i(X_{p=0}, B\Omega^j_{X_{p=0}})=0

for all i,j0i,j\geq 0. This conjecture is used to obtain the implication from kk-Du Bois singularities to kk-FF-injectivity in reductions modulo infinitely many primes; its general status is not resolved in the source.

Sources & referencesView supporting material

Primary source

Tatsuro Kawakami and Jakub Witaszek, “Higher F-injective singularities”, arXiv:2412.08887 (2024).

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.