$F$-thresholds $c^I({\bf m})$ for projective curves

TL;DR

This paper relates the F-threshold of graded ideals in two-dimensional rings to the Harder-Narasimhan slope of syzygy bundles, establishing rationality and characteristic zero analogs, with implications for reductions mod p.

Contribution

It expresses F-thresholds in terms of HN slopes of syzygy bundles, generalizing previous results and connecting characteristic p and zero cases.

Findings

F-threshold c^I(m) is rational and linked to HN slopes.

Extension of earlier results to more general ideals and rings.

Behavior of F-thresholds under reduction mod p for almost all primes.

Abstract

We show that if $R$ is a two dimensional standard graded ring (with the graded maximal ideal ${\bf m}$) of characteristic $p>0$ and $I\subset R$ is a graded ideal with $\ell(R/I) <\infty$ then the $F$-threshold $c^I({\bf m})$ can be expressed in terms of a strong HN (Harder-Narasimahan) slope of the canonical syzygy bundle on $\mbox{Proj}~R$. Thus $c^I({\bf m})$ is a rational number. This gives us a well defined notion, of the $F$-threshold $c^I({\bf m})$ in characteristic $0$, in terms of a HN slope of the syzygy bundle on $\mbox{Proj}~R$. This generalizes our earlier result (in [TrW]) where we have shown that if $I$ has homogeneous generators of the same degree, then the $F$-threshold $c^I({\bf m})$ is expressed in terms of the minimal strong HN slope (in char $p$) and in terms of the minimal HN slope (in char $0$), respectively, of the canonical syzygy bundle on $\mbox{Proj}~R$. Here we also prove that, for a given pair $(R, I)$ over a field of characteristic $0$, if $({\bf m}_p, I_p)$ is a reduction mod $p$ of $({\bf m}, I)$ then $c^{I_p}({\bf m}_p) \neq c^I_{\infty}({\bf m})$ implies $c^{I_p}({\bf m}_p)$ has $p$ in the denominator, for almost all $p$.