arxiv: 2604.13698 · v1 · submitted 2026-04-15 · 🧮 math.RT · math.CT· math.RA

Recognition: unknown

Global dimension of dg algebras via compact silting objects

Panagiotis Kostas

Authors on Pith no claims yet

Pith reviewed 2026-05-10 12:29 UTC · model grok-4.3

classification 🧮 math.RT math.CTmath.RA

keywords triangulated categoriescompact silting objectsglobal dimensiondg algebrassingularity categoriesquiver algebrashomological algebra

0 comments

The pith

The finiteness of the relative global dimension in a triangulated category is independent of the chosen compact silting object.

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

This paper defines a global dimension for triangulated categories measured relative to a compact silting object. It proves that whether this dimension is finite depends only on the triangulated category itself and not on which silting object is used. For connective dg algebras the work tracks how the dimension changes under homomorphisms and derives explicit bounds. These bounds give a concrete estimate for the global dimension of certain dg quiver algebras. The paper also shows that the big singularity category of a proper connective dg algebra is regular precisely when the relative global dimension is finite.

Core claim

We introduce a notion of global dimension for a triangulated category relative to a compact silting object. We prove that the finiteness of this dimension is an intrinsic property of the triangulated category itself and, therefore, independent of the choice of the silting object. Focusing on the setup of connective differential graded (dg) algebras, we analyse the behaviour of global dimension under dg algebra homomorphisms and establish explicit bounds. This allows us to deduce a bound for the global dimension of certain dg quiver algebras. We also relate the regularity of the big singularity category of a proper connective dg algebra to the finiteness of its global dimension.

What carries the argument

The relative global dimension of a triangulated category defined with respect to one of its compact silting objects.

If this is right

Finiteness of the relative global dimension is the same for every compact silting object inside the given triangulated category.
Under a dg algebra homomorphism the relative global dimension of the target is bounded in terms of the source and the homomorphism.
Specific classes of dg quiver algebras inherit finite global dimension from simpler algebras via the established bounds.
For a proper connective dg algebra the big singularity category is regular if and only if the relative global dimension is finite.

Where Pith is reading between the lines

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

Computations of global dimension can be performed with whichever compact silting object is easiest to handle.
The intrinsic character of the finiteness condition supplies an invariant that can be used to compare different dg algebra presentations of the same triangulated category.
The same independence may extend to other homological invariants once they are expressed relative to compact silting objects.

Load-bearing premise

The triangulated category admits at least one compact silting object.

What would settle it

A triangulated category containing two compact silting objects for which the relative global dimension is finite with one object but infinite with the other.

read the original abstract

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 defines a relative global dimension for triangulated categories via compact silting objects and proves its finiteness is independent of the choice, with concrete bounds for dg algebras.

read the letter

The main point is that they introduce this relative global dimension and show its finiteness does not depend on the particular compact silting object chosen. That turns a choice-dependent quantity into something that belongs to the triangulated category itself. They then restrict to connective dg algebras, track how the dimension behaves under homomorphisms, and extract explicit bounds that apply to some dg quiver algebras. They also link finiteness of the dimension to regularity of the big singularity category for proper connective dg algebras. These steps give the work a usable computational side rather than staying purely abstract. The independence argument looks free of circularity or self-referential fitting, and the setup assumption that at least one compact silting object exists is stated clearly up front. The bounds under homomorphisms are a practical addition that could support comparisons between algebras. The main soft spot is that sharpness of the bounds and the full strength of the independence proof are not visible from the abstract, so the details will need referee scrutiny. The paper targets people already working with silting objects, dg algebras, and numerical invariants in triangulated categories. Readers who need a stable way to bound global dimension or relate it to singularity categories will get direct value. It deserves peer review because the core claim is cleanly stated, the applications are concrete, and the result adds a new tool even if the proofs require verification.

Referee Report

0 major / 3 minor

Summary. The paper introduces a relative global dimension for triangulated categories with respect to a compact silting object. It proves that the finiteness of this dimension is an intrinsic property of the triangulated category and thus independent of the choice of silting object. Specializing to connective dg algebras, the work analyzes the behavior of this dimension under dg algebra homomorphisms, derives explicit bounds, applies them to certain dg quiver algebras, and relates the finiteness to the regularity of the big singularity category of a proper connective dg algebra.

Significance. If the independence result holds, the relative global dimension supplies a choice-independent homological invariant for triangulated categories admitting compact silting objects. This could facilitate comparisons across different models of the same category and yield computable bounds in the dg-algebra setting, with direct links to singularity categories that may aid classification problems in representation theory.

minor comments (3)

The abstract claims explicit bounds and a deduction for dg quiver algebras, but the manuscript would benefit from a concrete numerical example (e.g., a specific quiver with relations) illustrating the bound in §4 or §5.
Notation for the relative global dimension (introduced early) should be fixed consistently; occasional shifts between “relative global dimension” and “global dimension relative to S” obscure cross-references in the dg-algebra sections.
The relation between finiteness of the global dimension and regularity of the big singularity category is stated in the final paragraph; a short diagram or commutative square relating the two functors would clarify the argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript, the accurate summary of our results, and the positive recommendation for minor revision. We appreciate the recognition that the independence of the finiteness of the relative global dimension from the choice of compact silting object provides a useful intrinsic invariant, with potential applications to comparisons of models and to singularity categories.

Circularity Check

0 steps flagged

No significant circularity; independence claim is a theorem on the triangulated category

full rationale

The central result asserts that finiteness of the relative global dimension (w.r.t. a compact silting object) is independent of the particular silting object chosen and is thus intrinsic to the triangulated category. This is stated as a proven theorem rather than a definitional identity or a fitted parameter renamed as prediction. The existence of at least one compact silting object is an explicit setup hypothesis required to define the relative notion, not a self-referential loop. No equations, self-citations, or ansatzes in the abstract reduce the independence statement to its own inputs by construction. The subsequent analysis on connective dg algebras and bounds under homomorphisms proceeds from this independence without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Review performed from abstract only; full definitions, assumptions, and any free parameters or invented objects cannot be audited.

axioms (1)

domain assumption Triangulated categories admit compact silting objects
Required for the relative global dimension to be defined; stated implicitly by the setup.

invented entities (1)

relative global dimension with respect to a compact silting object no independent evidence
purpose: Numerical invariant measuring homological size in a triangulated category
Newly introduced notion whose finiteness is claimed to be intrinsic.

pith-pipeline@v0.9.0 · 5394 in / 1193 out tokens · 18932 ms · 2026-05-10T12:29:39.123401+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.

Homological Aspects of Separable Extensions of Triangulated Categories
math.RT 2026-04 unverdicted novelty 7.0

Separable extensions preserve finiteness of global dimension, Gorensteinness and regularity in compactly generated triangulated categories while relating their singularity categories up to retracts.

Reference graph

Works this paper leans on

25 extracted references · 7 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

Amiot , Cluster categories for algebras of global dimension 2 and quivers with potential, Ann.\ Inst.\ Fourier (Grenoble) 59 (2009), no.\ 6, 2525–2590

C. Amiot , Cluster categories for algebras of global dimension 2 and quivers with potential, Ann.\ Inst.\ Fourier (Grenoble) 59 (2009), no.\ 6, 2525–2590

2009
[2]

Auslander , On the dimension of modules and algebras

M. Auslander , On the dimension of modules and algebras. III. Global dimension, Nagoya Math. J. 9 (1955), 67–77

1955
[3]

Beilinson, J

A. Beilinson, J. Bernstein, P. Deligne , Faisceaux pervers, Analysis and topology on singular spaces, I (Luminy, 1981), 5–171. Astérisque, 100 Société Mathématique de France, Paris, 1982

1981
[4]

Biswas, H

R. Biswas, H. Chen, K. Manali Rahul, C. Parker, J. Zheng , Bounded t-structures, finitistic dimensions, and singularity categories of triangulated categories, arXiv:2401.00130

work page arXiv
[5]

H. Chen, X. Chen, J. Zhang , Finiteness of homological dimensions in triangulated categories, arXiv:2604.10478

work page internal anchor Pith review Pith/arXiv arXiv
[6]

Chen, X.-W

X. Chen, X.-W. Chen , An informal introduction to dg categories, arXiv:1908.04599

work page arXiv 1908
[7]

Efimov, D

A. Efimov, D. Orlov , Remarks on regular and smooth DG algebras, Uspekhi Mat. Nauk 80 (2025), no. 4(484), 177–178

2025
[8]

M. Fang, W. Hu, S. Koenig , On derived equivalences and homological dimensions, J. Reine Angew. Math. 770 (2021), 59–85

2021
[9]

Goodbody , Approximable Triangulated Categories and Reflexive DG-categories, Appl Categor Struct 34, 19 (2026)

I. Goodbody , Approximable Triangulated Categories and Reflexive DG-categories, Appl Categor Struct 34, 19 (2026)

2026
[10]

Haiden, L

F. Haiden, L. Katzarkov, M. Kontsevich , Flat surfaces and stability structures, Publ. Math. Inst. Hautes Études Sci. 126 (2017), 247–318

2017
[11]

Happel , On the derived category of a finite-dimensional algebra, Comment

D. Happel , On the derived category of a finite-dimensional algebra, Comment. Math. Helv. 62 (1987), no. 3, 339–389

1987
[12]

Happel, D

D. Happel, D. Zacharia , Algebras of finite global dimension, Algebras, quivers and representations, 95–113. Abel Symp., 8 Springer, Heidelberg, 2013

2013
[13]

Hoshino, Y

M. Hoshino, Y. Kato, J.-I. Miyachi , On t-structures and torsion theories induced by compact objects, J.\ Pure Appl.\ Algebra 167 (1) (2002), 15–35

2002
[14]

Kalck, D

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

2016
[15]

Keller , Calabi-Yau triangulated categories Trends in representation theory of algebras and related topics, 467–489

B. Keller , Calabi-Yau triangulated categories Trends in representation theory of algebras and related topics, 467–489. EMS Ser. Congr. Rep. European Mathematical Society (EMS), Zurich, 2008

2008
[16]

Kostas, C

P. Kostas, C. Psaroudakis, J. Vit\'oria , Intrinsic homological algebra for triangulated categories, arXiv:2512.18417

work page arXiv
[17]

Kuznetsov, E

A. Kuznetsov, E. Shinder , Homologically finite-dimensional objects in triangulated categories, Sel.\ Math., New Ser.\ 31, No.\ 2, Paper No.\ 27, 45 p.\ (2025)

2025
[18]

Lekili, A

Y. Lekili, A. Polishchuk , Derived equivalences of gentle algebras via Fukaya categories, Math. Ann. 376 (2020), no. 1-2, 187–225

2020
[19]

Minamoto , Resolutions and homological dimensions of DG-modules, Israel J

H. Minamoto , Resolutions and homological dimensions of DG-modules, Israel J. Math. 245 (2021), no. 1, 409–454

2021
[20]

A. Neeman , The connection between the K-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel, Ann.\ Sci.\ École Norm.\ Sup.\ (4) 25 (1992), no.\ 5, 547–566

1992
[21]

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

A. Neeman , Triangulated categories with a single compact 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
[22]

Orlov , Smooth DG algebras and twisted tensor product, Uspekhi Mat

D. Orlov , Smooth DG algebras and twisted tensor product, Uspekhi Mat. Nauk 78 (2023), no. 5(473), 65–92; translation in Russian Math. Surveys 78 (2023), no. 5, 853–880

2023
[23]

Raedschelders, G

T. Raedschelders, G. Stevenson , Proper connective differential graded algebras and their geometric realizations, Eur.\ J.\ Math.\ 8 (2022), S574–S598

2022
[24]

Tomonaga , On silting mutations preserving global dimension, arXiv:2510.26206

R. Tomonaga , On silting mutations preserving global dimension, arXiv:2510.26206

work page arXiv
[25]

Yekutieli , Duality and Tilting for Commutative DG Rings, arXiv:1312.6411

A. Yekutieli , Duality and Tilting for Commutative DG Rings, arXiv:1312.6411

work page arXiv