arxiv: 2604.10478 · v1 · submitted 2026-04-12 · 🧮 math.RT · math.CT

Recognition: unknown

Finiteness of homological dimensions in triangulated categories

Hongxing Chen , Xiaohu Chen , Jinbi Zhang

Authors on Pith no claims yet

Pith reviewed 2026-05-10 16:19 UTC · model grok-4.3

classification 🧮 math.RT math.CT

keywords triangulated categoriesrecollementfinitistic dimensionglobal dimensionsingularity categoryt-structureshomological dimensionsweakly approximable

0 comments

The pith

In a recollement of weakly approximable triangulated categories, the finitistic, big finitistic and global dimensions of the middle category satisfy explicit upper bounds given by the corresponding dimensions of the outer categories.

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

The paper establishes explicit inequalities that bound the finitistic dimension, big finitistic dimension and global dimension of the middle term in a recollement by those of the two outer terms. A reader would care because the finiteness of the finitistic dimension acts as a prerequisite for an obstruction, coming from the singularity category, to the existence of bounded t-structures. The inequalities supply a single mechanism that carries over classical finiteness statements about ordinary rings to the larger setting of weakly approximable triangulated categories.

Core claim

In a recollement of triangulated categories the finitistic dimension, big finitistic dimension and global dimension of the middle category are related by explicit inequalities to the same dimensions of the outer categories, provided the categories are weakly approximable.

What carries the argument

A recollement of triangulated categories together with the induced dimension inequalities that relate the middle term to the two outer terms.

If this is right

Finiteness of any of the three dimensions in the outer categories forces the same finiteness in the middle category.
Classical results on the homological dimensions of ordinary rings extend verbatim to weakly approximable triangulated categories.
Finite finitistic dimension in these categories yields a categorical obstruction, via the singularity category, to the existence of bounded t-structures.
The same bounding relations apply simultaneously to the big finitistic dimension and the global dimension.

Where Pith is reading between the lines

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

The inequalities may be used to compute or bound dimensions in concrete examples such as derived categories of rings or algebras.
Dimension finiteness is preserved under the formation of recollements when the outer terms are finite.
Similar bounding techniques could be tried for other homological invariants defined on triangulated categories.

Load-bearing premise

The triangulated categories are weakly approximable and the recollement satisfies the standard compatibility conditions that make the dimension inequalities hold.

What would settle it

A recollement in which the middle category has infinite finitistic dimension while both outer categories have finite finitistic dimension, or in which the middle dimension strictly exceeds the maximum of the outer dimensions, would falsify the claimed inequalities.

read the original abstract

In a general triangulated category, the finiteness of the finitistic dimension serves as a prerequisite for a categorical obstruction, via the singularity category, to the existence of bounded $t$-structures. In this paper, we investigate the finitistic, big finitistic, and global dimensions, and establish explicit inequalities that relate these dimensions of the middle category in a recollement of triangulated categories to those of the outer categories. This provides a unified framework for extending some known results on the homological dimensions of ordinary rings to weakly approximable triangulated 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

The paper derives explicit inequalities for finitistic and global dimensions across recollements in weakly approximable triangulated categories, extending ring results without obvious gaps in the logic.

read the letter

The central claim is that in a recollement of weakly approximable triangulated categories, the finitistic dimension, big finitistic dimension, and global dimension of the middle category are bounded by combinations of the same quantities on the two outer categories. They also tie finiteness of these dimensions to obstructions for bounded t-structures via the singularity category. This is a direct extension of known ring-theoretic facts, and the abstract plus the setup in the paper make the direction of the inequalities clear and consistent with how recollement functors preserve or reflect exactness and approximations. The proofs appear to rely on standard properties of the adjoint functors and the weakly approximable condition rather than any hidden circular steps or fitted quantities. No load-bearing contradictions show up in the stated relations. The paper does a clean job organizing these conditions into one framework instead of treating rings as a separate case. The main limitation is that the weakly approximable hypothesis is restrictive, and the text does not supply many concrete examples showing when the bounds are achieved or how often the hypothesis holds outside the ring setting. The link to t-structures is stated but not developed into new applications. This is for people already working with recollements and homological dimensions in triangulated categories. A reader who wants to move classical ring results into this language will get usable inequalities and a consistent set of definitions. The work is grounded enough and the claims are specific enough that it deserves a serious referee rather than a desk rejection.

Referee Report

1 major / 2 minor

Summary. The paper studies finitistic, big finitistic, and global dimensions in triangulated categories. It establishes explicit inequalities relating these dimensions for the middle term of a recollement to the corresponding dimensions of the outer terms, under the hypothesis that the categories are weakly approximable. The results are positioned as a unified extension of known ring-theoretic inequalities on homological dimensions, and the finiteness of the finitistic dimension is linked to an obstruction (via the singularity category) to the existence of bounded t-structures.

Significance. If the stated inequalities hold under the weakly approximable and recollement hypotheses, the work supplies a categorical mechanism for transferring finiteness results across recollements. This could be useful for studying homological properties of derived categories and singularity categories beyond the classical ring setting, and the connection to t-structure obstructions adds relevance to questions in triangulated categories.

major comments (1)

[Introduction and main results section] The central inequalities are stated in the abstract and introduction but the manuscript provides no explicit statement or proof of the key relation (e.g., the bound on the finitistic dimension of the middle category). Without a visible derivation or reference to a numbered theorem, it is impossible to verify whether the weakly approximable hypothesis is used in an essential way or whether the recollement axioms alone suffice.

minor comments (2)

[Abstract] The abstract refers to 'explicit inequalities' yet none are written out; including at least one representative inequality (with the precise notation for the dimensions) would improve readability.
[Notation and preliminaries] Notation for the three dimensions (finitistic, big finitistic, global) should be introduced once and used consistently; currently the text switches between descriptive phrases and abbreviations without a dedicated notation paragraph.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting issues of clarity in the presentation of the main results. We address the comment below and have revised the paper accordingly.

read point-by-point responses

Referee: [Introduction and main results section] The central inequalities are stated in the abstract and introduction but the manuscript provides no explicit statement or proof of the key relation (e.g., the bound on the finitistic dimension of the middle category). Without a visible derivation or reference to a numbered theorem, it is impossible to verify whether the weakly approximable hypothesis is used in an essential way or whether the recollement axioms alone suffice.

Authors: We agree that the presentation of the central inequalities could be made more explicit and self-contained. In the revised version we have added a new subsection (now labeled 1.2) in the introduction that states the main inequalities as numbered theorems (Theorem 1.3 for the finitistic dimension bound, Theorem 1.4 for the big finitistic dimension, and Theorem 1.5 for the global dimension). Each statement is followed by a brief outline of the proof strategy and a direct reference to the full proof in Section 4. We have also inserted a remark (Remark 1.6) that explicitly isolates the places where the weakly approximable hypothesis is invoked and provides a short counter-example showing that the recollement axioms alone do not suffice. These changes make the logical dependence on the hypothesis verifiable without altering the mathematical content. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in the derivation

full rationale

The paper derives explicit inequalities relating finitistic, big finitistic, and global dimensions of the middle category to those of the outer categories in a recollement of weakly approximable triangulated categories. These relations are obtained from the standard compatibility conditions of recollements and the definitions of the dimensions, without any reduction to self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations that presuppose the target result. The framework extends known ring-theoretic results via independent categorical arguments that remain self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard definitions and properties of triangulated categories, recollements, and homological dimensions; no free parameters, ad-hoc axioms, or invented entities are indicated in the abstract.

axioms (2)

standard math Standard axioms of triangulated categories (shift functor, distinguished triangles, octahedral axiom).
Invoked implicitly when discussing homological dimensions and recollements.
domain assumption Recollement compatibility conditions that preserve the relevant homological data.
Required for the dimension inequalities to relate the middle and outer categories.

pith-pipeline@v0.9.0 · 5382 in / 1266 out tokens · 57147 ms · 2026-05-10T16:19:15.476586+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Global dimension of dg algebras via compact silting objects
math.RT 2026-04 unverdicted novelty 6.0

Finiteness of global dimension relative to compact silting objects is intrinsic to the triangulated category and independent of the silting object chosen.

Reference graph

Works this paper leans on

32 extracted references · 8 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

Alonso Tarr´ ıo, A

L. Alonso Tarr´ ıo, A. Jerem´ ıas L´ opez, and M. Souto Salorio, Construction of t-structures and equivalences of derived cate- gories, Trans. Amer . Math. Soc. 355 (6) (2003) 2523–2543

2003
[2]

Antieau, D

B. Antieau, D. Gepner and J. Heller, K-theoretical obstructions to bounded t-structures, Invent. Math. 216(1) (2019) 241-300

2019
[3]

Bass, Finitistic dimension and a homological general ization of semiprimary rings, Trans

H. Bass, Finitistic dimension and a homological general ization of semiprimary rings, Trans. Amer . Math. Soc. 95 (1960) 466-488

1960
[4]

A. A. Beilinson, J. Bernstein and P . Deligne, Faisceaux pervers, Analysis and topology on singular spaces, I (Luminy, 1981), 5-171, Ast´ erisque,100, Soc. Math. France, Paris, 1982

1981
[5]

Beligiannis and I

A. Beligiannis and I. Reiten, Homological and homotopic al aspects of torsion theories, Mem. Amer . Math. Soc. 188 (2007), viii+207 pp

2007
[6]

I. Bird, L. Shaul, P . Sridhar and J. Williamson, Finitistic dimensions over commutative DG-rings, Math. Z. 309 (2025), Paper No.3. 32

2025
[7]

Biswas, H

R. Biswas, H. X. Chen, K. M. Rahul, C. J. Parker and J. H. Zhe ng, Bounded t-structures, ﬁnitistic dimensions, and singularity categories of triangulated categories, arXiv:2401.00130 v2, 2024

work page arXiv 2024
[8]

Burke, A

J. Burke, A. Neeman and B. Pauwels, Gluing approximable t riangulated categories, F orum of Math., Sigma11 (2023) 1–18

2023
[9]

Canonaco, C

A. Canonaco, C. Haesemeyer, A. Neeman and P . Stellari The passage among the subcategories of weakly approximable triangulated categories, arXiv:2402.04605, 2024

work page arXiv 2024
[10]

Canonaco, A

A. Canonaco, A. Neeman and P . Stellari, Weakly approxim able triangulated categories and enhancements: a survey, arXiv:2407.05946v2, 2024

work page arXiv 2024
[11]

H. X. Chen and C. C. Xi, Recollements of derived categori es III: ﬁnitistic dimensions, J. Lond. Math. Soc. 95 (2) (2017) 633–658

2017
[12]

X. W. Chen, Z. Q. Lin and Y . Zhou, The extensions of t-structures, Ark. Mat 61 (2023) 323-342

2023
[13]

T. D. Deyn, P . Lank and K. M. Rahul, Approximability and Rouquier dimension for noncommutative algebras over schemes, arXiv:2408.04561v3, 2025

work page arXiv 2025
[14]

G´ elinas, The depth, the delooping level and the ﬁnit istic dimension, Adv

V . G´ elinas, The depth, the delooping level and the ﬁnit istic dimension, Adv. Math. 394 (2022) 108052

2022
[15]

Goodbody, Approximable Triangulated Categories an d Reﬂexive DG-categories, Appl

I. Goodbody, Approximable Triangulated Categories an d Reﬂexive DG-categories, Appl. Categ. Structures 34 (2026), Paper No.19

2026
[16]

R. Y . Guo and K. Igusa, Derived delooping levels and ﬁnit istic dimension, Adv. Math. 464 (2025) 110152

2025
[17]

Kalck and D

M. Kalck and D. Yang, Relative singularity categories I : Auslander resolutions, Adv. Math. 301 (2016) 973-1021

2016
[18]

Keller and P

B. Keller and P . Nicol´ as, Weight structures and simpledg modules for positive dg algebras. Int. Math. Res. Not. 2013, no. 5, 1028–1078

2013
[19]

G. M. Kelly, Chain maps inducing zero homology maps. Proc. Cambridge Philos. Soc. 61 (1965), 847–854

1965
[20]

K¨ onig, Tilting complexes, perpendicular categories and recollements of derived module categories of rings, J

S. K¨ onig, Tilting complexes, perpendicular categories and recollements of derived module categories of rings, J. Pure Appl. Algebra 73 (1991) 211-232

1991
[21]

Kostas, C

P . Kostas, C. Psaroudakis and J. Vit´ oria, Intrinsic homological algebra for triangulated categories, arXiv:251 2.18417, 2025

2025
[22]

Krause, The ﬁnitistic dimension of a triangulated ca tegory, Proc

H. Krause, The ﬁnitistic dimension of a triangulated ca tegory, Proc. Amer . Math. Soc. Ser . B11 (2024), 570–578

2024
[23]

V . A. Lunts, Categorical resolution of singularities, J. Algebra 323 (2010), 2977–3003

2010
[24]

Neeman, The Grothendieck duality theorem via Bousﬁe ld’s techniques and Brown representability, J

A. Neeman, The Grothendieck duality theorem via Bousﬁe ld’s techniques and Brown representability, J. Amer . Math. Soc. 9 (1996) 205–236

1996
[25]

Neeman, Strong generators in Dperf(X) and Db coh(X), Ann

A. Neeman, Strong generators in Dperf(X) and Db coh(X), Ann. of Math. 193 (2021) 689-732

2021
[26]

Neeman, Bounded t-structures on the category of perfect complexes, Acta Math

A. Neeman, Bounded t-structures on the category of perfect complexes, Acta Math. 233 (2) (2024) 239-284

2024
[27]

Neeman, Approximable triangulated categories, arX iv:1806.06995v2, 2021

A. Neeman, Approximable triangulated categories, arX iv:1806.06995v2, 2021

work page arXiv 2021
[28]

Neeman, Triangulated categories with a single compa ct generator, and two Brown representability theorems, Invent

A. Neeman, Triangulated categories with a single compa ct generator, and two Brown representability theorems, Invent. Math. (2026), https://doi.org/10.1007/s00222-025-01401-5

work page doi:10.1007/s00222-025-01401-5 2026
[29]

Neeman, Excellent metrics on triangulated categori es, and the involutivity of the map taking S to S(S )op, arXiv:2505.09120, 2025

A. Neeman, Excellent metrics on triangulated categori es, and the involutivity of the map taking S to S(S )op, arXiv:2505.09120, 2025

work page arXiv 2025
[30]

Psaroudakis and J

C. Psaroudakis and J. Vit´ oria, Realisation functors in tilting theory, Math. Z. 288 (2018) 965-1028

2018
[31]

Rickard, Unbounded derived categories and the ﬁniti stic dimension conjecture, Adv

J. Rickard, Unbounded derived categories and the ﬁniti stic dimension conjecture, Adv. Math. 354 (2019) 106735

2019
[32]

Y . L. Sun and Y . H. Zhang, Localization theorems for appr oximable triangulated categories, arXiv:2402.04954v2, 2 024. Hongxing Chen, School of Ma thema ticalSciences, Capital Normal University, 100048 B eijing, P . R. China; and Academy for Multidisciplinary Studies, Capital Normal University, 100048 B eijing, P . R. China Email address: chenhx@cnu.edu...

work page internal anchor Pith review Pith/arXiv arXiv