English

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

Algebraic Geometry 2020-07-27 v1 Commutative Algebra

Abstract

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

Keywords

Cite

@article{arxiv.2007.12394,
  title  = {$F$-thresholds $c^I({\bf m})$ for projective curves},
  author = {Vijaylaxmi Trivedi},
  journal= {arXiv preprint arXiv:2007.12394},
  year   = {2020}
}

Comments

21 pages, This paper is the second part of the paper arXiv:1808.04093 v1, which is now divided into two parts. The first part is now posted as arXiv:1808.04093 v2

R2 v1 2026-06-23T17:22:13.561Z