The subjectThis page is also available as a DVI-file or PostScript-file. Download the DVI-file or the PostScript-file here. In the thirties and fourties parallel theories of cohomology were developed in group theory, Lie algebras, and associative algebras. A unified approach to all these theories were given by Cartan and Eilenberg in [CE]. Shortly after important homological conjectures were formulated by Rosenberg-Zelinsky, Nakayama, Nunke. These conjectures have served as an inspiration and motivation to look at homological questions and to use homological techniques. Homological algebra has a central and important role in mathematics in general. In particular within the representation theory of algebras the categorical point of view and the use of homological techniques has given a greatly improved insight and progress in this field. The homological conjectures which are formulated for finite dimensional algebras will be the main theme of this summer school. There is no unified approach towards these conjectures, neither on a theoretical level nor in the literature. However, various techniques and theories have been developed. Below we give an outline of the results and methods which we want to cover in the summer school, and we mention also the connections between the different topics. Origin of the conjecturesAround the middle of this century, algebraists started to use homological methods in commutative algebra. Let us mention as an example the celebrated Auslander-Buchsbaum-Serre Theorem which asserts that an algebraic variety V with coordinate ring A is smooth if and only if the global dimension of A is finite. Moreover, in this case the global dimension equals the dimension of the variety. If the global dimension of a ring A is infinite it still makes sense to look at the big and the little finitistic dimensions respectively defined as Here, ModA denotes the category of all A-modules, mod A is the full subcategory of finitely presented A-modules, and pd M denotes the projective dimension of M, i.e. the least n such that ExtAn+1(M,-) = 0. For A commutative noetherian it was proved by Bass [B2], Gruson and Raynaud [GR] that Fin.dim A equals the Krull dimension of A. In the non-commutative situation there are conjectures which are formulated for a finite dimensional k-algebra A (here, k denotes a field and D = Homk(-,k) is the usual k-duality): Finitistic dimension conjectures (a) Fin.dim A = fin.dim A and (b) fin.dim A is finite. Nunke condition For every non-zero A-module M there exists n >= 0 such that ExtAn(DA,M)<> 0. Generalized Nakayama conjecture For every simple A-module S there exist n >= 0 such that ExtAn(DA,S) <> 0. Nakayama conjecture If 0 -> A -> Q0 -> Q1 -> .... is a minimal injective resolution in mod A where all terms are projective, then A is quasi-Frobenius. The little finitistic dimension being finite is the most general one, and it will be referred to as the little finitistic dimension conjecture. Furthermore, the above conjectures are listed in order of generality, that is, fin.dim A finite for all finite dimensional algebras implies the Nunke condition, which in turn implies the Generalized Nakayama conjecture and so on. At present, there are only counter examples for the statement Fin.dim A = fin.dim A, see [ZH,Sm], and all known positive results require some extra assumption on the algebra A. Resolutions and syzygiesProjective resolutions have played a central role in ring theory and module theory. Up to recently they were mostly only used for theoretical purposes, but with the introduction of computers and symbolic computation into mathematics, actual computation of resolutions has become possible. At first this was only available for commutative rings, but methods and implementations have also been constructed to deal with the noncommutative case. These methods and implementations are not only important as a way of testing examples, but also some constructions of resolutions give a ``theoretical'' way of working with the resolutions. Some of the computer implementations use the theory of Gröbner basis as an important tool for carrying out the symbolic computations. This is the case for the program Gröbner by E. L. Green. The little finitistic dimension conjecture was proved for monomial algebras by Green-Kirkman-Kuzmanonvich [GKK] using explicit knowledge about the minimal projective resolution of each simple module over monomial algebras (for example, [GHZ]). This was later also proved by Igusa and Zacharia [IZ], studying the ``syzygy pairs'' given by certain maps between projectives. Assigning combinatorial data to syzygies of modules, Green and Huisgen-Zimmermann proved that the little finitistic dimension conjecture holds for algebras with radical cube zero. Later alternative proofs have been given of this fact (Igusa-Todorov), and generalizations to the case J2l+1 = (0) and A/Jl finite representation type [DH], where J denotes the radical of the algebra. Auslander formulated the following conjecture, which we here call the Auslander conjecture. Let X be a A-module. There exists an integer n=nX such that if ExtAi(X,Y)=(0) for i sufficiently large, then ExtiA(X,Y)=(0) for i >= n. Auslander showed that if the Auslander conjecture holds for the enveloping algebra Ae=A tenor Aop, then the little finitistic dimension conjecture holds for A. For two A-modules X and Y we have the following identity involving Hochschild cohomology Resolutions we want to study in more detail are: the Anick-Green resolution for simple modules (generalizes Green-Happel-Zacharia resolutions for monomial algebras), Green-Solberg-Zacharia resolutions for finitely generated modules (generalize resolutions of Eilenberg, Butler, Bongartz) and minimal resolutions of A over Ae due to Bardzell, Butler, Happel. Homologically finite subcategoriesThe concept of homologically finite subcategories was introduced by Auslander and Smalø in [AS]. The introduction of this concept has not only had a profound impact on the representation theory of artin algebras, but has also been important for (commutative) rings of higher dimension (see [AB]) and in the theory of highest weight categories. In commutative ring theory new invariants have been introduced based on the fact that the category of maximal Cohen-Macaulay modules is contravariantly finite (in a suitable category), which in many cases has been related to old invariants and notions. However, our interest is the theory developed for artin algebras. Let A be an artin algebra, and let mod A denote the category of finitely generated left A-modules. Let X be a subcategory of mod A. For a given A-module C a map f : X -> C with X in X is called a right X-approximation if for all maps f' : X' -> C with X' in X, there exists a map h : X' -> X such that f h=f'. If all modules in mod A have a right X-approximation, then X is called contravariantly finite in mod A. Equivalently, this can be formulated in terms of functors as follows. A map f : X -> C is a right X-approximation of C if ( ,X)|X -> ( ,C)|X is surjective. This explains the choice of name, and one also has the dual notion of a covariantly finite subcategory. A subcategory which is both covariantly and contravariantly finite, is called functorially finite. A subcategory with at least one of these properties is called homologically finite. Let Pinfinity(A) denote the subcategory of mod A consisting of all modules with finite projective dimension. This category has been studied by Auslander and Reiten in [AR1], and they have shown the following striking connection with the little finitistic dimension conjecture. If Pinfinity(A) is contravariantly finite in mod A, then the little finitistic dimension conjecture is true for A. The converse is known not to be true by an example of Igusa, Smalø and Todorov. Homologically finite subcategories also play a central role in tilting/cotilting theory. To explain this we first need to recall some notions. A A-module T is called a cotilting module if ExtiA(T,T)=(0) for all i > 0, idA T < infinity (finite injective dimension) and D(A\op) has a finite resolution in add T. A subcategory X of mod A is called resolving if X contains the projective A-modules and is closed under extensions and kernels of epimorphisms. In [AR1] Auslander and Reiten showed that there is an one-one correspondence between isomorphism classes of basic cotilting modules and contravariantly finite resolving subcategories of mod A such that every module has a finite resolution in the subcategory. Furthermore, if T is a A-cotilting module, then Happel has shown that the little finitistic dimension of A is finite if and only if the little finitistic dimension of EndA(T) is finite. Hence, satisfying the little finitistic dimension conjecture is an invariant under cotilting. Let T be a A-module with n-1 nonisomorphic indecomposable summands, where n is the number of nonisomorphic simple A-modules. If T in addition satisfies the conditions (i) ExtiA(T,T)=(0) for i > 0, (ii) idA T < infinity, and (iii) it can be completed to a cotilting module, then T is called an almost complete cotilting module. A rich theory for completing an almost complete cotilting module has been developed by Coelho, Happel and Unger. It was observed by Happel and Unger that if the little finitistic dimension conjecture is true for A, then an almost complete cotilting module can only be completed to a cotilting module in a finite number of ways up to additivity. It was proved independently by Buan-Solberg and Happel-Unger that the Generalized Nakayama conjecture is true for A if and only if the injective almost complete cotilting modules over A only have a finite number of complements. Representation DimensionIn [Au], Auslander established a bijective correspondence between artin algebras of finite representation type and algebras having global dimension at most 2 and dominant dimension at least 2. This correspondence sends an algebra A of finite type to EndA(M) where M is the direct sum of a representative set of indecomposable A-modules. Note that M is a generator-cogenerator for mod A. This motivated Auslander to define the representation dimension of A to be Geometric aspectsGeometrical arguments are used frequently in representation theory of finite dimensional algebras in order to study the representation type. There are also some results on homological properties. In order to state them fix an algebraically closed field k and consider the affine scheme Algmodd,n(k) of n-dimensional modules over algebras of dimension d. It has been shown by Jensen and Lenzing [JL] that for fixed r\geq 0 the modules of projective dimension at most r form an open subscheme of Algmodd,n(k). This has various interesting consequences. We mention just one of them which is due to Schofield [Sc]: There exists a function g : N -> N such that the finite global dimensions of all d-dimensional algebras are bounded by g(d). Infinitely generated modulesIt has already been mentioned that there are examples of finite dimensional algebras where the big and the little finitistic dimension are different. In fact, the difference Fin.dim A - fin.dim A can take any positive value [Sm]. However, there are also positive results. For instance, Huisgen-Zimmermann and Smalø have shown that Fin.dim A = fin.dim A if Pinfinity(A) is contravariantly finite in mod A [HS]. Their result follows from the fact that under this assumption on A every module of finite projective dimension is a direct limit of finitely generated modules of finite projective dimension. This is not true in general and there is some related work which characterizes the algebras having this property [K]. There are also results on Fin.dim A which involve the so-called Ziegler spectrum. The isomorphism classes of indecomposable pure-injective A-modules form the points of the Ziegler spectrum of A, and Fin.dim A is already obtained by taking the supremum over all pd M < infinity with M being a point of this spectrum [K]. The category Pinfinity(mod A) of finitely generated modules having finite projective dimension is not necessarily contravariantly finite in mod A. On the other hand, the category Pinfinity(Mod A) of all modules having finite projective dimension is contravariantly finite in Mod A if and only if Fin.dim A < infinity. This follows from a recent result of Aldrich, Enochs, Jenda, and Oyonarte, which says that Pn(Mod A) is contravariantly finite in Mod A for all n >= 0 [AEJO]. An alternative proof shows that the right Pn(Mod A)-approximation Pn -> A/J of A/J plays some special role: a A-module X has projective dimension at most n if and only if it is a direct factor of some X' having a filtration X'=X0 > X1 > ... > Xn=0 such that Xi/Xi+1 is isomorphic to a product of copies of Pn [KS]. In particular, Fin.dim A = sup{ pd Pn | n &ft;= 0}. References
|
NTNU Fakultet Institutt |
Ansvarligfor innhold: Informasjonsdirektøren, NTNU Teknisk ansvarlig: Webmaster Oppdatert: 25.5.00 |