Ext Functor - Ring Structure and Module Structure On Specific Exts

Ring Structure and Module Structure On Specific Exts

One more very useful way to view the Ext functor is this: when an element of Extn
R(A, B) = 0 is considered as an equivalence class of maps f: PnB for a projective resolution P* of A ; so, then we can pick a long exact sequence Q* ending with B and lift the map f using the projectivity of the modules Pm to a chain map f*: P*Q* of degree -n. It turns out that homotopy classes of such chain maps correspond precisely to the equivalence classes in the definition of Ext above.

Under sufficiently nice circumstances, such as when the ring R is a group ring over a field k, or an augmented k-algebra, we can impose a ring structure on Ext*
R(k, k). The multiplication has quite a few equivalent interpretations, corresponding to different interpretations of the elements of Ext*
R(k, k).

One interpretation is in terms of these homotopy classes of chain maps. Then the product of two elements is represented by the composition of the corresponding representatives. We can choose a single resolution of k, and do all the calculations inside HomR(P*,P*), which is a differential graded algebra, with cohomology precisely ExtR(k,k).

The Ext groups can also be interpreted in terms of exact sequences; this has the advantage that it does not rely on the existence of projective or injective modules. Then we take the viewpoint above that an element of Extn
R(A, B) is a class, under a certain equivalence relation, of exact sequences of length n + 2 starting with B and ending with A. This can then be spliced with an element in Extm
R(C, A), by replacing ... → X1A → 0 and 0 → AYn → ... with:

where the middle arrow is the composition of the functions X1A and AYn. This product is called the Yoneda splice.

These viewpoints turn out to be equivalent whenever both make sense.

Using similar interpretations, we find that Ext*
R(k, M) is a module over Ext*
R(k, k), again for sufficiently nice situations.

Read more about this topic:  Ext Functor

Famous quotes containing the words ring, structure and/or specific:

    These words dropped into my childish mind as if you should accidentally drop a ring into a deep well. I did not think of them much at the time, but there came a day in my life when the ring was fished up out of the well, good as new.
    Harriet Beecher Stowe (1811–1896)

    Why does philosophy use concepts and why does faith use symbols if both try to express the same ultimate? The answer, of course, is that the relation to the ultimate is not the same in each case. The philosophical relation is in principle a detached description of the basic structure in which the ultimate manifests itself. The relation of faith is in principle an involved expression of concern about the meaning of the ultimate for the faithful.
    Paul Tillich (1886–1965)

    The more specific idea of evolution now reached is—a change from an indefinite, incoherent homogeneity to a definite, coherent heterogeneity, accompanying the dissipation of motion and integration of matter.
    Herbert Spencer (1820–1903)