Homological identities and dualizing complexes of commutative differential graded algebras

In this paper we study a connective commutative differential graded algebra (CDGA) which is piecewise Noetherian. The principal aim is to analyze a dualizing complex of CDGA's and investigate a Gorenstein CDGA. We also establish many other results which can be expected to play basic roles in the study of a CDGA, such as the Auslaner-Buchsbaum formula and Bass formula without any unnecessary assumptions. The key notion is the sup-projective (sppj) and inf-injective (ifij) resolutions introduced by the author, which are DG-versions of the projective and injective resolutions for ordinary modules. In the paper, we show that sppj and ifij resolutions are powerful tools to study DG- modules.