Pith. sign in

REVIEW 1 minor 50 references

Quasi-$F$-singularities and singularities in birational geometry

T0 review · 0 major / 1 minor · reviewed 2026-07-01 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Quasi-F-singularities connect to singularities in birational geometry.

desk verdict This is a survey that organizes existing results on quasi-F-singularities and their links to birational geometry singularities without adding new theorems. read the letter →

arxiv 2606.31666 v1 pith:E7OCKU3E submitted 2026-06-30 math.AG math.AC

Tatsuro Kawakami , Shunsuke Takagi , Shou Yoshikawa This is my paper · ORCID
classification math.AGmath.AC
keywords quasi-F-singularitiesbirationalgeometrysingularitiesalgebraicF-singularities
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper gives an overview of the theory of quasi-F-singularities. It focuses on their connection with singularities in birational geometry. A sympathetic reader would care because this links algebraic notions from positive characteristic to geometric birational properties of varieties.

What carries the argument

Quasi-F-singularities as objects whose properties relate to those in birational geometry.

What would settle it

An observation that quasi-F-singularities lack any substantial relation to the singularities considered in birational geometry would falsify the premise of the overview.

Watch

Extended reading notes

Core claim

The theory of quasi-F-singularities has connections with singularities in birational geometry.

Load-bearing premise

The existing literature on quasi-F-singularities is coherent enough to support an overview that connects it meaningfully to birational geometry singularities.

Editorial extensions

If this is right

  • The overview provides a way to study birational singularities using quasi-F-singularity techniques.
  • Connections may allow transferring results between the two areas.
  • Further developments in one theory could inform the other.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the connections are strong, it could lead to new invariants for singularities that work across characteristics.
  • The survey might highlight open problems in linking the two fields.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 1 minor

Summary. The manuscript is a survey paper that provides an overview of the theory of quasi-F-singularities, with emphasis on their connections to singularities studied in birational geometry.

Significance. If the synthesis is accurate and well-organized, the paper could serve as a useful reference consolidating results on quasi-F-singularities and their birational geometry links, aiding researchers working across positive-characteristic singularity theory and birational methods. Its value is in exposition rather than new derivations or theorems.

minor comments (1)
  1. As a survey, verify that all cited theorems and definitions from the literature on F-singularities and birational geometry are represented faithfully in the overview sections to avoid any misrepresentation of prior results.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their review and positive assessment of our survey manuscript. The recommendation of minor revision is noted. No specific major comments were provided in the report, so we have no point-by-point responses to address at this time. We will incorporate any minor suggestions during revision.

Circularity Check

0 steps flagged · score 0.0 of 10

Survey paper presents no derivations or predictions

full rationale

The paper is explicitly an overview/survey of existing theory on quasi-F-singularities and their links to birational geometry singularities. No original theorems, equations, fitted parameters, or derivation chains are asserted. The reader's weakest assumption (coherence of prior literature) is a precondition for any survey rather than an internal load-bearing step that reduces to itself. No self-citations function as uniqueness theorems or ansatzes that close a loop within the paper. This is the standard honest non-finding for survey articles.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

This is an overview paper; no new free parameters, axioms, or invented entities are introduced.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quasi-$F$-singularities and singularities in birational geometry." pith.science (2026). https://pith.science/paper/E7OCKU3E

@misc{pith2026260631666,
  author       = {Pith},
  title        = {Pith review of: Quasi-$F$-singularities and singularities in birational geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/E7OCKU3E}},
  note         = {Machine review of arXiv:2606.31666}
}
abstract

We give an overview of the theory of quasi-$F$-singularities, focusing on their connection with singularities in birational geometry.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages

  1. [1]

    Aberbach , M

    I. Aberbach , M. Katzman , B. MacCrimmon , Weak F -regularity deforms in Q -Gorenstein rings , J. Algebra 204 ( 1998 ), 281--285

    work page 1998

  2. [2]

    Baudin , A quasi- F -split K -trivial surface which is not quasi- F^ -split , private note ( 2026 )

    J. Baudin , A quasi- F -split K -trivial surface which is not quasi- F^ -split , private note ( 2026 )

    work page 2026

  3. [3]

    Batubara , J

    R. Batubara , J. J. Garzella , A. Pan , K3 surfaces of any A rtin-- M azur height over F _5 and F _7 via quasi- F -split singularities and GPU acceleration , arXiv: 2502.12428

    work page arXiv

  4. [4]

    Bhatt , L

    B. Bhatt , L. Ma , Z. Patakfalvi , K. Schwede , K. Tucker , J. Waldron , J. Witaszek , Perfectoid pure singularities , arXiv: 2409.17965

    work page Pith review arXiv

  5. [5]

    Cascini , H

    P. Cascini , H. Tanaka , J. Witaszek , Klt del P ezzo surfaces which are not globally F -split , Int. Math. Res. Not. IMRN ( 2018 ), no. 7, 2135--2155

    work page 2018

  6. [6]

    Das , On strongly F -regular inversion of adjunction , J

    O. Das , On strongly F -regular inversion of adjunction , J. Algebra 434 ( 2015 ), 207--226

    work page 2015

  7. [7]

    Fedder , F -purity and rational singularity , Trans

    R. Fedder , F -purity and rational singularity , Trans. Amer. Math. Soc. 278 ( 1983 ), 461--480

    work page 1983

  8. [8]

    Fedder , K

    R. Fedder , K. Watanabe , A characterization of F -regularity in terms of F -purity , in Commutative Algebra (Berkeley, 1987) , Math. Sci. Res. Inst. Publ. 15, Springer, ( 1989 ), 227--245

    work page 1987

Show all 50 references
  1. [9]

    J. J. Garzella , V. Jagathese , On F -pure thresholds and quasi- F -purity of hypersurfaces , arXiv: 2509.06211

  2. [10]

    Glassbrenner , Strong F -regularity in images of regular rings , Proc

    D. Glassbrenner , Strong F -regularity in images of regular rings , Proc. Amer. Math. Soc. 124 ( 1996 ), no. 2, 345--353

    1996

  3. [11]

    Hara , Classification of two-dimensional F -regular and F -pure singularities , Adv

    N. Hara , Classification of two-dimensional F -regular and F -pure singularities , Adv. Math. 133 ( 1998 ), no. 1, 33--53

    1998

  4. [12]

    Hochster , C

    M. Hochster , C. Huneke , Tight closure and strong F -regularity , M\'em. Soc. Math. France (N.S.) 38 ( 1989 ), 119--133

    1989

  5. [13]

    Hochster , C

    M. Hochster , C. Huneke , F -regularity, test elements, and smooth base change , Trans. Amer. Math. Soc. 346 ( 1994 ), 1--62

    1994

  6. [14]

    Hochster , J

    M. Hochster , J. L. Roberts , The purity of the Frobenius and local cohomology , Adv. Math. 21 ( 1976 ), 117--172

    1976

  7. [15]

    Hara , K.-i

    N. Hara , K.-i. Watanabe , F -regular and F -pure rings vs.\ log terminal and log canonical singularities , J. Algebraic Geom. 11 ( 2002 ), 363--392

    2002

  8. [16]

    Illusie , Complexe de de Rham--Witt et cohomologie cristalline , Ann

    L. Illusie , Complexe de de Rham--Witt et cohomologie cristalline , Ann. Sci. \'Ecole Norm. Sup. (4) 12 ( 1979 ), no. 4, 501--661

    1979

  9. [17]

    Kawakami , On Steenbrink vanishing for rational singularities in positive characteristic , arXiv: 2507.04838

    T. Kawakami , On Steenbrink vanishing for rational singularities in positive characteristic , arXiv: 2507.04838

  10. [18]

    Kawakami , Extendability of differential forms via Cartier operators , J

    T. Kawakami , Extendability of differential forms via Cartier operators , J. Eur. Math. Soc. , 28 ( 2025 ) no. 9, 3851--3868

    2025

  11. [19]

    Kawakami , K

    T. Kawakami , K. Sato , Extending one-forms on F -regular singularities , arXiv: 2502.17148

    arXiv

  12. [20]

    S. J. Kov\'acs , K. Schwede , K. E. Smith , The canonical sheaf of Du Bois singularities , Adv. Math. 224 ( 2010 ), 1618--1640

    2010

  13. [21]

    Kawakami , T

    T. Kawakami , T. Takamatsu , H. Tanaka , J. Witaszek , F. Yobuko , S. Yoshikawa , Quasi- F -splittings in birational geometry II , Proc. Lond. Math. Soc. (3) 128 ( 2024 ), no. 4, e12593

    2024

  14. [22]

    Kawakami , T

    T. Kawakami , T. Takamatsu , H. Tanaka , J. Witaszek , F. Yobuko , S. Yoshikawa , Quasi- F -splittings in birational geometry III , arXiv: 2408.01921, to appear in Mem. Eur. Math. Soc

  15. [23]

    Kawakami , T

    T. Kawakami , T. Takamatsu , H. Tanaka , J. Witaszek , F. Yobuko , S. Yoshikawa , Quasi- F -splittings in birational geometry , Ann. Sci. \'Ec. Norm. Sup\'er. (4) 58 ( 2025 ), no. 3, 665--748

    2025

  16. [24]

    Kawakami , T

    T. Kawakami , T. Takamatsu , S. Yoshikawa , Fedder type criteria for quasi- F -splitting I , arXiv: 2204.10076, to appear in Amer. J. Math

  17. [25]

    Kawakami , T

    T. Kawakami , T. Takamatsu , S. Yoshikawa , Fedder type criteria for quasi- F -splitting II , arXiv: 2511.17270

  18. [26]

    Lipman , B

    J. Lipman , B. Teissier , Pseudorational local rings and a theorem of Brian c on--Skoda , Michigan Math. J. 28 ( 1981 ), 97--116

    1981

  19. [27]

    Musta t a , S

    M. Musta t a , S. Takagi , K.-i. Watanabe , F -thresholds and Bernstein--Sato polynomials , in European Congress of Mathematics , ( 2005 ), 341--364

    2005

  20. [28]

    Nakkajima , F

    Y. Nakkajima , F. Yobuko , Degenerations of log Hodge de Rham spectral sequences, log Kodaira vanishing theorem in characteristic p>0 and log weak Lefschetz conjecture for log crystalline cohomologies , Eur. J. Math. 7 ( 2021 ), no. 4, 1537--1615

    2021

  21. [29]

    Petrov , Decomposition of de Rham complex for quasi-\(F\)-split varieties , arXiv: 2502.13356

    A. Petrov , Decomposition of de Rham complex for quasi-\(F\)-split varieties , arXiv: 2502.13356

  22. [30]

    Polstra , A

    T. Polstra , A. Simpson , F -purity deforms in Q -Gorenstein rings , Int. Math. Res. Not. IMRN ( 2023 ), no. 24, 20725--20747

    2023

  23. [31]

    Schwede , F -adjunction , Algebra Number Theory 3 ( 2009 ), no

    K. Schwede , F -adjunction , Algebra Number Theory 3 ( 2009 ), no. 8, 907--950

    2009

  24. [32]

    Schwede , F -injective singularities are Du Bois , Amer

    K. Schwede , F -injective singularities are Du Bois , Amer. J. Math. 131 ( 2009 ), 445--473

    2009

  25. [33]

    J.-P. Serre , Sur la topologie des vari\'et\'es alg\'ebriques en caract\'eristique p , in Symposium internacional de topolog\' a algebraica , Universidad Nacional Aut\'onoma de M\'exico and UNESCO, Mexico City, ( 1958 ), 24--53

    1958

  26. [34]

    A. K. Singh , F -regularity does not deform , Amer. J. Math. 121 ( 1999 ), 919--929

    1999

  27. [35]

    K. E. Smith , F -rational rings have rational singularities , Amer. J. Math. 119 ( 1997 ), 159--180

    1997

  28. [36]

    The Stacks Project Authors , Stacks Project , https://stacks.math.columbia.edu

  29. [37]

    Sato , S

    K. Sato , S. Takagi , General hyperplane sections of threefolds in positive characteristic , J. Inst. Math. Jussieu ( 2018 ), 1--15

    2018

  30. [38]

    Sato , S

    K. Sato , S. Takagi , Arithmetic and geometric deformations of F -pure and F -regular singularities , Amer. J. Math. 147 ( 2025 ), no. 2, 561--596

    2025

  31. [39]

    Sato , S

    K. Sato , S. Takagi , S. Yoshikawa , Quasi- F -splitting versus log canonicity , preprint ( 2026 )

    2026

  32. [40]

    Takamatsu , Macaulay2 scripts for Fedder type criteria for quasi- F -splitting , available at https://sites.google.com/view/teppei-takamatsu/home/scripts

    T. Takamatsu , Macaulay2 scripts for Fedder type criteria for quasi- F -splitting , available at https://sites.google.com/view/teppei-takamatsu/home/scripts

  33. [41]

    Tanaka , Vanishing theorems of Kodaira type for Witt canonical sheaves , Selecta Math

    H. Tanaka , Vanishing theorems of Kodaira type for Witt canonical sheaves , Selecta Math. (N.S.) 28 ( 2022 ), no. 1, Paper No. 12, 50 pp

    2022

  34. [42]

    Takagi , R

    S. Takagi , R. Takahashi , D -modules over rings with finite F -representation type , Math. Res. Lett. 15 ( 2008 ), no. 3, 563--581

    2008

  35. [43]

    Takagi , K.-i

    S. Takagi , K.-i. Watanabe , On F -pure thresholds , J. Algebra 282 ( 2004 ), 278--297

    2004

  36. [44]

    Takagi , K.-i

    S. Takagi , K.-i. Watanabe , F -singularities: applications of characteristic p methods to singularity theory , Sugaku Expositions 31 ( 2018 ), 1--42

    2018

  37. [45]

    Tanaka , J

    H. Tanaka , J. Witaszek , F. Yobuko , Quasi- F^e -splittings and quasi- F -regularity , arXiv: 2404.06788

  38. [46]

    Takamatsu , S

    T. Takamatsu , S. Yoshikawa , Non-quasi- F -split canonical affine fourfolds exist in every characteristic , arXiv: 2602.14792

  39. [47]

    Yobuko , Quasi-Frobenius splitting and lifting of Calabi--Yau varieties in characteristic p , Math

    F. Yobuko , Quasi-Frobenius splitting and lifting of Calabi--Yau varieties in characteristic p , Math. Z. 292 ( 2019 ), 307--316

    2019

  40. [48]

    Yoshikawa , Computation method for perfectoid purity and perfectoid BCM-regularity , arXiv: 2502.06108

    S. Yoshikawa , Computation method for perfectoid purity and perfectoid BCM-regularity , arXiv: 2502.06108

  41. [49]

    Yoshikawa , Fedder-type criterion for quasi- F^e -splitting and quasi- F -regularity , arXiv: 2505.09015

    S. Yoshikawa , Fedder-type criterion for quasi- F^e -splitting and quasi- F -regularity , arXiv: 2505.09015

  42. [50]

    Zhu , Log canonical thresholds in positive characteristic , Math

    Z. Zhu , Log canonical thresholds in positive characteristic , Math. Z. 287 ( 2017 ), no. 3-4, 1235--1253

    2017

Pith tools

Reviewed July 1, 2026 · model on record in the stance chip above.