Tilting in $Q$-shaped derived categories

Greg Stevenson; Henrik Holm; Peter Jorgensen; Sira Gratz

REVIEW 1 major objections 4 minor 1 cited by

Tilting in $Q$-shaped derived categories

T0 review · 1 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read This paper proves that every Q-shaped derived category built from a self-injective nonnegatively graded algebra with finite-dimensional degree-zero part is triangulated equivalent to the ordinary derived category of an explicitly defined…

desk verdict Clean transfer of Yamaura's tilting theorem to Q-shaped derived categories, yielding a genuine generalization of the N-complex equivalence; worth a serious referee. read the letter →

arxiv 2411.11412 v2 pith:DTGBJPKZ submitted 2024-11-18 math.RT math.RA

Sira Gratz , Henrik Holm , Peter Jorgensen , Greg Stevenson This is my paper · ORCID

classification math.RTmath.RA MSC 16E3518E3518G8018N40

keywords Q-shapedderivedcategorytiltingobjectequivalenceself-injectivealgebragradedmeshexteriorN-complexes

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

Q-shaped derived categories package diagrams of modules over an algebra $A$ whose shape is a small category $Q$. The paper proves that for a large family of shapes—those coming from graded shifts of indecomposable projectives over a self-injective, nonnegatively graded algebra $\Lambda$ with $\Lambda_0$ of finite global dimension—the $Q$-shaped derived category $D_Q(A)$ is triangulated equivalent to the ordinary derived category of an explicit ring $\Gamma \otimes_k A$. The ring is built from a tilting object $T$ in the stable category of graded $\Lambda$-modules: $\Gamma = \operatorname{Hom}_{\underline{\mathrm{Gr}}\,\Lambda}(T,T)$. If the theorem is right, tools from classical derived categories apply to these diagram categories, and known equivalences—such as the theorem that $N$-complexes over $A$ are equivalent to modules over upper triangular matrix rings—fall out as special cases.

What carries the argument

The central object is the tilting object $T=\bigoplus_{i=0}^{\ell-1}\Lambda(i)_{\le 0}$ in the stable category $\underline{\mathrm{Gr}}\,\Lambda$ of $\mathbb{Z}$-graded right $\Lambda$-modules, i.e. graded modules modulo the projective-injective ones; it is a compact generator with no higher self-extensions. The proof feeds $T$ through the exact base change functor $i^*\colon \underline{\mathrm{Gr}}\,\Lambda \to D_Q(A)$, which turns graded $\Lambda$-modules into graded $\Lambda\otimes_k A$-modules (equivalently, $Q\otimes_k A$-modules). The object $i^*T$ is shown to be a compact generator of $D_Q(A)$, and its derived endomorphism ring is computed by tensoring a complete graded projective-injective resolution of $T$ with $A$; exactness of $-\otimes_k A$ and the identification of the class $E$ with projective graded modules force the cohomology to be $\Gamma\otimes_k A$ in degree zero. Thus the whole category is the derived category of the ring $\Gamma\otimes_k A$.

What would settle it

Take $\Lambda=k[X]/(X^3)$ with $\deg X=1$ and $A=k$, so the theorem predicts $D_3(k)\simeq D(T_2(k))$ where $T_2(k)$ is the algebra of upper triangular $2\times 2$ matrices over $k$. One could compute the derived endomorphism ring of $i^*T$ inside $D_3(k)$ directly: any cohomology outside degree zero, or a failure of $i^*T$ to generate, would disprove the theorem. More broadly, comparing $K_0$ or the lattice of thick subcategories on both sides in any example with $\Lambda_0$ of finite global dimension would settle the claimed equivalence.

Watch

Extended reading notes

Core claim

The central claim is Theorem A (Theorem 3.2.2). Under the standing hypotheses, the base change functor $i^*\colon \underline{\mathrm{Gr}}\,\Lambda \to D_Q(A)$ sends the tilting object $T=\bigoplus_{i=0}^{\ell-1}\Lambda(i)_{\le 0}$ from [12] to a tilting object $i^*T$ of $D_Q(A)$, and the derived endomorphism ring of $i^*T$ is $\operatorname{Hom}_{\underline{\mathrm{Gr}}\,\Lambda}(T,T)\otimes_k A$, concentrated in degree zero. Since $i^*T$ is a compact generator, the standard tilting criterion for derived equivalences gives $D_Q(A)\simeq D(\Gamma\otimes_k A)$. The proof computes the endomorphism ring by tensoring a complete graded projective-injective resolution of $T$ with $A$, using exactness of base change and the identification of the relevant Ext-vanishing class with projective graded modules.

Load-bearing premise

The proof depends on the quoted theorem that the explicitly built graded module $T=\bigoplus_{i=0}^{\ell-1}\Lambda(i)_{\le 0}$ is a tilting object (a compact generator with no higher self-extensions) for the stable category of graded $\Lambda$-modules, together with the identification of the class $E$ with modules of finite projective dimension; if either input fails, the endomorphism-ring computation and the equivalence do not go through.

Editorial extensions

If this is right

If the theorem is correct, $D_Q(A)$ is the derived category of the ordinary ring $\Gamma\otimes_k A$; hence all standard derived-category technology—resolutions, t-structures, tilting and silting objects, cohomological invariants—applies to these diagram categories.
The special case $\Lambda=k[X]/(X^N)$ recovers the known equivalence between the derived category of $N$-complexes and $D(T_{N-1}(A))$, the derived category of upper triangular $(N-1)\times(N-1)$ matrices over $A$.
For the preprojective algebra of type $A_n$, $D_{Q_n}(A)\cong D(\Gamma_n\otimes A)$ where $\Gamma_n$ is the Auslander algebra of $kA_{n-1}$; the paper notes that $D_{Q_n}(A)$ consequently has semiorthogonal decompositions into copies of $D(A)$.
For exterior algebras on $n$ generators, $D_Q(A)\cong D(\Gamma_n'\otimes A)$ where $\Gamma_n'$ is the Beilinson algebra; for commutative $A$ this becomes $D_Q(A)\cong D(\mathbb{P}^{n-1}_A)$, the derived category of projective space over $A$.

Reading between the lines

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

The same mechanism suggests that any $Q$ arising from a self-injective nonnegatively graded algebra with finite-dimensional degree-zero part will make $D_Q(A)$ classical; one could systematically search graded self-injective algebras to produce new equivalences beyond the preprojective and exterior examples treated here.
The proof is written for an arbitrary base $k$-algebra $A$, so the equivalence appears to be natural in $A$; if that naturality can be made explicit, restriction along algebra maps $A\to B$ would give a functorial way to compare $D_Q(B)$ with $D_Q(A)$, turning the theorem into a tool for varying coefficients.
The mesh-algebra example exhibits semiorthogonal decompositions of $D_Q(A)$ into copies of $D(A)$; the same phenomenon for other self-injective $\Lambda$ would give a combinatorial description of how $Q$-shaped categories are spliced from ordinary ones, potentially explaining the different cohomology notions for $N$-complexes as choices of such decompositions.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

I read the Gratz-Holm-Jorgensen-Stevenson paper on tilting in Q-shaped derived categories. The main theorem is exactly what they claim: for a self-injective nonnegatively graded algebra Lambda with Lambda_0 of finite global dimension, the Q-shaped derived category D_Q(A) is equivalent to the ordinary derived category D(Gamma tensor A), where Gamma = Hom_{GrLambda}(T,T) is the endomorphism ring of Yamaura's tilting object. This is a genuine generalization of the Iyama-Kato-Miyachi equivalence for N-complexes, and it also recovers Yamaura's realization of stable categories as derived categories when A = k.

What is actually new is the transfer argument: Lemma 3.1.6 promotes Yamaura's compact generator T to a compact generator i*T in D_Q(A), and Lemma 2.3.4 identifies the endomorphism ring as Gamma tensor A via the exact base-change functor i*. The proof is clean and easy to follow, and the authors are explicit about which inputs come from outside - Yamaura's theorem, the structural results on Q-shaped derived categories from their earlier papers, and the compact-generation result from [5]. They also acknowledge Jasso's independent proof, which is the right thing to do.

The soft spots are minor. The argument depends heavily on Yamaura's theorem and on [4, Theorem 7.1] identifying the class E with modules of finite projective dimension over Lambda; if either of those had a hidden assumption, the chain would break. But they are standard results, and the authors check the hypotheses. Some example computations are compressed - for instance, the derived equivalence Gamma_n tensor A = Gamma'_n tensor A in the exterior algebra case is asserted rather than shown, and the semiorthogonal decompositions for mesh categories are sketched in a few lines. These are natural places for a referee to ask for a few more details, but they do not affect the main theorem.

This is a solid paper. It is not groundbreaking in the sense of inventing a new technology, but it is a clean structural result that subsumes several known equivalences and should be useful to anyone working with Q-shaped derived categories or tilting theory. I would bring it to a reading group and cite it. It deserves a serious referee; the main theorem is important enough and the proof is coherent enough to warrant careful peer review.

Referee Report

1 major / 4 minor

Summary. The paper proves a triangulated equivalence between the Q-shaped derived category D_Q(A) of a k-algebra A and the ordinary derived category D(Γ ⊗_k A), where Q is a full subcategory of the category of graded projective modules over a self-injective nonnegatively graded k-algebra Λ with Λ_0 of finite global dimension, and Γ = Hom_GrΛ(T,T) is the endomorphism ring in the stable category of graded Λ-modules of Yamaura's tilting object T. The proof shows that i^*T is a tilting object in D_Q(A) and computes its endomorphism ring via an exact base-change argument (Lemma 2.3.4). The theorem specializes to the known Iyama-Kato-Miyachi equivalence for N-complexes and is illustrated on mesh categories of type A and exterior algebras.

Significance. If correct, the theorem provides a uniform mechanism for realizing all Q-shaped derived categories arising from the stated class of algebras as ordinary derived categories of explicitly described algebras, subsuming several known equivalences. The proof is a clean transfer of Yamaura's tilting theorem into the authors' Q-shaped derived category framework, and it depends on clearly cited external results rather than on circular reasoning. The paper also includes a thoughtful selection of examples, including the recovery of the N-complex equivalence and the Beilinson-type description for exterior algebras.

major comments (1)

[Section 3.2, Theorem 3.2.2 and Remark 3.2.3] The proof of Theorem 3.2.2 asserts that i^*~T is a complete projective resolution in the Frobenius category ⊥^1 E. For this assertion one needs total acyclicity against all projective-injective objects of ⊥^1 E, which is precisely the class E. Remark 3.2.3 demonstrates total acyclicity only for graded projective Λ⊗A-modules, which are a proper subclass of E. The gap is removable: for P ∈ E, i^*P is projective over Λ, so the same isomorphism from Lemma 2.3.4 yields acyclicity of hom(i^*~T,P). Because this point is used to justify the endomorphism-ring computation, it should be fixed in the revision.

minor comments (4)

[Section 3.2, proof of Theorem 3.2.2] The phrase 'using that i^*T is concentrated in degree 0' refers to the homological degree of T as a complex, not to its internal grading; this could be clarified to avoid confusion.
[Section 3.1, Lemma 3.1.1] The proof would benefit from a brief restatement of the relevant content of [4, Theorem 7.1] and [10, Corollary 3.3.7] to make the equality of the three classes explicit, especially since the theorem is load-bearing.
[Section 4.1, Example 4.1.1] The assertion D_Q1(A)=0 is given without justification; adding a one-sentence explanation (e.g., over Λ=k every module is projective, so the stable category vanishes) would improve readability.
[Section 1, introduction] The term 'upper diagonal (N−1)×(N−1)-matrices over A' appears in the abstract but could be repeated with a reference to Iyama-Kato-Miyachi's notation when first used in the introduction.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: Theorem A transfers Yamaura's independent tilting theorem into the authors' previously established D_Q(A) framework; no fitted input or definitional collapse.

full rationale

The derivation chain is: (i) D_Q(A) is defined via the small category Q of shifted projectives of Λ (§2.2); (ii) the class E is identified with modules projective after restriction to Λ using [4, Thm. 7.1] and self-injectivity (Lemma 3.1.1); (iii) the stable-category description ⊥1E = D_Q(A) = E⊥1 is imported from [4, Thm. 6.5]; (iv) Yamaura's theorem [12, Prop. 3.3] gives T = ⊕_{i=0}^{ℓ-1} Λ(i)_{≤0} as a tilting object of GrΛ; (v) Lemma 3.1.6, using compact generation of D_Q(A) from [5], promotes i*T to a compact generator; and (vi) the endomorphism ring is computed by an explicit base-change identification, Lemma 2.3.4, applied to a complete projective resolution, yielding Hom_GrΛ(T,T)⊗_k A. The conclusion D_Q(A) ≅ D(Γ⊗A) is not an input to any of these steps; it follows from the standard fact that a compact generator with endomorphism ring B gives a derived equivalence to D(B). The only assumptions that could fail are external: Yamaura's tilting theorem and the [3,4,5] framework results. These are parameter-free published statements whose hypotheses do not include Theorem A, so under the review rules they count as independent support rather than circular imports. The recovery of the Iyama-Kato-Miyachi N-complex equivalence is a genuine special case (Λ = k[X]/(X^N)), checked by computing Γ, not a renaming of it. No fitted parameter is renamed as a prediction, and no quantity is defined in terms of the claimed equivalence. Heavy self-citation is present, but it is not circular because the cited results are established prior work, not consequences of the theorem being proved.

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

No free parameters or fitted constants are involved; the construction is determined by the algebra Λ and the category Q. The central claim imports Yamaura's tilting theorem for stable graded module categories and the published Q-shaped derived category framework from [3,4,5]. These are background prerequisites, not consequences of the theorem, and no new entities are postulated.

assumptions (3)

domain assumption Λ is a finite-dimensional self-injective nonnegatively graded k-algebra over an algebraically closed field k, with Λ0 of finite global dimension.
Used throughout Section 2.2 and in Theorem 3.2.2. Self-injectivity and nonnegative grading guarantee Q satisfies [3, Setup 1.1] via Proposition 2.2.1, and finite global dimension of Λ0 is needed for Yamaura's tilting object.
domain assumption Yamaura's theorem [12, Prop. 3.3] that T = ⊕_{i=0}^{ℓ-1} Λ(i)_{≤0} is a tilting object for the stable category GrΛ.
Imported in the proof of Theorem 3.2.2 with the phrase 'by Yamaura's work, we already know that T is a compact generator for GrΛ'. Not reproved here; the endomorphism-ring computation assumes this tilting property.
domain assumption The Q-shaped derived category framework from [3,4,5], including the identification of D_Q(A) with the stable category of E⊥1, the characterization of E as the finite-projective-dimension class, and compact generation by {i*S_q}.
Used in Lemma 3.1.1, Section 3.1, and Lemma 3.1.6. These are published papers, two by present authors; they are prerequisites for the theorem, not consequences of it.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Tilting in $Q$-shaped derived categories." pith.science (2026). https://pith.science/paper/DTGBJPKZ

@misc{pith2026241111412,
  author       = {Pith},
  title        = {Pith review of: Tilting in $Q$-shaped derived categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DTGBJPKZ}},
  note         = {Machine review of arXiv:2411.11412}
}

abstract

The main result of this paper is that there is sometimes a triangulated equivalence between $D_Q( A )$, the $Q$-shaped derived category of an algebra $A$, and $D( B )$, the classic derived category of a different algebra $B$. By construction, $D_Q( A )$ consists of $Q$-shaped diagrams of $A$-modules for a suitable small category $Q$. Our result concerns the case where $Q$ consists of shifts of indecomposable projective modules over a self-injective $\mathbb{Z}$-graded algebra $\Lambda$. A notable special case is the result by Iyama, Kato, and Miyachi that $D_N( A )$, the $N$-derived category of $A$, is triangulated equivalent to $D( T_{ N-1 }A )$, the classic derived category of $T_{ N-1 }( A )$, which denotes upper diagonal $( N-1 ) \times ( N-1 )$-matrices over $A$. Several other special cases will also be discussed.

Figures

Figures reproduced from arXiv: 2411.11412 by the authors.

**Figure 1.** The category underlying chain complexes and N-complexes is given by this diagram with suitable relations. 2020 Mathematics Subject Classification. 16E35, 18E35, 18G80, 18N40. Key words and phrases. Derived category, exterior algebra, graded algebra, mesh category, preprojective algebra, self-injective algebra, tilting object. 1 [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

$Q$-shaped derived categories as derived categories of differential graded bimodules
math.RT 2025-01 conditional novelty 7.0 of 10

Every Q-shaped derived category, under mild assumptions, is equivalent to the derived category of differential graded bimodules over a dg category built from the shape Q.

Reference graph

Works this paper leans on

12 extracted references · 6 canonical work pages · cited by 1 Pith paper

[5]

& Jørgensen, P

Holm, H. & Jørgensen, P. The Q-shaped derived category of a ring - compact and perfect obje cts. Trans. Am. Math. Soc. . 377 3095-3128 (2024), https://doi.org/10.1090/tran/8979

doi:10.1090/tran/8979 2024
[1]

Coherent sheaves onPn and problems in linear algebra

Be ˘ ılinson, A. Coherent sheaves onPn and problems in linear algebra. Funktsional. Anal. I Prilozhen. 12, 68-69 (1978), https://doi.org/10.1007/BF01681436

doi:10.1007/bf01681436 1978
[2]

& Green, E

Gordon, R. & Green, E. Graded Artin algebras. J. Algebra . 76, 111-137 (1982), https://doi.org/10.1016/0021-8693(82)90240-X

work page doi:10.1016/0021-8693(82)90240-x 1982
[3]

& Jørgensen, P

Holm, H. & Jørgensen, P. A brief introduction to the Q-shaped derived category. Triangu- lated Categories In Representation Theory And Beyond pp. 141-167 (Springer, Cham, 2024), https://doi.org/10.1007/978-3-031-57789-5

doi:10.1007/978-3-031-57789-5 2024
[4]

& Jørgensen, P

Holm, H. & Jørgensen, P. The Q-shaped derived category of a ring. J. Lond. Math. Soc. (2) . 106, 3263-3316 (2022), https://doi.org/10.1112/jlms.12662

doi:10.1112/jlms.12662 2022
[6]

& Miyachi, J

Iyama, O., Kato, K. & Miyachi, J. Derived categories of N -complexes, J. Lond. Math. Soc. (2) . 96, 687-716 (2017), https://doi.org/10.1112/jlms.12084 10 SIRA GRATZ, HENRIK HOLM, PETER JØRGENSEN, AND GREG STEVEN SON

doi:10.1112/jlms.12084 2017
[7]

& Minamoto, H

Iyama, O. & Minamoto, H. On a generalization of complexes and their derived categories. 47th Ring and Representation Theory Symposium, Osaka City Universit y pp. 63-68 (2014)

work page 2014
[8]

Q-shaped derived categories as derived categories of diﬀere ntial graded bimodules

Jasso, G. Q-shaped derived categories as derived categories of diﬀere ntial graded bimodules. Preprint (2025), https://arxiv.org/abs/2501.08255v1

arXiv 2025

Show all 12 references

[9]

& Takahashi, A

Kajiura, H., Saito, K. & Takahashi, A. Matrix factorizat ions and representations of quivers II: Type ADE case. Adv. Math. 211 pp. 327-362. https://doi.org/10.1016/j.aim.2006.08.00 5

2006 doi
[10]

& Van Oystaeyen, F.Graded and ﬁltered rings and modules (Springer Berlin, Heidel- berg, 1979), https://doi.org/10.1007/BFb0067331

N˘ ast˘ asescu, C. & Van Oystaeyen, F.Graded and ﬁltered rings and modules (Springer Berlin, Heidel- berg, 1979), https://doi.org/10.1007/BFb0067331

1979 doi
[11]

Ideals, radicals, and structure of additive categories

Street, R. Ideals, radicals, and structure of additive categories. Appl. Categ. Structures . 3, 139-149 (1995), https://doi.org/10.1007/BF00877633

1995 doi
[12]

Realizing stable categories as derived cat egories

Yamaura, K. Realizing stable categories as derived cat egories. Adv. Math. 248 pp. 784-819 (2013), https://doi.org/10.1016/j.aim.2013.08.017 Sira Gratz, Aarhus University, Department of Mathematics, Ny M unkegade 118, bldg. 1530 DK-8000 Aarhus C, Denmark Email address : sira@m...

2013 doi

Pith tools

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

[1] [5]

& Jørgensen, P

Holm, H. & Jørgensen, P. The Q-shaped derived category of a ring - compact and perfect obje cts. Trans. Am. Math. Soc. . 377 3095-3128 (2024), https://doi.org/10.1090/tran/8979

doi:10.1090/tran/8979 2024

[2] [1]

Coherent sheaves onPn and problems in linear algebra

Be ˘ ılinson, A. Coherent sheaves onPn and problems in linear algebra. Funktsional. Anal. I Prilozhen. 12, 68-69 (1978), https://doi.org/10.1007/BF01681436

doi:10.1007/bf01681436 1978

[3] [2]

& Green, E

Gordon, R. & Green, E. Graded Artin algebras. J. Algebra . 76, 111-137 (1982), https://doi.org/10.1016/0021-8693(82)90240-X

work page doi:10.1016/0021-8693(82)90240-x 1982

[4] [3]

& Jørgensen, P

Holm, H. & Jørgensen, P. A brief introduction to the Q-shaped derived category. Triangu- lated Categories In Representation Theory And Beyond pp. 141-167 (Springer, Cham, 2024), https://doi.org/10.1007/978-3-031-57789-5

doi:10.1007/978-3-031-57789-5 2024

[5] [4]

& Jørgensen, P

Holm, H. & Jørgensen, P. The Q-shaped derived category of a ring. J. Lond. Math. Soc. (2) . 106, 3263-3316 (2022), https://doi.org/10.1112/jlms.12662

doi:10.1112/jlms.12662 2022

[6] [6]

& Miyachi, J

Iyama, O., Kato, K. & Miyachi, J. Derived categories of N -complexes, J. Lond. Math. Soc. (2) . 96, 687-716 (2017), https://doi.org/10.1112/jlms.12084 10 SIRA GRATZ, HENRIK HOLM, PETER JØRGENSEN, AND GREG STEVEN SON

doi:10.1112/jlms.12084 2017

[7] [7]

& Minamoto, H

Iyama, O. & Minamoto, H. On a generalization of complexes and their derived categories. 47th Ring and Representation Theory Symposium, Osaka City Universit y pp. 63-68 (2014)

work page 2014

[8] [8]

Q-shaped derived categories as derived categories of diﬀere ntial graded bimodules

Jasso, G. Q-shaped derived categories as derived categories of diﬀere ntial graded bimodules. Preprint (2025), https://arxiv.org/abs/2501.08255v1

arXiv 2025