arxiv: 2605.08868 · v1 · submitted 2026-05-09 · 🧮 math.CT

Recognition: 2 theorem links

· Lean Theorem

The singularity category of a separable extension

Charalampos Verasdanis

Pith reviewed 2026-05-12 01:30 UTC · model grok-4.3

classification 🧮 math.CT

keywords singularity categoryseparable extensionnoetherian ringsfinite étale morphismstriangulated categoriesderived categoriesschemes

0 comments

The pith

Separable extensions of noetherian rings induce separable extensions of their singularity categories.

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

The paper proves that a separable extension between noetherian rings produces a separable extension between the corresponding singularity categories. The same holds for finite étale morphisms between noetherian schemes. A sympathetic reader cares because singularity categories isolate the homological data of non-regular points or modules, so this result shows that the separable extension structure survives the passage to this quotient category and can be used to relate singularities across base changes.

Core claim

We prove that separable extensions of noetherian rings and finite étale morphisms of noetherian schemes give rise to separable extensions of singularity categories.

What carries the argument

The singularity category of a ring or scheme, formed as the Verdier quotient of the bounded derived category by the perfect complexes, which carries over the separable extension property from the ring or scheme level.

If this is right

Separability of the ring extension implies separability of the induced extension of singularity categories.
Finite étale morphisms of schemes preserve the separable extension property at the level of singularity categories.
Questions about singularity categories can be reduced along separable extensions without losing the extension data.

Where Pith is reading between the lines

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

The result may allow descent of homological invariants along étale covers in the singularity setting.
It suggests checking concrete examples like hypersurface rings or Dedekind domains to verify the transfer of separability.
This could connect to base-change formulas for singularity categories in algebraic geometry.

Load-bearing premise

The rings and schemes are noetherian, which makes the singularity categories well-defined and lets separability pass through the constructions.

What would settle it

A concrete separable extension of noetherian rings, such as a finite separable field extension or a quadratic extension of a polynomial ring, where the induced functor on singularity categories fails to be separable by direct computation of the relevant trace or splitting maps.

read the original abstract

We prove that separable extensions of noetherian rings and finite \'etale morphisms of noetherian schemes give rise to separable extensions of singularity categories.

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.

Desk Editor's Note private letter to a colleague

The paper shows separable extensions of noetherian rings induce separable extensions of singularity categories, with the same for finite étale scheme morphisms.

read the letter

The core result is that if R to S is a separable extension of noetherian rings, then the singularity category of S is a separable extension of the singularity category of R. The same holds for finite étale morphisms of noetherian schemes. Singularity categories here are the Verdier quotients of the bounded derived category by the perfect complexes, so the claim is about these quotients inheriting the separability property from the ring or scheme level. This is a direct, concrete statement rather than a broad reformulation of existing work. The paper does well by handling both the algebraic and geometric cases in one theorem, which makes the result more applicable for people moving between rings and schemes. The noetherian hypothesis is the standard one that makes the quotients triangulated and the functors well-behaved, so the setup looks routine rather than forced. The argument appears to rest on standard properties of extension functors and how they interact with perfect complexes and the quotient, without introducing new machinery. One soft spot is that the noetherian condition is load-bearing; dropping it would likely break the definitions, and the paper does not explore what happens in non-noetherian settings. Without the full proof in front of me it is hard to judge whether any step requires extra care with boundedness or with the precise definition of separability in the triangulated sense, but nothing in the statement suggests a hidden circularity or an invented notion. This paper is for people already working with singularity categories in commutative algebra or algebraic geometry who need to relate these categories across extensions. A reader who cares about transferring properties like separability through base change or morphisms will get direct value. It is not foundational, but the result is specific enough that it could be cited in follow-up work on invariants or classifications. I would send it to peer review so the details of the proof can be checked by someone who knows the literature on these quotients.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that separable extensions of noetherian rings induce separable extensions of the associated singularity categories (Verdier quotients D^b(R)/perf(R)), and that finite étale morphisms of noetherian schemes induce separable extensions of the corresponding singularity categories.

Significance. If correct, the result transfers the notion of separability from rings and schemes to their singularity categories via standard Verdier quotient constructions. This may aid in relating homological invariants of singularities under separable base change or extensions, building on existing work in triangulated categories and commutative algebra.

minor comments (3)

The abstract is concise but does not recall the definition of the singularity category or the precise meaning of 'separable extension' for triangulated categories; adding one sentence would improve accessibility.
In the introduction or §1, ensure the noetherian hypothesis is explicitly justified as sufficient for the bounded derived category and perfect complexes to form a triangulated quotient with the expected functoriality.
Notation for the singularity category (e.g., D_sg(R) or similar) should be introduced consistently before the main statements in §2 and §3.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our manuscript and for recommending minor revision. The referee's description accurately captures the main results concerning separable extensions of singularity categories induced by separable extensions of noetherian rings and finite étale morphisms of noetherian schemes.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper states a theorem that separable extensions of noetherian rings and finite étale morphisms of noetherian schemes induce separable extensions of the associated singularity categories (Verdier quotients of bounded derived categories by perfect complexes). No load-bearing step reduces by definition, fitted input, or self-citation chain to the target claim itself. The noetherian hypothesis is a standard external condition ensuring the quotients are triangulated and functors are well-defined; the proof proceeds via independent categorical transfer of separability through the quotient construction rather than tautological renaming or ansatz smuggling. This is the normal case of a self-contained theorem in homological algebra.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on standard definitions and properties of singularity categories for noetherian rings and schemes; no free parameters or new entities are introduced in the abstract.

axioms (1)

domain assumption Singularity categories are well-defined for noetherian rings and schemes via the usual quotient construction in derived categories.
Invoked implicitly to make the statement about extensions meaningful.

pith-pipeline@v0.9.0 · 5292 in / 1030 out tokens · 45960 ms · 2026-05-12T01:30:12.519528+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
Theorem 5.5: equivalence E_S : S(A) ≃ Mod_{S(R)} A for separable flat R-algebra A
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
Theorem 6.1 and Corollary 6.4 for finite étale morphisms and D_sg equivalences

Reference graph

Works this paper leans on

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

[1]

L. M. Alonso Tarrio, A. Jerem´ ıas L´ opez and M. J. Souto Salorio, Bousfield localization on formal schemes, J. Algebra278(2004), no. 2, 585–610

work page 2004
[2]

Balmer, Separability and triangulated categories, Adv

P. Balmer, Separability and triangulated categories, Adv. Math.226(2011), no. 5, 4352– 4372

work page 2011
[3]

Balmer, Splitting tower and degree of tt-rings, Algebra Number Theory8(2014), no

P. Balmer, Splitting tower and degree of tt-rings, Algebra Number Theory8(2014), no. 3, 767–779

work page 2014
[4]

Balmer, Stacks of group representations, J

P. Balmer, Stacks of group representations, J. Eur. Math. Soc. (JEMS)17(2015), no. 1, 189–228

work page 2015
[5]

Balmer, The derived category of an ´ etale extension and the separable Neeman-Thomason theorem, J

P. Balmer, The derived category of an ´ etale extension and the separable Neeman-Thomason theorem, J. Inst. Math. Jussieu15(2016), no. 3, 613–623

work page 2016
[6]

Balmer and J

P. Balmer and J. F. Carlson, Separable commutative rings in the stable module category of cyclic groups, Algebr. Represent. Theory21(2018), no. 2, 399–417

work page 2018
[7]

Balmer, I

P. Balmer, I. Dell’Ambrogio and B. Sanders, Restriction to finite-index subgroups as ´ etale extensions in topology, KK-theory and geometry, Algebr. Geom. Topol.15(2015), no. 5, 3025–3047

work page 2015
[8]

Balmer, I

P. Balmer, I. Dell’Ambrogio and B. Sanders, Grothendieck-Neeman duality and the Wirthm¨ uller isomorphism, Compos. Math.152(2016), no. 8, 1740–1776

work page 2016
[9]

Balmer and G

P. Balmer and G. Favi, Generalized tensor idempotents and the telescope conjecture, Proc. Lond. Math. Soc. (3)102(2011), no. 6, 1161–1185

work page 2011
[10]

Dell’Ambrogio and B

I. Dell’Ambrogio and B. Sanders, A note on triangulated monads and categories of module spectra, C. R. Math. Acad. Sci. Paris356(2018), no. 8, 839–842

work page 2018
[11]

Emmanouil,K-flatness and orthogonality in homotopy categories, Israel J

I. Emmanouil,K-flatness and orthogonality in homotopy categories, Israel J. Math.255 (2023), no. 1, 201–230

work page 2023
[12]

Homological Aspects of Separable Extensions of Triangulated Categories

M. Karakikes and P. Kostas, Homological Aspects of Separable Extensions of Triangulated Categories, Preprint arXiv:2604.17996 (2026)

work page internal anchor Pith review Pith/arXiv arXiv 2026
[13]

Kostas, C

P. Kostas, C. Psaroudakis and J. Vit´ oria, Intrinsic homological algebra for triangulated cat- egories, Preprint arXiv:2512.18417 (2025)

work page arXiv 2025
[14]

Krause, The stable derived category of a Noetherian scheme, Compos

H. Krause, The stable derived category of a Noetherian scheme, Compos. Math.141(2005), no. 5, 1128–1162

work page 2005
[15]

Mac Lane,Categories for the working mathematician, second edition, Graduate Texts in Mathematics, 5, Springer, New York, 1998

S. Mac Lane,Categories for the working mathematician, second edition, Graduate Texts in Mathematics, 5, Springer, New York, 1998

work page 1998
[16]

Murfet, The mock homotopy category of projectives and Grothendieck duality, Ph.D

D. Murfet, The mock homotopy category of projectives and Grothendieck duality, Ph.D. the- sis, (2007)

work page 2007
[17]

Naumann and L

N. Naumann and L. Pol, Separable commutative algebras and Galois theory in stable homo- topy theories, Adv. Math.449(2024), Paper No. 109736, 67 pp

work page 2024
[18]

Neeman, Separable monoids inD qc(X), J

A. Neeman, Separable monoids inD qc(X), J. Reine Angew. Math.738(2018), 237–280

work page 2018
[19]

Positselski, Contraherent cosheaves on schemes, Preprint arXiv:1209.2995 (2025)

L. Positselski, Contraherent cosheaves on schemes, Preprint arXiv:1209.2995 (2025)

work page arXiv 2025
[20]

Ramzi, Separability in homotopical algebra, Preprint arXiv:2305.17236 (2023)

M. Ramzi, Separability in homotopical algebra, Preprint arXiv:2305.17236 (2023)

work page arXiv 2023
[21]

Riehl,Category theory in context, Aurora Dover Modern Math Originals, Dover, Mineola, NY, 2016

E. Riehl,Category theory in context, Aurora Dover Modern Math Originals, Dover, Mineola, NY, 2016. THE SINGULARITY CATEGORY OF A SEPARABLE EXTENSION 13

work page 2016
[22]

Sanders, A characterization of finite ´ etale morphisms in tensor triangular geometry, ´Epijournal G´ eom

B. Sanders, A characterization of finite ´ etale morphisms in tensor triangular geometry, ´Epijournal G´ eom. Alg´ ebrique6(2022), Art. 18, 25 pp

work page 2022
[23]

Stevenson, Support theory via actions of tensor triangulated categories, J

G. Stevenson, Support theory via actions of tensor triangulated categories, J. Reine Angew. Math.681(2013), 219–254

work page 2013
[24]

Stevenson, Subcategories of singularity categories via tensor actions, Compos

G. Stevenson, Subcategories of singularity categories via tensor actions, Compos. Math.150 (2014), no. 2, 229–272

work page 2014
[25]

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

work page 2026
[26]

Verasdanis, Colocalizing subcategories of singularity categories, J

C. Verasdanis, Colocalizing subcategories of singularity categories, J. Algebra662(2025), 608–624. Institute of Mathematics, Czech Academy of Sciences,ˇZitn´a 25, 115 67 Prague, Czech Republic Email address:verasdanis@math.cas.cz

work page 2025