pith. sign in

arxiv: 2606.31666 · v1 · pith:E7OCKU3Enew · submitted 2026-06-30 · 🧮 math.AG · math.AC

Quasi-F-singularities and singularities in birational geometry

Tatsuro Kawakami , Shunsuke Takagi , Shou Yoshikawa This is my paper

Pith reviewed 2026-07-01 02:51 UTC · model grok-4.3

classification 🧮 math.AG math.AC
keywords quasi-F-singularitiesbirational geometrysingularitiesalgebraic geometryF-singularities
0
0 comments X

The pith

Quasi-F-singularities connect to singularities in birational geometry.

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

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.

Core claim

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

What carries the argument

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

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.

Where Pith is reading between the lines

These are 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.

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.

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.

read the original abstract

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

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

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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

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

pith-pipeline@v0.9.1-grok · 5533 in / 959 out tokens · 46715 ms · 2026-07-01T02:51:10.658713+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

50 extracted references · 13 canonical work pages · 1 internal anchor

  1. [1]

    Aberbach , M

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

    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 )

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

    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

    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

    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

    1987

  9. [9]

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

    work page arXiv

  10. [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

  11. [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

  12. [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

  13. [13]

    Hochster , C

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

    1994

  14. [14]

    Hochster , J

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

    1976

  15. [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

  16. [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

  17. [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

    work page arXiv

  18. [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

  19. [19]

    Extending one-forms on $F$-regular singularities

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

    work page internal anchor Pith review Pith/arXiv arXiv

  20. [20]

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

    2010

  21. [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

  22. [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

    work page arXiv

  23. [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

  24. [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

    work page arXiv

  25. [25]

    Kawakami , T

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

    work page arXiv

  26. [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

  27. [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

  28. [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

  29. [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

    work page arXiv

  30. [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

  31. [31]

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

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

    2009

  32. [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

  33. [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

  34. [34]

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

    1999

  35. [35]

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

    1997

  36. [36]

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

  37. [37]

    Sato , S

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

    2018

  38. [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

  39. [39]

    Sato , S

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

    2026

  40. [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

  41. [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

  42. [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

  43. [43]

    Takagi , K.-i

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

    2004

  44. [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

  45. [45]

    Tanaka , J

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

    work page arXiv

  46. [46]

    Takamatsu , S

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

    work page arXiv

  47. [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

  48. [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

    work page arXiv

  49. [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

    work page arXiv

  50. [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