pith. sign in

arxiv: 2512.15563 · v2 · submitted 2025-12-17 · 🧮 math.AG · math.AC

Equidimensional morphisms onto splinters are pure

Takumi Murayama This is my paper

Pith reviewed 2026-05-16 21:27 UTC · model grok-4.3

classification 🧮 math.AG math.AC
keywords splinterspure morphismsequidimensional morphismsNoetherian ringsF-rationalityscheme morphismsalgebraic geometryfactorization theorems
0
0 comments X

The pith

A Noetherian ring is a splinter precisely when every equidimensional surjective morphism onto it induces a pure map.

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

The paper establishes that a Noetherian ring R qualifies as a splinter if and only if every equidimensional surjective morphism Spec(S) to Spec(R) makes the ring map R to S pure. This equivalence identifies a broad family of ring maps that must be pure by virtue of the target ring's property and the morphism's dimension condition. The result lifts to locally Noetherian schemes, where local splinters are exactly those bases for which every locally equidimensional morphism is strongly pure. Special cases then confirm that equidimensional fibrations over normal rational schemes or regular schemes are strongly pure. A supporting descent statement shows F-rationality passes down along pure maps that remain locally equidimensional under universal catenarity.

Core claim

A Noetherian ring R is a splinter if and only if for every equidimensional surjective morphism Spec(S) to Spec(R) the induced map R to S is pure. Equivalently, a locally Noetherian scheme Y is locally a splinter if and only if every locally equidimensional morphism X to Y is strongly pure. The proof relies on a new factorization theorem for locally equidimensional morphisms of schemes, which is of independent interest. As a corollary, F-rationality descends along pure ring maps that are locally equidimensional, provided the rings satisfy universal catenarity; the equidimensional hypothesis is necessary for this descent.

What carries the argument

A new factorization result for locally equidimensional morphisms of schemes that reduces purity and descent questions to simpler cases.

If this is right

  • Equidimensional fibrations over normal Q-schemes are strongly pure.
  • Equidimensional fibrations over regular schemes of arbitrary characteristic are strongly pure.
  • F-rationality descends along pure ring maps that are locally equidimensional when the rings are universally catenary.
  • Equidimensional surjective morphisms onto splinters automatically satisfy the purity condition.

Where Pith is reading between the lines

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

  • The necessity of equidimensionality isolates a sharp geometric condition separating cases where purity and descent hold from those where they fail.
  • The factorization result may be reusable for other questions about morphisms that preserve dimension.
  • Checking the splinter property on a ring could reduce to verifying purity along a generating set of equidimensional morphisms rather than all finite extensions.

Load-bearing premise

The ring must be Noetherian or the scheme locally Noetherian, and the morphism must be equidimensional and surjective.

What would settle it

A Noetherian ring that is a splinter yet admits an equidimensional surjective morphism inducing a non-pure map, or a non-splinter ring for which every such morphism still produces a pure map.

read the original abstract

We prove that a Noetherian ring $R$ is a splinter if and only if for every equidimensional surjective morphism $\operatorname{Spec}(S) \to \operatorname{Spec}(R)$, the map $R \to S$ is pure. This yields a large, nontrivial class of ring maps that are automatically pure. More generally, we prove that a locally Noetherian scheme $Y$ is locally a splinter if and only if every locally equidimensional morphism $X \to Y$ is strongly pure. Special cases of our results show that equidimensional fibrations over normal $\mathbf{Q}$-schemes or regular schemes of arbitrary characteristic are strongly pure. The main ingredient is a new factorization result for locally equidimensional morphisms of schemes, which is of independent interest. Additionally, we prove a weak Boutot-type theorem for $F$-rationality, which says that $F$-rationality descends under pure ring maps that are locally equidimensional under universally catenary assumptions. This statement is false without the locally equidimensional hypothesis.

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 / 3 minor

Summary. The paper proves that a Noetherian ring R is a splinter if and only if for every equidimensional surjective morphism Spec(S) → Spec(R), the map R → S is pure. It generalizes this to locally Noetherian schemes, showing that Y is locally a splinter if and only if every locally equidimensional morphism X → Y is strongly pure. The main tools are a new factorization theorem for locally equidimensional morphisms of locally Noetherian schemes and a weak Boutot-type descent theorem for F-rationality under pure, locally equidimensional maps (false without the equidimensional hypothesis, under universally catenary assumptions). Special cases establish strong purity for equidimensional fibrations over normal Q-schemes or regular schemes.

Significance. If the results hold, the characterization supplies a large class of automatically pure maps and a practical test for the splinter property. The factorization theorem is of independent interest for the study of equidimensional morphisms. The weak descent result for F-rationality clarifies the necessity of the equidimensional hypothesis and strengthens existing Boutot-type statements. The work is grounded in standard Noetherian and catenary hypotheses with explicit counterexamples noted when those fail.

minor comments (3)
  1. [Introduction] §1 (Introduction): the distinction between 'pure' (used for rings) and 'strongly pure' (used for schemes) is introduced only in the abstract; a short paragraph clarifying the relation and any additional conditions for strong purity would improve readability.
  2. [Theorem 4.3] Theorem 4.3 (weak Boutot-type descent): the statement requires universally catenary rings, but the surrounding discussion of counterexamples without equidimensionality does not explicitly reference the catenary hypothesis; adding a parenthetical reminder would prevent misreading.
  3. [§3] The factorization theorem (main ingredient, stated in §3) is claimed to be of independent interest, yet no explicit statement isolates it as a standalone result; extracting it as a numbered theorem with its own corollary list would increase visibility.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of the significance of the main results (including the equidimensional purity characterization and the factorization theorem), and the recommendation for minor revision. We appreciate the note on the independent interest of the factorization result and the clarification provided by the weak Boutot-type descent theorem.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes an if-and-only-if characterization of Noetherian splinter rings via purity of equidimensional surjective morphisms, supported by a new factorization theorem for locally equidimensional morphisms and a weak Boutot-type descent for F-rationality. These ingredients are developed internally from standard Noetherian and catenary hypotheses without reducing any central claim to a fitted parameter, self-referential definition, or load-bearing self-citation chain. The equidimensional hypothesis is explicitly required to avoid known counterexamples, and the proof structure remains independent of the target equivalence. No equations or constructions in the provided abstract or summary collapse the result to its inputs by definition.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard background axioms of commutative algebra and scheme theory together with one new factorization lemma introduced in the paper.

axioms (1)
  • standard math Standard properties of Noetherian rings, locally Noetherian schemes, and equidimensional morphisms
    Invoked throughout the statements of the main theorems.

pith-pipeline@v0.9.0 · 5470 in / 1031 out tokens · 20837 ms · 2026-05-16T21:27:00.899849+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

47 extracted references · 47 canonical work pages · 1 internal anchor

  1. [1]

    Yves Andr\' e , La conjecture du facteur direct, Publ. Math. Inst. Hautes \' E tudes Sci. 127 (2018), 71--93; https://doi.org/10.1007/s10240-017-0097-9 doi:10.1007/s10240-017-0097-9 ; MR 3814651 https://mathscinet.ams.org/mathscinet-getitem?mr=3814651

    work page doi:10.1007/s10240-017-0097-9 2018

  2. [2]

    Bhargav Bhatt, Derived splinters in positive characteristic, Compos. Math. 148 (2012), no. 6, 1757--1786; https://doi.org/10.1112/S0010437X12000309 doi:10.1112/S0010437X12000309 ; MR 2999303 https://mathscinet.ams.org/mathscinet-getitem?mr=2999303

    work page doi:10.1112/s0010437x12000309 2012

  3. [3]

    Nicolas Bourbaki, Elements of mathematics. C ommutative algebra , T ranslated from F rench, Hermann, Paris; Addison-Wesley, Reading, MA, 1972; https://n2t.net/ark:/13960/t56f3ng94 ark:/13960/t56f3ng94 ; MR 360549 https://mathscinet.ams.org/mathscinet-getitem?mr=360549

    work page 1972

  4. [4]

    Jean-Fran cois Boutot, Singularit\'es rationnelles et quotients par les groupes r\'eductifs, Invent. Math. 88 (1987), no. 1, 65--68; https://doi.org/10.1007/BF01405091 doi:10.1007/BF01405091 ; MR 877006 https://mathscinet.ams.org/mathscinet-getitem?mr=877006

    work page doi:10.1007/bf01405091 1987

  5. [5]

    Sagnik Chakraborty, Rajendra Vasant Gurjar, and Masayoshi Miyanishi, Pure subrings of commutative rings, Nagoya Math. J. 221 (2016), no. 1, 33--68; https://doi.org/10.1017/nmj.2016.2 doi:10.1017/nmj.2016.2 ; MR 3508743 https://mathscinet.ams.org/mathscinet-getitem?mr=3508743

    work page doi:10.1017/nmj.2016.2 2016

  6. [6]

    P. M. Cohn, On the free product of associative rings, Math. Z. 71 (1959), 380--398; https://doi.org/10.1007/BF01181410 doi:10.1007/BF01181410 ; MR 106918 https://mathscinet.ams.org/mathscinet-getitem?mr=106918

    work page doi:10.1007/bf01181410 1959

  7. [7]

    I. S. Cohen and A. Seidenberg, Prime ideals and integral dependence, Bull. Amer. Math. Soc. 52 (1946), 252--261; https://doi.org/10.1090/S0002-9904-1946-08552-3 doi:10.1090/S0002-9904-1946-08552-3 ; MR 15379 https://mathscinet.ams.org/mathscinet-getitem?mr=15379

    work page doi:10.1090/s0002-9904-1946-08552-3 1946

  8. [8]

    Rankeya Datta and Takumi Murayama, Permanence properties of \(F\)-injectivity, Math. Res. Lett. 31 (2024), no. 4, 985--1027; https://doi.org/10.4310/mrl.241118233550 doi:10.4310/mrl.241118233550 ; MR 4831046 https://mathscinet.ams.org/mathscinet-getitem?mr=4831046

    work page doi:10.4310/mrl.241118233550 2024

  9. [9]

    Rankeya Datta and Kevin Tucker, On some permanence properties of (derived) splinters, Michigan Math. J. 73 (2023), no. 2, 371--400; https://doi.org/10.1307/mmj/20205951 doi:10.1307/mmj/20205951 ; MR 4584866 https://mathscinet.ams.org/mathscinet-getitem?mr=4584866

    work page doi:10.1307/mmj/20205951 2023

  10. [10]

    Dieudonn\' e , El\' e ments de g\' e om\' e trie alg\' e brique

    Alexander Grothendieck and Jean A. Dieudonn\' e , El\' e ments de g\' e om\' e trie alg\' e brique. I , Second edition, Grundlehren Math. Wiss., vol. 166, Springer-Verlag, Berlin, 1971; https://n2t.net/ark:/13960/t42s6kw4b ark:/13960/t42s6kw4b ; MR 3075000 https://mathscinet.ams.org/mathscinet-getitem?mr=3075000

    work page 1971

  11. [11]

    , \' E l\' e ments de g\' e om\' e trie alg\' e brique. IV . \' E tude locale des sch\' e mas et des morphismes de sch\' e mas. II , Inst. Hautes \' E tudes Sci. Publ. Math. 24 (1965), 231 pp.; Available at https://www.numdam.org/item/PMIHES_1965__24__5_0; https://doi.org/10.1007/BF02684322 doi:10.1007/BF02684322 ; MR 199181 https://mathscinet.ams.org/mat...

    work page doi:10.1007/bf02684322 1965

  12. [12]

    , \' E l\' e ments de g\' e om\' e trie alg\' e brique. IV . \' E tude locale des sch\' e mas et des morphismes de sch\' e mas. III , Inst. Hautes \' E tudes Sci. Publ. Math. 28 (1966), 255 pp.; Available at https://www.numdam.org/item/PMIHES_1966__28__5_0; https://doi.org/10.1007/BF02684343 doi:10.1007/BF02684343 ; MR 217086 https://mathscinet.ams.org/ma...

    work page doi:10.1007/bf02684343 1966

  13. [13]

    , \' E l\' e ments de g\' e om\' e trie alg\' e brique. IV . \' E tude locale des sch\' e mas et des morphismes de sch\' e mas. IV , Inst. Hautes \' E tudes Sci. Publ. Math. 32 (1967), 361 pp.; Available at https://www.numdam.org/item/PMIHES_1967__32__5_0; https://doi.org/10.1007/BF02732123 doi:10.1007/BF02732123 ; MR 238860 https://mathscinet.ams.org/mat...

    work page doi:10.1007/bf02732123 1967

  14. [14]

    Takao Fujita, On \(L\)-dimension of coherent sheaves, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 28 (1981), no. 2, 215--236, See also Fuj82 ; https://doi.org/10.15083/00039620 doi:10.15083/00039620 ; MR 632996 http://www.ams.org/mathscinet-getitem?mr=632996

    work page doi:10.15083/00039620 1981

  15. [15]

    , Corrections to ``On \(L\)-dimension of coherent sheaves'', J. Fac. Sci. Univ. Tokyo Sect. IA Math. 29 (1982), no. 3, 719--720; https://doi.org/10.15083/00039572 doi:10.15083/00039572 ; MR 687596 http://www.ams.org/mathscinet-getitem?mr=687596

    work page doi:10.15083/00039572 1982

  16. [16]

    Richard Fedder and Kei-ichi Watanabe, A characterization of \(F\)-regularity in terms of \(F\)-purity, Commutative algebra (Berkeley, CA, 1987), Math. Sci. Res. Inst. Publ., vol. 15, Springer, New York, 1989, pp. 227--245; https://doi.org/10.1007/978-1-4612-3660-3_11 doi:10.1007/978-1-4612-3660-3_11 ; MR 1015520 https://mathscinet.ams.org/mathscinet-getit...

    work page doi:10.1007/978-1-4612-3660-3_11 1987

  17. [17]

    II, De Gruyter, Berlin, 2004, pp

    Ofer Gabber, Notes on some \(t\)-structures, Geometric aspects of Dwork theory, Vol. II, De Gruyter, Berlin, 2004, pp. 711--734; https://doi.org/10.1515/9783110198133.2.711 doi:10.1515/9783110198133.2.711 ; MR 2099084 https://mathscinet.ams.org/mathscinet-getitem?mr=2099084

    work page doi:10.1515/9783110198133.2.711 2004

  18. [18]

    Charles Godfrey and Takumi Murayama, Pure subrings of Du Bois singularities are D u B ois singularities , May 27, 2025, 15 pp.; https://arxiv.org/abs/2208.14429v3 arXiv:2208.14429v3 https://arxiv.org/abs/2208.14429v3 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  19. [19]

    Mark Gross, A finiteness theorem for elliptic C alabi- Y au threefolds , Duke Math. J. 74 (1994), no. 2, 271--299; https://doi.org/10.1215/S0012-7094-94-07414-0 doi:10.1215/S0012-7094-94-07414-0 ; MR 1272978 https://mathscinet.ams.org/mathscinet-getitem?mr=1272978

    work page doi:10.1215/s0012-7094-94-07414-0 1994

  20. [20]

    Algebra 38 (2010), no

    Mitsuyasu Hashimoto, \(F\)-pure homomorphisms, strong \(F\)-regularity, and \(F\)-injectivity, Comm. Algebra 38 (2010), no. 12, 4569--4596; https://doi.org/10.1080/00927870903431241 doi:10.1080/00927870903431241 ; MR 2764840 https://mathscinet.ams.org/mathscinet-getitem?mr=2764840

    work page doi:10.1080/00927870903431241 2010

  21. [21]

    Melvin Hochster and Craig Huneke, Tight closure, invariant theory, and the Brian c on-Skoda theorem , J. Amer. Math. Soc. 3 (1990), no. 1, 31--116; https://doi.org/10.2307/1990984 doi:10.2307/1990984 ; MR 1017784 https://mathscinet.ams.org/mathscinet-getitem?mr=1017784

    work page doi:10.2307/1990984 1990

  22. [22]

    , \(F\)-regularity, test elements, and smooth base change, Trans. Amer. Math. Soc. 346 (1994), no. 1, 1--62; https://doi.org/10.2307/2154942 doi:10.2307/2154942 ; MR 1273534 https://mathscinet.ams.org/mathscinet-getitem?mr=1273534

    work page doi:10.2307/2154942 1994

  23. [23]

    Algebraic Geom

    , Tight closure of parameter ideals and splitting in module-finite extensions, J. Algebraic Geom. 3 (1994), no. 4, 599--670; MR 1297848 https://mathscinet.ams.org/mathscinet-getitem?mr=1297848

    work page 1994

  24. [24]

    , Applications of the existence of big Cohen-Macaulay algebras, Adv. Math. 113 (1995), no. 1, 45--117; https://doi.org/10.1006/aima.1995.1035 doi:10.1006/aima.1995.1035 ; MR 1332808 https://mathscinet.ams.org/mathscinet-getitem?mr=1332808

    work page doi:10.1006/aima.1995.1035 1995

  25. [25]

    Melvin Hochster, Contracted ideals from integral extensions of regular rings, Nagoya Math. J. 51 (1973), 25--43; https://doi.org/10.1017/S0027763000015701 doi:10.1017/S0027763000015701 ; MR 349656 https://mathscinet.ams.org/mathscinet-getitem?mr=349656

    work page doi:10.1017/s0027763000015701 1973

  26. [26]

    Hochster and J

    Melvin Hochster and Joel L. Roberts, Rings of invariants of reductive groups acting on regular rings are C ohen- M acaulay , Advances in Math. 13 (1974), no. 2, 115--175; https://doi.org/10.1016/0001-8708(74)90067-X doi:10.1016/0001-8708(74)90067-X ; MR 347810 https://mathscinet.ams.org/mathscinet-getitem?mr=347810

    work page doi:10.1016/0001-8708(74)90067-x 1974

  27. [27]

    Hochster and J

    , The purity of the Frobenius and local cohomology, Advances in Math. 21 (1976), no. 2, 117--172; https://doi.org/10.1016/0001-8708(76)90073-6 doi:10.1016/0001-8708(76)90073-6 ; MR 417172 https://mathscinet.ams.org/mathscinet-getitem?mr=417172

    work page doi:10.1016/0001-8708(76)90073-6 1976

  28. [28]

    Andr\'e Joyal and Myles Tierney, An extension of the G alois theory of G rothendieck , Mem. Amer. Math. Soc. 51 (1984), no. 309, vii+71 pp.; https://doi.org/10.1090/memo/0309 doi:10.1090/memo/0309 ; MR 756176 https://mathscinet.ams.org/mathscinet-getitem?mr=756176

    work page doi:10.1090/memo/0309 1984

  29. [29]

    Takesi Kawasaki, On arithmetic M acaulayfication of N oetherian rings , Trans. Amer. Math. Soc. 354 (2002), no. 1, 123--149; https://doi.org/10.1090/S0002-9947-01-02817-3 doi:10.1090/S0002-9947-01-02817-3 ; MR 1859029 https://mathscinet.ams.org/mathscinet-getitem?mr=1859029

    work page doi:10.1090/s0002-9947-01-02817-3 2002

  30. [30]

    Ernst Kunz, On N oetherian rings of characteristic \(p\) , Amer. J. Math. 98 (1976), no. 4, 999--1013; https://doi.org/10.2307/2374038 doi:10.2307/2374038 ; MR 432625 https://mathscinet.ams.org/mathscinet-getitem?mr=432625

    work page doi:10.2307/2374038 1976

  31. [31]

    Daniel Lazard, Autour de la platitude, Bull. Soc. Math. France 97 (1969), 81--128; https://doi.org/10.24033/bsmf.1675 doi:10.24033/bsmf.1675 ; MR 254100 https://mathscinet.ams.org/mathscinet-getitem?mr=254100

    work page doi:10.24033/bsmf.1675 1969

  32. [32]

    Shiji Lyu, Permanence properties of splinters via ultrapower, Michigan Math. J. 75 (2025), no. 3, 615--622; https://doi.org/10.1307/mmj/20226274 doi:10.1307/mmj/20226274 ; MR 4929115 https://mathscinet.ams.org/mathscinet-getitem?mr=4929115

    work page doi:10.1307/mmj/20226274 2025

  33. [33]

    Algebra 116 (1988), no

    Frank Ma, Splitting in integral extensions, Cohen-Macaulay modules and algebras, J. Algebra 116 (1988), no. 1, 176--195; https://doi.org/10.1016/0021-8693(88)90200-1 doi:10.1016/0021-8693(88)90200-1 ; MR 944154 https://mathscinet.ams.org/mathscinet-getitem?mr=944154

    work page doi:10.1016/0021-8693(88)90200-1 1988

  34. [34]

    Bachuki Mesablishvili, Pure morphisms of commutative rings are effective descent morphisms for modules---a new proof, Theory Appl. Categ. 7 (2000), no. 3, 38--42; http://www.tac.mta.ca/tac/volumes/7/n3/7-03abs.html; MR 1742958 https://mathscinet.ams.org/mathscinet-getitem?mr=1742958

    work page 2000

  35. [35]

    Takumi Murayama, The gamma construction and asymptotic invariants of line bundles over arbitrary fields, Nagoya Math. J. 242 (2021), 165--207; https://doi.org/10.1017/nmj.2019.27 doi:10.1017/nmj.2019.27 ; MR 4250735 https://mathscinet.ams.org/mathscinet-getitem?mr=4250735

    work page doi:10.1017/nmj.2019.27 2021

  36. [36]

    , Relative vanishing theorems for \(Q\)-schemes , Algebr. Geom. 12 (2025), no. 1, 84--144; https://doi.org/10.14231/AG-2025-003 doi:10.14231/AG-2025-003 ; MR 4841227 https://mathscinet.ams.org/mathscinet-getitem?mr=4841227

    work page doi:10.14231/ag-2025-003 2025

  37. [37]

    Krieger Publishing Co., Huntington, NY, 1975; https://n2t.net/ark:/13960/s2r2641wnj6 ark:/13960/s2r2641wnj6 ; MR 460307 https://mathscinet.ams.org/mathscinet-getitem?mr=460307

    Masayoshi Nagata, Local rings, Corrected reprint, Robert E. Krieger Publishing Co., Huntington, NY, 1975; https://n2t.net/ark:/13960/s2r2641wnj6 ark:/13960/s2r2641wnj6 ; MR 460307 https://mathscinet.ams.org/mathscinet-getitem?mr=460307

    work page 1975

  38. [38]

    Noboru Nakayama, Intersection sheaves over normal schemes, J. Math. Soc. Japan 62 (2010), no. 2, 487--595; https://doi.org/10.2969/jmsj/06220487 doi:10.2969/jmsj/06220487 ; MR 2662853 https://mathscinet.ams.org/mathscinet-getitem?mr=2662853

    work page doi:10.2969/jmsj/06220487 2010

  39. [39]

    Jean-Pierre Olivier, Descente par morphismes purs, C. R. Acad. Sci. Paris S\'er. A-B 271 (1970), A821--A823; https://n2t.net/ark:/12148/bpt6k480299v/f827.item ark:/12148/bpt6k480299v/f827.item ; MR 272766 https://mathscinet.ams.org/mathscinet-getitem?mr=272766

    work page 1970

  40. [40]

    96, Universit\'e de Montpellier, Montpellier, 1971, i+20 pp.; MR 280569 https://mathscinet.ams.org/mathscinet-getitem?mr=280569

    , Encore une variation sur le th\'eor\`eme de B eck , Secr\'etariat des Math\'ematiques de la Facult\'e des Sciences de Montpellier, Publication No. 96, Universit\'e de Montpellier, Montpellier, 1971, i+20 pp.; MR 280569 https://mathscinet.ams.org/mathscinet-getitem?mr=280569

    work page 1971

  41. [41]

    , Descente de quelques propri\'et\'es \'el\'ementaires par morphismes purs, An. Acad. Brasil. Ci. 45 (1973), 17--33; http://memoria.bn.gov.br/DocReader/158119/19092; MR 335495 https://mathscinet.ams.org/mathscinet-getitem?mr=335495

    work page 1973

  42. [42]

    273--310; MR 605348 https://mathscinet.ams.org/mathscinet-getitem?mr=605348

    Miles Reid, Canonical \(3\)-folds, Journ\'ees de G\'eometrie Alg\'ebrique d'Angers, Juillet 1979/Algebraic Geometry, Angers, 1979, Sijthoff & Noordhoff, Alphen aan den Rijn---Germantown, Md., 1980, pp. 273--310; MR 605348 https://mathscinet.ams.org/mathscinet-getitem?mr=605348

    work page 1979

  43. [43]

    , Minimal models of canonical \(3\)-folds, Algebraic varieties and analytic varieties (Tokyo, 1981), Adv. Stud. Pure Math., vol. 1, North-Holland Publishing Co., Amsterdam, 1983, pp. 131--180; https://doi.org/10.2969/aspm/00110131 doi:10.2969/aspm/00110131 ; MR 715649 https://mathscinet.ams.org/mathscinet-getitem?mr=715649

    work page doi:10.2969/aspm/00110131 1981

  44. [44]

    Techniques de ``platification'' d'un module, Invent

    Michel Raynaud and Laurent Gruson, Crit\`eres de platitude et de projectivit\'e. Techniques de ``platification'' d'un module, Invent. Math. 13 (1971), 1--89; https://doi.org/10.1007/BF01390094 doi:10.1007/BF01390094 ; MR 308104 https://mathscinet.ams.org/mathscinet-getitem?mr=308104

    work page doi:10.1007/bf01390094 1971

  45. [45]

    Watanabe

    Kei-ichi Watanabe, \(F\)-rationality of certain Rees algebras and counterexamples to ``Boutot's theorem'' for \(F\)-rational rings, J. Pure Appl. Algebra 122 (1997), no. 3, 323--328; https://doi.org/10.1016/S0022-4049(97)00064-9 doi:10.1016/S0022-4049(97)00064-9 ; MR 1481095 https://mathscinet.ams.org/mathscinet-getitem?mr=1481095

    work page doi:10.1016/s0022-4049(97)00064-9 1997

  46. [46]

    3, 2024, 20 pp.; https://arxiv.org/abs/2312.14508v3 arXiv:2312.14508v3 https://arxiv.org/abs/2312.14508v3 [math.AC]

    Tatsuki Yamaguchi, \(F\)-pure and \(F\)-injective singularities in equal characteristic zero, Jan. 3, 2024, 20 pp.; https://arxiv.org/abs/2312.14508v3 arXiv:2312.14508v3 https://arxiv.org/abs/2312.14508v3 [math.AC]

    work page arXiv 2024

  47. [47]

    Ziquan Zhuang, Direct summands of klt singularities, With an appendix by Shiji Lyu, Invent. Math. 237 (2024), no. 3, 1683--1695; https://doi.org/10.1007/s00222-024-01281-1 doi:10.1007/s00222-024-01281-1 ; MR 4777095 https://mathscinet.ams.org/mathscinet-getitem?mr=4777095

    work page doi:10.1007/s00222-024-01281-1 2024