Finitistic dimensions over commutative DG-rings

Authors Isaac Bird, Liran Shaul, Prashanth Sridhar, Jordan Williamson

Publication date 14 April 2022

Homological dimension and commutative rings (13D05) Derived categories and commutative rings (13D09) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Differential graded algebras and applications (associative algebraic aspects) (16E45)

Abstract: We study the small and big finitistic projective, injective and flat dimensions over a non-positively graded commutative noetherian DG-ring

A

with bounded cohomology. Our main results generalize results of Bass and Raynaud-Gruson to this derived setting, showing that any bounded DG-module

M

of finite flat dimension satisfies

o p e r a t o r n a m e {p r o j, d i m}_{A} (M) l e d i m (m a t h r m H^{0} (A)) - i n f (M)

. We further construct DG-modules of prescribed projective dimension, and deduce that the big finitistic projective dimension satisfies the inequalities

d i m (m a t h r m H^{0} (A)) - o p e r a t o r n a m e a m p (A) l e m a t h s f F P D (A) l e d i m (m a t h r m H^{0} (A))

. It is further shown that this result is optimal, in the sense that there are examples that achieve either bound. As an application, new vanishing results for the derived Hochschild (co)homology of homologically smooth algebras are deduced.

This page was built for publication: Finitistic dimensions over commutative DG-rings

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