Pith. sign in

REVIEW 3 major objections 4 minor 20 references

Categorical absorption for hereditary orders

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For a hereditary order on a curve ramified to index r at one point, the paper proves the derived category splits as an exceptional block of r−1 pushed-forward simple modules plus a copy of D^b(C), giving the first noncommutative…

desk verdict First noncommutative deformation absorption, plausibly correct; the compressed Gorenstein citation in Lemma 4.8 is a clarity issue, not a fatal flaw. read the letter →

arxiv 2505.15230 v1 pith:KOIUDQUU submitted 2025-05-21 math.AG math.RT

Thilo Baumann This is my paper · ORCID
classification math.AGmath.RT MSC 14F0816H1014A2216G20
keywords semiorthogonaldecompositionhereditaryordersP∞2-objectsdeformationabsorptionofsingularitiesrootstackscyclicquiveralgebranoncommutativederivedcategoriesbasechange
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper claims that the derived category of a hereditary order on a curve—a sheaf of noncommutative algebras that is Azumaya away from finitely many points—can be decomposed using the categorical mechanism that absorbs singularities of a singular fiber in a flat family. The finite-dimensional algebra obtained by restricting the order to a ramified point is Morita equivalent to the cyclic quiver algebra Λ_r, and its r−1 simple modules form a semiorthogonal collection of P∞,2-objects that absorb singularities. Pushing these modules into the order gives an exceptional collection, and the remaining piece is equivalent to the derived category of the curve. A reader should care because this supplies the first deformation absorption of singularities in a noncommutative setting and yields explicit, base-linear decompositions for hereditary orders and, via the stacks–orders dictionary, for smooth root stacks.

What carries the argument

The load-bearing objects are the simple modules S_1,...,S_{r−1} of the cyclic quiver algebra Λ_r = kQ_r/I, where Q_r is the r-cycle quiver and I is the ideal killing all cycles; each S_i admits a 2-periodic projective resolution and has self-extension ring k[θ] with deg θ=2, making it a P∞,2-object. The canonical self-extension triangle of such an object contains the two-term complex M_i = (P_{i+1} → P_i), and homological finiteness of M_i is what makes the subcategory ⟨S_i⟩ admissible. The complement D is realized through the maximal overorder B_i of A that is purely of type i at o, whose derived category is equivalent to D^b(C), and a noncommutative base change theorem is used to ensure the decomposition is strong and compatible with fibers.

What would settle it

Compute the Ext groups of the two-term complex M_i = (P_{i+1} → P_i) against every object of D^b(Λ_r): if some Ext^i_{Λ_r}(M_i,N) or Ext^i_{Λ_r}(N,M_i) is infinite-dimensional, the cited finiteness criterion cannot apply and the admissibility of ⟨S_i⟩—hence Theorem 4.7 and Theorem 4.11—fails. A simpler direct check is to exhibit one injective Λ_r-module that is not projective, since Lemma 4.8(ii) explicitly asserts every injective module is projective as justification for the Gorenstein condition.

Watch

Extended reading notes

Core claim

The paper establishes that the bounded derived category of a hereditary OC-order A over a smooth curve C, with a single ramified point o of index r, admits a strong C-linear semiorthogonal decomposition ⟨i_{o,*}S_{i+1},...,i_{o,*}S_{i−1}, D⟩ where the first r−1 terms are pushforwards of simple modules of the fiber algebra A(o), which is Morita equivalent to the cyclic quiver algebra Λ_r, and D is equivalent to D^b(C). This is proved by showing that the simple modules S_1,...,S_{r−1} of Λ_r form a semiorthogonal collection of P∞,2-objects whose generated subcategory absorbs singularities in the deformation-absorption sense, and by identifying the complement with the maximal overorder B_i of type i at o. The paper also provides a noncommutative base change formula for semiorthogonal decompositions along flat morphisms, which controls the fibers of the decomposition over every point of the curve.

Load-bearing premise

The whole result hinges on the assertion that the subcategory generated by one simple module of the cyclic quiver algebra is admissible in the derived category, which is established by a cited finiteness theorem plus the claim that every injective module over that algebra is projective; if either ingredient fails, the absorption and the decomposition collapse.

Editorial extensions

If this is right

  • Theorem B yields a strong C-linear semiorthogonal decomposition of D^b(C,A) with an exceptional block of r−1 objects and a complement smooth and proper over D^b(C).
  • The complement D is equivalent to D^b(C), so the decomposition is a direct noncommutative analogue of semiorthogonal decompositions for root stacks.
  • Fibers of D over every closed point p∈C are equivalent to D^b(mod k(p)); over non-ramified points this recovers the Azumaya point.
  • The decomposition is 2r-periodic under right mutations, matching the known periodicity of root-stack decompositions.
  • For a single ramified point, the fiber subcategory S = ⟨S_1,...,S_{r−1}⟩ provides a deformation absorption of singularities of the fiber algebra Λ_r, the first such example in a noncommutative setting.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Beyond the paper: iterating the single-point argument over all ramified points should produce a decomposition with one exceptional block attached to each ramified point; the paper states only the one-point case.
  • Beyond the paper: the exceptional collection and 2r-periodicity suggest the existence of an explicit tilting bundle for D^b(C,A) when C is projective, extending the weighted-projective-line tilting phenomenon; the paper does not construct one.
  • Beyond the paper: if the homological-finiteness criterion survives unchanged, the same P∞,2-object mechanism should apply to tame orders of global dimension two on surfaces, where maximal overorders are no longer Azumaya; the paper only flags this analogue.
  • Beyond the paper: a concrete test of the machinery is whether the noncommutative base change formula continues to hold under base change along non-flat or non-faithful morphisms, which would let the decomposition deform over families of curves.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper develops a noncommutative analogue of Kuznetsov–Shinder's categorical absorption of singularities in the setting of hereditary orders on curves. For a hereditary O_C-order A ramified at a single closed point o of ramification index r, the author proves that the sequence of simple modules S_1,...,S_{r-1} of the fiber algebra A(o) is semiorthogonal and consists of P_{∞,2}-objects, and that the triangulated subcategory they generate absorbs singularities (Theorem A, Theorem 4.7). Using this, he constructs a strong C-linear semiorthogonal decomposition of D^b(C,A) with an exceptional collection pushed forward from the fiber and a complement D equivalent to D^b(C) (Theorem B, Theorem 4.11). An appendix proves a base-change formula for semiorthogonal decompositions on coherent ringed schemes (Theorem C, Theorem A.16), and a final section translates the results to smooth root stacks via the Chan–Ingalls dictionary.

Significance. If the proofs can be completed, the paper provides the first instance of deformation absorption of singularities in a noncommutative setting. It offers a new, conceptual proof of semiorthogonal decompositions for hereditary orders, links the Kuznetsov–Shinder machinery to the stacks–orders dictionary, and the appendix's base-change formula is a useful contribution to the theory of coherent ringed schemes. The exposition is careful about the framework of coherent ringed schemes, and the explicit P_{∞,2}-objects and the translation to root stacks are valuable. However, the central admissibility step in the proof of Theorem A is not fully justified, and several auxiliary results are only sketched.

major comments (3)
  1. [Section 4.2, Lemma 4.8(ii)] The admissibility of the subcategory ⟨S_i⟩ is the load-bearing step for Theorem 4.7(iii) and for the deformation absorption argument leading to Theorem 4.11. The proof is incomplete: it asserts that Λ_r is Gorenstein in the sense of [Jin20, Assumption 0.1] because every injective Λ_r-module is projective, and then invokes [KS25, Proposition 6.9] to conclude that the two-term complex M_i=(P_{i+1}→P_i) is homologically left and right finite-dimensional. The paper does not state what [Jin20, Assumption 0.1] requires, does not explain how self-injectivity implies that condition, and does not verify that M_i satisfies all hypotheses of [KS25, Proposition 6.9]. If that proposition does not apply, the conclusion that ⟨S_i⟩ is admissible is unsupported, and the absorption theorem for the fiber collapses. Please either prove the homological finite-dimensionality of M_i directly or spell out the verification of the cited results.
  2. [Section 4.3, Lemma 4.12] The exceptionality of the pushforwards i_{o,*}S_k and the vanishing between them are derived from the distinguished triangle S_k[1] → Li_o^* i_{o,*}S_k → S_k → S_k[2], which is transferred from [KS23, Section 4.2] to the noncommutative coherent ringed scheme (C,A) without proof. This is not a formal consequence of the commutative statement, because pullback and pushforward for coherent ringed schemes involve the algebra structure; the comparison with the canonical self-extension in equation (39) is valid only if the noncommutative base-change triangle has the stated form. Please provide a proof of the triangle in this setting or a precise reference that covers it.
  3. [Section 4.3, Lemma 4.14] The identification of the component D with j_{B_i,*}D^b(C,B_i) is only sketched. In particular, the step asserting that a complex Q• belongs to the subcategory generated by L_o^{(r)} follows from the vanishing of Hom(Q•, i_{o,*}S_k) for k=1,...,r-1 is not justified; this is essentially the statement that the left orthogonal of the collection is generated by a single projective module, which should be proved by invoking the semiorthogonal decomposition of D^b(A(o)) from Theorem 4.7 and Lemma 4.10. The claim that M_o can be expressed as an iterated cone of direct sums of L_o^{(r)} also needs justification. Since Lemma 4.14 is used to prove that the decomposition in Theorem 4.11 is strong and that D≃D^b(C), this gap affects Theorem 4.11(ii).
minor comments (4)
  1. [Section 2, after Definition 2.1] There is a typo: 'it is necessary for us to work need in the more general framework' should read 'it is necessary for us to work in the more general framework'.
  2. [Definition 4.6] The displayed fiber equation (X×_C Spec k(o), B_{Spec k(o)}) = (X,A) is inconsistent with the application in Section 4.3, where the base and the total space are the same curve C and the fiber is (Spec k(o), A(o)). Please clarify the notation.
  3. [Theorem 4.16] The proof states without justification that S_A(P_i)=P_{i+1}[1] and S_A(i_{o,*}S_i)=i_{o,*}S_{i+1}; please add a proof or a reference. Also, in equation (47), the last component should be j_{B_i,*}D^b(C,B_i), not j_{B_i,*}D^b(C,A).
  4. [Lemma 4.13] The notation L(fo◦io)^*F is unclear; it should presumably be L(f∘i_o)^*F, where f is the structure morphism (C,A)→C.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the main theorems are derived from external black boxes (KS23, KS25, CI04, Kuz11) plus an explicit computation, with no conclusion used as an input.

full rationale

The paper's derivation chain is self-contained against external benchmarks. The novel content is Theorem A: the P∞,2-claim and admissibility of the subcategory generated by simple Λ_r-modules. The P∞,2-claim is proved by an explicit computation of Ext^•_{Λ_r}(S_i,S_i) from the 2-periodic projective resolution (28), with no circularity. The admissibility claim in Lemma 4.8(ii) is delegated to the external result [KS25, Proposition 6.9], after asserting that Λ_r is Gorenstein in the sense of [Jin20, Assumption 0.1] because every injective module is projective; whether that hypothesis is correctly verified is a correctness question about external citations, not a circular reduction. Theorem B then applies the external Kuznetsov–Shinder framework [KS23, Theorem 1.5/1.8] together with the base change theorem proved in the appendix from [Kuz11], and none of the conclusions is assumed as an input. The only self-citation, [BBG24], appears in Section 4.4 as an alternative reference for the stacks–orders dictionary in the language of root stacks, while the dictionary itself is cited to [CI04, Corollary 7.8]; hence the self-citation is not load-bearing. The skeptical concern that [KS25, Proposition 6.9] may not apply is a potential gap in an external-hypothesis check, not an instance of a fitted input being renamed a prediction or a uniqueness claim imported from the present authors. Accordingly, no circular step is identified.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters appear; the paper is a pure mathematical proof. It relies on standard classification results for hereditary orders, the Morita equivalence of the ramified fiber to a cyclic quiver algebra, the Kuznetsov-Shinder framework for deformation absorption, and a noncommutative base change formula adapted from Kuznetsov. The external assumptions are listed explicitly in the axioms, with the Gorenstein property and the noncommutative extension of [KS23] being the most delicate.

assumptions (6)
  • standard math Classification of hereditary orders up to etale-local isomorphism [Rei75, Theorem 39.14] and the local model for the matrix description of A_p in equation (12).
    Used in Section 3 to describe the local structure of a hereditary order and its indecomposable projectives.
  • domain assumption The fiber A(p) over a ramified point is Morita equivalent to the cyclic quiver algebra Λ_r, relying on [CI04, Theorem 7.6] and [KSS03, Theorem 3.1].
    This is Lemma 3.1 and is central to identifying the semiorthogonal collection of P-infinity-2 objects.
  • domain assumption The Kuznetsov-Shinder deformation absorption theorems [KS23, Theorem 1.5 and 1.8] extend to coherent ringed schemes (noncommutative setting).
    Used in Section 4.3 to push the absorption from the fiber to the total space; the noncommutative extension is asserted without full proof.
  • domain assumption Λ_r is Gorenstein in the sense of [Jin20, Assumption 0.1] and [KS25, Proposition 6.9] applies to the complex M_i = (P_{i+1} -> P_i).
    Used in Lemma 4.8 to prove admissibility of <S_i>; this is a load-bearing premise.
  • domain assumption Kuznetsov's base change formula [Kuz11, Theorem 5.6] generalizes to D^b(X,A) as stated in Theorem A.16.
    The appendix adapts the proof; the formula is used to make sense of the fibers of the component D over points of the curve.
  • standard math The Serre functor for D^b(C,A) is given by M maps to M ⊗_A ω_A [1], with ω_A the dualizing bimodule, as in [VV84, Theorem 1].
    Used in Theorem 4.16 to prove 2r-periodicity of the semiorthogonal decomposition.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Categorical absorption for hereditary orders." pith.science (2026). https://pith.science/paper/KOIUDQUU

@misc{pith2026250515230,
  author       = {Pith},
  title        = {Pith review of: Categorical absorption for hereditary orders},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KOIUDQUU}},
  note         = {Machine review of arXiv:2505.15230}
}
read the original abstract

We show that Kuznetsov--Shinder's notion of deformation absorption of singularities leads to a new approach for studying the bounded derived category of a hereditary order on a curve. The starting point is a hereditary order which can be interpreted as a smoothing of the finite-dimensional algebra obtained from the restriction to a ramified point. We construct a triangulated subcategory inside the derived category of this finite-dimensional algebra which provides a deformation absorption of singularities. This allows us to obtain a semiorthogonal decomposition of the bounded derived category of the hereditary order, which is in addition linear over the base.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 17 canonical work pages

  1. [1]

    [Art82] M. Artin. ‘Left ideals in maximal orders’. In: Brauer groups in ring theory and algebraic geometry (Wilrijk, 1981). Vol

    work page 1981

  2. [2]

    EMS Press, Berlin, 2023, pp

    Plenary lectures . EMS Press, Berlin, 2023, pp. 1154–1200. MR: 4680279. [L08] Lieven Le Bruyn. Noncommutative geometry and Cayley-smooth orders . Vol

    work page 2023

  3. [5]

    Academic Press [Harcourt Brace Jovanovich, Publishers], London-New York, 1975, pp

    London Mathematical Society Monographs. Academic Press [Harcourt Brace Jovanovich, Publishers], London-New York, 1975, pp. xii+395. MR: 393100. [RV89] Idun Reiten and Michel Van den Bergh. ‘Two-dimensional tame and maximal orders of finite representation type’. In: Mem. Amer. Math. Soc. 80.408 (1989), pp. viii+72. MR: 978602. [SP] The Stacks Project Autho...

    work page 1989

  4. [7]

    Moduli spaces of semiorthogonal decompositions in families

    arXiv: 2002.03303. [Bur24] Igor Burban. Exceptional hereditary curves and real curve orbifolds

    work page Pith review arXiv 2002

  5. [8]

    Exceptional hereditary curves and real curve orbifolds

    arXiv: 2411.06222. [Cad07] Charles Cadman. ‘Using stacks to impose tangency conditions on curves’. In: Amer. J. Math. 129.2 (2007), pp. 405–427. MR: 2306040. [CI04] Daniel Chan and Colin Ingalls. ‘Non-commutative coordinate rings and stacks’. In: Proc. London Math. Soc. (3) 88.1 (2004), pp. 63–88. MR: 2018958. [DKR67] Ju. A. Drozd, V. V. Kiriˇ cenko and A...

    work page Pith review arXiv 2007

  6. [10]

    [ELS20] Alexey Elagin, Valery A

    arXiv: 2410.01785. [ELS20] Alexey Elagin, Valery A. Lunts and Olaf M. Schn¨ urer. ‘Smoothness of derived categories of algebras’. In: Mosc. Math. J. 20.2 (2020), pp. 277–309. MR: 4088795. [Fab+] Eleonore Faber, Colin Ingalls, Shinnosuke Okawa and Matthew Satriano. On stacky surfaces and noncommutative surfaces. In: Trans. Amer. Math. Soc., electronically ...

    arXiv 2020

  7. [13]

    [KS25] Alexander Kuznetsov and Evgeny Shinder

    MR: 4698898. [KS25] Alexander Kuznetsov and Evgeny Shinder. ‘Homologically finite-dimensional objects in triangulated categories’. In: Selecta Math. (N.S.) 31.2 (2025), Paper No. 27,

    work page 2025

  8. [17]

    [Orl06] D

    arXiv: 2412.09724. [Orl06] D. O. Orlov. ‘Triangulated categories of singularities, and equivalences between Landau-Ginzburg models’. In: Mat. Sb. 197.12 (2006), pp. 117–132. MR: 2437083. [Per19] Alexander Perry. ‘Noncommutative homological projective duality’. In: Adv. Math. 350 (2019), pp. 877–972. MR: 3948688. [Rei75] I. Reiner. Maximal orders. Vol. No

    arXiv 2006

Show all 20 references
  1. [20]

    [VV84] M

    arXiv: 2402.18513. [VV84] M. Van den Bergh and J. Van Geel. ‘A duality theorem for orders in central simple algebras over function fields’. In: J. Pure Appl. Algebra 31.1-3 (1984), pp. 227–239. MR: 738217. [Xie23] Fei Xie. ‘Residual categories of quadric surface bundles’. In: ...

    1984

  2. [42]

    [BD24] A

    MR: 4385131. [BD24] A. Bodzenta and W. Donovan. ‘Root stacks and periodic decompositions’. In: Manuscripta Math. 175.1-2 (2024), pp. 53–73. MR: 4790551. [BDG17] Igor Burban, Yuriy Drozd and Volodymyr Gavran. ‘Minors and resolutions of non-commutative schemes’. In: Eur. J. Math...

    2024

  3. [45]

    [KSS03] Steffen Koenig, Katsunori Sanada and Nicole Snashall

    MR: 4868123. [KSS03] Steffen Koenig, Katsunori Sanada and Nicole Snashall. ‘On Hochschild cohomology of orders’. In: Arch. Math. (Basel) 81.6 (2003), pp. 627–635. MR: 2029238. [Kuz08] Alexander Kuznetsov. ‘Lefschetz decompositions and categorical resolutions of singularities’....

    2003

  4. [59]

    MR: 4133519. [K06] A. G. Kuznetsov. ‘Hyperplane sections and derived categories’. In: Izv. Ross. Akad. Nauk Ser. Mat. 70.3 (2006), pp. 23–128. MR: 2238172. [KS23] Alexander Kuznetsov and Evgeny Shinder. ‘Categorical absorptions of singularities and degenerations’. In: ´Epijour...

    2006

  5. [65]

    Techniques of representation theory

    London Mathematical Society Student Texts. Techniques of representation theory. Cambridge University Press, Cambridge, 2006, pp. x+458. MR: 2197389. [Bay+21] Arend Bayer, Mart´ ı Lahoz, Emanuele Macr` ı, Howard Nuer, Alexander Perry and Paolo Stellari. ‘Stability conditions in...

    2021

  6. [88]

    Progr. Math. Birkh¨ auser Boston, Boston, MA, 1990, pp. 247–435. MR: 1106918. [Var24] Aporva Varshney. Categorical absorption of a non-isolated singularity

    1990

  7. [290]

    Chapman & Hall/CRC, Boca Raton, FL, 2008, pp

    Pure and Applied Mathematics (Boca Raton). Chapman & Hall/CRC, Boca Raton, FL, 2008, pp. lxiv+524. MR: 2356702. [LP21] Bronson Lim and Alexander Polishchuk. ‘Bondal-Orlov fully faithfulness criterion for Deligne- Mumford stacks’. In: Manuscripta Math. 165.3-4 (2021), pp. 469–4...

    2021

  8. [917]

    Springer, Berlin-New York, 1982, pp

    Lecture Notes in Math. Springer, Berlin-New York, 1982, pp. 182–193. MR: 657429. [ASS06] Ibrahim Assem, Daniel Simson and Andrzej Skowro´ nski.Elements of the representation theory of associative algebras. Vol. 1 . Vol

    1982

  9. [1273]

    Springer, Berlin, 1987, pp

    Lecture Notes in Math. Springer, Berlin, 1987, pp. 265–297. MR: 915180. [IU15] Akira Ishii and Kazushi Ueda. ‘The special McKay correspondence and exceptional collections’. In: Tohoku Math. J. (2) 67.4 (2015), pp. 585–609. MR: 3436544. [Jin20] Haibo Jin. ‘Cohen-Macaulay differ...

    2015

  10. [1337]

    [BLS16] Daniel Bergh, Valery A

    MR: 1039961. [BLS16] Daniel Bergh, Valery A. Lunts and Olaf M. Schn¨ urer. ‘Geometricity for derived categories of algebraic stacks’. In: Selecta Math. (N.S.) 22.4 (2016), pp. 2535–2568. MR: 3573964. [Bon89] A. I. Bondal. ‘Representations of associative algebras and coherent s...

    2016

  11. [2024]

    [BD22] Igor Burban and Yuriy Drozd

    arXiv: 2410.07620. [BD22] Igor Burban and Yuriy Drozd. ‘Morita theory for non-commutative noetherian schemes’. In: Adv. Math. 399 (2022), Paper No. 108273,

    2022 arXiv

  12. [2025]

    [DLR25b] Timothy De Deyn, Pat Lank and Kabeer Manali Rahul

    arXiv: 2408.04561. [DLR25b] Timothy De Deyn, Pat Lank and Kabeer Manali Rahul. Descent and generation for noncommutative coherent algebras over schemes

    arXiv

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.