Let A be a self-injective artin algebra and X a finitely generated module. In this paper, we are mainly concerned with the problem posed by Tachikawa [16]: I f Ext"(X, X) = 0 for all n >_ 1, is then X projective? This problem arose from Nakayama's conjecture [11] which states that a finite dimensional algebra of infinite dominant dimension is selfinjective. It should be noted that if the answer to the above problem is affirmative, then Nakayama's conjecture is true for finite dimensional QF-3 algebras R with minimal faithful ideal Re such that e R e is self-injective (see [16] for details). Note also that a finite dimensional algebra of dominant dimension > 1 is QF-3 [15]. Tachikawa [16] showed that the above problem has affirmative answer in case A is a group algebra of a p-group, and this result was recently generalized by Schulz [14] to the case of A being a group algebra of an arbitrary finite group. We will also give several partial answers to the above problem and thus to Nakayama's conjecture. Throughout this paper, all modules are finitely generated modules over artin algebras, and most modules are fight modules. Given an artin algebra A over the center C, we denote by D the duality H o m e ( , / ) , where I is the injective envelope of C/tad C over C, and by Jf~a the category of the finitely generated fight A-modules. For modules X, Y we denote by Horn(X, Y) the factor group of Horn(X, Y) modulo the subgroup of the homomorphisms which factor through projective modules, and for a module X we denote by f2"X the n-th syzygy module of X. Note that in case A is self-injective, induces a self-equivalence of the stable category [I0]. Moreover, in case A is symmetric, we have (22 = D Tr. We refer to [1] and [2] for Auslander-Reiten sequences, irreducible homomorphisms and so on, and to [13] and [8] for (stable) Auslander-Reiten quivers. In what follows, D Tr and Tr D are denoted by z and ~1 respectively, and the "AuslanderReiten sequence" and the "Auslander-Reiten quiver" are siflaply written by the "ARsequence" and the "AR-quiver" respectively.
Read full abstract