Hilbert-Kunz density functions and F-thresholds

The first author had shown earlier that for a standard graded ring R and a graded ideal I in characteristic p>0, with ℓ(R/I)<∞, there exists a compactly supported continuous function f_R,I whose Riemann integral is the HK multiplicity e_HK(R,I). We explore further some other invariants, namely the shape of the graph of f_R,m (where m is the graded maximal ideal of R) and the maximum support (denoted as α(R,I)) of f_R,I. In case R is a domain of dimension d≥2, we prove that (R,m) is a regular ring if and only if f_R,m has a symmetry f_R,m(x)=f_R,m(d−x), for all x. If R is strongly F-regular on the punctured spectrum then we prove that the F-threshold c^I(m) coincides with α(R,I). As a consequence, if R is a two dimensional domain and I is generated by homogeneous elements of the same degree, then we have (1) a formula for the F-threshold c^I(m) in terms of the minimum strong Harder-Narasimhan slope of the syzygy bundle and (2) a well defined notion of the F-threshold c^I(m) in characteristic 0. This characterisation readily computes c^I(n)(m), for the set of all irreducible plane trinomials k[x,y,z]/(h), where m=(x,y,z) and I(n)=(xⁿ,yⁿ,zⁿ).