F-thresholds c^I (m) for projective curves

DOI10.1016/J.JPAA.2021.106914MaRDI QIDQ2065602zbMATH OpenOpenAlexFDO

Authors Vijaylaxmi Trivedi

Publication date 12 January 2022

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2007.12394

zbMATH Keywords

F-thresholdHilbert-Kunz density functionHilbert-Kunz multiplicity

Mathematics Subject Classification ID

Graded rings (13A02) Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Vector bundles on curves and their moduli (14H60)

Abstract: We show that if $R$ is a two dimensional standard graded ring (with the graded maximal ideal $$) of characteristic $p>0$ and $IsubsetR$ is a graded ideal with $ell(R/I)<infty$ then the $F$-threshold $$ can be expressed in terms of a strong HN (Harder-Narasimahan) slope of the canonical syzygy bundle on $mboxProjR$. Thus $$ is a rational number. This gives us a well defined notion, of the $F$-threshold $$ in characteristic $0$, in terms of a HN slope of the syzygy bundle on $mboxProjR$. 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 $$ 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 $mboxProjR$. Here we also prove that, for a given pair $(R,I)$ over a field of characteristic $0$, if $$ is a reduction mod $p$ of $$ then $$ implies $$ has $p$ in the denominator, for almost all $p$.

Review text

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).

Recommendations

• Hilbert-Kunz density functions and F-thresholds
• F-THRESHOLDS OF GRADED RINGS
• On the existence of \(F\)-thresholds and related limits
• On F-pure thresholds
• Diagonal F-thresholds on binomial hypersurfaces

Cites work

• A generalization of tight closure and multiplier ideals
• F-thresholds, tight closure, integral closure, and multiplicity bounds
• Hilbert-Kunz density function and Hilbert-Kunz multiplicity
• Hilbert-Kunz density functions and F-thresholds
• Hilbert-Kunz Multiplicity and Reduction Mod p
• scientific article; zbMATH DE number 2212146 (Why is no real title available?)
• On the behavior of singularities at the \(F\)-pure threshold. With an appendix by Alessandro De Stefani, Jack Jeffries, Zhibek Kadyrsizova, Robert Walker, and George Whelan.
• Openness of a family of torsion free sheaves
• Semistable sheaves in positive characteristic
• The F-pure threshold of a Calabi-Yau hypersurface
• The Hilbert-Kunz function
• Tight closure in graded rings
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné

Cited in

(3)

• Hilbert-Kunz density functions and F-thresholds
• Asymptotic socle behaviors for cones over curves in positive characteristic
• BCM-thresholds of non-principal ideals

This page was built for publication: \(F\)-thresholds \(c^I (\mathbf{m})\) for projective curves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2065602)