pith. sign in

arxiv: 2607.02218 · v1 · pith:UK436K6Wnew · submitted 2026-07-02 · 🧮 math.AG · math.AC

Quasi-F-splitting versus log canonicity

Kenta Sato , Shunsuke Takagi , Shou Yoshikawa This is my paper

Pith reviewed 2026-07-03 05:04 UTC · model grok-4.3

classification 🧮 math.AG math.AC
keywords quasi-F-splittinglog canonicitynumerically Q-GorensteinFrobenius morphismnormal singularitiescharacteristic psurface singularitiesalgebraic geometry
0
0 comments X

The pith

If a numerically Q-Gorenstein normal singularity is quasi-F^e-split for every e, then it is numerically log canonical.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that numerically Q-Gorenstein normal singularities that remain quasi-F-split after every Frobenius power are numerically log canonical. This holds in all dimensions. In dimension two, the implication reverses when the Gorenstein index avoids multiples of the characteristic, and the paper gives a classification of such two-dimensional singularities. Readers interested in singularities in positive characteristic would see this as a bridge between splitting conditions and birational invariants.

Core claim

If a numerically Q-Gorenstein normal singularity is quasi-F^e-split for every e≥1, then it is numerically log canonical. In dimension two, the converse holds when the Gorenstein index is not divisible by p. Two-dimensional quasi-F-split normal singularities are also classified.

What carries the argument

Quasi-F^e-splitting, defined via a splitting of the Frobenius morphism after tensoring with the structure sheaf raised to the e-th power, together with numerical equivalence conditions on the canonical divisor.

If this is right

  • Numerically log canonical singularities in dimension two satisfy quasi-F-splitting under the index condition.
  • The classification provides explicit examples of quasi-F-split singularities in dimension two.
  • The result links positive characteristic techniques to numerical log canonicity in birational geometry.
  • Persistent quasi-F-splitting serves as a sufficient condition for numerical log canonicity across dimensions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This connection might allow computational checks of log canonicity using Frobenius splittings in positive characteristic.
  • The dimension two classification could serve as a model for higher-dimensional analogs if similar techniques extend.
  • It suggests exploring whether other F-singularity notions imply or are implied by log canonicity variants.

Load-bearing premise

The singularity is numerically Q-Gorenstein, so that a multiple of the canonical divisor is numerically equivalent to a Cartier divisor, allowing numerical comparisons.

What would settle it

A counterexample would be a normal numerically Q-Gorenstein singularity in positive characteristic p that is quasi-F^e-split for all e but fails to be numerically log canonical.

read the original abstract

In this paper, we investigate the relationship between quasi-$F$-splitting and log canonicity. We show that if a numerically $\mathbb{Q}$-Gorenstein normal singularity is quasi-$F^e$-split for every $e\geq 1$, then it is numerically log canonical. In dimension two, we prove the converse under the condition that the Gorenstein index is not divisible by the characteristic $p$. We also classify two-dimensional quasi-$F$-split normal singularities.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The paper claims that if a numerically Q-Gorenstein normal singularity is quasi-F^e-split for every e ≥ 1, then it is numerically log canonical. In dimension two the converse holds provided the Gorenstein index is not divisible by p, and the paper also classifies two-dimensional quasi-F-split normal singularities.

Significance. If the stated implications and classification hold, the results would connect quasi-F-splitting (via iterated Frobenius) to numerical log canonicity under explicit numerical hypotheses on the canonical divisor. The dimension-two classification would supply concrete examples and a converse under a clear arithmetic condition, both of which are potentially useful for the study of singularities in positive characteristic.

major comments (1)
  1. [Abstract] The provided manuscript consists solely of the abstract, which asserts the main theorems without any definitions of 'quasi-F^e-split', 'numerically Q-Gorenstein', or 'numerically log canonical', without proof sketches, and without verification steps. This prevents checking whether the central implications reduce to standard Frobenius techniques or contain hidden circularity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] The provided manuscript consists solely of the abstract, which asserts the main theorems without any definitions of 'quasi-F^e-split', 'numerically Q-Gorenstein', or 'numerically log canonical', without proof sketches, and without verification steps. This prevents checking whether the central implications reduce to standard Frobenius techniques or contain hidden circularity.

    Authors: The complete manuscript (available on arXiv:2607.02218) contains the full definitions of quasi-F^e-splitting, numerically Q-Gorenstein, and numerically log canonical singularities in the introduction and preliminary sections. It includes complete proofs of both the implication (quasi-F^e-splitting for all e implies numerical log canonicity) and the dimension-two converse (under the stated arithmetic condition on the Gorenstein index), as well as the classification of two-dimensional quasi-F-split normal singularities. The arguments rely on iterated Frobenius techniques and numerical discrepancies without circularity, building on standard results in positive-characteristic birational geometry. If the referee received only the abstract, this appears to be a submission or review-process error; the full text was provided. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper states theorems establishing one-way implications and a conditional converse between quasi-F^e-splitting and numerical log canonicity for numerically Q-Gorenstein normal singularities, plus a classification in dimension two. These are presented as direct consequences of Frobenius morphism properties and numerical conditions on the canonical divisor, with no equations or steps that reduce by construction to fitted parameters, self-definitions, or unverified self-citations. The hypotheses and restrictions (e.g., Gorenstein index not divisible by p) are explicit and external to the claimed results, so the chain does not collapse into tautology.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The results rest on standard background from algebraic geometry and commutative algebra in positive characteristic; no free parameters or invented entities are visible in the abstract.

axioms (2)
  • standard math Existence and basic properties of the Frobenius endomorphism in characteristic p
    Invoked in the definition of quasi-F-splitting.
  • domain assumption Numerical Q-Gorenstein condition on the canonical divisor
    Required for the statement of the main implication.

pith-pipeline@v0.9.1-grok · 5602 in / 1116 out tokens · 24994 ms · 2026-07-03T05:04:18.796275+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

289 extracted references · 50 canonical work pages

  1. [1]

    Langer, Andreas and Zink, Thomas , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2004 , NUMBER =. doi:10.1017/S1474748004000088 , URL =

    work page doi:10.1017/s1474748004000088 2004

  2. [2]

    Annales scientifiques de l'\'Ecole Normale Sup\'erieure , pages =

    Carvajal-Rojas, Javier and Schwede, Karl and Tucker, Kevin , title =. Annales scientifiques de l'\'Ecole Normale Sup\'erieure , pages =. 2018 , doi =

    2018

  3. [3]

    de Jong, A. J. , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1996 , PAGES =

    1996

  4. [4]

    , TITLE =

    Keeler, Dennis S. , TITLE =. J. Algebra , FJOURNAL =. 2003 , NUMBER =. doi:10.1016/S0021-8693(02)00557-4 , URL =

    work page doi:10.1016/s0021-8693(02)00557-4 2003

  5. [5]

    , TITLE =

    Keeler, Dennis S. , TITLE =. J. Algebra , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.jalgebra.2010.02.028 , URL =

    work page doi:10.1016/j.jalgebra.2010.02.028 2010

  6. [6]

    de Fernex, Tommaso and Docampo, Roi and Takagi, Shunsuke and Tucker, Kevin , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2015 , NUMBER =. doi:10.1112/blms/bdv006 , URL =

    work page doi:10.1112/blms/bdv006 2015

  7. [7]

    Hashimoto, Mitsuyasu , TITLE =. Osaka J. Math. , FJOURNAL =. 2015 , NUMBER =

    2015

  8. [8]

    Takagi, Shunsuke , TITLE =. J. Algebra , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.jalgebra.2018.08.003 , URL =

    work page doi:10.1016/j.jalgebra.2018.08.003 2021

  9. [9]

    Quasi- F -split and Hodge-Witt , year =

    Yobuko, Fuetaro , journal =. Quasi- F -split and Hodge-Witt , year =

  10. [10]

    1979 , PAGES =

    Serre, Jean-Pierre , TITLE =. 1979 , PAGES =

    1979

  11. [11]

    Shiho, Atsushi , TITLE =. J. Math. Sci. Univ. Tokyo , FJOURNAL =. 2007 , NUMBER =

    2007

  12. [12]

    Michigan Math

    Schwede, Karl and Takagi, Shunsuke , TITLE =. Michigan Math. J. , FJOURNAL =. 2008 , PAGES =. doi:10.1307/mmj/1220879429 , URL =

    work page doi:10.1307/mmj/1220879429 2008

  13. [13]

    , TITLE =

    Smith, Karen E. , TITLE =. Amer. J. Math. , FJOURNAL =. 1997 , NUMBER =

    1997

  14. [14]

    , TITLE =

    Lyubeznik, Gennady and Smith, Karen E. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2001 , NUMBER =. doi:10.1090/S0002-9947-01-02643-5 , URL =

    work page doi:10.1090/s0002-9947-01-02643-5 2001

  15. [15]

    Ekedahl, Torsten , TITLE =. Ark. Mat. , FJOURNAL =. 1985 , NUMBER =. doi:10.1007/BF02384419 , URL =

    work page doi:10.1007/bf02384419 1985

  16. [16]

    Ekedahl, Torsten , TITLE =. Ark. Mat. , FJOURNAL =. 1984 , NUMBER =. doi:10.1007/BF02384380 , URL =

    work page doi:10.1007/bf02384380 1984

  17. [17]

    Geometric aspects of

    Gabber, Ofer , TITLE =. Geometric aspects of. 2004 , ISBN =

    2004

  18. [18]

    Bhatt, Bhargav and Lurie, Jacob and Mathew, Akhil , TITLE =. Ast\'. 2021 , PAGES =. doi:10.24033/ast , URL =

    work page doi:10.24033/ast 2021

  19. [19]

    Takagi, Shunsuke , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2004 , NUMBER =. doi:10.1090/S1056-3911-03-00366-7 , URL =

    work page doi:10.1090/s1056-3911-03-00366-7 2004

  20. [20]

    Blickle, Manuel and Schwede, Karl and Tucker, Kevin , TITLE =. Amer. J. Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.1353/ajm.2015.0000 , URL =

    work page doi:10.1353/ajm.2015.0000 2015

  21. [21]

    Nagoya Math

    Watanabe, Keiichi , TITLE =. Nagoya Math. J. , FJOURNAL =. 1981 , PAGES =

    1981

  22. [22]

    Introduction \`a la th\'

    Demazure, Michel , TITLE =. Introduction \`a la th\'. 1988 , MRCLASS =

    1988

  23. [23]

    Adjunction and inversion of adjunction , year =

    Fujino, Osamu and Hashizume, Kenta , journal =. Adjunction and inversion of adjunction , year =

  24. [24]

    Goto, Shiro and Watanabe, Keiichi , TITLE =. J. Math. Soc. Japan , FJOURNAL =. 1978 , NUMBER =. doi:10.2969/jmsj/03020179 , URL =

    work page doi:10.2969/jmsj/03020179 1978

  25. [25]

    Log surfaces of general type; some conjectures , BOOKTITLE =

    Koll\'. Log surfaces of general type; some conjectures , BOOKTITLE =. 1994 , MRCLASS =. doi:10.1090/conm/162/01538 , URL =

    work page doi:10.1090/conm/162/01538 1994

  26. [26]

    1962 , PAGES =

    Nagata, Masayoshi , TITLE =. 1962 , PAGES =

    1962

  27. [27]

    Atiyah, M. F. and Macdonald, I. G. , TITLE =. 1969 , PAGES =

    1969

  28. [28]

    , TITLE =

    Grothendieck, A. , TITLE =. Inst. Hautes \'. 1961 , PAGES =

    1961

  29. [29]

    and Little, John B

    Cox, David A. and Little, John B. and Schenck, Henry K. , TITLE =. 2011 , PAGES =. doi:10.1090/gsm/124 , URL =

    work page doi:10.1090/gsm/124 2011

  30. [30]

    An analog of adjoint ideals and PLT singularities in mixed characteristic , year =

    Linquan Ma and Karl Schwede and Kevin Tucker and Joe Waldron and Jakub Witaszek , journal =. An analog of adjoint ideals and PLT singularities in mixed characteristic , year =

  31. [31]

    Esnault, E

    H. Esnault, E. Viehweg , journal =. Lectures on Vanishing Theorems , year =

  32. [32]

    On the relative Minimal Model Program for threefolds in low characteristics , year =

    Christopher Hacon and Jakub Witaszek , journal =. On the relative Minimal Model Program for threefolds in low characteristics , year =

  33. [33]

    Classification of three-dimensional flips , JOURNAL =

    Koll\'. Classification of three-dimensional flips , JOURNAL =. 1992 , NUMBER =

    1992

  34. [34]

    2021 , journal=

    Relative semiampleness in mixed characteristic , author=. 2021 , journal=

    2021

  35. [35]

    2020 , eprint=

    Keel's base point free theorem and quotients in mixed characteristic , author=. 2020 , eprint=

    2020

  36. [36]

    2020 , journal=

    Globally +-regular varieties and the minimal model program for threefolds in mixed characteristic , author=. 2020 , journal=

    2020

  37. [37]

    2020 , eprint=

    Minimal model program for semi-stable threefolds in mixed characteristic , author=. 2020 , eprint=

    2020

  38. [38]

    arXiv:2004.07628 , title =

    Javier Carvajal-Rojas and Axel St. arXiv:2004.07628 , title =

    work page arXiv 2004

  39. [39]

    Handbook of algebra,

    Popescu, Dorin , TITLE =. Handbook of algebra,

  40. [40]

    The Minimal Model Program for threefolds in characteristic five , year =

    Christopher Hacon and Jakub Witaszek , journal =. The Minimal Model Program for threefolds in characteristic five , year =

  41. [41]

    Birkar and P

    C. Birkar and P. Cascini and C. Hacon and J. M. Existence of minimal models for varieties of log general type , volume =. J. Amer. Math. Soc. , number =

  42. [42]

    Variants of normality for

    Koll\'. Variants of normality for. Pure Appl. Math. Q. , FJOURNAL =. 2016 , NUMBER =

    2016

  43. [43]

    2005 , PAGES =

    Grothendieck, Alexander , TITLE =. 2005 , PAGES =

    2005

  44. [44]

    Chatzistamatiou, Andre and R\". Hodge-. Doc. Math. , FJOURNAL =. 2012 , PAGES =

    2012

  45. [45]

    Nakamura, Yusuke and Tanaka, Hiromu , TITLE =. Compos. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1112/s0010437x1900770x , URL =

    work page doi:10.1112/s0010437x1900770x 2020

  46. [46]

    and McKernan, James , TITLE =

    Hacon, Christopher D. and McKernan, James , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2010 , NUMBER =. doi:10.1090/S0894-0347-09-00651-1 , URL =

    work page doi:10.1090/s0894-0347-09-00651-1 2010

  47. [47]

    Tanaka, Hiromu , TITLE =. Osaka J. Math. , FJOURNAL =. 2016 , NUMBER =

    2016

  48. [48]

    Alexeev, Valery and Hacon, Christopher and Kawamata, Yujiro , TITLE =. Invent. Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s00222-007-0038-1 , URL =

    work page doi:10.1007/s00222-007-0038-1 2007

  49. [49]

    Kawamata, Yujiro , TITLE =. Publ. RIMS, Kyoto Univ. , FJOURNAL =. 2008 , NUMBER =. doi:, URL =

    2008

  50. [50]

    Flips for 3-folds and 4-folds , SERIES =

    Fujino, Osamu , TITLE =. Flips for 3-folds and 4-folds , SERIES =. 2007 , DOI =

    2007

  51. [51]

    and Patakfalvi, Zsolt , TITLE =

    Hacon, Christopher D. and Patakfalvi, Zsolt , TITLE =. Amer. J. Math. , FJOURNAL =. 2016 , NUMBER =

    2016

  52. [52]

    Nicaise, Johannes and Xu, Chenyang , TITLE =. Amer. J. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1353/ajm.2016.0049 , URL =

    work page doi:10.1353/ajm.2016.0049 2016

  53. [53]

    Esnault, H\'el\`ene , TITLE =. Invent. Math. , FJOURNAL =. 2003 , NUMBER =

    2003

  54. [54]

    2007 , doi =

    Flips for 3-folds and 4-folds , volume =. 2007 , doi =

    2007

  55. [55]

    Occhetta, Gianluca and Wi. On. Math. Z. , number =. 2002 , doi =

    2002

  56. [56]

    and Srinivas, Vasudevan , journal =

    Paranjape, Kapil H. and Srinivas, Vasudevan , journal =. Self-maps of homogeneous spaces , volume =. 1989 , doi =

    1989

  57. [57]

    Keel , journal =

    S. Keel , journal =. Basepoint freeness for nef and big line bundles in positive characteristic , volume =

  58. [58]

    Tight closure, invariant theory, and the

    Hochster, Melvin and Huneke, Craig , journal =. Tight closure, invariant theory, and the. 1990 , doi =

    1990

  59. [59]

    Hacon and C

    C. Hacon and C. Xu , journal =. On the three dimensional minimal model program in positive characteristic , volume =. 2015 , doi =

    2015

  60. [60]

    , TITLE =

    de Fernex, Tommaso and Hacon, Christopher D. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2011 , PAGES =. doi:10.1515/CRELLE.2011.010 , URL =

    work page doi:10.1515/crelle.2011.010 2011

  61. [61]

    Cascini and H

    P. Cascini and H. Tanaka and C. Xu , journal =. On base point freeness in positive characteristic , volume =

  62. [62]

    Existence of flips and minimal models for 3-folds in char

    Birkar, Caucher , journal =. Existence of flips and minimal models for 3-folds in char. 2016 , doi =

    2016

  63. [63]

    and Waldron, J

    Birkar, C. and Waldron, J. , journal =. Existence of. 2017 , issn =

    2017

  64. [64]

    , journal =

    Tanaka, H. , journal =. Minimal models and abundance for positive characteristic log surfaces , volume =. 2014 , doi =

    2014

  65. [65]

    Cascini, Paolo and Tanaka, Hiromu and Witaszek, Jakub , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2018 , NUMBER =

    2018

  66. [66]

    On log del

    Cascini, Paolo and Tanaka, Hiromu and Witaszek, Jakub , journal =. On log del. 2017 , doi =

    2017

  67. [67]

    , journal =

    Watanabe, K. , journal =. 1991 , doi =

    1991

  68. [68]

    , journal =

    Hara, N. , journal =. A characterization of rational singularities in terms of injectivity of. 1998 , issn =

    1998

  69. [69]

    Uniform bounds for strongly

    Cascini, Paolo and Gongyo, Yoshinori and Schwede, Karl , journal =. Uniform bounds for strongly. 2016 , doi =

    2016

  70. [70]

    Patakfalvi and K

    Z. Patakfalvi and K. Schwede and K. Tucker , journal =. Notes for the workshop on positive characteristic algebraic geometry , year =

  71. [71]

    Effective bounds on singular surfaces in positive characteristic , volume =

    Witaszek, Jakub , journal =. Effective bounds on singular surfaces in positive characteristic , volume =. 2017 , doi =

    2017

  72. [72]

    On the rationality of

    Hacon, Christopher and Witaszek, Jakub , journal =. On the rationality of

  73. [73]

    Cascini, Paolo and Tanaka, Hiromu , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2020 , NUMBER =. doi:10.1112/plms.12323 , URL =

    work page doi:10.1112/plms.12323 2020

  74. [74]

    Gongyo, Yoshinori and Nakamura, Yusuke and Tanaka, Hiromu , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2019 , NUMBER =. doi:10.4171/JEMS/913 , URL =

    work page doi:10.4171/jems/913 2019

  75. [75]

    Kov\'acs , journal =

    S. Kov\'acs , journal =. Non-

  76. [76]

    Cascini, Paolo and Tanaka, Hiromu , journal =

  77. [77]

    Bertini theorems admitting base changes , year =

    Tanaka, HiromuJakub , journal =. Bertini theorems admitting base changes , year =

  78. [78]

    On the canonical bundle formula and log abundance in positive characteristic , year =

    Witaszek, Jakub , journal =. On the canonical bundle formula and log abundance in positive characteristic , year =

  79. [79]

    and Waldron, J

    Das, O. and Waldron, J. , journal =. On the

  80. [80]

    Finite generation of the log canonical ring for 3-folds in char p , year =

    Waldron, Joe , journal =. Finite generation of the log canonical ring for 3-folds in char p , year =

Showing first 80 references.