# Extensions, Injectives, and Co image

This is the first post for the second semester of Ogus alg. geo. The first part of this semester was focused on introducing the derived categories and derived functors. I’m not going to present all the details here. Mostly I’ll mention the major results and probably will skip proofs (a more complete and very readable treatment is in the first couple chapters of Huybrechts, but even Huybrechts doesn’t include all the details).

### Ext(A,C)

For a little bit I’ll work in , the category of abelian groups. For any object there are the covariant and contravariant functors and from to itself, and more generally the contravariant functor sending to .

For a general , are only left exact. And so arises the notions of projective ( exact ) and injective objects ( exact). As not all objects are projective or injective, so comes extensions. In general, and extension of A by C is an exact sequence

A category can be formed taking s.e.s as objects and morphisms to be morphisms between s.e.s where the morphisms and , and the 5-lemma implies the middle morphism is also an iso. Ogus calls this category . It has a group structure. Given two objects

Form the sequence . Let by the pushforward of the two maps out of

Then it can be checked that B” fits into a long exact sequence

As it happens, the identity element can be identified with the trivial extension

Setting to be isomrophism classes of elements in . Now given a s.e.s and a map , you can take the fiber product can infact get an extension of by :

and in this way continues the exact seqence started by etc.

### Injectives

For abelian groups, or modules, it turns out that projective modules are just free modules. For injectives, there is the following

(Commutative Baer’s Criterion) Thm: In the category of modules, is injective iff for any ideal and any module there is an extension

proof: If is injective, then by definition any map from and ideal of extends to all of . Conversely, suppose there is an injection and a map . Consider all extension of , these form a partially ordered set and chains have maximal elements: given set and for it must be x \in A_i&s=-1$ for some i so define $latexf_m(x) = f_i(x)&s=-1$, then it clear is maximal. Zorn’s lemma says there’s a maximal element , it remains to show . Proceeding by contradiction let . Let , this is certainly an ideal, and I have a map , so by assumption there is an extension , now set , and define by . Can check that this is well defined, i.e. if then so this contradiction establishes the result.

QED

The following theorem is in fact just a corollary of the above theorem, in the case or more generally a principal ideal domain, but in any case Ogus proved it using essentially the same proof as above.

Thm: is an injective object iff is divisible, i.e. for any there is

proof: First, if is injective, the consider for any element the map sending 1 to . Injectiveness means there is a commutative diagram

Shows that . The converse is longer and involves Zorn’s lemma.

Consider an injection and let be the set of all for which there is a diagram

There is an ordering if and . Chains have a maximal element etc. so Zorn says there is a maximal element. It remains to show I get a contradiction if .

Suppose . If is not in for all n then with extension information is greater than , contradiction. Hence for some . Note then that . Hence there is the following commutative diagram:

Where pB is the pushforward of the maps coming out of B_max and where the first vertical map is the maximal map of the definition of B_max, . So , by assumption for some . So has the property that , so this element gives a section hence the bottom s.e.s splits which consequently gives a map which extends the the map from , contradiction.

QED

Its an immediate consequence of this theorem that any quotient of an injective object is injective (i.e. if there is a surjection then J is injective). There is also the following corollary

Cor. Any abelian group can be an imbedded into an injective one.

proof: Let B be an abelian group. Choose a set of generators to produce a surjection where F is free. There there is a commutative diagram

All the vertical maps are injective and is an injective object by the theorem, hence so is its quotient by Ker, hence B injects into an injective object.

QED

### Coimage vs Image

Recall an category is additive if

- has the structure of ab. group for all objects
- is a bilinear pairing
- Products exists (which in particular make finite coproducts equal to finite products , i.e. )
- Kernels and Cokernels exists (from which if follows that fibers and co-fibers exist)

So given , Ogus defined

From which I can declare to be abelian if . Note a seemingly more common definition of abelian category (for example in Weibel) is to require every to have a kernel and cokernel (required for ogus def. of addititve), every injection (or monic) is the ker of its cok, and every surjection (epi) is cok of its ker. The equivalence of these definitions is a small commutative diagram exercise.

Its true that not all additive categories are abelian. Here is an example based on the Ogus definitions. Let be the category of vector spaces with filtrations indexed by , so an objects is a vector space with a filtration

Morphisms of objects are morphisms that are compatible with the filtration. For a vector space , consider the filtration for and for . Also consider the filtration for and for . Let these represents objects respectively. There is a map which at the point of interest looks like

If I understand things correctly, it seems in this case and so there is a map from the coimage to the image of but its not an isomorphism.

## About this entry

You’re currently reading “Extensions, Injectives, and Co image,” an entry on Math Meandering

- Published:
- July 1, 2009 / 5:20 pm

- Category:
- alg. geo., Ogus Excerpts

- Tags:

## No comments yet

Jump to comment form | comment rss [?] | trackback uri [?]