On positivity of the limit F-signature
Pith reviewed 2026-05-19 20:59 UTC · model grok-4.3
The pith
The limit of F-signatures for KLT singularities stays bounded away from zero in three dimensions for non-weakly exceptional cases and for smooth hypersurfaces of very low degree.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that this conjecture holds for three-dimensional non-weakly exceptional singularities by an inductive argument. We also prove that the conjecture holds for smooth hypersurfaces of very low degree by constructing isotrivial normal toric degenerations. By considering the version of this conjecture for the Frobenius-alpha invariant, our techniques are inspired by K-stability theory and involve using degenerations and birational geometry.
What carries the argument
Inductive reduction via birational models together with isotrivial normal toric degenerations, used to keep F-signature behavior uniform across all large primes p.
If this is right
- The conjecture on positive limit F-signature holds for all three-dimensional non-weakly exceptional KLT singularities.
- Smooth hypersurfaces of very low degree satisfy the same positivity statement after reduction to large characteristic.
- The same methods apply directly to the Frobenius-alpha invariant version of the conjecture.
- K-stability techniques can be used to produce degenerations that preserve lower bounds on F-signature.
Where Pith is reading between the lines
- The inductive and degeneration methods may suggest a route toward the full conjecture if analogous models exist in higher dimensions.
- These results connect the positivity question to existing birational geometry tools that already control other invariants under reduction modulo p.
- The toric degeneration construction could be tested on other classes of hypersurfaces to see whether the very-low-degree restriction can be relaxed.
Load-bearing premise
The arguments require the existence of suitable birational models or degenerations in which the F-signature can be controlled uniformly for all sufficiently large primes p.
What would settle it
An explicit computation of the F-signature for a concrete three-dimensional non-weakly exceptional KLT singularity showing that its limit is zero along some infinite sequence of primes p would refute the claim in that case.
read the original abstract
We study a conjecture of Carvajal-Rojas, Schwede and Tucker which states that for a complex KLT singularity $(R, \mathfrak{m})$, the F-signatures of the reductions of $R$ to characteristic $p \gg 0$ remain bounded away from zero as $p \to \infty$. We prove that this conjecture holds for three-dimensional non-weakly exceptional singularities by an inductive argument. We also prove that the conjecture holds for smooth hypersurfaces of very low degree by constructing isotrivial normal toric degenerations. By considering the version of this conjecture for the Frobenius-alpha invariant, our techniques are inspired by K-stability theory and involve using degenerations and birational geometry.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the conjecture of Carvajal-Rojas, Schwede and Tucker that the F-signatures of reductions to characteristic p ≫ 0 of a complex KLT singularity remain bounded away from zero as p → ∞. The authors prove the conjecture for three-dimensional non-weakly exceptional singularities via an inductive argument that reduces to lower-dimensional cases using birational models. They also prove it for smooth hypersurfaces of very low degree by constructing isotrivial normal toric degenerations. The techniques draw on K-stability ideas and additionally treat the Frobenius-alpha invariant.
Significance. If the uniformity-in-p claims hold, the results give concrete positive evidence for the conjecture in two nontrivial classes of singularities and illustrate how K-stability-inspired degenerations can be used to control arithmetic invariants. The explicit toric degeneration construction for low-degree hypersurfaces is a concrete strength that could be checked directly.
major comments (2)
- [§4] §4 (inductive argument for 3-fold non-weakly exceptional singularities): the reduction step claims that the limit F-signature of the original singularity is positive once the lower-dimensional exceptional divisors have positive limit F-signature. The argument does not supply an explicit uniform lower bound independent of p for the F-signature on the chosen birational models; if the constants arising from the discrepancy or the test ideal computations deteriorate with p, the induction does not close.
- [§5] §5 (isotrivial normal toric degenerations for low-degree hypersurfaces): Proposition 5.3 constructs a flat family whose special fiber is toric and normal. The transfer of the positive lower bound from the toric fiber to the generic fiber for all large p requires that the F-signature of the reductions remains bounded below by a p-independent positive constant. No explicit estimate controlling the difference between the F-signature of the special fiber and that of the reductions is given, leaving open the possibility that the bound approaches zero with p.
minor comments (2)
- [Theorem 5.1] The precise degree bound for the hypersurfaces treated in the second main theorem is stated only in the abstract; it should be repeated verbatim in the statement of Theorem 5.1.
- [§1] Notation for the limit F-signature s^∞(R) is introduced in §2 but used without reminder in the statements of the main results; a short reminder sentence would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and for the constructive comments on the uniformity of the lower bounds in our inductive and degeneration arguments. We address each major comment below and will incorporate clarifications and additional estimates into the revised version.
read point-by-point responses
-
Referee: [§4] §4 (inductive argument for 3-fold non-weakly exceptional singularities): the reduction step claims that the limit F-signature of the original singularity is positive once the lower-dimensional exceptional divisors have positive limit F-signature. The argument does not supply an explicit uniform lower bound independent of p for the F-signature on the chosen birational models; if the constants arising from the discrepancy or the test ideal computations deteriorate with p, the induction does not close.
Authors: We agree that the current exposition in §4 does not explicitly track the p-dependence of the constants arising from discrepancies and test ideal comparisons. The birational model is fixed independently of p, with rational discrepancies that are likewise independent of p. For all primes p larger than a fixed bound (depending only on the model and avoiding finitely many bad primes that divide denominators in the discrepancy computations), the inequalities relating the F-signatures of the original singularity and the exceptional divisors remain uniform. We will revise §4 to include a short lemma that records this p-independent lower bound and confirms that the induction closes with a positive constant independent of p. revision: yes
-
Referee: [§5] §5 (isotrivial normal toric degenerations for low-degree hypersurfaces): Proposition 5.3 constructs a flat family whose special fiber is toric and normal. The transfer of the positive lower bound from the toric fiber to the generic fiber for all large p requires that the F-signature of the reductions remains bounded below by a p-independent positive constant. No explicit estimate controlling the difference between the F-signature of the special fiber and that of the reductions is given, leaving open the possibility that the bound approaches zero with p.
Authors: We thank the referee for pointing out the need for an explicit comparison between the F-signature of the special toric fiber and the reductions of the generic fiber. Because the family is isotrivial and flat with normal special fiber, standard results on semicontinuity of F-signature under flat deformations (combined with the toric case where the F-signature is explicitly computable and positive) yield a uniform lower bound for all sufficiently large p. We will add a short subsection after Proposition 5.3 that supplies the required estimate, showing that the difference between the F-signature of the special fiber and that of the generic fiber reductions is controlled by a constant independent of p for p ≫ 0. revision: yes
Circularity Check
No significant circularity; proofs rely on independent birational and degeneration techniques
full rationale
The derivation proceeds by an inductive argument for three-dimensional non-weakly exceptional singularities and by explicit construction of isotrivial normal toric degenerations for low-degree smooth hypersurfaces. Both steps invoke standard tools from birational geometry and K-stability theory to produce models on which F-signature lower bounds can be controlled uniformly in p. These modeling choices are external to the target positivity statement and do not reduce the claimed limit to a fitted parameter, a self-referential definition, or a load-bearing self-citation. The argument remains self-contained against external benchmarks in algebraic geometry and positive-characteristic commutative algebra.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption KLT singularities admit reductions to characteristic p for p ≫ 0 that preserve the KLT property.
- standard math Standard results from birational geometry and K-stability apply to the degenerations constructed.
Reference graph
Works this paper leans on
-
[1]
Zhuang, Ziquan , TITLE =. Invent. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00222-021-01046-0 , URL =
-
[2]
Paul, Sean Timothy and Tian, Gang , title =. 2006
work page 2006
-
[3]
Starr, Jason , title =. 2006
work page 2006
-
[4]
Ilten, Nathan and Lautsch, Oscar , TITLE =. Canad. Math. Bull. , FJOURNAL =. 2023 , NUMBER =. doi:10.4153/s0008439523000309 , URL =
-
[5]
Li, Chi and Liu, Yuchen , TITLE =. Adv. Math. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.aim.2018.10.038 , URL =
-
[6]
Hara, Nobuo and Watanabe, Kei-Ichi , Fjournal =. F-regular and. J. Algebraic Geom. , Mrclass =
- [7]
-
[8]
Cascini, Paolo and Tanaka, Hiromu and Witaszek, Jakub , TITLE =. Compos. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1112/S0010437X16008265 , URL =
-
[9]
Blum, Harold and Liu, Yuchen and Xu, Chenyang , TITLE =. Duke Math. J. , FJOURNAL =. 2022 , NUMBER =. doi:10.1215/00127094-2022-0054 , URL =
-
[10]
Xu, Chenyang , TITLE =. EMS Surv. Math. Sci. , FJOURNAL =. 2021 , NUMBER =. doi:10.4171/emss/51 , URL =
-
[11]
Patakfalvi, Zsolt and Schwede, Karl and Zhang, Wenliang , Doi =. Algebr. Geom. , Mrclass =. 2018 , Bdsk-Url-1 =
work page 2018
-
[12]
Polstra, Thomas , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1090/tran/7030 , URL =
-
[13]
Birkar, Caucher , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2019 , NUMBER =. doi:10.4007/annals.2019.190.2.1 , URL =
-
[14]
and McKernan, James and Xu, Chenyang , TITLE =
Hacon, Christopher D. and McKernan, James and Xu, Chenyang , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2014 , NUMBER =. doi:10.4007/annals.2014.180.2.3 , URL =
-
[15]
Schwede, Karl and Smith, Karen E. , Coden =. Globally. Adv. Math. , Mrclass =. 2010 , Bdsk-Url-1 =. doi:10.1016/j.aim.2009.12.020 , Fjournal =
-
[16]
Commutative ring theory , Volume =
Matsumura, Hideyuki , Edition =. Commutative ring theory , Volume =
-
[17]
Carvajal-Rojas, Javier and Schwede, Karl and Tucker, Kevin , TITLE =. Ann. Sci. \'. 2018 , NUMBER =. doi:10.24033/asens.2370 , URL =
-
[18]
Gongyo, Yoshinori and Okawa, Shinnosuke and Sannai, Akiyoshi and Takagi, Shunsuke , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2015 , NUMBER =. doi:10.1090/S1056-3911-2014-00641-X , URL =
-
[19]
Hu, Yi and Keel, Sean , TITLE =. Michigan Math. J. , FJOURNAL =. 2000 , PAGES =. doi:10.1307/mmj/1030132722 , URL =
-
[20]
Blum, Harold and Halpern-Leistner, Daniel and Liu, Yuchen and Xu, Chenyang , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00029-021-00694-7 , URL =
-
[21]
Li, Chi and Wang, Xiaowei and Xu, Chenyang , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2021 , NUMBER =. doi:10.1090/jams/974 , URL =
-
[22]
Alper, Jarod and Blum, Harold and Halpern-Leistner, Daniel and Xu, Chenyang , TITLE =. Invent. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00222-020-00987-2 , URL =
-
[23]
Blum, Harold and Xu, Chenyang , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2019 , NUMBER =. doi:10.4007/annals.2019.190.2.4 , URL =
- [24]
-
[25]
Birkar, Caucher and Cascini, Paolo and Hacon, Christopher D. and McKernan, James , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2010 , NUMBER =. doi:10.1090/S0894-0347-09-00649-3 , URL =
-
[26]
Fujino, Osamu and Miyamoto, Keisuke , Title=. arXiv:2101:00806 , Year =
- [27]
- [28]
- [29]
-
[30]
Flenner, H. and O'Carroll, L. and Vogel, W. , Doi =. Joins and intersections , Url =. 1999 , Bdsk-Url-1 =
work page 1999
-
[31]
Algebraic geometry and arithmetic curves , volume =
Liu, Qing , isbn =. Algebraic geometry and arithmetic curves , volume =
-
[32]
Tanaka, Hiromu , title =. J. Reine Angew. Math. , volume =. 2018 , pages =
work page 2018
-
[33]
Local cohomology bounds and test ideals , year =
Aberbach, Ian and Polstra, Thomas , note =. Local cohomology bounds and test ideals , year =
-
[34]
and Patakfalvi, Zsolt and Zhang, Lei , journal =
Hacon, Christopher D. and Patakfalvi, Zsolt and Zhang, Lei , journal =. Birational characterization of abelian varieties and ordinary abelian varieties in characteristic p>0 , volume =
-
[35]
Carvajal-Rojas, Javier and Schwede, Karl and Tucker, Kevin , journal =. Fundamental groups of
-
[36]
On rational connectedness of globally
Gongyo, Yoshinori and Li, Zhiyuan and Patakfalvi, Zsolt and Schwede, Karl and Tanaka, Hiromu and Zong, Runhong , journal =. On rational connectedness of globally
-
[37]
Minimal model theory for log surfaces , volume =
Fujino, Osamu , journal =. Minimal model theory for log surfaces , volume =
-
[38]
Kawamata, Y. , doi =. Pluricanonical systems on minimal algebraic varieties , url =. Invent Math , keywords =. 1985 , Bdsk-Url-1 =
work page 1985
-
[39]
Das, Omprokash , title =. Int. Math. Res. Not. , year =
-
[40]
Binda, Federico and Krishna, Amalendu , title =
- [41]
-
[42]
Cascini, Paolo and Tanaka, Hiromu and Xu, Chenyang , TITLE =. Ann. Sci. \'. 2015 , NUMBER =
work page 2015
-
[43]
Xu, Chenyang , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2015 , NUMBER =
work page 2015
-
[44]
Das, Omprokash and Waldron, Joe , title =
-
[45]
de Jong, Johan , title =
-
[46]
Desingularization: Invariants and Strategy , series =
Cossart, Vincent and Jannsen, Uwe and Saito, Shuji , editor =. Desingularization: Invariants and Strategy , series =
-
[47]
Cascini, Paolo and Tanaka, Hiromu , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2020 , NUMBER =
work page 2020
-
[48]
Cascini, Paolo and Tanaka, Hiromu and Xu, Chenyang , TITLE =. Ann. Sci. \'. 2015 , NUMBER =. doi:10.24033/asens.2269 , URL =
-
[49]
Keel's base point free theorem and quotients in mixed characteristic , author=. 2020 , eprint=
work page 2020
-
[50]
Kawamata, Yujiro , TITLE =. J. Algebraic Geom. , FJOURNAL =. 1994 , NUMBER =
work page 1994
-
[51]
Annals of Mathematics , pages=
Toward a numerical theory of ampleness , author=. Annals of Mathematics , pages=. 1966 , publisher=
work page 1966
-
[52]
Nakai--Moishezon ampleness criterion for real line bundles , author=. 2021 , journal=
work page 2021
- [53]
-
[54]
Nakamura, Yusuke and Tanaka, Hiromu , TITLE =. Compos. Math. , FJOURNAL =. 2020 , NUMBER =
work page 2020
-
[55]
Tanaka, Hiromu , TITLE =. Osaka J. Math. , FJOURNAL =. 2016 , NUMBER =
work page 2016
-
[56]
Tanaka, Hiromu , TITLE =. Math. Z. , FJOURNAL =. 2020 , NUMBER =
work page 2020
-
[57]
Flips for 3-folds and 4-folds , SERIES =
Fujino, Osamu , TITLE =. Flips for 3-folds and 4-folds , SERIES =. 2007 , DOI =
work page 2007
-
[58]
Lecture notes on prismatic cohomology , Year =
Bhatt, Bhargav , Note =. Lecture notes on prismatic cohomology , Year =
-
[59]
Artin, M. , TITLE =. Advances in Math. , FJOURNAL =. 1971 , PAGES =. doi:10.1016/S0001-8708(71)80007-5 , URL =
-
[60]
Forum of Mathematics, Sigma , volume=
p -DIVISIBILITY FOR COHERENT COHOMOLOGY , author=. Forum of Mathematics, Sigma , volume=. 2015 , organization=
work page 2015
-
[61]
Purity for flat cohomology , Year =
Cesnavicius, Kestutis and Scholze, Peter , Note =. Purity for flat cohomology , Year =
-
[62]
Carvajal-Rojas, Javier , Note =. Finite torsors over strongly
-
[63]
The Minimal Model Program for threefolds in characteristic five , Year =
Hacon, Christopher and Witaszek, Jakub , Note =. The Minimal Model Program for threefolds in characteristic five , Year =
-
[64]
Relative semiampleness in mixed characteristic , Year =
Witaszek, Jakub , Note =. Relative semiampleness in mixed characteristic , Year =
-
[65]
Alexeev, Valery and Hacon, Christopher and Kawamata, Yujiro , TITLE =. Invent. Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s00222-007-0038-1 , URL =
-
[66]
On the relative Minimal Model Program for fourfolds in positive characteristic , Year =
Hacon, Christopher and Witaszek, Jakub , Note =. On the relative Minimal Model Program for fourfolds in positive characteristic , Year =
- [67]
- [68]
-
[69]
Ma, Linquan and Schwede, Karl and Tucker, Kevin and Waldron, Joe and Witaszek, Jakub , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2022 , NUMBER =. doi:10.1090/jag/797 , URL =
-
[70]
Covers of rational double points in mixed characteristic , Year =
Carvajal-Rojas, Javier and Ma, Linquan and Polstra, Thomas and Schwede, Karl and Tucker, Kevin , Note =. Covers of rational double points in mixed characteristic , Year =
-
[71]
Resolution of singularities of arithmetical threefolds , Url =
Cossart, Vincent and Piltant, Olivier , Date-Added =. Resolution of singularities of arithmetical threefolds , Url =. J. Algebra , Mrclass =. 2019 , Bdsk-Url-1 =. doi:10.1016/j.jalgebra.2019.02.017 , Fjournal =
-
[72]
and Foxby, Hans-Bj rn and Herzog, Bernd , Doi =
Avramov, Luchezar L. and Foxby, Hans-Bj rn and Herzog, Bernd , Doi =. Structure of local homomorphisms , Url =. J. Algebra , Mrclass =. 1994 , Bdsk-Url-1 =
work page 1994
-
[73]
Vijaylaxmi, Trivedi , Doi =. A local. Comm. Algebra , Mrclass =. 1994 , Bdsk-Url-1 =
work page 1994
- [74]
-
[75]
Illusie, Luc and Laszlo, Yves and Orgogozo, Fabrice , Fjournal =. Introduction , Year =. Ast\'
-
[76]
Prisms and Prismatic Cohomology , Year =
Bhargav Bhatt and Peter Scholze , Note =. Prisms and Prismatic Cohomology , Year =
- [77]
-
[78]
Minimal model program for excellent surfaces , Volume =
Tanaka, Hiromu , Fjournal =. Minimal model program for excellent surfaces , Volume =. Ann. Inst. Fourier (Grenoble) , Mrclass =
- [79]
-
[80]
Frobenius and. J. Algebra , Number =. 2012 , Bdsk-Url-1 =
work page 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.