We provide a construction of minimal injective resolutions of simple comodules of path coalgebras of quivers with relations. Dual to Calabi-Yau condition of algebras, we introduce the Calabi-Yau condition to coalgebras. Then we give some descriptions
of Calabi-Yau coalgebras with lower global dimensions. An appendix is included for listing some properties of cohom functors.
A duality theorem of the bounded derived category of quasi-finite comodules over an artinian coalgebra is established. Let $A$ be a noetherian complete basic semiperfect algebra over an algebraically closed field, and $C$ be its dual coalgebra. If $A
$ is Artin-Schelter regular, then the local cohomology of $A$ is isomorphic to a shift of twisted bimodule ${}_1C_{sigma^*}$ with $sigma$ a coalgebra automorphism. This yields that the balanced dualinzing complex of $A$ is a shift of the twisted bimodule ${}_{sigma^*}A_1$. If $sigma$ is an inner automorphism, then $A$ is Calabi-Yau.
The Calabi-Yau property of cocommutative Hopf algebras is discussed by using the homological integral, a recently introduced tool for studying infinite dimensional AS-Gorenstein Hopf algebras. It is shown that the skew-group algebra of a universal en
veloping algebra of a finite dimensional Lie algebra $g$ with a finite subgroup $G$ of automorphisms of $g$ is Calabi-Yau if and only if the universal enveloping algebra itself is Calabi-Yau and $G$ is a subgroup of the special linear group $SL(g)$. The Noetherian cocommutative Calabi-Yau Hopf algebras of dimension not larger than 3 are described. The Calabi-Yau property of Sridharan enveloping algebras of finite dimensional Lie algebras is also discussed. We obtain some equivalent conditions for a Sridharan enveloping algebra to be Calabi-Yau, and then partly answer a question proposed by Berger. We list all the nonisomorphic 3-dimensional Calabi-Yau Sridharan enveloping algebras.
The concept of Koszul differential graded algebra (Koszul DG algebra) is introduced. Koszul DG algebras exist extensively, and have nice properties similar to the classic Koszul algebras. A DG version of the Koszul duality is proved. When the Koszul
DG algebra $A$ is AS-regular, the Ext-algebra $E$ of $A$ is Frobenius. In this case, similar to the classical BGG correspondence, there is an equivalence between the stable category of finitely generated left $E$-modules, and the quotient triangulated category of the full triangulated subcategory of the derived category of right DG $A$-modules consisting of all compact DG modules modulo the full triangulated subcategory consisting of all the right DG modules with finite dimensional cohomology. The classical BGG correspondence can derived from the DG version.
