arxiv: 2604.20875 · v1 · submitted 2026-03-30 · 🧮 math.RT

Recognition: no theorem link

Lectures on singularity categories

Matt Booth

Authors on Pith no claims yet

Pith reviewed 2026-05-14 00:20 UTC · model grok-4.3

classification 🧮 math.RT

keywords singularity categoriestriangulated categoriesderived categoriesperfect complexeshomological algebrarepresentation theorymatrix factorizations

0 comments

The pith

Singularity categories quotient the derived category by perfect complexes to isolate singularities.

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

The paper consists of lecture notes for a graduate-level course that develops the theory of singularity categories from first principles. It shows how these categories arise as quotients in the homological algebra of rings and modules. A sympathetic reader cares because the construction extracts invariants that detect when a ring or variety fails to be regular. The notes progress from definitions and basic properties through examples and applications in representation theory.

Core claim

Singularity categories are the triangulated quotients obtained from the bounded derived category of finitely generated modules over a ring by dividing out the thick subcategory of perfect complexes, thereby focusing attention on the homological consequences of singularities.

What carries the argument

The singularity category, the Verdier quotient of D^b(mod R) by the perfect complexes, which retains only the information about non-regularity.

If this is right

The notes enable explicit calculations of singularity categories for hypersurface rings via matrix factorizations.
Thick subcategories of the singularity category correspond to certain singular loci or support varieties.
Equivalence of singularity categories provides a derived-invariant way to compare singularities across different rings.
The construction extends to produce stable categories useful in the classification of modules over finite-dimensional algebras.

Where Pith is reading between the lines

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

The same quotient construction could be applied in noncommutative settings or in the derived category of coherent sheaves on a scheme.
One could test the notes by verifying that they reproduce known results for simple singularities such as A-D-E hypersurfaces.
Links to stable homotopy theory or to the stable category of modules over a Frobenius algebra become visible once the quotient is formed.

Load-bearing premise

The reader possesses sufficient background in homological algebra, triangulated categories, and representation theory to follow the exposition.

What would settle it

A concrete computation showing that the singularity category of a regular ring is nonzero would contradict the definitions and properties presented.

read the original abstract

These are notes for a graduate-level introductory course on 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

These are clean lecture notes on singularity categories with no new results.

read the letter

These lecture notes by Matt Booth are a straightforward graduate-level introduction to singularity categories. The key point is that they add nothing new: no theorems, no derivations, no fresh examples. They simply organize material that already exists in the literature on triangulated categories and representation theory. That is exactly what lecture notes are supposed to do, and they appear to do it without unnecessary flourishes. The notes likely walk through the definition of the singularity category, its basic properties, and standard connections to derived categories and Auslander-Reiten theory in a logical order. For someone who already knows homological algebra and triangulated categories, this kind of structured summary can save time when getting up to speed on the topic. The only real limitation is the usual one for notes: they assume the reader has the background and may leave some routine verifications to the audience. There are no original claims, so there is nothing to check for circularity or fitting. This is useful for graduate students or postdocs who want a focused entry point into the area, or for anyone preparing to teach it. I would bring it to a reading group if the group is working through singularity categories or related topics in representation theory. I would not cite it in my own papers because it contains no new content. It does not need peer review as research; it is teaching material and should be judged on that basis.

Referee Report

0 major / 2 minor

Summary. This manuscript consists of lecture notes for a graduate-level introductory course on singularity categories. It covers foundational material in homological algebra and triangulated categories, with applications to representation theory and algebraic geometry, presented in a pedagogical sequence without original theorems or derivations.

Significance. If the exposition is accurate and complete, the notes could provide a useful compiled resource for graduate students and early-career researchers seeking an entry point into singularity categories, consolidating standard results and examples that are otherwise scattered across multiple sources.

minor comments (2)

Ensure consistent use of notation for the singularity category across all sections, particularly when transitioning from abstract triangulated categories to concrete examples in §3.
Add a brief index or table of key definitions at the end to aid navigation for readers using the notes as a reference.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the lecture notes and for recommending acceptance. We appreciate the recognition that these notes may serve as a consolidated pedagogical resource for graduate students and early-career researchers interested in singularity categories.

Circularity Check

0 steps flagged

No circularity: expository lecture notes contain no derivations or predictions

full rationale

The document is explicitly presented as lecture notes for an introductory graduate course on singularity categories. No novel theorems, derivations, equations, fitted parameters, or predictive claims are made. The content consists of exposition and background material assuming standard homological algebra prerequisites. No load-bearing steps exist that could reduce to self-definition, fitted inputs, or self-citations. The reader's assessment of score 0.0 is confirmed by the absence of any mathematical claims that could exhibit circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The document is introductory lecture notes relying on standard background from homological algebra and category theory without introducing new free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5268 in / 928 out tokens · 63457 ms · 2026-05-14T00:20:59.001776+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

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

[1]

Stable categories of C ohen- M acaulay modules and cluster categories

Claire Amiot, Osamu Iyama, and Idun Reiten. Stable categories of C ohen- M acaulay modules and cluster categories. Amer. J. Math. , 137(3):813--857, 2015

work page 2015
[2]

Cluster categories for algebras of global dimension 2 and quivers with potential

Claire Amiot. Cluster categories for algebras of global dimension 2 and quivers with potential. Ann. Inst. Fourier (Grenoble) , 59(6):2525--2590, 2009

work page 2009
[3]

On the purity of the branch locus

Maurice Auslander. On the purity of the branch locus. Amer. J. Math. , 84:116--125, 1962

work page 1962
[4]

Rational singularities and almost split sequences

Maurice Auslander. Rational singularities and almost split sequences. Trans. Amer. Math. Soc. , 293(2):511--531, 1986

work page 1986
[5]

Braun, J

C. Braun, J. Chuang, and A. Lazarev. Derived localisation of algebras and modules. Adv. Math. , 328:555--622, 2018

work page 2018
[6]

Tilting on non-commutative rational projective curves

Igor Burban and Yuriy Drozd. Tilting on non-commutative rational projective curves. Math. Ann. , 351(3):665--709, 2011

work page 2011
[7]

Brown and Tobias Dyckerhoff

Michael K. Brown and Tobias Dyckerhoff. Topological K -theory of equivariant singularity categories. Homology Homotopy Appl. , 22(2):1--29, 2020

work page 2020
[8]

Eric Overton-Walker, and Dylan Spence

Anirban Bhaduri, Yael Davidov, Eleonore Faber, Katrina Honigs, Peter McDonald, C. Eric Overton-Walker, and Dylan Spence. An explicit derived M c K ay correspondence for some complex reflection groups of rank two. Adv. Math. , 489:Paper No. 110794, 2026

work page 2026
[9]

Models for singularity categories

Hanno Becker. Models for singularity categories. Adv. Math. , 254:187--232, 2014

work page 2014
[10]

The homological theory of contravariantly finite subcategories: A uslander- B uchweitz contexts, G orenstein categories and (co-)stabilization

Apostolos Beligiannis. The homological theory of contravariantly finite subcategories: A uslander- B uchweitz contexts, G orenstein categories and (co-)stabilization. Comm. Algebra , 28(10):4547--4596, 2000

work page 2000
[11]

The singularity and cosingularity categories of C^*BG for groups with cyclic S ylow p -subgroups

Dave Benson and John Greenlees. The singularity and cosingularity categories of C^*BG for groups with cyclic S ylow p -subgroups. Algebr. Represent. Theory , 26(4):1181--1216, 2023

work page 2023
[12]

Reflexive dg categories in algebra and topology

Matt Booth , Isambard Goodbody , and Sebastian Opper . Reflexive dg categories in algebra and topology . arXiv e-prints , page arXiv:2506.11213, June 2025

work page arXiv 2025
[13]

Jorgensen

Petter Andreas Bergh and David A. Jorgensen. Complete intersections and equivalences with categories of matrix factorizations. Homology Homotopy Appl. , 18(2):377--390, 2016

work page 2016
[14]

Jorgensen

Petter Andreas Bergh and David A. Jorgensen. Categorical matrix factorizations. Ann. K-Theory , 8(3):355--378, 2023

work page 2023
[15]

A. I. Bondal and M. M. Kapranov. Framed triangulated categories. Mat. Sb. , 181(5):669--683, 1990

work page 1990
[16]

The relative singularity category of a non-commutative resolution of singularities

Igor Burban and Martin Kalck. The relative singularity category of a non-commutative resolution of singularities. Adv. Math. , 231(1):414--435, 2012

work page 2012
[17]

The M c K ay correspondence as an equivalence of derived categories

Tom Bridgeland, Alastair King, and Miles Reid. The M c K ay correspondence as an equivalence of derived categories. J. Amer. Math. Soc. , 14(3):535--554, 2001

work page 2001
[18]

Global Koszul duality

Matt Booth and Andrey Lazarev . Global Koszul duality . arXiv e-prints , page arXiv:2304.08409, April 2023

work page arXiv 2023
[19]

The derived contraction algebra

Matt Booth. The derived contraction algebra . PhD thesis, The U niversity of E dinburgh, 2019. ArXiv:1911.09626

work page arXiv 2019
[20]

Singularity categories via the derived quotient

Matt Booth. Singularity categories via the derived quotient. Adv. Math. , 381:Paper No. 107631, 56, 2021

work page 2021
[21]

The derived deformation theory of a point

Matt Booth. The derived deformation theory of a point. Math. Z. , 300(3):3023--3082, 2022

work page 2022
[22]

Motivic realizations of singularity categories and vanishing cycles

Anthony Blanc, Marco Robalo, Bertrand To\" e n, and Gabriele Vezzosi. Motivic realizations of singularity categories and vanishing cycles. J. \' E c. polytech. Math. , 5:651--747, 2018

work page 2018
[23]

Idempotent completion of triangulated categories

Paul Balmer and Marco Schlichting. Idempotent completion of triangulated categories. J. Algebra , 236(2):819--834, 2001

work page 2001
[24]

Brown and Prashanth Sridhar

Michael K. Brown and Prashanth Sridhar. Orlov's theorem for dg-algebras. Adv. Math. , 460:Paper No. 110035, 32, 2025

work page 2025
[25]

Maximal C ohen– M acaulay modules and T ate cohomology over G orenstein rings, 1986

Ragnar-Olaf Buchweitz. Maximal C ohen– M acaulay modules and T ate cohomology over G orenstein rings, 1986. Available at https://tspace.library.utoronto.ca/handle/1807/16682

work page 1986
[26]

Maximal C ohen- M acaulay modules and T ate cohomology , volume 262 of Mathematical Surveys and Monographs

Ragnar-Olaf Buchweitz. Maximal C ohen- M acaulay modules and T ate cohomology , volume 262 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2021. With appendices and an introduction by Luchezar L. Avramov, Benjamin Briggs, Srikanth B. Iyengar and Janina C. Letz

work page 2021
[27]

Benjamin Briggs and Mark E. Walker . On the Hochschild Homology of Curved Algebras . arXiv e-prints , page arXiv:2408.13334, August 2024

work page arXiv 2024
[28]

Integral transforms for coherent sheaves

David Ben-Zvi, David Nadler, and Anatoly Preygel. Integral transforms for coherent sheaves. J. Eur. Math. Soc. (JEMS) , 19(12):3763--3812, 2017

work page 2017
[29]

Derived categories of sheaves: a skimming

Andrei C a ld a raru. Derived categories of sheaves: a skimming. In Snowbird lectures in algebraic geometry , volume 388 of Contemp. Math. , pages 43--75. Amer. Math. Soc., Providence, RI, 2005

work page 2005
[30]

William Crawley-Boevey and Martin P. Holland. Noncommutative deformations of K leinian singularities. Duke Math. J. , 92(3):605--635, 1998

work page 1998
[31]

Unifying two results of O rlov on singularity categories

Xiao-Wu Chen. Unifying two results of O rlov on singularity categories. Abh. Math. Semin. Univ. Hambg. , 80(2):207--212, 2010

work page 2010
[32]

Relative singularity categories and G orenstein-projective modules

Xiao-Wu Chen. Relative singularity categories and G orenstein-projective modules. Math. Nachr. , 284(2-3):199--212, 2011

work page 2011
[33]

The singularity category via the stabilization

Xiao-Wu Chen . The singularity category via the stabilization . arXiv e-prints , page arXiv:2511.15387, November 2025

work page arXiv 2025
[34]

L G / CY correspondence: the state space isomorphism

Alessandro Chiodo and Yongbin Ruan. L G / CY correspondence: the state space isomorphism. Adv. Math. , 227(6):2157--2188, 2011

work page 2011
[35]

Singularities of noncommutative surfaces

Simon Crawford. Singularities of noncommutative surfaces . PhD thesis, The University of Edinburgh, 2018

work page 2018
[36]

Singularity categories of deformations of K leinian singularities

Simon Crawford. Singularity categories of deformations of K leinian singularities. Algebra Number Theory , 14(2):349--382, 2020

work page 2020
[37]

Curved A_ algebras and L andau- G inzburg models

Andrei C a ld a raru and Junwu Tu. Curved A_ algebras and L andau- G inzburg models. New York J. Math. , 19:305--342, 2013

work page 2013
[38]

The dg L eavitt algebra, singular Y oneda category and singularity category

Xiao-Wu Chen and Zhengfang Wang. The dg L eavitt algebra, singular Y oneda category and singularity category. Adv. Math. , 440:Paper No. 109541, 70, 2024. With an appendix by Bernhard Keller and Yu Wang

work page 2024
[39]

The singularity category as a stable module category

Xiao-Wu Chen and Zhengfang Wang . The singularity category as a stable module category . arXiv e-prints , page arXiv:2509.01056, September 2025

work page arXiv 2025
[40]

D G quotients of DG categories

Vladimir Drinfeld. D G quotients of DG categories. J. Algebra , 272(2):643--691, 2004

work page 2004
[41]

Explicit models for some stable categories of maximal C ohen- M acaulay modules

Louis de Thanhoffer de V\"olcsey and Michel Van den Bergh. Explicit models for some stable categories of maximal C ohen- M acaulay modules. Math. Res. Lett. , 23(5):1507--1526, 2016

work page 2016
[42]

Noncommutative deformations and flops

Will Donovan and Michael Wemyss. Noncommutative deformations and flops. Duke Math. J. , 165(8):1397--1474, 2016

work page 2016
[43]

Compact generators in categories of matrix factorizations

Tobias Dyckerhoff. Compact generators in categories of matrix factorizations. Duke Math. J. , 159(2):223--274, 2011

work page 2011
[44]

Homological algebra on a complete intersection, with an application to group representations

David Eisenbud. Homological algebra on a complete intersection, with an application to group representations. Trans. Amer. Math. Soc. , 260(1):35--64, 1980

work page 1980
[45]

Commutative algebra , volume 150 of Graduate Texts in Mathematics

David Eisenbud. Commutative algebra , volume 150 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1995. With a view toward algebraic geometry

work page 1995
[46]

Efimov and Leonid Positselski

Alexander I. Efimov and Leonid Positselski. Coherent analogues of matrix factorizations and relative singularity categories. Algebra Number Theory , 9(5):1159--1292, 2015

work page 2015
[47]

Francis, Tyler J

Amanda E. Francis, Tyler J. Jarvis, and Nathan Priddis. A brief survey of FJRW theory. In Primitive forms and related subjects--- K avli IPMU 2014 , volume 83 of Adv. Stud. Pure Math. , pages 19--53. Math. Soc. Japan, [Tokyo], [2019] 2019

work page 2014
[48]

Jarvis, and Yongbin Ruan

Huijun Fan, Tyler J. Jarvis, and Yongbin Ruan. A mathematical theory of the gauged linear sigma model. Geom. Topol. , 22(1):235--303, 2018

work page 2018
[49]

David Favero and Tyler L. Kelly. Fractional C alabi- Y au categories from L andau- G inzburg models. Algebr. Geom. , 5(5):596--649, 2018

work page 2018
[50]

Ezra Getzler and J. D. S. Jones . Operads, homotopy algebra and iterated integrals for double loop spaces . arXiv e-prints , pages hep--th/9403055, March 1994

work page arXiv 1994
[51]

Greuel and T

G.-M. Greuel and T. H. Pham. Mather- Y au theorem in positive characteristic. J. Algebraic Geom. , 26(2):347--355, 2017

work page 2017
[52]

Homotopical algebra and triangulated categories

Marco Grandis. Homotopical algebra and triangulated categories. Math. Proc. Cambridge Philos. Soc. , 118(2):259--285, 1995

work page 1995
[53]

Hochschild and cyclic homology of hypersurfaces

Buenos Aires Cyclic Homology Group. Hochschild and cyclic homology of hypersurfaces. Adv. Math. , 95(1):18--60, 1992

work page 1992
[54]

Homotopy invariants of singularity categories

Sira Gratz and Greg Stevenson. Homotopy invariants of singularity categories. J. Pure Appl. Algebra , 224(12):106433, 18, 2020

work page 2020
[55]

J. P. C. Greenlees and Greg Stevenson. Morita theory and singularity categories. Adv. Math. , 365:107055, 51, 2020

work page 2020
[56]

A proof of the existence of minimal R -algebra resolutions

Tor Holtedahl Gulliksen. A proof of the existence of minimal R -algebra resolutions. Acta Math. , 120:53--58, 1968

work page 1968
[57]

Homological mirror symmetry for invertible polynomials in two variables

Matthew Habermann. Homological mirror symmetry for invertible polynomials in two variables. Quantum Topol. , 13(2):207--253, 2022

work page 2022
[58]

Stable homotopy categories

Alex Heller. Stable homotopy categories. Bull. Amer. Math. Soc. , 74:28--63, 1968

work page 1968
[59]

Minimal model of G inzburg algebras

Stephen Hermes. Minimal model of G inzburg algebras. J. Algebra , 459:389--436, 2016

work page 2016
[60]

Cluster categories and rational curves

Zheng Hua and Bernhard Keller. Cluster categories and rational curves. Geom. Topol. , 28(6):2569--2634, 2024

work page 2024
[61]

Mc K ay correspondence and H ilbert schemes

Yukari Ito and Iku Nakamura. Mc K ay correspondence and H ilbert schemes. Proc. Japan Acad. Ser. A Math. Sci. , 72(7):135--138, 1996

work page 1996
[62]

Ito and I

Y. Ito and I. Nakamura. Hilbert schemes and simple singularities. In New trends in algebraic geometry ( W arwick, 1996) , volume 264 of London Math. Soc. Lecture Note Ser. , pages 151--233. Cambridge Univ. Press, Cambridge, 1999

work page 1996
[63]

On the M c K ay correspondence for a finite small subgroup of GL (2, C)

Akira Ishii. On the M c K ay correspondence for a finite small subgroup of GL (2, C) . J. Reine Angew. Math. , 549:221--233, 2002

work page 2002
[64]

Equivalence of the derived category of a variety with a singularity category

Mehmet Umut Isik. Equivalence of the derived category of a variety with a singularity category. Int. Math. Res. Not. IMRN , (12):2787--2808, 2013

work page 2013
[65]

The special M c K ay correspondence and exceptional collections

Akira Ishii and Kazushi Ueda. The special M c K ay correspondence and exceptional collections. Tohoku Math. J. (2) , 67(4):585--609, 2015

work page 2015
[66]

The Derived Auslander-Iyama Correspondence

Gustavo Jasso , Bernhard Keller , and Fernando Muro . The Derived Auslander-Iyama Correspondence . arXiv e-prints , page arXiv:2208.14413, August 2022

work page internal anchor Pith review Pith/arXiv arXiv 2022
[67]

Relative Singularity Categories

Martin Kalck. Relative Singularity Categories . PhD thesis, The University of Bonn, 2013

work page 2013
[68]

Classifying dg-categories of matrix factorizations

Martin Kalck . Classifying dg-categories of matrix factorizations . arXiv e-prints , page arXiv:2108.03292, August 2021

work page arXiv 2021
[69]

Derived M c K ay correspondence for GL(3, C )

Yujiro Kawamata. Derived M c K ay correspondence for GL(3, C ) . Adv. Math. , 328:1199--1216, 2018

work page 2018
[70]

Invariance and localization for cyclic homology of DG algebras

Bernhard Keller. Invariance and localization for cyclic homology of DG algebras. J. Pure Appl. Algebra , 123(1-3):223--273, 1998

work page 1998
[71]

On the cyclic homology of exact categories

Bernhard Keller. On the cyclic homology of exact categories. J. Pure Appl. Algebra , 136(1):1--56, 1999

work page 1999
[72]

Derived invariance of higher structures on the H ochschild complex, 2003

Bernhard Keller. Derived invariance of higher structures on the H ochschild complex, 2003. Available at https://webusers.imj-prg.fr/ bernhard.keller/publ/dih.pdf

work page 2003
[73]

On differential graded categories

Bernhard Keller. On differential graded categories. In International C ongress of M athematicians. V ol. II , pages 151--190. Eur. Math. Soc., Z\"urich, 2006

work page 2006
[74]

Deformed C alabi- Y au completions

Bernhard Keller. Deformed C alabi- Y au completions. J. Reine Angew. Math. , 654:125--180, 2011. With an appendix by Michel Van den Bergh

work page 2011
[75]

Singular H ochschild cohomology via the singularity category

Bernhard Keller. Singular H ochschild cohomology via the singularity category. C. R. Math. Acad. Sci. Paris , 356(11-12):1106--1111, 2018

work page 2018
[76]

Hochschild (co)homology and derived categories

Bernhard Keller. Hochschild (co)homology and derived categories. Bull. Iranian Math. Soc. , 47(suppl. 1):S57--S83, 2021

work page 2021
[77]

Trivial extension DG-algebras, unitally positive A_ -algebras, and applications

Joseph Karmazyn , Emma Lepri , and Michael Wemyss . Trivial extension DG-algebras, unitally positive A_ -algebras, and applications . arXiv e-prints , page arXiv:2411.17359, November 2024

work page arXiv 2024
[78]

Cohen- M acaulay modules on hypersurface singularities

Horst Kn \" o rrer. Cohen- M acaulay modules on hypersurface singularities. I . Invent. Math. , 88(1):153--164, 1987

work page 1987
[79]

u rich, 1994) , pages 120--139. Birkh\

Maxim Kontsevich. Homological algebra of mirror symmetry. In Proceedings of the I nternational C ongress of M athematicians, V ol. 1, 2 ( Z \" u rich, 1994) , pages 120--139. Birkh\" a user, Basel, 1995

work page 1994
[80]

The stable derived category of a N oetherian scheme

Henning Krause. The stable derived category of a N oetherian scheme. Compos. Math. , 141(5):1128--1162, 2005

work page 2005

Showing first 80 references.