Lifting (co)stratifications between tensor triangulated categories

We give necessary and sufficient conditions for stratification and costratification to descend along a coproduct preserving, tensor-exact functor between tensor-triangulated categories which are rigidly-compactly generated by their tensor units. We then apply these results to non-positive commutative DG-rings and connective ring spectra. In particular, this gives a support-theoretic classification of (co)localizing subcategories, and thick subcategories of compact objects of the derived category of a non-positive commutative DG-ring with finite amplitude. Our results also establish the telescope conjecture in this setting. For a non-positive commutative DG-ring $A$, we also investigate whether certain finiteness conditions in $\mathsf{D}(A)$ (for example, proxy-smallness) can be reduced to questions in the better understood category $\mathsf{D}(H^0A)$. For a connective commutative ring spectrum $R$ we give a necessary and sufficient condition for $\mathsf{D}(R)$ to be stratified and costratified by $\pi_0R$.

[1]  Drew Heard,et al.  On stratification for spaces with noetherian mod p cohomology , 2019, American Journal of Mathematics.

[2]  Pu Zhang,et al.  Triangulated Categories , 2021, Homological Theory of Representations.

[3]  Minseon Shin Derived Categories , 2021, Homological Theory of Representations.

[4]  Janina C. Letz Local to global principles for generation time over commutative noetherian rings , 2020, Homology, Homotopy and Applications.

[5]  Eloísa Grifo,et al.  CONSTRUCTING NONPROXY SMALL TEST MODULES FOR THE COMPLETE INTERSECTION PROPERTY , 2020, Nagoya Mathematical Journal.

[6]  Liran Shaul Smooth flat maps over commutative DG-rings , 2020, Mathematische Zeitschrift.

[7]  Janina C. Letz,et al.  Locally Complete Intersection Maps and the Proxy Small Property , 2020, 2007.08562.

[8]  Janina C. Letz Local to global principles for generation time over Noether algebras , 2019, 1906.06104.

[9]  Liran Shaul The Cohen-Macaulay property in derived commutative algebra , 2019, 1902.06771.

[10]  Josh Pollitz The derived category of a locally complete intersection ring , 2018, Advances in Mathematics.

[11]  Drew Heard,et al.  Stratification and duality for homotopical groups , 2017, Advances in Mathematics.

[12]  Liran Shaul Completion and Torsion Over Commutative DG Rings , 2016, Israel Journal of Mathematics.

[13]  Liran Shaul Injective DG-modules over non-positive DG-rings , 2017, Journal of Algebra.

[14]  Liran Shaul Homological Dimensions of Local (Co)homology Over Commutative DG-rings , 2017, Canadian Mathematical Bulletin.

[15]  Paul Balmer,et al.  Grothendieck–Neeman duality and the Wirthmüller isomorphism , 2015, Compositio Mathematica.

[16]  Donald Stanley,et al.  Affine weakly regular tensor triangulated categories , 2015, 1511.02395.

[17]  D. Benson,et al.  Stratifying the derived category of cochains on BG for G a compact Lie group , 2014 .

[18]  Amnon Yekutieli Duality and Tilting for Commutative DG Rings , 2013, 1312.6411.

[19]  S. Sather-Wagstaff,et al.  Krull dimension for differential graded algebras , 2012, 1210.7270.

[20]  H. Krause,et al.  Stratifying triangulated categories , 2009, 0910.0642.

[21]  A. Neeman Colocalizing subcategories of D(R) , 2011 .

[22]  Liran Shaul,et al.  On the Homology of Completion and Torsion , 2010, 1010.4386.

[23]  H. Krause,et al.  Colocalizing subcategories and cosupport , 2010, 1008.3701.

[24]  H. Krause,et al.  Stratifying modular representations of finite groups , 2008, 0810.1339.

[25]  H. Krause,et al.  Local cohomology and support for triangulated categories , 2007, math/0702610.

[26]  Peter Jørgensen Amplitude inequalities for Differential Graded modules , 2006, math/0601416.

[27]  W. Dwyer,et al.  Duality in algebra and topology , 2005, math/0510247.

[28]  W. Dwyer,et al.  Finiteness in derived categories of local rings , 2004, math/0404034.

[29]  B. Shipley,et al.  Stable model categories are categories of modules , 2003 .

[30]  B. Shipley HZ -algebra spectra are differential graded algebras , 2002, math/0209215.

[31]  Mark Hovey,et al.  Axiomatic stable homotopy theory , 1997 .

[32]  Amnon Neeman,et al.  The Grothendieck duality theorem via Bousfield’s techniques and Brown representability , 1996 .

[33]  A. Neeman,et al.  The chromatic tower for D(R) , 1992 .

[34]  M. Hopkins,et al.  Nilpotence and Stable Homotopy Theory II , 1992 .

[35]  M. Hopkins Homotopy Theory: Proceedings of the Durham Symposium 1985: Global methods in homotopy theory , 1987 .