\(F\)-thresholds \(c^I (\mathbf{m})\) for projective curves (Q2065602)

Let \((R,\mathfrak{m})\) be a standard graded domain of dimension two and let \(I\) be a homogenous \(\mathfrak{m}\)-primary ideal. In this paper, the author studied the F-threshold \(c^I(\mathfrak{m})\) (when \(R\) has characteristic \(p>0\)) using the Hilbert-Kunz density function \(f_{R,I}\). One focus of the paper is an invariant \(\alpha(R,I)\), called the maximum support of the function \(f_{R,I}\) (which is the supreme of \(x\) such that \(f_{R,I}(x)\neq 0\)). It is proved that \(c^I(\mathfrak{m})=\alpha(R,I)\), generalizing some earlier work under the additional hypothesis that Proj\((R)\) is a nonsingular curve. Then it is shown that there is a well-defined notion of F-threshold \(c_{\infty}^I(\mathfrak{m})\) when \(R\) has characteristic \(0\). These results are proved by expressing \(c^I(\mathfrak{m})\) and \(\alpha(R, I)\) in terms of a strong Harder-Narasimhan slope of certain syzygy bundle on Proj\((R)\) (see Theorem A and Theorem B in the paper for precise statements). Finally it is shown that \(c_{\infty}^I(\mathfrak{m}) \neq c^{I_p}(\mathfrak{m}_p)\) under reduction mod \(p>0\) implies that \(c^{I_p}(\mathfrak{m}_p)\) has \(p\) in the denominator for almost all \(p\) (this is in connection with a question of Schwede on the comparison of log canonical threshold and the F-pure threshold).