To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

From Wikipedia, the free encyclopedia

In mathematics, the Ext functors are the derived functors of the Hom functor. Along with the Tor functor, Ext is one of the core concepts of homological algebra, in which ideas from algebraic topology are used to define invariants of algebraic structures. The cohomology of groups, Lie algebras, and associative algebras can all be defined in terms of Ext. The name comes from the fact that the first Ext group Ext1 classifies extensions of one module by another.

In the special case of abelian groups, Ext was introduced by Reinhold Baer (1934). It was named by Samuel Eilenberg and Saunders MacLane (1942), and applied to topology (the universal coefficient theorem for cohomology). For modules over any ring, Ext was defined by Henri Cartan and Eilenberg in their 1956 book Homological Algebra.[1]

Definition

Let R be a ring and let R-Mod be the category of modules over R. (One can take this to mean either left R-modules or right R-modules.) For a fixed R-module A, let T(B) = HomR(A, B) for B in R-Mod. (Here HomR(A, B) is the abelian group of R-linear maps from A to B; this is an R-module if R is commutative.) This is a left exact functor from R-Mod to the category of abelian groups Ab, and so it has right derived functors RiT. The Ext groups are the abelian groups defined by

for an integer i. By definition, this means: take any injective resolution

remove the term B, and form the cochain complex:

For each integer i, Exti
R
(A, B) is the cohomology of this complex at position i. It is zero for i negative. For example, Ext0
R
(A, B) is the kernel of the map HomR(A, I0) → HomR(A, I1), which is isomorphic to HomR(A, B).

An alternative definition uses the functor G(A)=HomR(A, B), for a fixed R-module B. This is a contravariant functor, which can be viewed as a left exact functor from the opposite category (R-Mod)op to Ab. The Ext groups are defined as the right derived functors RiG:

That is, choose any projective resolution

remove the term A, and form the cochain complex:

Then Exti
R
(A, B) is the cohomology of this complex at position i.

Cartan and Eilenberg showed that these constructions are independent of the choice of projective or injective resolution, and that both constructions yield the same Ext groups.[2] Moreover, for a fixed ring R, Ext is a functor in each variable (contravariant in A, covariant in B).

For a commutative ring R and R-modules A and B, Exti
R
(A, B) is an R-module (using that HomR(A, B) is an R-module in this case). For a non-commutative ring R, Exti
R
(A, B) is only an abelian group, in general. If R is an algebra over a ring S (which means in particular that S is commutative), then Exti
R
(A, B) is at least an S-module.

Properties of Ext

Here are some of the basic properties and computations of Ext groups.[3]

  • Ext0
    R
    (A, B) ≅ HomR(A, B) for any R-modules A and B.
  • The converses also hold:
    • If Ext1
      R
      (A, B) = 0 for all B, then A is projective (and hence Exti
      R
      (A, B) = 0 for all i > 0).
    • If Ext1
      R
      (A, B) = 0 for all A, then B is injective (and hence Exti
      R
      (A, B) = 0 for all i > 0).
  • for all i ≥ 2 and all abelian groups A and B.[4]
for any R-module B. Here B[u] denotes the u-torsion subgroup of B, {xB: ux = 0}. Taking R to be the ring of integers, this calculation can be used to compute for any finitely generated abelian group A.
for any R-module A. Also, a short exact sequence 0 → KLM → 0 induces a long exact sequence of the form
for any R-module B.
  • Ext takes direct sums (possibly infinite) in the first variable and products in the second variable to products.[7] That is:

Ext and extensions

Equivalence of extensions

The Ext groups derive their name from their relation to extensions of modules. Given R-modules A and B, an extension of A by B is a short exact sequence of R-modules

Two extensions

are said to be equivalent (as extensions of A by B) if there is a commutative diagram:

EquivalenceOfExtensions.png

Note that the Five lemma implies that the middle arrow is an isomorphism. An extension of A by B is called split if it is equivalent to the trivial extension

There is a one-to-one correspondence between equivalence classes of extensions of A by B and elements of Ext1
R
(A, B).[9] The trivial extension corresponds to the zero element of Ext1
R
(A, B).

The Baer sum of extensions

The Baer sum is an explicit description of the abelian group structure on Ext1
R
(A, B), viewed as the set of equivalence classes of extensions of A by B.[10] Namely, given two extensions

and

first form the pullback over ,

Then form the quotient module

The Baer sum of E and E′ is the extension

where the first map is and the second is .

Up to equivalence of extensions, the Baer sum is commutative and has the trivial extension as identity element. The negative of an extension 0 → BEA → 0 is the extension involving the same module E, but with the homomorphism BE replaced by its negative.

Construction of Ext in abelian categories

Nobuo Yoneda defined the abelian groups Extn
C
(A, B) for objects A and B in any abelian category C; this agrees with the definition in terms of resolutions if C has enough projectives or enough injectives. First, Ext0
C
(A,B) = HomC(A, B). Next, Ext1
C
(A, B) is the set of equivalence classes of extensions of A by B, forming an abelian group under the Baer sum. Finally, the higher Ext groups Extn
C
(A, B) are defined as equivalence classes of n-extensions, which are exact sequences

under the equivalence relation generated by the relation that identifies two extensions

if there are maps for all m in {1, 2, ..., n} so that every resulting square commutes, that is, if there is a chain map ξ → ξ' which is the identity on A and B.

The Baer sum of two n-extensions as above is formed by letting be the pullback of and over A, and be the pushout of and under B.[11] Then the Baer sum of the extensions is

The derived category and the Yoneda product

An important point is that Ext groups in an abelian category C can be viewed as sets of morphisms in a category associated to C, the derived category D(C).[12] The objects of the derived category are complexes of objects in C. Specifically, one has

where an object of C is viewed as a complex concentrated in degree zero, and [i] means shifting a complex i steps to the left. From this interpretation, there is a bilinear map, sometimes called the Yoneda product:

which is simply the composition of morphisms in the derived category.

The Yoneda product can also be described in more elementary terms. For i = j = 0, the product is the composition of maps in the category C. In general, the product can be defined by splicing together two Yoneda extensions.

Alternatively, the Yoneda product can be defined in terms of resolutions. (This is close to the definition of the derived category.) For example, let R be a ring, with R-modules A, B, C, and let P, Q, and T be projective resolutions of A, B, C. Then Exti
R
(A,B) can be identified with the group of chain homotopy classes of chain maps PQ[i]. The Yoneda product is given by composing chain maps:

By any of these interpretations, the Yoneda product is associative. As a result, is a graded ring, for any R-module A. For example, this gives the ring structure on group cohomology since this can be viewed as . Also by associativity of the Yoneda product: for any R-modules A and B, is a module over .

Important special cases

  • Group cohomology is defined by , where G is a group, M is a representation of G over the integers, and is the group ring of G.
  • Lie algebra cohomology is defined by , where is a Lie algebra over a commutative ring k, M is a -module, and is the universal enveloping algebra.
  • For a topological space X, sheaf cohomology can be defined as Here Ext is taken in the abelian category of sheaves of abelian groups on X, and is the sheaf of locally constant -valued functions.
  • For a commutative Noetherian local ring R with residue field k, is the universal enveloping algebra of a graded Lie algebra π*(R) over k, known as the homotopy Lie algebra of R. (To be precise, when k has characteristic 2, π*(R) has to be viewed as an "adjusted Lie algebra".[13]) There is a natural homomorphism of graded Lie algebras from the André–Quillen cohomology D*(k/R,k) to π*(R), which is an isomorphism if k has characteristic zero.[14]

See also

Notes

  1. ^ Weibel (1999); Cartan & Eilenberg (1956), section VI.1.
  2. ^ Weibel (1994), sections 2.4 and 2.5 and Theorem 2.7.6.
  3. ^ Weibel (1994), Chapters 2 and 3.
  4. ^ Weibeil (1994), Lemma 3.3.1.
  5. ^ Weibel (1994), section 4.5.
  6. ^ Weibel (1994), Definition 2.1.1.
  7. ^ Weibel (1994), Proposition 3.3.4.
  8. ^ Weibel (1994), Lemma 3.3.8.
  9. ^ Weibel (1994), Theorem 3.4.3.
  10. ^ Weibel (1994), Corollary 3.4.5.
  11. ^ Weibel (1994), Vists 3.4.6. Some minor corrections are in the errata.
  12. ^ Weibel (1994), sections 10.4 and 10.7; Gelfand & Manin (2003), Chapter III.
  13. ^ Sjödin (1980), Notation 14.
  14. ^ Avramov (2010), section 10.2.

References

This page was last edited on 28 September 2021, at 15:31
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.