Betancort-Smirnov's F-threshold and Hilbert-Kunz conjecture

Let (R,m)(R,\mathfrak m) be a noetherian local ring of prime characteristic. Let f1,f2,,frf_1,f_2,\ldots,f_r be part of a system of parameters, let JJ be an m\mathfrak m-primary ideal, and set I=(f1,,fr)RI=(f_1,\ldots,f_r)R. Write eHKe_{HK} for Hilbert–Kunz multiplicity and cJ(I)c^J(I) for the FF-threshold of II with respect to JJ. Betancort-Smirnov's conjecture.

eHK(J,R)(cJ(I)r)reHK(JRI,RI).e_{HK}(J,R) \leq \left(\frac{c^J(I)}{r}\right)^r e_{HK}\left(J\frac{R}{I},\frac{R}{I}\right).

The conjecture was proposed as a comparison between the FF-threshold and Hilbert–Kunz multiplicity, but the paper gives a proposition disproving it for localizations of polynomial rings in at least two variables over a prime characteristic field.

Sources & referencesView supporting material

Primary source

Cheng Meng and Alapan Mukhopadhyay, “h-function, Hilbert-Kunz density function and Frobenius-Poincaré function”, arXiv:2310.10270 (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.