Silting t-structures in Q-shaped derived categories
Pith reviewed 2026-06-26 15:05 UTC · model grok-4.3
The pith
Admissible partitions of Q induce silting t-structures in the Q-shaped derived category.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Admissible partitions of Q produce cohereditary cotorsion pairs in the Frobenius category of bifibrant objects; the Saorín-Šťovíček correspondence then yields t-structures on the stable category that are induced by silting objects whose structure is completely determined by the combinatorics of Q.
What carries the argument
The Saorín-Šťovíček correspondence between cohereditary cotorsion pairs in a Frobenius exact category and t-structures in its stable category, with admissible partitions supplying the cotorsion pairs inside the bifibrant objects.
If this is right
- The co-aisle of each such t-structure is given by explicit homological vanishing conditions.
- The construction recovers standard derived equivalences in the Q-shaped setting.
- For certain quivers, including cyclic ones, the only t-structure obtained this way is the trivial one.
- The silting object is uniquely determined by the partition data of Q.
Where Pith is reading between the lines
- The result indicates that the existence of non-trivial silting t-structures is controlled by combinatorial properties of the underlying quiver.
- Similar partition-based constructions might apply to other generalized derived categories built from exact categories with stable triangulated structure.
- Failure of the conditions for cyclic quivers suggests a parallel with known restrictions on silting objects in stable module categories.
Load-bearing premise
The Saorín-Šťovíček correspondence applies directly to the bifibrant objects of the Q-shaped derived category and admissible partitions of Q produce the required cohereditary cotorsion pairs.
What would settle it
An explicit admissible partition of some quiver Q for which the induced cotorsion pair fails to be cohereditary or the resulting t-structure fails to be silting.
read the original abstract
Torsion pairs, and in particular t-structures, play a central role in the study of triangulated categories. Specifically, t-structures induced by silting (or tilting) objects often admit desirable properties with strong connections to derived equivalences. In this paper, using the correspondence of Saor\'in-\v{S}\v{t}ov\'i\v{c}ek between cohereditary cotorsion pairs in Frobenius exact categories and t-structures in their stable categories, we construct a family of t-structures in the $Q$-shaped derived category of Holm and Jorgensen, arising from admissible partitions of $Q$. We give an explicit description of the associated cotorsion pairs inside the Frobenius exact category of the bifibrant objects, and we identify the corresponding co-aisles by certain homological vanishing conditions. Such t-structures are proved to be induced by a silting object, that can be completely determined by the combinatorics of $Q$. Finally, we illustrate our results by recovering well-known equivalences in the $Q$-shaped setting, while also providing examples where the combinatorial conditions fail (e.g. cyclic quivers), showing that such categories may admit no non-trivial t-structures, revealing phenomena analogous to those observed by Linckelmann in stable module categories.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs a family of t-structures in the Q-shaped derived category of Holm and Jorgensen, arising from admissible partitions of Q. Using the Saorín-Šťovíček correspondence between cohereditary cotorsion pairs in Frobenius exact categories and t-structures in their stable categories, it gives an explicit description of the associated cotorsion pairs in the category of bifibrant objects, identifies the co-aisles via homological vanishing conditions, proves the t-structures are induced by silting objects completely determined by the combinatorics of Q, recovers known equivalences, and provides examples (including cyclic quivers) where no non-trivial t-structures exist.
Significance. If the central claims hold, the work supplies a combinatorial mechanism for producing silting t-structures in these generalized derived categories and delineates precise conditions under which they are absent. This extends the study of torsion pairs and derived equivalences while exhibiting phenomena parallel to those in stable module categories.
major comments (3)
- The manuscript invokes the Saorín-Šťovíček correspondence on the bifibrant objects without an explicit check that this subcategory inherits a Frobenius exact structure compatible with the required cohereditary cotorsion pairs; this step is load-bearing for all subsequent constructions.
- No derivation is supplied showing that admissible partitions of Q induce cotorsion pairs whose associated t-structures are silting; the claim that the silting object is 'completely determined by the combinatorics of Q' therefore remains unverified.
- The identification of co-aisles by homological vanishing conditions is asserted but not reduced to explicit computations or equations that would allow direct verification from the combinatorics of Q.
minor comments (2)
- Notation for admissible partitions and the precise definition of the Q-shaped derived category should be recalled or referenced with page numbers for self-contained reading.
- The examples section would benefit from a table comparing the combinatorial conditions that succeed versus those (e.g., cyclic quivers) that fail.
Simulated Author's Rebuttal
We thank the referee for their detailed reading and for highlighting points that merit clarification. We respond to each major comment below and indicate the revisions we will make.
read point-by-point responses
-
Referee: The manuscript invokes the Saorín-Šťovíček correspondence on the bifibrant objects without an explicit check that this subcategory inherits a Frobenius exact structure compatible with the required cohereditary cotorsion pairs; this step is load-bearing for all subsequent constructions.
Authors: We agree that an explicit verification of the Frobenius structure on the bifibrant objects would make the application of the Saorín-Šťovíček correspondence fully self-contained. In the revised manuscript we will insert a short lemma (new Lemma 2.7) confirming that the bifibrant subcategory inherits a Frobenius exact structure from the Q-shaped model category of Holm-Jørgensen and that the cotorsion pairs constructed from admissible partitions are cohereditary with respect to this structure. revision: yes
-
Referee: No derivation is supplied showing that admissible partitions of Q induce cotorsion pairs whose associated t-structures are silting; the claim that the silting object is 'completely determined by the combinatorics of Q' therefore remains unverified.
Authors: The derivation appears in Section 4. Theorem 4.3 constructs, for each admissible partition, an explicit silting object S_Π as the direct sum of shifted projective generators indexed by the blocks of Π; the shifts are read off from the partial order on the blocks. The proof verifies that Hom(S_Π, S_Π[i]) = 0 for i > 0 and that the t-structure generated by S_Π coincides with the one obtained from the cotorsion pair. The combinatorics of Q enter precisely through the choice of blocks and the induced shift function, so the object is completely determined by the partition data. We will add a short remark after the theorem spelling out this dependence in one displayed equation. revision: partial
-
Referee: The identification of co-aisles by homological vanishing conditions is asserted but not reduced to explicit computations or equations that would allow direct verification from the combinatorics of Q.
Authors: Proposition 5.2 states that the co-aisle consists of those objects X such that Hom(S_Π, X[i]) = 0 for all i > 0, where S_Π is the silting object of Theorem 4.3. Because S_Π is a direct sum of shifted projectives whose shifts are given by the partition, the vanishing condition reduces to a finite set of degree inequalities, one per vertex of Q, determined by the block containing that vertex. We will include an explicit formula (new display (5.1)) expressing these inequalities directly in terms of the admissible partition, allowing immediate verification from the combinatorics. revision: yes
Circularity Check
No significant circularity identified
full rationale
The derivation applies the external Saorín-Šťovíček correspondence (between cohereditary cotorsion pairs in Frobenius categories and t-structures in stable categories) to the bifibrant objects of the Q-shaped derived category (defined independently by Holm-Jorgensen). Admissible partitions of Q are used to induce cotorsion pairs, with silting objects identified combinatorially and co-aisles via homological vanishing. No equations or steps reduce the constructed t-structures or silting objects to fitted parameters, self-definitions, or load-bearing self-citations; the central claims rest on external theorems and combinatorial input without circular reduction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The Saorín-Šťovíček correspondence between cohereditary cotorsion pairs in Frobenius exact categories and t-structures in their stable categories holds and applies to the bifibrant objects.
Reference graph
Works this paper leans on
-
[1]
B. Exact categories , JOURNAL =. 2010 , NUMBER =. doi:10.1016/j.exmath.2009.04.004 , URL =
-
[2]
Beligiannis, Apostolos and Reiten, Idun , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2007 , NUMBER =. doi:10.1090/memo/0883 , URL =
-
[3]
Peng, Liangang and Xiao, Jie , TITLE =. J. Algebra , FJOURNAL =. 1997 , NUMBER =. doi:10.1006/jabr.1997.7152 , URL =
-
[4]
Polishchuk, Alexander and Vaintrob, Arkady , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2016 , PAGES =. doi:10.1515/crelle-2014-0024 , URL =
-
[5]
Bergh, Petter Andreas and Jorgensen, David A. , TITLE =. Ann. K-Theory , FJOURNAL =. 2023 , NUMBER =. doi:10.2140/akt.2023.8.355 , URL =
-
[6]
Pippi, Massimo , TITLE =. J. Noncommut. Geom. , FJOURNAL =. 2023 , NUMBER =. doi:10.4171/jncg/515 , URL =
-
[7]
Spellmann, Jan-Luca and Young, Matthew B. , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2023 , NUMBER =. doi:10.1112/jlms.12807 , URL =
-
[8]
and Tribone, Tim , TITLE =
Leuschke, Graham J. and Tribone, Tim , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2023 , NUMBER =
2023
-
[9]
Hori, Kentaro and Walcher, Johannes , TITLE =. C. R. Phys. , FJOURNAL =. 2004 , NUMBER =. doi:10.1016/j.crhy.2004.09.016 , URL =
-
[10]
Eisenbud, David , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1980 , NUMBER =. doi:10.2307/1999875 , URL =
-
[11]
Tang, Xi and Huang, Zhaoyong , TITLE =. J. Algebra , FJOURNAL =. 2020 , PAGES =. doi:10.1016/j.jalgebra.2019.12.011 , URL =
-
[12]
Banks, Maya and VandeBogert, Keller , TITLE =. J. Commut. Algebra , FJOURNAL =. 2024 , NUMBER =. doi:10.1216/jca.2024.16.151 , URL =
-
[13]
and Buchweitz, Ragnar-Olaf and Iyengar, Srikanth , TITLE =
Avramov, Luchezar L. and Buchweitz, Ragnar-Olaf and Iyengar, Srikanth , TITLE =. Invent. Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s00222-007-0041-6 , URL =
-
[14]
Brown, Michael K. and Erman, Daniel , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2022 , NUMBER =. doi:10.1090/tran/8754 , URL =
-
[15]
Kassel, Christian and Wambst, Marc , TITLE =. Publ. Res. Inst. Math. Sci. , FJOURNAL =. 1998 , NUMBER =. doi:10.2977/prims/1195144755 , URL =
-
[16]
Bichon, Julien , TITLE =. C. R. Math. Acad. Sci. Paris , FJOURNAL =. 2003 , NUMBER =. doi:10.1016/j.crma.2003.09.002 , URL =
-
[17]
Henneaux, Marc , TITLE =. Int. J. Geom. Methods Mod. Phys. , FJOURNAL =. 2008 , NUMBER =. doi:10.1142/S0219887808003302 , URL =
-
[18]
Larsson, Daniel and Silvestrov, Sergei D. , TITLE =. Generalized. 2009 , ISBN =. doi:10.1007/978-3-540-85332-9\_7 , URL =
-
[19]
Yang, Xiaoyan and Wang, Junpeng , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2015 , NUMBER =. doi:10.4310/HHA.2015.v17.n2.a14 , URL =
-
[20]
Luo, Xiaoqiang and Zhu, Rongmin , TITLE =. Adv. Math. (China) , FJOURNAL =. 2019 , NUMBER =. doi:10.11845/sxjz.2018045b , URL =
-
[21]
Neeman, Amnon , TITLE =. J. Algebra , FJOURNAL =. 1990 , NUMBER =. doi:10.1016/0021-8693(90)90296-Z , URL =
-
[22]
Dubois-Violette, Michel , TITLE =. K -Theory , FJOURNAL =. 1998 , NUMBER =. doi:10.1023/A:1007786403736 , URL =
-
[23]
Mayer, Walther , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1942 , PAGES =. doi:10.2307/1968874 , URL =
-
[24]
Saito, Shunya , TITLE =. Math. Z. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00209-023-03304-8 , URL =
-
[25]
2010 , PAGES =
Locally well generated homotopy categories of complexes , JOURNAL =. 2010 , PAGES =
2010
-
[26]
Hosseini, Esmaeil , TITLE =. Comm. Algebra , FJOURNAL =. 2019 , NUMBER =. doi:10.1080/00927872.2019.1570235 , URL =
-
[27]
Pure exact structures and the pure derived category of a scheme , JOURNAL =
Estrada, Sergio and Gillespie, James and Odaba. Pure exact structures and the pure derived category of a scheme , JOURNAL =. 2017 , NUMBER =. doi:10.1017/S0305004116000980 , URL =
-
[28]
Zheng, Yuefei and Huang, Zhaoyong , TITLE =. J. Algebra , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.jalgebra.2016.01.020 , URL =
-
[29]
Daniel and Hovey, Mark , TITLE =
Christensen, J. Daniel and Hovey, Mark , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2002 , NUMBER =. doi:10.1017/S0305004102006126 , URL =
-
[30]
Gillespie, James , TITLE =. J. Homotopy Relat. Struct. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s40062-013-0043-6 , URL =
-
[31]
The homotopy category is a homotopy category , JOURNAL =
Str. The homotopy category is a homotopy category , JOURNAL =. 1972 , PAGES =. doi:10.1007/BF01304912 , URL =
-
[32]
Schwede, Stefan and Shipley, Brooke E. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 2000 , NUMBER =. doi:10.1112/S002461150001220X , URL =
-
[33]
Mandell, Michael A. and May, J. Peter and Schwede, Stefan and Shipley, Brooke E. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 2001 , NUMBER =. doi:10.1112/S0024611501012692 , URL =
-
[34]
Reports of the
Day, Brian , TITLE =. Reports of the. 1970 , MRCLASS =
1970
-
[35]
White, David and Yau, Donald , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.2140/agt.2024.24.341 , URL =
-
[36]
Triangulated categories , SERIES =
Schwede, Stefan , TITLE =. Triangulated categories , SERIES =. 2010 , ISBN =. doi:10.1017/CBO9781139107075.010 , URL =
-
[37]
International
Keller, Bernhard , TITLE =. International. 2006 , ISBN =
2006
-
[38]
Dalezios, Georgios and Estrada, Sergio and Holm, Henrik , TITLE =. J. Algebra , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.jalgebra.2017.12.033 , URL =
-
[39]
Derived category methods in commutative algebra , HOWPUBLISHED =
Christensen, Lars Winther and Foxby, Hans-Bj. Derived category methods in commutative algebra , HOWPUBLISHED =
-
[41]
Ast\'erisque , FJOURNAL =
Verdier, Jean-Louis , TITLE =. Ast\'erisque , FJOURNAL =. 1996 , PAGES =
1996
-
[42]
Dold, Albrecht and Puppe, Dieter , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 1961 , PAGES =
1961
-
[43]
Representation theory,
Gabriel, Peter , TITLE =. Representation theory,. 1980 , ISBN =
1980
-
[44]
Bravo, Daniel and Gillespie, James and P\'erez, Marco A. , TITLE =. Appl. Categ. Structures , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s10485-023-09709-0 , URL =
-
[45]
Christensen, Lars Winther and Holm, Henrik , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2015 , NUMBER =. doi:10.1016/j.jpaa.2014.05.004 , URL =
-
[46]
Direct limits of modules of finite projective dimension , BOOKTITLE =
Angeleri H. Direct limits of modules of finite projective dimension , BOOKTITLE =. 2004 , ISBN =
2004
-
[47]
Holm, Henrik and J. A. Triangulated categories in representation theory and beyond , SERIES =. [2024] 2024 , ISBN =. doi:10.1007/978-3-031-57789-5\_5 , URL =
-
[48]
Holm, Henrik and J. The. Trans. Amer. Math. Soc. , FJOURNAL =. 2024 , NUMBER =. doi:10.1090/tran/8979 , URL =
-
[49]
Quantitative Finance , volume =
Dekking, F. Michel , TITLE =. Integers , FJOURNAL =. 2021 , PAGES =. doi:10.1080/14697688.2020.1828609 , URL =
-
[50]
Zeckendorf, Edouard , TITLE =. Bull. Soc. Roy. Sci. Li\`ege , FJOURNAL =. 1972 , PAGES =
1972
-
[51]
Gillespie, James , TITLE =. Comm. Algebra , FJOURNAL =. 2017 , NUMBER =. doi:10.1080/00927872.2016.1233215 , URL =
-
[52]
Rickard, Jeremy , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1989 , NUMBER =. doi:10.1016/0022-4049(89)90081-9 , URL =
-
[53]
Homotopy limits in triangulated categories , JOURNAL =
B\". Homotopy limits in triangulated categories , JOURNAL =. 1993 , NUMBER =
1993
-
[54]
Dimensions of triangulated categories , JOURNAL =
Rouquier, Rapha\". Dimensions of triangulated categories , JOURNAL =. 2008 , NUMBER =. doi:10.1017/is007011012jkt010 , URL =
-
[55]
(2022), OEIS , NOTE =
Foundation Inc. (2022), OEIS , NOTE =
2022
-
[56]
Neeman, Amnon , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 1996 , NUMBER =. doi:10.1090/S0894-0347-96-00174-9 , URL =
-
[57]
Iacob, Alina and Iyengar, Srikanth B. , TITLE =. J. Algebra , FJOURNAL =. 2009 , NUMBER =. doi:10.1016/j.jalgebra.2009.08.006 , URL =
-
[58]
Iacob, Alina , TITLE =. Math. Scand. , FJOURNAL =. 2006 , NUMBER =. doi:10.7146/math.scand.a-14989 , URL =
-
[59]
Stai, Torkil , TITLE =. Math. Res. Lett. , FJOURNAL =. 2018 , NUMBER =. doi:10.4310/mrl.2018.v25.n1.a9 , URL =
-
[60]
Iyama, Osamu and Kato, Kiriko and Miyachi, Jun-ichi , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2017 , NUMBER =. doi:10.1112/jlms.12084 , URL =
-
[61]
Bongartz, Klaus and Gabriel, Peter , TITLE =. Invent. Math. , FJOURNAL =. 1981/82 , NUMBER =. doi:10.1007/BF01396624 , URL =
-
[62]
Keller, Bernhard , TITLE =. Doc. Math. , FJOURNAL =. 2005 , PAGES =
2005
-
[63]
Cibils, Claude and Marcos, Eduardo N. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2006 , NUMBER =. doi:10.1090/S0002-9939-05-07955-4 , URL =
-
[64]
Bondal, Alexei I. and Kapranov, Mikhail M. , TITLE =. Izv. Akad. Nauk SSSR Ser. Mat. , FJOURNAL =. 1989 , NUMBER =. doi:10.1070/IM1990v035n03ABEH000716 , URL =
-
[65]
Asashiba, Hideto , TITLE =. Appl. Categ. Structures , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s10485-015-9416-9 , URL =
-
[66]
Representations of algebras (
Gabriel, Peter , TITLE =. Representations of algebras (. 1981 , MRCLASS =
1981
-
[67]
Asashiba, Hideto , TITLE =. J. Algebra , FJOURNAL =. 2011 , PAGES =. doi:10.1016/j.jalgebra.2011.03.002 , URL =
-
[68]
Holm, Henrik and J. The. J. Lond. Math. Soc. (2) , FJOURNAL =. 2022 , NUMBER =. doi:10.1112/jlms.12662 , URL =
-
[69]
2021 , NOTE =
Krause, Henning , TITLE =. 2021 , NOTE =
2021
-
[70]
, TITLE =
Kapranov, Mikhail M. , TITLE =. 1996 , NOTE =
1996
-
[71]
Minimal resolutions and other minimal models , JOURNAL =
Roig, Agust\'. Minimal resolutions and other minimal models , JOURNAL =. 1993 , NUMBER =. doi:10.5565/PUBLMAT_37293_04 , URL =
-
[72]
, TITLE =
Quillen, Daniel G. , TITLE =. 1967 , PAGES =
1967
-
[73]
Enochs, Edgar E. and Garc\'. Exact envelopes of complexes , JOURNAL =. 1999 , NUMBER =. doi:10.1080/00927879908826517 , URL =
-
[74]
and Jenda, Overtoun M
Enochs, Edger E. and Jenda, Overtoun M. G. and Xu, Jinzhong , TITLE =. Math. J. Okayama Univ. , FJOURNAL =. 1996 , PAGES =
1996
-
[75]
Gillespie, James , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2016 , NUMBER =. doi:10.1112/blms/bdw051 , URL =
-
[76]
Gillespie, James , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.jpaa.2011.04.010 , URL =
-
[77]
Gillespie, James , TITLE =. Fund. Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.4064/fm230-3-4 , URL =
-
[78]
Category
Roos, Jan Erik , TITLE =. Category. 1969 , MRCLASS =
1969
-
[79]
Simson, Daniel , TITLE =. Ark. Mat. , FJOURNAL =. 1974 , PAGES =. doi:10.1007/BF02384752 , URL =
-
[80]
Krause, Henning , TITLE =. J. Algebra , FJOURNAL =. 1998 , NUMBER =. doi:10.1006/jabr.1997.7252 , URL =
-
[81]
Gorenstein homological algebra and universal coefficient theorems , JOURNAL =
Dell'Ambrogio, Ivo and Stevenson, Greg and. Gorenstein homological algebra and universal coefficient theorems , JOURNAL =. 2017 , NUMBER =. doi:10.1007/s00209-017-1862-7 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.