HMTW's F-threshold and multiplicity conjecture

Let (R,m)(R,\mathfrak m) be a noetherian local ring of dimension dd containing a positive characteristic field. Let JJ be an ideal generated by a full system of parameters, and let II be an m\mathfrak m-primary ideal. Here e(,R)e(-,R) denotes Hilbert–Samuel multiplicity and cJ(I)c^J(I) denotes the FF-threshold of II with respect to JJ. HMTW's conjecture.

e(I,R)ddcJ(I)de(J,R).e(I,R) \geq \frac{d^d}{c^J(I)^d}e(J,R).

The conjecture compares Hilbert–Samuel multiplicity with the FF-threshold. It is known in the graded case, while the general local statement is not resolved in the supplied text.

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.