FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups 
 ProfileProfile   PreferencesPreferences   Log in to check your private messagesLog in to check your private messages   Log inLog in 
Forum index » Science and Technology » Math » Research
Nine Lemma
Post new topic   Reply to topic Page 1 of 1 [6 Posts] View previous topic :: View next topic
Author Message
Mike1161
science forum addict


Joined: 14 Oct 2005
Posts: 50

PostPosted: Wed Jun 28, 2006 6:24 am    Post subject: Re: Nine Lemma Reply with quote

John Baez wrote:
Quote:
In article <e5diqt$r21$1@news.ks.uiuc.edu>,
John Baez <baez@math.removethis.ucr.andthis.edu> wrote:

What's a famous, catchy, exciting or illuminating application
of the Nine Lemma in homological algebra? The Wikipedia article
on this subject needs some help, and someone asked me this...

So nobody knows any use for the Nine Lemma? Interesting....

An overstatement to say that nobody knows any use for it. To my
knowledge the 9 lemma is never strictly NECESSARY. But it is handy to
have around. It conceptually illuminates homological algebra (assuming
that one has a brain as strange as mine that feels illuminated by the
result). One one has the9 lemma one can give tidy proofs of relative
Mayer-Vietoris and excision as others in the thread have pointed out.

Actually, I have always thought that the hexagonal lemma is
overrated as to usefulness. Opinions everybody?

Mike
Back to top
Agustí Roig
science forum beginner


Joined: 18 Jul 2005
Posts: 11

PostPosted: Tue Jun 27, 2006 1:05 pm    Post subject: Re: Nine Lemma Reply with quote

John Baez ha escrit:

Quote:
In article <e5diqt$r21$1@news.ks.uiuc.edu>,
John Baez <baez@math.removethis.ucr.andthis.edu> wrote:

What's a famous, catchy, exciting or illuminating application
of the Nine Lemma in homological algebra? The Wikipedia article
on this subject needs some help, and someone asked me this...

So nobody knows any use for the Nine Lemma? Interesting....


It can be used in the proof of the excision theorem for singular
homology (although there are proofs without it).

If you apply it to the commutative diagram with exact rows and columns:



S(A - U) ---> S(A - U) ---> 0
| | |
| | |
V V V
S(A) + S(A - U) ---> S(A) + S(X - U) ---> S(X - U) / S(A - U)
| | |
| | |
V V V
S({A, A - U}) ---> S({A, X - U}) ---> S({A, X - U}) / S({A,
A - U})


you get an isomorphism of complexes

S(X - U) / S(A - U) ---> S({A, X - U}) / S({A, A - U})

which composed with the isomorphism

H( S({A, X - U}) / S({A, A - U})) ---> H(X,A)

gives the excision isomorphism

H(X - U, A - U) ---> H(X,A)


Notations and conventions:

(1) U is a subspace of A , A a subspace of X , with the closure of
U contained in the interior of A .
(2) S(X), S(X,A) stand for the singular and relative chain complexes,
respectively.
(3) S({A, X - U}) is the subcomplex of S(X) generated by those
simplices with their images contained in A or in X - U .
(4) + means direct sum.
(5) H(X), H(X,A) mean singular homology and relative singular
homology, respectively.


Agustí Roig
Back to top
Dimitri Ara
science forum beginner


Joined: 27 Jun 2006
Posts: 1

PostPosted: Tue Jun 27, 2006 11:58 am    Post subject: Re: Nine Lemma Reply with quote

baez@math.removethis.ucr.andthis.edu (John Baez) a écrit :

Quote:
So nobody knows any use for the Nine Lemma? Interesting....

One can prove the exactness of the relative Mayer-Vietoris sequence
(for singular homology) using the nine lemma.

Let (A_1, A_2) -> (X_1, X_2) be an inclusion of excisive couples. We
have a commutative diagram :

0 0 0
| | |
V V V
0 -> C(A_12) -> C(A_1) (+) C(A_2) -> C(A_1) + C(A_2) -> 0
| | |
V V V
0 -> C(X_12) -> C(X_1) (+) C(X_2) -> C(X_1) + C(X_2) -> 0
| | |
V V V
0 -> C(X_12, A_12) -> C(X_1, A_1) + C(X_2, A_2) -> (C(A_1) + C(A_2))/(C(X_1) + C(X_2)) -> 0
| | |
V V V
0 0 0

where Y_12 = Y_1 \cap Y_2, Y = Y_1 \cup Y_2 and C(Y,B) is the relative
singular chain complex of (Y, B).

The columns and the top rows are exact, so the bottom row is
exact by the nine lemma. I claim that the long exact sequence
associated to this row is the relative Mayer-Vietoris sequence.

To see that, let's consider this morphism :

0 -> C(A_1) + C(A_2) -> C(X_1) + C(X_2) -> (C(A_1) + C(A_2))/(C(X_1) + C(X_2)) -> 0
| | |
V V V
0 -> C(A) -> C(X) -> C(A,X) -> 0

The first arrows are quasi-isomorphisms by hypothesis. So is the third
by the five lemma. QED.

This proof is essentially a reformulation of Spanier's proof.

--
Dimitri Ara
Back to top
John Baez
science forum Guru Wannabe


Joined: 01 May 2005
Posts: 220

PostPosted: Tue Jun 27, 2006 4:50 am    Post subject: Re: Nine Lemma Reply with quote

In article <e5diqt$r21$1@news.ks.uiuc.edu>,
John Baez <baez@math.removethis.ucr.andthis.edu> wrote:

Quote:
What's a famous, catchy, exciting or illuminating application
of the Nine Lemma in homological algebra? The Wikipedia article
on this subject needs some help, and someone asked me this...

So nobody knows any use for the Nine Lemma? Interesting....
Back to top
victor_meldrew_666@yahoo.
science forum beginner


Joined: 19 May 2006
Posts: 17

PostPosted: Mon May 29, 2006 5:00 pm    Post subject: Re: Nine Lemma Reply with quote

John Baez wrote:
Quote:
What's a famous, catchy, exciting or illuminating application
of the Nine Lemma in homological algebra? The Wikipedia article
on this subject needs some help, and someone asked me this...

Just to give information as I ask for it: this lemma says that
if you have a 3x3 grid of objects in an abelian category, like this:

0 0 0
| | |
v v v
0 -> * -> * -> * -> 0
| | |
v v v
0 -> * -> * -> * -> 0
| | |
v v v
0 -> * -> * -> * -> 0
| | |
v v v
0 0 0

and the columns are exact, and the first two or last two
rows are exact, then the remaining row is exact.

(What if the top and bottom row are exact?)

Then the middle row need not be exact; it need not even be a complex.
Call the nine objects A_1, ..., C_3 in an obvious fashion.
Work inside the category of Abelian groups and let A_1 = C_3 = 0,
A_2 = A_3 = B_1 = B_3 = C_1 = C_2 = Z and B_2 = Z^2.
Make any arrow between two Zs be the identity map.
To make the middle column exact let A_2 -> B_2 take x to
(x,0) and let B_2 -> C_2 take (x, y) to y.
Now the diagram will commute if the map B_1 -> B_2 takes
x to (ax, x) for some a and B_2 -> B_3 takes (x, y) to x + by
for some b. Although these maps must be injective and
surjective respectively, their composite takes x to (a+b)x
which need not be zero.

Victor Meldrew
Back to top
John Baez
science forum Guru Wannabe


Joined: 01 May 2005
Posts: 220

PostPosted: Mon May 29, 2006 1:30 am    Post subject: Nine Lemma Reply with quote

What's a famous, catchy, exciting or illuminating application
of the Nine Lemma in homological algebra? The Wikipedia article
on this subject needs some help, and someone asked me this...

Just to give information as I ask for it: this lemma says that
if you have a 3x3 grid of objects in an abelian category, like this:

0 0 0
| | |
v v v
0 -> * -> * -> * -> 0
| | |
v v v
0 -> * -> * -> * -> 0
| | |
v v v
0 -> * -> * -> * -> 0
| | |
v v v
0 0 0

and the columns are exact, and the first two or last two
rows are exact, then the remaining row is exact.

(What if the top and bottom row are exact?)
Back to top
Google

Back to top
Display posts from previous:   
Post new topic   Reply to topic Page 1 of 1 [6 Posts] View previous topic :: View next topic
The time now is Tue Dec 12, 2017 4:18 am | All times are GMT
Forum index » Science and Technology » Math » Research
Jump to:  

Similar Topics
Topic Author Forum Replies Last Post
No new posts Urysohn's Lemma in Adult Rudin NotP Math 5 Wed Jun 28, 2006 9:29 pm
No new posts schwartz lemma query pindu12@hotmail.co.uk Math 6 Tue May 23, 2006 6:58 pm
No new posts Application of Nakayama's Lemma enigma182 Undergraduate 0 Tue May 23, 2006 5:11 pm
No new posts hansel's lemma question perlscheme@yahoo.ca Math 2 Tue May 23, 2006 6:36 am
No new posts extension of fekete's lemma yogesh Research 1 Mon May 08, 2006 5:42 pm

Copyright © 2004-2005 DeniX Solutions SRL
Other DeniX Solutions sites: Electronics forum |  Medicine forum |  Unix/Linux blog |  Unix/Linux documentation |  Unix/Linux forums  |  send newsletters
 


Powered by phpBB © 2001, 2005 phpBB Group
[ Time: 0.0437s ][ Queries: 20 (0.0241s) ][ GZIP on - Debug on ]