REVIEW 1 major objections 5 minor 30 references
Measuring birational derived splinters
T0 review · 1 major / 5 minor · reviewed 2026-08-04 · deepseek-v4-flash
Pith's one-line read The paper defines µ_bds, a numerical invariant measuring failure to be a birational derived splinter, and proves it is finite and resolution-independent when a resolution of singularities exists.
desk verdict A genuinely useful invariant with clean proofs, but the main theorem leans on two lemmas from the same group's preprints; worth sending to a careful referee. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central mechanism is the level of an object in a triangulated category: the minimum number of cones, shifts, and direct summands needed to build the object from a given subcategory. The paper's invariant µ_bds(X) is the supremum of level_{Rf_*D^b_coh(Y)}(O_X) over all proper birational morphisms f:Y→X. Theorem 3.4 computes this supremum as a single level when a resolution f:X~→X exists, using a dévissage result that reduces any proper birational morphism to a blowup, the splitting of the natural morphism O_{X~}→Rh_*O_Z over a regular scheme (which lets Lemma 3.2 promote the structure sheaf to all perfect complexes), and companion lemmas ensuring finiteness and the existence of an object
What would settle it
Compute the level of the structure sheaf with respect to the derived pushforward of a resolution for a known singular scheme, such as a cone over a smooth projective curve of genus g≥1 over a perfect field, using two different resolutions (e.g., different blowups). If the two levels differ, or if the level is infinite, Theorem 3.4 fails.
Extended reading notes
Core claim
The paper's central discovery is that for a Noetherian scheme X admitting a resolution of singularities, the invariant µ_bds(X) — defined as the supremum over all proper birational morphisms Y→X of the level of O_X in Rf_*D^b_coh(Y) — coincides with the single level of O_X with respect to Rf_*D^b_coh(X~) for any resolution f, and is finite. This makes X a birational derived splinter precisely when µ_bds(X)=1. The proof reduces an a priori global condition to a categorical computation, using a dévissage result that reduces proper birational maps to blowups and the splitting of the natural morphism on a regular resolution. The paper also establishes that µ_bds is characterized by blowups alone
Load-bearing premise
The main formula equating µ_bds(X) with a single derived-category level assumes that X admits a resolution of singularities; without that, finiteness and resolution-independence are not established, and in positive characteristic such resolutions are not known to exist for arbitrary finite-type schemes.
Editorial extensions
If this is right
- µ_bds(X) is finite and computable from any resolution of singularities, so the birational derived splinter property can be checked by a single level computation.
- X is a birational derived splinter if and only if µ_bds(X)=1; when µ_bds(X)>1, the value quantifies how far X is from being one.
- µ_bds is invariant under projective bundles: for a vector bundle E of rank r+1 on X, µ_bds(X)=µ_bds(P_X(E)).
- For an affine normal X admitting a resolution, µ_bds(X) equals the supremum of µ_bds(O_{X,p}) over all points p, so the invariant is stalk-local in this setting.
- Over a perfect field, for proper schemes X,Y with resolutions, µ_bds(X) ≤ µ_bds(X×_k L) for every field extension L (with equality for finite L), and max{µ_bds(X),µ_bds(Y)} ≤ µ_bds(X×_k Y) ≤ µ_bds(X)µ_bds(Y). In particular, the birational derived splinter property descends from base change and is closed under products.
Reading between the lines
- The resolution-independence of µ_bds suggests the invariant could be defined purely categorically, without fixing a resolution, potentially extending to schemes where resolutions are not known; a natural test is whether the level remains finite for quasi-excellent schemes in positive characteristic that are known to have resolutions only in low dimension.
- Because µ_bds measures failure via cones in the derived category, it may connect to other generation-theoretic invariants such as Rouquier dimension or strong generation time of the singular locus; one could hypothesize that µ_bds is bounded by the Rouquier dimension of the bounded derived category, with equality for certain minimal singularities.
- The product inequality max{µ_bds(X),µ_bds(Y)} ≤ µ_bds(X×_k Y) ≤ µ_bds(X)µ_bds(Y) leaves open whether the upper bound is ever strict; finding examples where the product invariant is strictly less than the product of the factors would show subtler interaction of singularities under products.
- The paper's reliance on unpublished companion lemmas for finiteness and attainment suggests that a standalone proof of those facts might unlock the same results under weaker hypotheses, possibly allowing a purely categorical statement that the level of O_X with respect to Rf_*D^b_coh(X~) is independent of f without assuming X has a resolution.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a numerical invariant μ_bds(X) for Noetherian schemes X, defined as the supremum of level_{R f_* D^b_co h(Y)}(O_X) over all proper birational morphisms f:Y→X. It observes that X is a birational derived splinter precisely when μ_bds(X)=1 (Lemma 1.2 and Definition 1.3). The central result, Theorem 3.4, states that if X admits a resolution of singularities f:X~→X, then μ_bds(X) equals level_{R f_* D^b_co h(X~)}(O_X) and is finite, independent of the chosen resolution. The authors then study behavior under completion (Corollary 3.5), smooth pullbacks and projective bundles (Proposition 3.6, Corollary 3.7), localization to stalks (Proposition 3.11), field extensions (Propositions 4.1 and 4.3, Theorem 4.4), and products (Propositions 4.5 and Theorem 4.6). The main new results are in positive characteristic, where derived splinter techniques are less developed.
Significance. If correct, this paper provides a finite, computable invariant measuring the failure of birational derived splinters, and gives strong new evidence that categorical generation can encode singularities in positive and mixed characteristic. The reduction of μ_bds to a single resolution in Theorem 3.4 is conceptually clean, and the product/base-change inequalities are new. The paper is well written and the proofs are detailed; definitions are motivated by the relation between splitting of the unit and generation (Lemma 1.2). The main results are conditional on the existence of resolutions of singularities, a standard hypothesis in positive-characteristic questions but not always known. The paper's utility would be enhanced if the cited unpublished lemmas were made available or proved in the text.
major comments (1)
- [Theorem 3.4 (Section 3.1)] The proof of Theorem 3.4 depends on two load-bearing external results: [DL24, Lemma 3.9] for finiteness of level_{R f_* D^b_co h(X~)}(O_X) and [DLMR25, Lemma 5.5] for the existence of a single object E attaining that level. Both are unpublished preprints, the latter by three of the authors. The manuscript does not state the hypotheses of these lemmas. If [DL24, Lemma 3.9] requires, for example, quasi-excellence or finite dimensionality, or if [DLMR25, Lemma 5.5] requires closure under arbitrary direct sums or compact generation, then the stated generality of Theorem 3.4 ('Noetherian scheme admitting a resolution') may be too broad. The equality μ_bds(X)=level_{R f_* D^b_co h(X~)}(O_X) is the cornerstone of the paper, and Corollary 3.5, Corollary 3.7, Proposition 3.11, Proposition 4.3, Theorem 4.4, and Theorem 4.6 all invoke it. The authors should either state the needed lemmas in the man
minor comments (5)
- [Proposition 4.5] The proof contains a typo: 'Choose n≤μ_bds(X×_kY) such that O_{X'×Y}∈⟨Rf'_*D^b_coh(X×Y)⟩_n' should read 'O_{X×Y}∈⟨Rf'_*D^b_coh(X'×Y)⟩_n'. As written, the object and subcategory are on the wrong sides of the morphism f'.
- [Proposition 4.1] In the proof, the identity ℓ'_*O_XL ≅ ⊕_{n∈Z} O_X^{⊕r_n}[n] is not accurate: for a field extension ℓ':X_L→X, the pushforward ℓ'_*O_XL is a quasi-coherent sheaf concentrated in degree 0 and is isomorphic to a direct sum of copies of O_X, with no shifts. The splitting argument that follows is unaffected.
- [Proposition 3.3] The statement uses 'an Noetherian scheme' (typo for 'a Noetherian'). More substantially, the proof reduces to blowups via [Lüt93, Lemma 2.2], which may require integrality or other hypotheses. Since the paper allows non-integral schemes in the definition of birationality, please clarify that the cited lemma applies in this generality or state the proposition under the necessary hypotheses.
- [Theorem 3.4 proof] The first inequality in the displayed chain, level_{Rg_*D^b_co h(Y)}(O_X) ≤ level_{Rg_*D^b_co h(Y)}(R(g∘h)_*E') · level_{R(g∘h)_*E'}(O_X), uses the submultiplicativity of level in triangulated categories. This property is standard but not stated in Section 2; adding a reference or a short justification would improve readability.
- [Corollary 3.5] The inequality direction μ_bds(R)≥μ_bds(R^) is correct, but it may look counterintuitive at first. A sentence explaining that the level on the completed side is bounded above by the level on the original ring would help.
Circularity Check
No circularity: μ_bds is defined independently over all modifications and Theorem 3.4 genuinely proves collapse to a resolution via external generation lemmas.
full rationale
The invariant μ_bds(X) is defined as a supremum over all proper birational morphisms, and the birational-splinter equivalence is a direct consequence of Lemma 1.2 rather than an input. Theorem 3.4 does not identify itself with a resolution by construction: it imports finiteness from [DL24, Lemma 3.9], uses the splitting of regular schemes from [LV25, Lemma 3.16] to reduce D^b_coh(X~) to a single pushforward, and applies [DLMR25, Lemma 5.5] to choose an object attaining the level; the displayed inequalities then prove level_{Rg_*D^b_coh(Y)}(O_X) <= level_{Rf_*D^b_coh(X~)}(O_X) for arbitrary g. This is a genuine collapse argument, not a restatement of Definition 3.1. The Section 4 inequalities are derived from flat base change and Theorem 3.4, with no fitted constants or post-hoc exclusions. The main caveat is that the proof leans on same-author preprints ([DL24], [DLM24], [DLMR25]) for finiteness/attainment and on [LV25] for the regular-scheme splitting; this is an external-dependency/correctness risk, not circularity, since the cited lemmas have stated assumptions not containing the target equality and the paper does not redefine its invariant in terms of them.
Assumptions & free parameters
assumptions (6)
- domain assumption Existence of a resolution of singularities f: X~ -> X for the schemes considered in Theorem 3.4 and Section 4.
- standard math [Lüt93, Lemma 2.2] factorization of proper birational morphisms through blowups.
- standard math [LV25, Lemma 3.16] every quasi-compact regular scheme is a birational derived splinter.
- standard math [DL24, Lemmas 3.8 and 3.9] and [DLMR25, Lemma 5.5] give finiteness of levels and existence of objects attaining the level.
- standard math [Let21, Corollary 3.4] local-to-global behavior of levels over affine Noetherian schemes.
- standard math Flat/proper base change and the decomposition of Rπ_*O_{X×Y} as a bounded complex of copies of O_X for Y proper over k.
Cite this review
Pith. "Pith review of Measuring birational derived splinters." pith.science (2026). https://pith.science/paper/AH5SLECW
@misc{pith2026251026648,
author = {Pith},
title = {Pith review of: Measuring birational derived splinters},
year = {2026},
howpublished = {\url{https://pith.science/paper/AH5SLECW}},
note = {Machine review of arXiv:2510.26648}
}
read the original abstract
This work is concerned with categorical methods for studying singularities. Our focus is on birational derived splinters, which is a notion that extends the definition of rational singularities beyond varieties over fields of characteristic zero. Particularly, we show that an invariant called `level' in the associated derived category measures the failure of these singularities.
Reference graph
Works this paper leans on
-
[1]
Avramov, Ragnar-Olaf Buchweitz, Srikanth B
Luchezar L. Avramov, Ragnar-Olaf Buchweitz, Srikanth B. Iyengar, and Claudia Miller. Homology of perfect complexes. Adv. Math. , 223(5):1731--1781, 2010
2010
-
[2]
The direct factor conjecture
Yves Andr \'e . The direct factor conjecture. Publ. Math., Inst. Hautes \'E tud. Sci. , 127:71--93, 2018
2018
-
[3]
Derived splinters in positive characteristic
Bhargav Bhatt. Derived splinters in positive characteristic. Compos. Math. , 148(6):1757--1786, 2012
2012
-
[4]
On the direct summand conjecture and its derived variant
Bhargav Bhatt. On the direct summand conjecture and its derived variant. Invent. Math. , 212(2):297--317, 2018
2018
-
[5]
Generators and representability of functors in commutative and noncommutative geometry
Alexei Bondal and Michel V an den B ergh. Generators and representability of functors in commutative and noncommutative geometry. Mosc. Math. J. , 3(1):1--36, 258, 2003
2003
-
[6]
D\' e vissage for generation in derived categories
Souvik Dey and Pat Lank. D\' e vissage for generation in derived categories. arXiv:2401.13661 https://arXiv.org/abs/2401.13661, 2024. accepted to Proc. Amer. Math. Soc
arXiv 2024
-
[7]
Descent and generation for noncommutative coherent algebras over schemes
Timothy De Deyn , Pat Lank, and Kabeer Manali-Rahul . Descent and generation for noncommutative coherent algebras over schemes. arXiv: 2410.01785 https://arXiv.org/abs/2410.01785, 2024
arXiv 2024
-
[8]
Descending strong generation in algebraic geometry
Timothy De Deyn, Pat Lank, and Kabeer Manali-Rahul. Descending strong generation in algebraic geometry. arXiv:2502.08629 https://arXiv.org/abs/2502.08629, 2025
arXiv 2025
Show all 30 references
-
[9]
Lunts, and Olaf M
Alexey Elagin, Valery A. Lunts, and Olaf M. Schn\"urer. Smoothness of derived categories of algebras. Mosc. Math. J. , 20(2):277--309, 2020
2020
-
[10]
Dieudonn \'e
Alexander Grothendieck and Jean A. Dieudonn \'e . \'E l \'e ments de g \'e om \'e trie alg \'e brique. I , volume 166 of Grundlehren Math. Wiss. Springer, Cham, 1971
1971
-
[11]
\'el\'ements de g\'eom\'etrie alg\'ebrique : IV
Alexander Grothendieck. \'el\'ements de g\'eom\'etrie alg\'ebrique : IV . \'etude locale des sch\'emas et des morphismes de sch\'emas, seconde partie. Publications Math\'ematiques de l'IH\'ES , 24:5--231, 1965
1965
-
[12]
Algebraic geometry
Robin Hartshorne. Algebraic geometry. Corr . 3rd printing , volume 52 of Grad. Texts Math. Springer, Cham, 1983
1983
-
[13]
Hochster
M. Hochster. Contracted ideals from integral extensions of regular rings. Nagoya Math. J. , 51:25--43, 1973
1973
-
[14]
Homological conjectures, old and new
Melvin Hochster. Homological conjectures, old and new. Ill. J. Math. , 51(1):151--169, 2007
2007
-
[15]
Simultaneous normalization and algebra husks
J \'a nos Koll \'a r. Simultaneous normalization and algebra husks. Asian J. Math. , 15(3):437--450, 2011
2011
-
[16]
Kov \'a cs
S \'a ndor J. Kov \'a cs. A characterization of rational singularities. Duke Math. J. , 102(2):187--191, 2000
2000
-
[17]
Descent conditions for generation in derived categories
Pat Lank. Descent conditions for generation in derived categories. J. Pure Appl. Algebra , 228(9):19, 2024. Id/No 107671
2024
-
[18]
Janina C. Letz. Local to global principles for generation time over commutative Noetherian rings. Homology Homotopy Appl. , 23(2):165--182, 2021
2021
-
[19]
Pseudo-rational local rings and a theorem of Briancon - Skoda about integral closures of ideals
Joseph Lipman and Bernard Teissier. Pseudo-rational local rings and a theorem of Briancon - Skoda about integral closures of ideals. Mich. Math. J. , 28:97--116, 1981
1981
-
[20]
L \"u tkebohmert
W. L \"u tkebohmert. On compactification of schemes. Manuscr. Math. , 80(1):95--111, 1993
1993
-
[21]
Triangulated characterizations of singularities
Pat Lank and Sridhar Venkatesh. Triangulated characterizations of singularities. Nagoya Mathematical Journal , page 1–15, 2025
2025
-
[22]
On some properties of birational derived splinters
Shiji Lyu. On some properties of birational derived splinters. arXiv:2210.03193 https://arXiv.org/abs/2210.03193, 2022
2022 arXiv
-
[23]
McDonald, Rebecca R.G, and Karl Schwede
Linquan Ma, Peter M. McDonald, Rebecca R.G, and Karl Schwede. The B rian c on- S koda theorem for pseudo-rational and D u B ois singularities. arXiv:2510.11540 https://arxiv.org/abs/2510.11540, 2025
2025 arXiv
-
[24]
F -singularities: A commutative algebra approach
Linquan Ma and Thomas Polstra. F -singularities: A commutative algebra approach . Notes, 2025. Preprint, available at https://www.math.purdue.edu/ ma326/F-singularitiesBook.pdf
2025
-
[25]
Singularities in mixed characteristic via perfectoid big Cohen - Macaulay algebras
Linquan Ma and Karl Schwede. Singularities in mixed characteristic via perfectoid big Cohen - Macaulay algebras. Duke Math. J. , 170(13):2815--2890, 2021
2021
-
[26]
Relative vanishing theorems for Q -schemes
Takumi Murayama. Relative vanishing theorems for Q -schemes. Algebr. Geom. , 12(1):84--144, 2025
2025
-
[27]
Anurag K. Singh. \( Q \) -gorenstein splinter rings of characteristic \(p\) are F -regular. Math. Proc. Camb. Philos. Soc. , 127(2):201--205, 1999
1999
-
[28]
Tight closure of parameter ideals and F -rationality
Karen Ellen Smith. Tight closure of parameter ideals and F -rationality . University of Michigan, 1993
1993
-
[29]
Stacks Project
The Stacks Project Authors . Stacks Project. https://stacks.math.columbia.edu, 2025
2025
-
[30]
Desingularization of quasi-excellent schemes in characteristic zero
Michael Temkin. Desingularization of quasi-excellent schemes in characteristic zero. Adv. Math. , 219(2):488--522, 2008
2008
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.