Higher differential objects in additive categories

DOI10.1016/J.JALGEBRA.2019.12.011MaRDI QIDQ2292844zbMATH OpenOpenAlexWikidataFDO

Authors Xi Tang, Zhaoyong Huang

Publication date 6 February 2020

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1912.10409

zbMATH Keywords

\(n\)th differential objectsadditive categoriesderived categoriesexact categorieshomological conjecturestriangulated categories

Mathematics Subject Classification ID

Abelian categories, Grothendieck categories (18E10) Projectives and injectives (category-theoretic aspects) (18G05) Derived categories, triangulated categories (18G80)

Abstract: Given an additive category $mathcalC$ and an integer $ngeqslant2$. We form a new additive category $mathcalC[epsilon{]}^n$ consisting of objects $X$ in $mathcalC$ equipped with an endomorphism $epsilo{n}_X$ satisfying $epsilo{n}_X^n=0$. First, using the descriptions of projective and injective objects in $mathcalC[epsilon{]}^n$, we not only establish a connection between Gorenstein flat modules over a ring $R$ and $R[t]/(t^n)$, but also prove that an Artinian algebra $R$ satisfies some homological conjectures if and only if so does $R[t]/(t^n)$. Then we show that the corresponding homotopy category $K(mathcalC[epsilon{]}^n)$ is a triangulated category when $mathcalC$ is an idempotent complete exact category. Moreover, under some conditions for an abelian category $mathcalA$, the natural quotient functor $Q$ from $K(mathcalA[epsilon{]}^n)$ to the derived category $D(mathcalA[epsilon{]}^n)$ produces a recollement of triangulated categories. Finally, we prove that if $mathcalA$ is an Ab4-category with a compact projective generator, then $D(mathcalA[epsilon{]}^n)$ is a compactly generated triangulated category.

Review text

For an additive category \(\mathcal{C}\) and \(n\geq 2\), an \(n\)-differential object \((C, \epsilon_C)\) in \(\mathcal{C}\) consists of an object \(C\) in \(\mathcal{C}\) and an endomorphism \(\epsilon_C\) on \(C\) satisfying \(\epsilon_C^n=0\). These objects form an additive category \(\mathcal{C}[\epsilon]^n\). This generalizes the well-known notion of differential modules. Recently, the Gorenstein homological properties of differential modules are studied in [\textit{C. M. Ringel} and \textit{P. Zhang}, ibid. 475, 327--360 (2017; Zbl 1406.16010); \textit{J. Wei}, Proc. R. Soc. Edinb., Sect. A, Math. 145, No. 3, 639--655 (2015; Zbl 1352.16006)]. This paper studies the exact structures on \(\mathcal{C}[\epsilon]^n\), including the projective and injective objects. Moreover, the Gorenstein flat \(n\)-differential modules are investigated. If the category \(\mathcal{C}\) is abelian, the paper studies when the unbounded derived category of \(\mathcal{C}[\epsilon]^n\) is compactly generated. The idempotent completeness of the homotopy category of \(\mathcal{C}[\epsilon]^n\) and related recollements are studied. The key observation is that there is a natural Frobenius pair of functors between \(\mathcal{C}\) and \(\mathcal{C}[\epsilon]^n\).

Recommendations

• Derived categories of \(N\)-complexes
• Reducing homological conjectures by n-recollements
• Silting Objects over the Stable Monomorphism Category of Higher Differential Objects
• Stable \(t\)-structures and homotopy category of Gorenstein-projective modules
• A smashing subcategory of the homotopy category of Gorenstein projective modules

Cites work

• \(k\)-Gorenstein algebras and syzygy modules
• A note on the Nakayama conjectures
• ALL MODULES HAVE FLAT COVERS
• Applications of contravariantly finite subcategories
• Chain complexes and stable categories
• Class rank of differential modules
• Derived categories of \(N\)-complexes
• Differential modules over quadratic monomial algebras
• Direct Products of Modules
• Exact categories
• Finitistic Dimension and a Homological Generalization of Semi-Primary Rings
• Gorenstein homological theory for differential modules
• Gorenstein theory for n-th differential modules
• Higher algebraic K-theory: I
• scientific article; zbMATH DE number 3425823 (Why is no real title available?)
• scientific article; zbMATH DE number 3125399 (Why is no real title available?)
• scientific article; zbMATH DE number 40982 (Why is no real title available?)
• scientific article; zbMATH DE number 107550 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 465467 (Why is no real title available?)
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• scientific article; zbMATH DE number 922689 (Why is no real title available?)
• scientific article; zbMATH DE number 2228448 (Why is no real title available?)
• Injective Dimension in Noetherian Rings
• Injective dimension of semi-primary rings
• Localization of triangulated categories and derived categories
• Localization theory for triangulated categories
• Locally well generated homotopy categories of complexes
• Model structures on exact categories
• On a Generalized Version of the Nakayama Conjecture
• On algebras with complete homology
• Perverse sheaves. Proceedings of the colloquium ``Analysis and topology on singular spaces, Luminy, France, July 6--10, 1981. Part I
• Recollement of homotopy categories and Cohen-Macaulay modules
• Relative homological algebra
• Representation theory of artin algebras iii almost split sequences
• Representations of quivers over the algebra of dual numbers
• Rings Over Which the Class of Gorenstein Flat Modules is Closed Under Extensions
• Rings satisfying a minimum condition on principal ideals.
• Semi-dualizing modules and related Gorenstein homological dimensions
• Singular compactness and definability for \(\Sigma\)-cotorsion and Gorenstein modules
• The derived category with respect to a generator
• The triangulated hull of periodic complexes
• Triangulated subcategories of extensions, stable \(t\)-structures, and triangles of recollements

Cited in

(4)

• Frobenius functors and Gorenstein homological properties
• Minimal free resolutions of differential modules
• Silting Objects over the Stable Monomorphism Category of Higher Differential Objects
• Homological transfer between additive categories and higher differential additive categories

This page was built for publication: Higher differential objects in additive categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2292844)