pith. machine review for the scientific record. sign in

arxiv: 2605.01641 · v1 · submitted 2026-05-02 · 🧮 math.AG · math.AT· math.RA

Recognition: 2 theorem links

· Lean Theorem

An Orlov theorem for matrix factorizations with multiple factors

Alessandro Lehmann , Nicol\`o Sibilla
Authors on Pith no claims yet

Pith reviewed 2026-05-08 19:32 UTC · model grok-4.3

classification 🧮 math.AG math.ATmath.RA
keywords matrix factorizationsOrlov theoremroot stackssingularity categoriessemiorthogonal decompositiontriangulated categoriesderived categories
0
0 comments X

The pith

The n-step matrix factorization category is equivalent to the singularity category of the n-th root stack of (X, D).

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

The paper extends Orlov's theorem by defining a triangulated category of matrix factorizations that involve n steps instead of the usual two. For a regular scheme X equipped with a flat morphism W to the affine line, whose zero fiber is D, this n-step category is equivalent to the singularity category of the n-th root stack of the pair (X, D). The same category also admits a semiorthogonal decomposition consisting of n-1 copies of the ordinary two-step matrix factorization category. A reader would care because the result supplies an explicit categorical bridge between multi-step factorizations and stacky singularities, together with a concrete decomposition that reduces questions about the former to the latter.

Core claim

We construct an appropriate triangulated category of matrix factorizations with n-steps and show that it is equivalent to the singularity category of the root stack √[n](X, D). We also show that this category admits a semiorthogonal decomposition into n-1 copies of the usual (absolute derived) category of matrix factorizations with 2 steps.

What carries the argument

The triangulated category of n-step matrix factorizations, whose equivalence to the singularity category of the root stack √[n](X, D) carries the main result.

If this is right

  • The singularity category of the n-th root stack admits a description in terms of n-step matrix factorizations.
  • The n-step category decomposes semiorthogonally into n-1 copies of the standard two-step matrix factorization category.
  • Any result known for ordinary matrix factorizations can be lifted, via the decomposition, to statements about the root-stack singularity category.
  • The construction supplies a uniform way to pass between multi-factor and two-factor descriptions of the same categorical object.

Where Pith is reading between the lines

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

  • The equivalence may let one import known computations of singularity categories for root stacks into the language of higher matrix factorizations.
  • Explicit low-dimensional examples, such as plane curve singularities, could be used to test the decomposition for small values of n.
  • The semiorthogonal pieces might correspond to different choices of roots or to graded pieces of a natural filtration on the root stack.

Load-bearing premise

The scheme X must be regular and the morphism W must be flat so that the central fiber D is well-behaved and the n-step matrix factorization category can be defined in a way that yields the stated equivalence.

What would settle it

An explicit computation, for small n and a concrete regular X with flat W, in which the n-step category fails to be equivalent to the singularity category of the root stack or the semiorthogonal decomposition fails to exist.

read the original abstract

We prove a generalization of Orlov's theorem for matrix factorizations with $n$ steps. Let $X$ be a regular scheme, $W\colon X\to \mathbb{A}^1$ a flat morphism and $D:=W^{-1}(0)$ its central fiber. We construct an appropriate triangulated category of matrix factorizations with $n$-steps and show that it is equivalent to the singularity category of the root stack $\sqrt[n]{(X, D)}$. We also show that this category admits a semiorthogonal decomposition into $n-1$ copies of the usual (absolute derived) category of matrix factorizations with $2$ steps.

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 manuscript proves a generalization of Orlov's theorem to matrix factorizations with n steps. For a regular scheme X and flat morphism W: X → A¹ with central fiber D = W^{-1}(0), the authors construct a triangulated category of n-step matrix factorizations and prove its equivalence to the singularity category of the root stack √[n](X, D). They additionally establish that this category admits a semiorthogonal decomposition into n-1 copies of the standard 2-step matrix factorization category.

Significance. If the results hold, this provides a natural and useful extension of the theory of matrix factorizations and their relation to singularity categories, now incorporating root stacks. The semiorthogonal decomposition relating the n-step and 2-step categories is a strong structural statement that may aid computations and further developments in derived algebraic geometry. The construction is direct and the equivalence is a clean categorical result.

minor comments (3)
  1. [Introduction] In the introduction, a short paragraph recalling the statement of the classical Orlov theorem (for n=2) would help situate the generalization for readers.
  2. [§3] The definition of the n-step matrix factorization category (likely in §3) could include an explicit comparison of the objects and morphisms to the usual 2-step case to clarify the extension.
  3. [Theorem 4.1] In the statement of the main equivalence theorem, explicitly name the functors realizing the equivalence and the semiorthogonal decomposition for immediate reference.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines an n-step matrix factorization category from first principles using the given regular scheme X, flat morphism W, and central fiber D, then constructs functors and proves triangulated equivalence to the singularity category of the root stack √[n](X, D) via standard methods in derived algebraic geometry. The semiorthogonal decomposition into copies of the 2-step case follows directly from the multi-step structure without any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. All steps rely on external theorems (e.g., Orlov's original result) and explicit categorical constructions that remain independent of the target equivalence.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the standard domain assumptions that X is regular and W is flat; no free parameters, new postulated entities, or ad-hoc axioms beyond these are visible in the abstract.

axioms (2)
  • domain assumption X is a regular scheme
    Required for the singularity category and root-stack constructions to behave as stated.
  • domain assumption W is a flat morphism
    Ensures the central fiber D = W^{-1}(0) is a well-defined divisor for the root stack.

pith-pipeline@v0.9.0 · 5406 in / 1393 out tokens · 33034 ms · 2026-05-08T19:32:26.808914+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

132 extracted references · 6 canonical work pages

  1. [1]

    Inventiones mathematicae , volume=

    Cohen-Macaulay modules on hypersurface singularities I , author=. Inventiones mathematicae , volume=. 1987 , publisher=

    1987

  2. [2]

    Proceedings of the International Congress of Mathematicans, ICM 2014 , pages=

    Semiorthogonal decompositions in algebraic geometry , author=. Proceedings of the International Congress of Mathematicans, ICM 2014 , pages=

    2014

  3. [3]

    Tohoku Mathematical Journal, Second Series , volume=

    The special McKay correspondence and exceptional collections , author=. Tohoku Mathematical Journal, Second Series , volume=. 2015 , publisher=

    2015

  4. [4]

    Documenta Mathematica , volume=

    Parabolic semi-orthogonal decompositions and Kummer flat invariants of log schemes , author=. Documenta Mathematica , volume=

  5. [5]

    Proceedings of the Steklov Institute of Mathematics , volume=

    Triangulated categories of singularities and D-branes in Landau-Ginzburg models , author=. Proceedings of the Steklov Institute of Mathematics , volume=

  6. [6]

    manuscripta mathematica , volume=

    Root stacks and periodic decompositions , author=. manuscripta mathematica , volume=. 2024 , publisher=

    2024

  7. [7]

    Selecta Mathematica , volume=

    Geometricity for derived categories of algebraic stacks , author=. Selecta Mathematica , volume=. 2016 , publisher=

    2016

  8. [8]

    Talpo, Mattia and Vistoli, Angelo , title =. Proc. Lond. Math. Soc. (3) , volume =. 2018 , doi =

    2018

  9. [9]

    2017 , url =

    Higher Algebra , author =. 2017 , url =

    2017

  10. [10]

    2018 , url =

    Spectral Algebraic Geometry , author =. 2018 , url =

    2018

  11. [11]

    Derived Algebraic Geometry X: Formal Moduli Problems , url =

    Jacob Lurie , year=. Derived Algebraic Geometry X: Formal Moduli Problems , url =

  12. [12]

    On the uniqueness of infinity-categorical enhancements of triangulated categories , author=

  13. [13]

    Uniqueness of enhancements for derived and geometric categories , author=

  14. [14]

    Methods of Homological Algebra , author=

  15. [15]

    Elements of infinity-category Theory , author =

  16. [16]

    Higher Topos Theory (AM-170) , author=

  17. [17]

    Triangulated Categories , year =

    Amnon Neeman , publisher =. Triangulated Categories , year =

  18. [18]

    1996 , publisher =

    Verdier, Jean-Louis , title =. 1996 , publisher =

    1996

  19. [19]

    Keller, Bernhard , title =. Ann. Sci. 1994 , doi =

    1994

  20. [20]

    2004 , author =

    DG quotients of DG categories , journal =. 2004 , author =

    2004

  21. [21]

    Genovese, Francesco , Title =. Appl. Categ. Struct. , Volume =. 2017 , DOI =

    2017

  22. [22]

    MacLane, Saunders , series =

  23. [23]

    and Larsen, Michael and Lunts, Valery A

    Bondal, Alexey I. and Larsen, Michael and Lunts, Valery A. , Title =. Int. Math. Res. Not. , Volume =. 2004 , DOI =

    2004

  24. [24]

    2009 , eprint=

    Localization theory for triangulated categories , author=. 2009 , eprint=

    2009

  25. [25]

    An Introduction to Homological Algebra , author=

  26. [26]

    2005 , author =

    Une structure de catégorie de modèles de Quillen sur la catégorie des dg-catégories , journal =. 2005 , author =

    2005

  27. [27]

    The homotopy theory of dg-categories and derived

    To. The homotopy theory of dg-categories and derived. Invent. Math. , Volume =. 2007 , DOI =

    2007

  28. [28]

    Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, August 22--30, 2006

    Keller, Bernhard , Title =. Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, August 22--30, 2006. Volume II: Invited lectures , Year =

    2006

  29. [29]

    2015 , author =

    Internal Homs via extensions of dg functors , journal =. 2015 , author =

    2015

  30. [30]

    2010 , author =

    On Drinfeld's DG quotient , journal =. 2010 , author =

    2010

  31. [31]

    and Orlov, Dmitri O

    Lunts, Valery A. and Orlov, Dmitri O. , title =. J. Am. Math. Soc. , volume =. 2010 , doi =

    2010

  32. [32]

    Annales scientifiques de l'\'Ecole Normale Sup\'erieure , year=

    The connection between the K-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel , author=. Annales scientifiques de l'\'Ecole Normale Sup\'erieure , year=

  33. [33]

    Stable model categories are categories of modules , volume =

    Schwede, Stefan and Shipley, Brooke , year =. Stable model categories are categories of modules , volume =. Topology , doi =

  34. [34]

    Gabriel, Pierre and Popescu, Nicolae , journal=. Caract

  35. [35]

    A tour about existence and uniqueness of dg enhancements and lifts , journal=

    Canonaco, Alberto and Stellari, Paolo , year=. A tour about existence and uniqueness of dg enhancements and lifts , journal=

  36. [36]

    1999 , publisher =

    Hovey, Mark , title =. 1999 , publisher =

    1999

  37. [37]

    Triangulated categories without models , journal=

    Muro, Fernando and Schwede, Stefan and Strickland, Neil , year=. Triangulated categories without models , journal=

  38. [38]

    Uniqueness of dg enhancements for the derived category of a Grothendieck category , author=

  39. [39]

    Differential Graded Categories are k-linear Stable Infinity Categories , author=

  40. [40]

    Simplicial nerve of an A-infinity category , author=

  41. [41]

    1967 , series=

    Calculus of Fractions and Homotopy Theory , author=. 1967 , series=

    1967

  42. [42]

    , publisher =

    Quillen, Daniel G. , publisher =. Homotopical algebra , year =

  43. [43]

    W. G. Dwyer and J. Spalinski , title =. 1995 , note=

    1995

  44. [44]

    A. I. Bondal and M. M. Kapranov , title =. Mathematics of the

  45. [45]

    Inventiones mathematicae , year=

    Stable homotopy as a triangulated functor , author=. Inventiones mathematicae , year=

  46. [46]

    2016 , journal =

    New enhancements of derived categories of coherent sheaves and applications , author=. 2016 , journal =

    2016

  47. [47]

    2009 , note=

    Dmitry Kaledin , title =. 2009 , note=

    2009

  48. [48]

    2011 , Publisher =

    Positselski, Leonid , Title =. 2011 , Publisher =

    2011

  49. [49]

    Becker, Hanno , title =

  50. [50]

    Selecta Mathematica , year=

    Singular support of coherent sheaves and the geometric Langlands conjecture , author=. Selecta Mathematica , year=

  51. [51]

    On deformations of triangulated models , journal =

    De Deken, Olivier and Lowen, Wendy , year =. On deformations of triangulated models , journal =

  52. [52]

    The curvature problem for formal and infinitesimal deformations , label=

    Wendy Lowen and Michel. The curvature problem for formal and infinitesimal deformations , label=. 2015 , eprint=

    2015

  53. [53]

    Keller, Bernhard and Lowen, Wendy , Title =. Int. Math. Res. Not. , Volume =. 2009 , DOI =

    2009

  54. [54]

    2003 , note=

    Keller, Bernhard , title =. 2003 , note=

    2003

  55. [55]

    De Deken, Olivier and Lowen, Wendy , Title =. Appl. Categorical Struct. , Volume =. 2018 , DOI =

    2018

  56. [56]

    doi:10.24033/msmf.467 , volume =

    Leonid Positselski , title =. doi:10.24033/msmf.467 , volume =

    work page doi:10.24033/msmf.467

  57. [57]

    2021 , eprint=

    Lie algebroids are curved Lie algebras , author=. 2021 , eprint=

    2021

  58. [58]

    2010 , doi =

    On the (non)vanishing of some “derived” categories of curved dg algebras , journal =. 2010 , doi =

    2010

  59. [59]

    t-structures and twisted complexes on derived injectives , label=

    Francesco Genovese and Wendy Lowen and Michel. t-structures and twisted complexes on derived injectives , label=. Adv. Math. , volume =. 2021 , doi =

    2021

  60. [60]

    2022 , eprint=

    T-structures on dg-categories and derived deformations , author=. 2022 , eprint=

    2022

  61. [61]

    Brown representability often fails for homotopy categories of complexes , journal=

    Modoi, George Ciprian and Šťovíček, Jan , year=. Brown representability often fails for homotopy categories of complexes , journal=

  62. [62]

    2020 , eprint=

    Homotopy theory of curved operads and curved algebras , author=. 2020 , eprint=

    2020

  63. [63]

    Deformation theory of Abelian categories , volume =

    Lowen, Wendy and Van den Bergh, Michel , year =. Deformation theory of Abelian categories , volume =. Trans. Am. Math. Soc. , doi =

  64. [64]

    Oppermann, Steffen and Psaroudakis, Chrysostomos and Stai, Torkil , title =. Adv. Math. , volume =. 2019 , doi =

    2019

  65. [65]

    Partial Serre duality and cocompact objects , journal=

    Steffen Oppermann and Chrysostomos Psaroudakis and Torkil Stai , year=. Partial Serre duality and cocompact objects , journal=

  66. [66]

    Hochschild (co)homology of the second kind I , volume =

    Polishchuk, Alexander and Positselski, Leonid , year =. Hochschild (co)homology of the second kind I , volume =. Trans. Am. Math. Soc. , doi =

  67. [67]

    Algebra Number Theory , author=

    Coherent analogues of matrix factorizations and relative singularity categories , volume=. Algebra Number Theory , author=. doi:10.2140/ant.2015.9.1159 , number=

    work page doi:10.2140/ant.2015.9.1159 2015

  68. [68]

    Triangulated categories of singularities and D-branes in Landau-Ginzburg models , journal =

    Orlov, Dmitri , year =. Triangulated categories of singularities and D-branes in Landau-Ginzburg models , journal =

  69. [69]

    Categorical Resolutions of Irrational Singularities , volume =

    Kuznetsov, Alexander and Lunts, Valery , year =. Categorical Resolutions of Irrational Singularities , volume =. Int. Math. Res. Not. , doi =

  70. [70]

    1991 , author =

    Tilting complexes, perpendicular categories and recollements of derived module categories of rings , journal =. 1991 , author =

    1991

  71. [71]

    Recollements and Hochschild theory , author=

  72. [72]

    1996 , eprint=

    On the q-analog of homological algebra , author=. 1996 , eprint=

    1996

  73. [73]

    Quillen Model Structures For Relative Homological Algebra , volume =

    Christensen, Dan and Hovey, Mark , year =. Quillen Model Structures For Relative Homological Algebra , volume =. Math. Proc. Camb. Philos. Soc. , doi =

  74. [74]

    1962 , doi =

    Limits and spectral sequences , journal =. 1962 , doi =

    1962

  75. [75]

    Duke Math

    Dyckerhoff, Tobias , title =. Duke Math. J. , volume =. 2011 , doi =

    2011

  76. [76]

    On compact generation of deformed schemes , label=

    Lowen, Wendy and Van den Bergh, Michel , year =. On compact generation of deformed schemes , label=. Adv. Math. , doi =

  77. [77]

    1993 , Volume=

    Nonhomogeneous quadratic duality and curvature , journal =. 1993 , Volume=. doi:10.1007/BF01087537 , author =

    work page doi:10.1007/bf01087537 1993

  78. [78]

    Generators in formal deformations of categories , volume=. Compos. Math. , author=. doi:10.1112/S0010437X18007303 , number=

    work page doi:10.1112/s0010437x18007303

  79. [79]

    2023 , eprint=

    A_ -Deformations and their Derived Categories , author=. 2023 , eprint=

    2023

  80. [80]

    Topological Hochschild cohomology for schemes , author=

Showing first 80 references.