REVIEW 2 major objections 4 minor 24 references
Lower bounds for levels of complexes by resolution dimensions
T0 review · 2 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read This paper proves a universal lower bound on the level of a complex in the bounded derived category of any abelian category, expressed through its resolution dimension and the infimum of its cohomology.
desk verdict A genuinely new and useful generalization of level lower bounds, but the proof currently hinges on an unproved load-bearing lemma. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the ghost map — a morphism in the derived category that induces zero on all Ext groups with objects of X — together with the Ghost Lemma, which limits how many ghost maps can compose before they vanish when the source has bounded level. The proof also relies on condition (A) to construct, by descending induction, a bounded representative of M whose low-degree terms lie in X∩X^⊥; a quasi-isomorphism-invariance lemma (Lemma 3.6) and a splitting lemma (Lemma 3.4) then carry the contradiction. The named identity is the inequality level^X_{D^b(A)} M ≥ X-resol.dim M + inf M + 1, which packages the whole argument.
What would settle it
Try to construct a resolving subcategory X satisfying condition (A) and a bounded complex M for which level^X M is strictly less than X-resol.dim M + inf M + 1; for example, search over finite-dimensional algebras and their contravariantly finite resolving subcategories. Alternatively, directly test Lemma 3.6: take a quasi-isomorphism between two right-bounded complexes of X-objects that are not homotopy equivalent, and an M in X^⊥, and compute Ext^i(C^v Q, M) and Ext^i(C^v P, M) for some i and v; any difference would falsify the lemma and hence the theorem as proved.
Extended reading notes
Core claim
The central discovery is Theorem 3.12: let A be an abelian category with enough projective objects, and X a resolving subcategory satisfying condition (A) — for every X in X, there is a short exact sequence 0 → X → Y → X' → 0 with Y ∈ X∩X^⊥ and X' ∈ X. Then for every nonzero object M in D^b(A), the X-level of M is bounded below by X-resol.dim M + inf M + 1. The proof runs by contradiction: if the level u is finite, then M admits a bounded complex whose low-degree terms lie in X∩X^⊥, and composing the hard-truncation maps yields a composite of exactly X-resol.dim M + inf M ghost maps. The Ghost Lemma forces the level of M to be strictly larger than that number, and a splitting argument rules out the possibility that this composite is zero. The argument yields the inequality as a universal statement, independent of the particular abelian category or resolving subcategory, provided condition (A) holds.
Load-bearing premise
The whole argument hinges on an unproved claim about extension groups being preserved when a complex is replaced by a quasi-isomorphic one from the chosen subcategory; if that claim turns out to be false, the proof's central contradiction no longer works.
Editorial extensions
If this is right
- For X = Proj R over a ring R, the theorem reduces to level^Proj M ≥ pd_R M + inf M + 1, recovering the Altmann–Grifo–Montaño–Sanders–Vu bound.
- For X = GProj R or GInj R, it recovers and unifies the Awadalla–Marley bounds for Gorenstein projective and injective dimensions.
- For X = Add C or add C with C a semidualizing module over a commutative noetherian ring, it gives new lower bounds for C-projective levels.
- For any contravariantly finite resolving subcategory X of mod Λ over an artin algebra Λ, the theorem yields a lower bound for X-levels.
- The dual theorem (Theorem 3.13) gives the corresponding lower bound for coresolving subcategories with condition (A*) in terms of coresolution dimension and sup M.
Reading between the lines
- The theorem suggests that the level of a complex is never smaller than the length of the shortest 'resolution gap' plus one; this can be read as a quantitative version of the intuition that constructing a complex from a subcategory is at least as hard as resolving it.
- Condition (A) is satisfied in many natural settings (projectives, Gorenstein projectives, semidualizing-module classes, contravariantly finite resolving subcategories with the sub-Sub condition); the theorem indicates these are all instances of a single structural phenomenon rather than separate results.
- If Lemma 3.6 were proven to fail in some category, the theorem would still hold for all instances where the lemma holds; a natural test is to search for a resolving subcategory where the quasi-isomorphism invariance of Ext into X^⊥ fails, which would carve out the exact boundary of the theorem's applicability.
- The inequality may be sharp: examples where equality holds would give a lower bound that is exactly the obstruction to building the complex from X in fewer steps; the paper does not address sharpness, but the form of the bound suggests that resolution dimension plus infimum is the exact cost in many module categories.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a condition (A) on a resolving subcategory X of an abelian category with enough projectives and proves that for every nonzero object M in the bounded derived category, level^X_{D^b(A)} M is at least X-resol.dim M + inf M + 1 (Theorem 3.12). The proof is based on an approximation of M by a complex built from objects in X∩X^\perp and on a ghost-map argument. The author then applies this theorem to projective, Gorenstein projective/injective, C-projective/injective modules with respect to a semidualizing module, and to contravariantly finite resolving subcategories, recovering results of Altmann–Grifo–Montaño–Sanders–Vu and of Awadalla–Marley and extending them to abelian categories.
Significance. If the proof is correct, the main theorem offers a clean, general lower bound for levels in derived categories, unifying several known results. The condition (A) is a natural hypothesis, and the applications to semidualizing modules and contravariantly finite resolving subcategories are valuable. The paper is clearly structured and the ghost-map strategy is elegant. The central reservation is Lemma 3.6, which is load-bearing but stated without proof; once that lemma is properly established, the paper would be a solid contribution to the subject.
major comments (2)
- [Section 3, Lemma 3.6] Lemma 3.6 is stated without proof, with only the remark that the same argument as in [6, Lemma 3.2] is valid. This lemma is used essentially in the final paragraph of the proof of Theorem 3.12, where the quasi-isomorphism P→X is used to identify Ext^1_A(C^{-g+1}X, X^{-g}) with Ext^1_A(C^{-g+1}P, X^{-g}). Since the lemma is asserted for arbitrary abelian categories, all integers v, and all M in X^\perp, the transfer from the module-theoretic setting is not automatic. A full proof, or a precise reference that covers the stated generality, must be supplied. The argument needs to explain why the cokernel exact sequences of the mapping cone induce isomorphisms at the same Ext-degree for every v, and the statement for B^v—though not used in the proof—also needs justification.
- [Section 6, Corollary 6.4] Corollary 6.4 asserts the lower bound for every contravariantly finite resolving subcategory X of mod Λ over an artin algebra, citing Proposition 6.3. However, Proposition 6.3 has the additional hypothesis that X is contained in Sub(X^\perp). The corollary does not explain why this hypothesis is automatically satisfied in the artin algebra setting, nor does it cite a specific result that verifies it. If the hypothesis is indeed automatic, the proof should say so explicitly; otherwise, the claimed application is not fully established by the preceding proposition.
minor comments (4)
- [Sections 3 and 6] There are typographical errors such as 'resolutuion' in Lemma 3.2 and Proposition 3.7; these should be corrected.
- [Corollary 4.4] The statement says 'left R-modules' whereas the convention in Section 1 defines Mod R as right R-modules; the handedness should be made consistent.
- [Theorem 3.12, proof] The proof begins by assuming -g < i. It would be clearer to state explicitly that when -g ≥ i the desired inequality is trivial, since level is at least 1 for nonzero objects, before proceeding with the contradiction argument.
- [Proposition 3.7] The proof uses [14, Lemma 2.4(1)] as a black box. Including the statement of that lemma would make the paper more self-contained and would help the reader verify that it applies in the asserted generality of abelian categories with enough projectives.
Circularity Check
No circularity: Theorem 3.12 is derived from independent lemmas and prior results, with no fitted quantity or self-referential reduction.
full rationale
The paper's central claim, Theorem 3.12, is obtained by combining Lemma 3.2 (resolution dimension recognition), Lemma 3.9 (approximation via condition (A)), the Ghost lemma, Lemma 3.6 (a generalization of Awadalla–Marley's Ext-isomorphism lemma), and Lemma 3.4 (a splitting criterion). None of these inputs is defined in terms of the target inequality: the level level^X is defined by an independent inductive closure (Definition 2.8), the X-resolution dimension by a separate infimum over X-complexes (Definition 2.6), and condition (A) is a structural hypothesis on X, not a restatement of the lower bound. The proof uses Lemma 3.6 to identify Ext^1 groups so that Lemma 3.4 forces a split, yielding the contradiction g <= g-1; no parameter is fitted to data and no 'prediction' is renamed input. The recovered theorems of Altmann et al. and Awadalla–Marley are specializations of Corollaries 4.3/4.4, not premises. The only notable gap is that Lemma 3.6 is stated without proof (the proof is 'omitted as the same argument is valid'); this is an omitted-support/correctness issue, not circularity. The external cited lemmas are not self-citations and would be independent support if fully proved. Hence there is no circular step in the derivation chain.
Assumptions & free parameters
assumptions (5)
- standard math Ghost lemma: a nonzero composition of t C-ghost maps implies level_C(domain) is at least t+1, i.e., an object in <C>_t has all t-fold ghost compositions zero.
- standard math [6, Lemma 3.1] (Lemma 3.4): splitting criterion for exact rows using injectivity of Ext^1(F,D) to Ext^1(C,D).
- standard math [14, Lemma 2.4(1)]: for M in D^b(A) with finite projective dimension, there exists an exact triangle F -> M -> A[n] with F of finite proj dimension and A an object.
- standard math Lemma 5.8 (Christensen): Foxby equivalence between Auslander and Bass classes, and the equalities sup(C tensor^L_R X) = sup X and inf RHom_R(C,X) = inf X.
- domain assumption Standard fact: D^b(A) is equivalent to K^{-,b}(proj A) when A has enough projective objects (Remark 2.7(4)).
Cite this review
Pith. "Pith review of Lower bounds for levels of complexes by resolution dimensions." pith.science (2026). https://pith.science/paper/BAXXCMG2
@misc{pith2026250112109,
author = {Pith},
title = {Pith review of: Lower bounds for levels of complexes by resolution dimensions},
year = {2026},
howpublished = {\url{https://pith.science/paper/BAXXCMG2}},
note = {Machine review of arXiv:2501.12109}
}
abstract
Let $\mathcal{A}$ be an abelian category. Denote by $\mathrm{D}^{b}(\mathcal{A})$ the bounded derived category of $\mathcal{A}$. In this paper, we investigate the lower bounds for the levels of objects in $\mathrm{D}^{b}(\mathcal{A})$ with respect to a (co)resolving subcategory satisfying a certain condition. As an application, we not only recover the results of Altmann--Grifo--Monta\~{n}o--Sanders--Vu, and Awadalla--Marley but also extend them to establish lower bounds for levels with respect to some other subcategories in an abelian category.
Reference graph
Works this paper leans on
-
[6]
L. A w adalla; T. Marley, Level and Gorenstein projective dimension, J. Algebra 609 (2022), 606–618
work page 2022
-
[10]
L. W. Christensen , Semi-dualizing complexes and their Auslander categories , Trans. Amer. Math. Soc. 353 (2001), 1839–1883
work page 2001
- [1]
- [2]
-
[3]
H. Altmann; E. Grifo; J. Monta ˜no; W. Sanders; T. Vu , Lower bounds on projective levels of complexes, J. Algebra 491 (2017) 343–356
work page 2017
-
[4]
M. Auslander; I. Reiten , Applications of contravariantly finite subcategories, Adv. Math. 86 (1991), no. 1, 111–152
work page 1991
-
[5]
L. L. A vramov; R.-O. Buchweitz; S. B. Iyengar; and C. Miller , Homology of perfect complexes, Adv. Math. 223 (2010), 1731–1781. Corrigendum: Adv. Math. 225 (2010), 3576–3578
work page 2010
- [7]
Show all 24 references
-
[8]
Bruns; J
W. Bruns; J. Herzog , Cohen–Macaulay rings, revised edition, Cambridge Studie s in Advanced Mathematics 39, Cambridge University Press, Cambridge , 1998
1998
-
[9]
J. D. Christensen , Ideals in triangulated categories: phantoms, ghosts and s keleta, Adv. Math. 136 (1998), no. 2, 284–339
1998
-
[11]
L. W. Christensen , Gorenstein dimensions, Lecture Notes in Mathematics, 174 7, Springer–Verlag, Berlin, 2000
2000
-
[12]
Christensen; A
L. Christensen; A. Frankild; H. Holm , On Gorenstein projective, injective and flat dimensions – a functorial description with applications, J. Algebra 302 (2006) 231–279
2006
-
[13]
Christensen; S
L. Christensen; S. Iyengar , Gorenstein dimensions of modules over homomorphisms, J. Pure Appl. Algebra 208 (2007) 177–188. LOWER BOUNDS FOR LEVELS OF COMPLEXES BY RESOLUTION DIMENSIO NS 19
2007
-
[14]
H. Dao; R. Takahashi , Upper bounds for dimensions of singularity categories C. R. Math. Acad. Sci. Paris 353 (2015), no. 4, 297–301
2015
-
[15]
W. G. Dwyer; J. P. C. Greenlees; and S. B. Iyengar , Finiteness in derived categories of local rings, Comment. Math. Helv. 81 (2006), 383–432
2006
-
[16]
Happel , Selforthogonal modules, Abelian groups and modules, Math
D. Happel , Selforthogonal modules, Abelian groups and modules, Math . Appl. 343, Kluwer Acad. Publ. , Dordrecht, (1995), 257–276
1995
-
[17]
Krause; D
H. Krause; D. Kussin , Rouquier’s theorem on representation dimension, Trends i n representation theory of algebras and related topics, 95–103, Contemp. Math., 406, Amer. Math. Soc., Providence, RI , 2006
2006
-
[18]
Kimura; J
K. Kimura; J. L yle; Y. Otake; R. Takahashi , On the vanishing of Ext modules over a local unique factoriz ation domain with an isolated singularity, preprint (2023), arXiv:2310.16599v2
2023 arXiv
-
[19]
Matsui; R
H. Matsui; R. Takahashi , Singularity categories and singular equivalences for res olving subcategories, Math. Z. 285 (2017), no. 1, 251–286
2017
-
[20]
Rouquier , Dimensions of triangulated categories, J
R. Rouquier , Dimensions of triangulated categories, J. K-Theory 1 (2008), no. 2, 193–256
2008
-
[21]
Takahashi , Classifying thick subcategories of the stable category of Cohen–Macaulay modules, Adv
R. Takahashi , Classifying thick subcategories of the stable category of Cohen–Macaulay modules, Adv. Math. 225 (2010), no. 4, 2076–2116
2010
-
[22]
White , Gorenstein projective dimension with respect to a semidua lizing module, J
D. White , Gorenstein projective dimension with respect to a semidua lizing module, J. Commutative Algebra 2 (2010), 111–137
2010
-
[23]
Xu , Flat covers of modules, Lect
J. Xu , Flat covers of modules, Lect. Notes Math. 1634, Springer, New York 1996
1996
-
[24]
Yassemi, G-dimension, Math
S. Yassemi, G-dimension, Math. Scand. 77 (1995), no. 2, 161–174. Graduate School of Mathematics, Nagoya University, Furocho, Chikusaku, Nagoya 464-8602, Japan Email address : yuki.mifune.c9@math.nagoya-u.ac.jp
1995
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.