The higher-dimensional Hilbert–Kunz lower-bound conjecture

About 23 years old · traced to

Use the notation above: let d≥1d\geq1, let p>2p>2 be prime, define

Ap,d=Fp‾[[X0,X1,…,Xd]]/(X02+⋯+Xd2),A_{p,d}=\overline{\mathbb F_p}[[X_0,X_1,\ldots,X_d]]/(X_0^2+\cdots+X_d^2),

and let (A,m,k)(A,\mathfrak m,k) be a dd-dimensional unmixed local ring with k=Fp‾k=\overline{\mathbb F_p}. Higher-dimensional Hilbert–Kunz lower-bound conjecture. If e(A)≥3e(A)\geq3, then

eHK(A)≥cd+1d!.e_{\rm HK}(A)\geq\frac{c_d+1}{d!}.

The text states that this conjecture also holds when dim⁡A≤4\dim A\leq4, while leaving the higher-dimensional cases open.

References

Primary source

Kei-ichi Watanabe and Ken-ichi Yoshida, “Hilbert-Kunz multiplicity of three-dimensional local rings”, arXiv:math/0307294 (2003).

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.