Methods Of Homological Algebra Pdf

[Christian Swindler]

CharlesWeibel's "An Introduction To Homological Algebra" is the gold standard. Very modern, very clear and written by a master. But it may be a bit rough going for beginners. Much more user friendly and still very thorough is the second edition of Joseph Rotman's book of the same name. Like everything by Rotman, it's a wonderful and enlightening read.

There are two books by Gelfand and Manin, Homological algebra, around 200 pages and Methods of homological algebra, around 350 pages. The first one covers the standard basic topics, and also has chapters on mixed Hodge structures, perverse sheaves, and D-modules. The second one has a different emphasis, with chapters on simplicial sets and homotopical algebra instead of the above-mentioned topics.

I agree the best reference is Weibel, and GM's Methods is really good, but for starting out I'd recommend Mac Lane's Homology (which is just about homological algebra). This is much more readable for someone coming from an undergraduate degree.

A less well-known book is Vermani: An elementary approach to homological algebra. This was the first book I ever read on homological algebra, and I loved it. I would recommend it to anyone who has not seen much of the subject, as a starting point before going on to more advanced texts. Here is a Google Books preview.

I have used Weibel in the past as my reference in a graduate course, but I think the less confident students can have trouble getting into it. I've always enjoyed the way it is organized, somehow. The books by Rotman and ScottOsborne (Basic Homological Algebra) seem friendlier for students, but I like to have spectral sequences early on, not just in the last chapter. (Who likes to balance Tor by hand?)

This book develops the machinery of homological algebra and its applications to commutative rings and modules. It assumes familiarity with basic commutative algebra, for example, as covered in the author's book, Commutative Algebra (Graduate Studies in Mathematics, Volume 233).

The first part of the book is an elementary but thorough exposition of the concepts of homological algebra, starting from categorical language up to the construction of derived functors and spectral sequences. A full proof of the celebrated Freyd-Mitchell theorem on the embeddings of small Abelian categories is included.

The second part of the book is devoted to the application of these techniques in commutative algebra through the study of projective, injective, and flat modules, the construction of explicit resolutions via the Koszul complex, and the properties of regular sequences. The theory is then used to understand the properties of regular rings, Cohen-Macaulay rings and modules, Gorenstein rings and complete intersections.

Overall, this book is a valuable resource for anyone interested in learning about homological algebra and its applications in commutative algebra. The clear and thorough presentation of the material, along with the many examples and exercises of varying difficulty, make it an excellent choice for self-study or as a reference for researchers.

Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract algebra (theory of modules and syzygies) at the end of the 19th century, chiefly by Henri Poincar and David Hilbert.

Homological algebra is the study of homological functors and the intricate algebraic structures that they entail; its development was closely intertwined with the emergence of category theory. A central concept is that of chain complexes, which can be studied through their homology and cohomology.

Homological algebra affords the means to extract information contained in these complexes and present it in the form of homological invariants of rings, modules, topological spaces, and other "tangible" mathematical objects. A spectral sequence is a powerful tool for this.

It has played an enormous role in algebraic topology. Its influence has gradually expanded and presently includes commutative algebra, algebraic geometry, algebraic number theory, representation theory, mathematical physics, operator algebras, complex analysis, and the theory of partial differential equations. K-theory is an independent discipline which draws upon methods of homological algebra, as does the noncommutative geometry of Alain Connes.

Homological algebra began to be studied in its most basic form in the 1800s as a branch of topology and in the 1940s became an independent subject with the study of objects such as the ext functor and the tor functor, among others.[1]

On a philosophical level, homological algebra teaches us that certain chain complexes associated with algebraic or geometric objects (topological spaces, simplicial complexes, R-modules) contain a lot of valuable algebraic information about them, with the homology being only the most readily available part. On a technical level, homological algebra provides the tools for manipulating complexes and extracting this information. Here are two general illustrations.

A similar definition can be made for certain other algebraic structures. For example, one could have an exact sequence of vector spaces and linear maps, or of modules and module homomorphisms. More generally, the notion of an exact sequence makes sense in any category with kernels and cokernels.

where 0 represents the zero object, such as the trivial group or a zero-dimensional vector space. The placement of the 0's forces ƒ to be a monomorphism and g to be an epimorphism (see below).

In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototype example of an abelian category is the category of abelian groups, Ab. The theory originated in a tentative attempt to unify several cohomology theories by Alexander Grothendieck. Abelian categories are very stable categories, for example they are regular and they satisfy the snake lemma. The class of Abelian categories is closed under several categorical constructions, for example, the category of chain complexes of an Abelian category, or the category of functors from a small category to an Abelian category are Abelian as well. These stability properties make them inevitable in homological algebra and beyond; the theory has major applications in algebraic geometry, cohomology and pure category theory. Abelian categories are named after Niels Henrik Abel.

A doubly graded spectral sequence has a tremendous amount of data to keep track of, but there is a common visualization technique which makes the structure of the spectral sequence clearer. We have three indices, r, p, and q. For each r, imagine that we have a sheet of graph paper. On this sheet, we will take p to be the horizontal direction and q to be the vertical direction. At each lattice point we have the object E r p , q \displaystyle E_r^p,q .

A continuous map of topological spaces gives rise to a homomorphism between their nth homology groups for all n. This basic fact of algebraic topology finds a natural explanation through certain properties of chain complexes. Since it is very common to studyseveral topological spaces simultaneously, in homological algebra one is led to simultaneous consideration of multiple chain complexes.

Cohomology theories have been defined for many different objects such as topological spaces, sheaves, groups, rings, Lie algebras, and C*-algebras. The study of modern algebraic geometry would be almost unthinkable without sheaf cohomology.

Central to homological algebra is the notion of exact sequence; these can be used to perform actual calculations. A classical tool of homological algebra is that of derived functor; the most basic examples are functors Ext and Tor.

With a diverse set of applications in mind, it was natural to try to put the whole subject on a uniform basis. There were several attempts before the subject settled down. An approximate history can be stated as follows:

The computational sledgehammer par excellence is the spectral sequence; these are essential in the Cartan-Eilenberg and Tohoku approaches where they are needed, for instance, to compute the derived functors of a composition of two functors. Spectral sequences are less essential in the derived category approach, but still play a role whenever concrete computations are necessary.

3a8082e126