Pith. sign in

REVIEW 1 major objections 4 minor 33 references

Some functors preserving exceptionality

T0 review · 1 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 The paper proves that tensor functors arising from projective split extensions and from recollements preserve exceptional sequences when explicit Hom and Ext vanishing conditions hold.

desk verdict Correct but routine transfer theorems; new in statement, direct from standard adjunction/Ext facts, with a minor unproved completeness assertion that is easy to fix. read the letter →

arxiv 2506.00122 v2 pith:B74YJQFY submitted 2025-05-30 math.RT math.CT

Dajun Liu , Hanpeng Gao , Yu-Zhe Liu This is my paper
classification math.RTmath.CT MSC 16E3016G1016S70
keywords Exceptionalsequencessplit-by-nilpotentextensionsrecollementstensorfunctorsmodulecategoriesExtvanishingprojectivemodules
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

The paper proves that two families of tensor functors between module categories preserve exceptional sequences, and it poses the general question of when such preservation holds. First, for a split-by-nilpotent extension $\xi:R\to A$ with projective left module ${}_A R$, tensoring with $R$ sends an exceptional sequence $(M_1,\ldots,M_r)$ in $\mathrm{mod}(A)$ to an exceptional sequence in $\mathrm{mod}(R)$ provided certain $\mathrm{Hom}$ and $\mathrm{Ext}$ groups with the nilpotent bimodule $Q$ vanish, and complete sequences remain complete. Second, in any recollement of module categories $\mathcal{R}(\Lambda',\Lambda,\Lambda'')$ whose outer functors $i^*$ and $i^!$ are exact, the embedding functors $i^*$ and $j^!$ carry exceptional sequences from $\mathrm{mod}(\Lambda')$ and $\mathrm{mod}(\Lambda'')$ into $\mathrm{mod}(\Lambda)$. These results matter because exceptional sequences are tightly organized building blocks in representation theory, and a transfer theorem gives a systematic way to construct them in larger categories from smaller ones.

What carries the argument

The load-bearing mechanism is the Ext-isomorphism of Corollary 3.2: for a projective split-by-nilpotent extension, exactness and projectivity preservation of $-\otimes_A R$ give $\mathrm{Ext}_R^n(M\otimes_A R,N\otimes_A R)\cong\mathrm{Ext}_A^n(M,\mathrm{Hom}_R({}_AR_R,N\otimes_A R))$. Combined with the bimodule decomposition ${}_AR_R\cong A\oplus Q$, where $Q$ is the nilpotent kernel of the split extension, this splits every relevant Hom and Ext group into the original $A$-part plus a $Q$-part; the stated vanishing conditions kill the $Q$-part, so exceptionality in $\mathrm{mod}(A)$ transfers to $\mathrm{mod}(R)$. For recollements, the corresponding engine is Lemma 3.6: exactness of $i^*$ and $i^!$ forces $i^*$ and $j^!$ to be exact and projective-preserving, so the same adjunction argument applies, and full faithfulness then identifies endomorphism rings and Hom and Ext groups with those in the outer categories.

What would settle it

The decisive check is to find any projective split-by-nilpotent extension $\xi:R\to A$ and an exceptional sequence in $\mathrm{mod}(A)$ satisfying all four hypothesis groups of Theorem 3.5 whose image is not exceptional, which would disprove the theorem. A concrete search space is the pair $(A,R)$ of Example 4.3: the paper transfers five of the nine complete exceptional sequences of $\mathrm{mod}(A)$ successfully, and the remaining four are recorded as not meeting the vanishing conditions, so checking whether any of those four nevertheless has an exceptional image would test whether the hypotheses are truly necessary. For Theorem 3.10, take the idempotent recollement of Example 2.4 and compute $\mathrm{Ext}_\Lambda^1(i^*(S),i^*(S))$ for a simple exceptional module $S$ of the quotient category; exactness of $i^*$ and $i^!$ predicts zero, and a nonzero value would falsify the theorem.

Watch

Extended reading notes

Core claim

On its own terms, the paper's discovery is that the extension-of-scalars functor $-\otimes_A R$ associated to a projective split-by-nilpotent extension, and the embedding functors $i^*$ and $j^!$ of a recollement with exact $i^*$ and $i^!$, are exceptionality-preserving under explicit hypotheses. Theorem 3.5 states that if $(M_1,\ldots,M_r)$ is an exceptional sequence in $\mathrm{mod}(A)$ and the modules satisfy $\mathrm{Hom}_A(M_k,M_k\otimes_A Q)=0$ and $\mathrm{Ext}_A^n(M_j,M_i\otimes_A Q)=0$ for $1\le i<j\le r$, then $(M_1\otimes_A R,\ldots,M_r\otimes_A R)$ is exceptional in $\mathrm{mod}(R)$, and completeness is inherited. Theorem 3.10 states that in any recollement $\mathcal{R}(\Lambda',\Lambda,\Lambda'')$, if $i^*$ and $i^!$ are exact, then $(i^*(X_1),\ldots,i^*(X_s))$ and $(j^!(Y_1),\ldots,j^!(Y_t))$ are exceptional sequences in $\mathrm{mod}(\Lambda)$ whenever $(X_1,\ldots,X_s)$ and $(Y_1,\ldots,Y_t)$ are exceptional sequences in the outer categories. The proof mechanism is an Ext-isomorphism that reduces Ext groups after tensoring to Ext groups in the original category.

Load-bearing premise

The load-bearing premise is that ${}_A R$ is projective as a left $A$-module, since this is what makes $-\otimes_A R$ exact and projective-preserving and hence yields the Ext-isomorphism (Example 4.1 shows the isomorphism fails without it), and the completeness assertion additionally assumes the split-by-nilpotent extension leaves the Grothendieck-group rank unchanged.

Editorial extensions

If this is right

  • Every complete exceptional sequence in $\mathrm{mod}(A)$ that satisfies the vanishing hypotheses produces a complete exceptional sequence in $\mathrm{mod}(R)$, so the two module categories have the same Grothendieck-group rank whenever transfer is possible.
  • In a recollement with exact $i^*$ and $i^!$, the two outer module categories contribute disjoint collections of exceptional sequences inside $\mathrm{mod}(\Lambda)$, giving a way to glue exceptional data from smaller categories into larger ones.
  • For split-by-nilpotent extensions, the conditions are expressed entirely in the original category $\mathrm{mod}(A)$ in terms of $\mathrm{Hom}$ and $\mathrm{Ext}$ with $M\otimes_A Q$, so they are decidable by finite-dimensional linear algebra when $A$ is finite-dimensional.
  • The idempotent recollement of Example 2.4 puts the theorem into concrete form: tensoring with $A/A\varepsilon A$ and with $\varepsilon A\varepsilon$ transfers exceptional sequences between the quotient, the whole algebra, and the corner subalgebra, when the exactness hypotheses hold.

Reading between the lines

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

  • A natural extension, not pursued in the paper, is to replace exceptional sequences by $\tau$-exceptional or signed $\tau$-exceptional sequences; the same adjunction-and-vanishing mechanism may transfer those in a parallel way for projective split extensions.
  • The vanishing hypotheses are likely stronger than necessary: because the proof checks each pair separately, variants using only $\mathrm{Ext}^1$ vanishing plus rigidity might suffice for sequences whose modules have no higher self-extensions.
  • For recollements, the paper assumes both $i^*$ and $i^!$ are exact, but the proof seems to need mainly projectivity preservation at the level of $\mathrm{Ext}$; testing whether exactness of $i^*$ alone suffices would clarify the boundary of Theorem 3.10.
  • The completeness half of Theorem 3.5 suggests a general principle: any algebra homomorphism whose restriction functor is fully faithful on bricks and preserves Ext vanishing should transfer complete exceptional sequences, which would unify the split-extension and recollement cases.
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

1 major / 4 minor

Summary. The paper studies two classes of tensor functors between module categories and asks when they preserve exceptional sequences. For a projective split-by-nilpotent extension ξ:R→A with nilpotent kernel Q, Theorem 3.5 gives Hom- and Ext-vanishing conditions under which −⊗_A R sends an exceptional sequence in mod(A) to an exceptional sequence in mod(R), and it further claims that completeness is preserved. For a recollement of module categories R(Λ′,Λ,Λ″), Theorem 3.10 asserts that, when i* and i! are exact, the functors i* and j! send exceptional sequences in mod(Λ′) and mod(Λ″) to exceptional sequences in mod(Λ). The paper also contains worked examples, including an example showing that the projectivity of A R is indispensable and an example illustrating Theorem 3.5.

Significance. If the results hold, they provide clean and fairly general transfer principles for exceptional sequences under natural tensor functors. The main technical arguments are standard adjunction and Ext-comparison arguments, and they are mostly correct as written. The paper is careful to identify a nontrivial hypothesis—projectivity of A R—and Example 4.1 convincingly demonstrates that this hypothesis cannot simply be dropped. The recollement part is a straightforward but useful application of known exactness and projectivity-preservation results from [15]. The results are likely to be of interest to researchers working on exceptional sequences, split-by-nilpotent extensions, and recollements, but the novelty is modest and the paper is primarily a collection of useful sufficient conditions rather than a new conceptual framework.

major comments (1)
  1. [§3.1, Theorem 3.5] The completeness assertion in Theorem 3.5 is stated without proof. The proof establishes only that (M_1⊗_A R, ..., M_r⊗_A R) is an exceptional sequence; it never shows that its length equals rank K_0(R), nor does it prove that the tensor images are nonzero and pairwise non-isomorphic. This needs a short argument: since Q ⊆ rad R in a split-by-nilpotent extension, one has R/rad R ≅ A/rad A and hence rank K_0(R) = rank K_0(A), while the Hom-vanishing from Lemma 3.4 and the fact that M_i⊗_A R ⊗_R A ≅ M_i show that the image modules are nonzero and pairwise non-isomorphic. Because the paper explicitly advertises this completeness preservation in Theorem 1.2(1), the gap should be filled.
minor comments (4)
  1. [§3.1, Lemma 3.4 and Theorem 3.5] In the proof of Lemma 3.4, the sentence 'M_1 ⊗_A Q and M_2 ⊗_A Q are exceptional modules' should read 'M_1 ⊗_A R and M_2 ⊗_A R', and the same typo occurs in the first sentence of the proof of Theorem 3.5, where 'M_k ⊗_A Q' should be 'M_k ⊗_A R'.
  2. [§3.2, Theorem 3.10] The proof of Theorem 3.10 reverses the order of the pair: for an exceptional sequence (X_1,...,X_s), the pair (X_i,X_j) with i<j is exceptional, not (X_j,X_i). The argument should apply Lemma 3.9 to (X_i,X_j) in order to conclude that (i*(X_i), i*(X_j)) is exceptional. The same notational issue affects the discussion of (Y_1,...,Y_t).
  3. [§3.2, proof of Lemma 3.9] In the displayed chain of isomorphisms for Ext^n_Λ(i*(M_2), i*(M_1)), the Ext groups on the right-hand side after applying the adjunction should have subscript Λ′, not Λ; as written, the notation suggests an Ext group in mod(Λ) applied to objects of mod(Λ′).
  4. [§2.3, diagram (1.1)] The recollement diagram is typeset in a way that makes the adjoint pairs hard to parse. In particular, the notation for i!, j!, and j* is cramped and could be displayed more clearly so that the adjoint pairs (i*,i!), (i*,i*), (j!,j*), and (j*,j*) are unambiguous.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity found: the exceptionality-transfer theorems are proven from stated hypotheses plus external results, with self-citations confined to background remarks.

full rationale

I walked the derivation chain of Theorems 3.5 and 3.10. Theorem 3.5 is a conditional statement: under projectivity of the left A-module _A R and the listed Hom_A(-, -⊗_A Q) and Ext_A^n(-, -⊗_A Q) vanishing hypotheses, the proof uses the adjunction (−⊗_A R, Hom_R(R,−)), the decomposition R ≅ A ⊕ Q, and Lemma 3.3/Lemma 3.4 to reduce End and Ext of the tensor images to End and Ext in mod(A); the conclusion is not an identity with the hypotheses but a consequence of them. Corollary 3.2 establishes projectivity preservation via eA ⊗_A R ≅ eR, and Lemma 3.1 is a standard adjunction argument. Theorem 3.10 follows from the external Lemma 3.6 (Ma–Xie–Zhao [15]) together with the adjunctions and the fully faithfulness conditions (R1)–(R3); the i^∗ and j_! cases are parallel. The self-citations [11] and [13] appear only in the introduction and Section 2 as background on split-by-nilpotent extensions and semibricks; they are not load-bearing. Lemma 3.6 is the only imported step of substance, and it is from Ma–Xie–Zhao, not from the present authors, so it is independent support rather than a self-citation chain. The completeness assertion in Theorem 3.5 is stated without proof, but that is a minor gap rather than circularity: for a split-by-nilpotent extension Q ⊆ rad R gives R/rad R ≅ A/rad A, hence rank K0(R) = rank K0(A), and the already-proved exceptional sequence has length r = rank K0(A), so the image sequence is complete. No fitted parameter is renamed as a prediction, no unique choice is imported from the authors' own prior work, and no known result is repackaged under new coordinates. Accordingly the circularity score is 0.

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

The central claim rests on standard homological algebra plus two imported structures: split extensions and recollements. There are no fitted numbers and no invented objects. The only concern is the unstated K_0 rank invariance behind the completeness claim.

assumptions (6)
  • domain assumption All algebras are finite-dimensional over an algebraically closed field K; module categories mod(A) are categories of finitely generated right modules, assumed abelian with enough projectives.
    This is the ambient setting stated in Section 2.
  • domain assumption Recollement axioms (R1)-(R3) from Beilinson-Bernstein-Deligne and the properties summarized in Lemma 2.3 from [19] hold.
    Theorem 3.10 relies on these properties, especially i! i* = id and j* j! = id.
  • domain assumption Split-by-nilpotent extension structure from Assem-Zacharia [5]: R is a split extension of A by a nilpotent (A,A)-bimodule Q with R ≅ A ⊕ Q as bimodules.
    Theorem 3.5 uses this decomposition and the adjunction (−⊗_A R, Hom_R(R,−)).
  • domain assumption Lemma 3.6 from Ma-Xie-Zhao [15]: if i* and i! are exact in a recollement, then i* and j! are exact functors preserving projective modules.
    This is imported without proof and is load-bearing for Theorem 3.10.
  • domain assumption A split-by-nilpotent extension does not change the rank of the Grothendieck group, so a complete exceptional sequence keeps its length.
    This is needed for the final sentence of Theorem 3.5 but is neither proved nor cited.
  • standard math Standard Ext comparison for an exact, projective-preserving functor with a right adjoint (Lemma 3.1).
    Proved in the paper and used repeatedly; it relies on existence of projective resolutions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Some functors preserving exceptionality." pith.science (2026). https://pith.science/paper/B74YJQFY

@misc{pith2026250600122,
  author       = {Pith},
  title        = {Pith review of: Some functors preserving exceptionality},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/B74YJQFY}},
  note         = {Machine review of arXiv:2506.00122}
}
read the original abstract

We constructed some tensor functors that send each exceptional sequence in a module category to another exceptional sequence in another module category by using split extensions and recollements.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

33 extracted references · 28 canonical work pages

  1. [15]

    X. Ma, Z. Xie, and T. Zhao. Supprtτ-tilting modules and recollements.Colloq. Math., 167(2):303–328, 2022. DOI:10.4064/cm8358-11-2020

    work page doi:10.4064/cm8358-11-2020 2022

  2. [1]

    Aihara and O

    T. Aihara and O. Iyama. Silting mutation in triangulated categories.J. London Math. Soc., 85(3):633–668, 2012. DOI:10.1112/jlms/jdr055,

    doi:10.1112/jlms/jdr055 2012

  3. [2]

    S. Asai. Semibricks.Int. Math. Res. Notices, 2020(16):4993–5054, 2020. DOI:10.1093/imrn/rny150

    work page doi:10.1093/imrn/rny150 2020

  4. [3]

    Assem and N

    I. Assem and N. Marmaridis. Tilting modules over split-by-nilpotent extensions.Com- mun. Algebra, 26(5):1547–1555, 1998. DOI:10.1080/00927879808826219

    work page doi:10.1080/00927879808826219 1998

  5. [4]

    Assem, D

    I. Assem, D. Simson, and A. Skowro´ nski.Elements of the Representation Theory of Associative Algebras, Volume 1 Techniques of Representation Theory. Cambridge University Press, Cambridge, 2006. DOI:10.1017/CBO9780511614309

    doi:10.1017/cbo9780511614309 2006

  6. [5]

    Assem and D

    I. Assem and D. Zacharia. On split-by-nilpotent extensions.Colloq. Math., 98(2):259– 275, 2003.http://eudml.org/doc/285195. 14

    work page 2003

  7. [6]

    A. A. Be ˘ ılinson, J. Bernstein, P. Deligne, and O. Gabber. Faisceaux pervers. In Analysis and topology on singular spaces, I (Luminy, 1981), volume 100, pages 5–

    work page 1981

  8. [7]

    A. B. Buan and B. R. Marsh.τ-exceptional sequences.J. Algebra, 585:36–68, 2021. DOI:10.1016/j.jalgebra.2021.04.038

    work page doi:10.1016/j.jalgebra.2021.04.038 2021

Show all 33 references
  1. [8]

    X.-W. Chen. A recollement of vector bundles.Bull. Lond. Math. Soc., 44(2):271–284,

  2. [9]

    Crawley-Boevey

    W. Crawley-Boevey. Exceptional sequences of representations of quivers. InRepre- sentations of Algebras: Sixth International Conference (August 19–22, 1992, Ottawa, Ontario, Canada), volume 7, pages 117–124, Ottawa, 1993. American Mathematical Society. MR:1206935

    1992

  3. [10]

    Franjou and T

    V. Franjou and T. Pirashvili. Comparison of Abelian categories recollements.Doc. Math., 9:41–56, 2004. zbMath:2095716

    2004

  4. [11]

    H. Gao. Semibricks over split-by-nilpotent extensions.B. Korean Math. Soc., 1:183– 193, 2021. DOI:10.4134/BKMS.b200189

    2021 doi

  5. [12]

    A. L. Gorodentsev and A. N. Rudakov. Exceptional vector bundles on projective spaces.Duke Math. J., 54(1):115–130, 1987. DOI: 10.1215/S0012-7094-87-05409-3

    1987 doi

  6. [13]

    Liu and J

    D. Liu and J. Wei. Tilting pair over split-by-nilpotent extensions.J. Algebra Appl., 21(1):paper no. 2250019, 2022. DOI:10.1142/S0219498822500190

    2022 doi

  7. [14]

    X. Ma. On gluing tilting modules (in Chinese).Sci. Sin. Math., 48(11):1729–1738,

  8. [16]

    Ma and T

    X. Ma and T. Zhao. Recollements and tilting modules.Comm. Algebra, 48(12):5163– 5175, 2020. DOI:10.1080/00927872.2020.1781874

    2020

  9. [17]

    S. Pamela. Split-by-nilpotent extensions and supportτ-tilting modules.Algebr. Rep- resent. Theory, 23:2295–2313, 2020. 10.1007/s10468-019-09932-1,

    2020 doi

  10. [18]

    C. E. Parra and J. Vit´ oria. Properties of Abelian categories via recollements.J. Pure Appl. Algebra, 223(9):3941–3963, 2019. DOI:10.1016/j.jpaa.2018.12.013

    2019 doi

  11. [19]

    Psaroudakis

    C. Psaroudakis. Homological theory of recollements of Abelian categories.J. Algebra, 398(15):63–110, 2014. DOI:10.1016/j.jalgebra.2013.09.020

    2014 doi

  12. [20]

    Qin and Y

    Y. Qin and Y. Han. Reducing homological conjectures byn-recollements.Algebr. Represent. Theory, 19(2):377–395, 2016. DOI:10.1007/s10468-015-9578-z. 15

    2016 doi

  13. [21]

    C. M. Ringel. The braid group action on the set of exceptional sequences of a hered- itary artin algebra. InAbelian Group Theory and Related Topics, volume 171, pages 117–124, Princeton, 1994. Contemporary Mathematics, Universal Wiser Publisher. DOI:10.1090/conm/171/01761

    1994 doi

  14. [22]

    U. Seidel. Exceptional sequences for quivers of Dynkin type.Commun. Algebra, 29(3), 1373–1386, 2001. DOI:10.1081/AGB-100001691

    2001 doi

  15. [23]

    E. Sen. Weak exceptional sequences.Quaest. Math., 44(9):1155–1171, 2021. DOI:10.2989/16073606.2020.1777483

    2021

  16. [24]

    E. P. Westin and M. Thuresson. Tilting modules and exceptional sequences for a family of dual extension algebras.Algebr. Represent. Theory, 26(5):1549–1581, 2022. DOI: 10.1007/s10468-022-10142-5

    2022 doi

  17. [25]

    C. Zhang. On the global cohomological width of Artin algebras.Colloq. Math., 146:31–46, 2017. DOI:10.4064/cm6714-10-2015

    2017 doi

  18. [26]

    Zhang and H

    C. Zhang and H. Cai. A note on thick subcategories and wide subcategories.Homology, Homotopy and Applications, 19(2):131–139, 2017. DOI:10.4310/HHA.2017.v19.n2.a8

    2017 doi

  19. [27]

    Zhang and X

    H. Zhang and X. Zhu. Gorenstein global dimension of recollements of abelian cate- gories.Commun. Algebra, 48(2):467–483, 2020. DOI:10.1080/00927872.2019.1648650

    2020

  20. [28]

    Zhang and X

    H. Zhang and X. Zhu. Resolving resolution dimension of recollements of abelian cate- gories.J. Algebra Appl., 20(10):no.2150179, 2021. DOI:10.1142/S0219498821501796

    2021 doi

  21. [29]

    P. Zhang. Gorenstein-projective modules and symmetric recollements.J. Algebra, 388:65–80, 2013. DOI:10.1016/j.jalgebra.2013.05.008

    2013 doi

  22. [30]

    Y. Zhang. Reduction of wide subcategories and recollements.Algebra Colloq., 30(4):713–720, 2023. DOI:10.1142/S1005386723000536. 16

    2023 doi

  23. [171]

    Soci´ et´ e Math´ ematique de France, Paris, 1982.https://smf.emath.fr/sites/ default/files/2019-05/smf_ast_100__sample.pdf

    1982

  24. [2012]

    DOI:10.1112/blms/bdr092

    doi

  25. [2018]

    DOI:10.1360/N012017-00266

    doi

Pith tools

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