Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to...
Transcript of Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to...
![Page 1: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/1.jpg)
0
Constructive Homological Algebra I.
Homology Background
Francis Sergeraert, Institut Fourier, Grenoble, FranceGenova Summer School, 2006
![Page 2: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/2.jpg)
1
General plan:
1. Homological Algebra background.
2. The homological problem.
3. Koszul complexes.
4. Koszul complexes (continued).
5. Algebraic Topology background.
6. Constructive Spectral Sequences.
![Page 3: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/3.jpg)
2
Semantics of colours:
Blue = “Standard” Mathematics
Red = Constructive, effective,
algorithm, machine object, . . .
Violet = Problem, difficulty, obstacle, disadvantage, . . .
Green = Solution, essential point, mathematicians, . . .
![Page 4: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/4.jpg)
3
Chain complex:
· · · Cq−2dq−2oo Cq−1
dq−1oo
0
ii Cqdqoo
0
jj Cq+1dq+1oo
0
jj Cq+2dq+2oo
0
ii · · ·dq+3oo
0
jj
· · · Cq−1
dq−1
||xxxxxxxxxxxxxxxxxxxCq
dq
||yyyyyyyyyyyyyyyyyyCq+1
dq+1
||yyyy
yyyy
yyyy
yyyy
yy· · ·
dq+2
||yyyyyyyyyyyyyyyyyyy
∪ ∪ ∪· · · Zq−1
dq−1
{{xxxxxxxxxxxxxxxxxxxZq
dq
{{xxxxxxxxxxxxxxxxxxx XX Hq��
Zq+1
dq+1
{{xxxxxxxxxxxxxxxxxxx· · ·
dq+2
{{xxxxxxxxxxxxxxxxxxxxx
∪ ∪ ∪· · · Bq−1 Bq Bq+1 · · ·
∪ ∪ ∪· · · 0 0 0 · · ·
Zq := ker dq Bq := im dq+1 Hq := Zq/Bq
Cycles Boundaries Homology classes
![Page 5: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/5.jpg)
4
Spectral sequence = movie: Page 0
�� �� �� �� ��
E00,3
d0��
E01,3
d0��
E02,3
d0��
E03,3
d0��
E04,3
d0��
· · ·
E00,2
d0��
E01,2
d0��
E02,2
d0��
E03,2
d0��
E04,2
d0��
· · ·
E00,1
d0��
E01,1
d0��
E02,1
d0��
E03,1
d0��
E04,1
d0��
· · ·
E00,0 E0
1,0 E02,0 E0
3,0 E04,0 · · ·
Every column is a chain complex (dd = 0)
![Page 6: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/6.jpg)
5
Spectral sequence = movie: Page 0
�� �� �� �� ��
E00,3
d0��
E01,3
d0��
E02,3
d0��
E03,3
d0��
E04,3
d0��
· · ·
E00,2
d0��
E01,2
d0��
E02,2
d0��
E03,2
d0��
E04,2
d0��
· · ·
E00,1
d0��
E01,1
d0��
E02,1
d0��
E03,1
d0��
E04,1
d0��
· · ·
E00,0 E0
1,0 E02,0 E0
3,0 E04,0 · · ·
E1p,q := ker d0
p,q/im d0p,q+1 =⇒
![Page 7: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/7.jpg)
6
Spectral sequence = movie: Page 1
E10,3 E1
1,3 E12,3 E1
3,3 E14,3
E10,2 E1
1,2 E12,2 E1
3,2 E14,2
E10,1 E1
1,1 E12,1 E1
3,1 E14,1
E10,0 E1
1,0 E12,0 E1
3,0 E14,0
E1p,q:= ker d0
p,q/im d0p,q+1
![Page 8: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/8.jpg)
7
Spectral sequence = movie: Page 1
E10,3 E1
1,3d1
oo E12,3
d1oo E1
3,3d1
oo E14,3
d1oo d1
oo
E10,2 E1
1,2d1
oo E12,2
d1oo E1
3,2d1
oo E14,2
d1oo d1
oo
E10,1 E1
1,1d1
oo E12,1
d1oo E1
3,1d1
oo E14,1
d1oo d1
oo
E10,0 E1
1,0d1
oo E12,0
d1oo E1
3,0d1
oo E14,0
d1oo d1
oo
Warning: arrows d1 entirely new . d1 = Chain-complex
![Page 9: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/9.jpg)
8
Spectral sequence = movie: Page 1
E10,3 E1
1,3d1
oo E12,3
d1oo E1
3,3d1
oo E14,3
d1oo d1
oo
E10,2 E1
1,2d1
oo E12,2
d1oo E1
3,2d1
oo E14,2
d1oo d1
oo
E10,1 E1
1,1d1
oo E12,1
d1oo E1
3,1d1
oo E14,1
d1oo d1
oo
E10,0 E1
1,0d1
oo E12,0
d1oo E1
3,0d1
oo E14,0
d1oo d1
oo
E2p,q := ker d1
p,q/im d1p+1,q =⇒
![Page 10: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/10.jpg)
9
Spectral sequence = movie: Page 2
E20,3 E2
1,3 E22,3 E2
3,3 E24,3 · · ·
E20,2 E2
1,2 E22,2 E2
3,2 E24,2 · · ·
E20,1 E2
1,1 E22,1 E2
3,1 E24,1 · · ·
E20,0 E2
1,0 E22,0 E2
3,0 E24,0 · · ·
E2p,q := ker d1
p,q/im d1p+1,q
![Page 11: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/11.jpg)
10
Spectral sequence = movie: Page 2
E20,3 E2
1,3 E22,3 E2
3,3 E24,3 · · ·
E20,2 E2
1,2 E22,2
d2RRRRRRRR
hhRRRRRRRR
E23,2
d2RRRRRRRR
hhRRRRRRRR
E24,2
d2RRRRRRRR
hhRRRRRRRR
· · ·
E20,1 E2
1,1 E22,1
d2RRRRRRRR
hhRRRRRRRR
E23,1
d2RRRRRRRR
hhRRRRRRRR
E24,1
d2RRRRRRRR
hhRRRRRRRR
· · ·
E20,0 E2
1,0 E22,0
d2RRRRRRRR
hhRRRRRRRR
E23,0
d2RRRRRRRR
hhRRRRRRRR
E24,0
d2RRRRRRRR
hhRRRRRRRR
· · ·
Warning: arrows d2 entirely new . d2 = Chain-complex
![Page 12: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/12.jpg)
11
Spectral sequence = movie: Page 2
E20,3 E2
1,3 E22,3 E2
3,3 E24,3 · · ·
E20,2 E2
1,2 E22,2
d2RRRRRRRR
hhRRRRRRRR
E23,2
d2RRRRRRRR
hhRRRRRRRR
E24,2
d2RRRRRRRR
hhRRRRRRRR
· · ·
E20,1 E2
1,1 E22,1
d2RRRRRRRR
hhRRRRRRRR
E23,1
d2RRRRRRRR
hhRRRRRRRR
E24,1
d2RRRRRRRR
hhRRRRRRRR
· · ·
E20,0 E2
1,0 E22,0
d2RRRRRRRR
hhRRRRRRRR
E23,0
d2RRRRRRRR
hhRRRRRRRR
E24,0
d2RRRRRRRR
hhRRRRRRRR
· · ·
E3p,q := ker d2
p,q/im d2p+1,q
Remark: En0,0 and En
0,1 now independent of n ≥ 2
![Page 13: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/13.jpg)
12
Spectral sequence = movie: Page 3
E30,3 E3
1,3 E32,3 E3
3,3 E34,3 · · ·
E30,2 E3
1,2 E32,2 E3
3,2 E34,2 · · ·
E30,1 E3
1,1 E32,1 E3
3,1 E34,1 · · ·
E∞0,0 E∞1,0 E32,0 E3
3,0 E34,0 · · ·
E3p,q := ker d2
p,q/im d2p+1,q
![Page 14: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/14.jpg)
13
Spectral sequence = movie: Page 3
E30,3 E3
1,3 E32,3 E3
3,3 E34,3 · · ·
E30,2 E3
1,2 E32,2 E3
3,2 E34,2 · · ·
E30,1 E3
1,1 E32,1 E3
3,1
d3MMMMMMMMMMMMMMMM
ffMMMMMMMMMMMMMMMM
E34,1
d3MMMMMMMMMMMMMMMM
ffMMMMMMMMMMMMMMMM
· · ·
d3MMMMMMMMMMMMMMMMM
ffMMMMMMMMMMMMMMM
E∞0,0 E∞1,0 E32,0 E3
3,0
d3MMMMMMMMMMMMMMMM
ffMMMMMMMMMMMMMMMM
E34,0
d3MMMMMMMMMMMMMMMM
ffMMMMMMMMMMMMMMMM
· · ·
d3MMMMMMMMMMMMMMMMM
ffMMMMMMMMMMMMMMM
Warning: arrows d3 entirely new . d3 = Chain-complex
![Page 15: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/15.jpg)
14
Spectral sequence = movie: Page 3
E30,3 E3
1,3 E32,3 E3
3,3 E34,3 · · ·
E30,2 E3
1,2 E32,2 E3
3,2 E34,2 · · ·
E∞0,1 E∞1,1 E∞2,1 E33,1
d3MMMMMMMMMMMMMMMM
ffMMMMMMMMMMMMMMMM
E34,1
d3MMMMMMMMMMMMMMMM
ffMMMMMMMMMMMMMMMM
· · ·
d3MMMMMMMMMMMMMMMMM
ffMMMMMMMMMMMMMMM
E∞0,0 E∞1,0 E∞2,0 E33,0
d3MMMMMMMMMMMMMMMM
ffMMMMMMMMMMMMMMMM
E34,0
d3MMMMMMMMMMMMMMMM
ffMMMMMMMMMMMMMMMM
· · ·
d3MMMMMMMMMMMMMMMMM
ffMMMMMMMMMMMMMMM
E4p,q := ker d3
p,q/im d3p+1,q
And so on. . .
![Page 16: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/16.jpg)
15
Spectral sequence = movie: Page ∞
E∞0,3 E∞1,3 E∞2,3 E∞3,3 E∞4,3 · · ·
E∞0,2 E∞1,2 E∞2,2 E∞3,2 E∞4,2 · · ·
E∞0,1 E∞1,1 E∞2,1 E∞3,1 E∞4,1 · · ·
E∞0,0 E∞1,0 E∞2,0 E∞3,0 E∞4,0 · · ·
Final state (???)
![Page 17: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/17.jpg)
16
Spectral sequence = movie: Page ∞
E∞0,3 bb
""EEEE
EEEE
E∞1,3 E∞2,3 E∞3,3 E∞4,3 · · ·
E∞0,2 E∞1,2 bb
""EEEE
EEEE
E∞2,2 E∞3,2 E∞4,2 · · ·
E∞0,1 E∞1,1 E∞2,1 ff
&&LLLLLLLLLLLLE∞3,1 E∞4,1 · · ·
E∞0,0 E∞1,0 E∞2,0 E∞3,0
��
E∞4,0 · · ·
H3 = ???
Final state (???)
![Page 18: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/18.jpg)
17
Exact result: ∃ filtration of H3:
E∞0,3 E∞1,2 E∞2,1 E∞3,0
0 ⊂ H3,0,3 ⊂ H3,1,2 ⊂ H3,2,1 ⊂ H3,3,0 = H3
E∞p,q = Hp+q,p,q/Hp+q,p−1,q+1
Guessing the Hn is an “extended” extension problem.
Example: E∞0,3 = E∞1,2 = E∞2,1 = E∞3,0 = Z2 ⇒
H3 = Z16 or Z8 ⊕ Z2 or Z24 or Z4 ⊕ Z2
2 or Z42 ???
![Page 19: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/19.jpg)
18
John McCleary, 1985:
“User’s Guide to Spectral Sequences”
“Theorem”. There is a spectral sequence with E∗,∗2∼=
“something computable” and converging to H∗, some-
thing desirable.
The important observation to make about the statement of
the theorem is that it gives an E2-term of the spectral se-
quence but says nothing about the successive differentials dr.
Though E∗,∗r may be known, without dr or some further struc-
ture, it may be impossible to proceed .
![Page 20: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/20.jpg)
19
John McCleary, 1985:
“User’s Guide to Spectral Sequences”
It is worth repeating the caveat about differentials mentioned in
chapter 1: knowledge of E∗,∗r and dr determines E∗,∗r+1 but not
dr+1.
[. . . ]
If some differential is unknown, then some other (any other!)
principle is needed to proceed .
[. . . ]
In the non-trivial cases, it is often a deep geometric idea that
is caught up in the knowledge of a differential.
![Page 21: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/21.jpg)
20Example F3 ↪→ X5 → X4.
Z?>=<89:; 0 0 0 Z2 0 Z3ONMLHIJK 0 Z4
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
Z2 0 0 0 Z2 Z2ONMLHIJK 0
0 0 0 0 0 0 0
Z2ONMLHIJK 0 0 0 Z2 Z2 0
Z2ONMLHIJK 0 0 0 Z2 Z2 0
Z2 0 0 0 Z2 Z2 0
Z2 0 0 0 Z2 Z2 0
p
q
r = 2
//
OO
d44,0∼=
MMMMMMMMMMMMMMM
ffMMMMMMMMMMMMMMM
d66,0=0
JJJJJJJJJJJJJJJJJJJJJJJJJJ
ddJJJJJJJJJJJJJJJJJJJJJJJJJJ
d48,0MMMMMMMMMMMMMMMM
ffffMMMMMMMMMMMMMMMM
d44,3=0
MMMMMMMMMMMMMMM
ffMMMMMMMMMMMMMMM
d88,0IIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIII
ddddIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIII
d44,5∼=
MMMMMMMMMMMMMMM
ffMMMMMMMMMMMMMMM
H0 = Z H1−4 = 0 H5 = Z2 H6 = Z6 H7 = 0 H8 = Z2
![Page 22: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/22.jpg)
21
Example F4 ↪→ X6 → X5.
Z?>=<89:; 0 0 0 0 Z2 Z6ONMLHIJK 0
0 0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0
Z2 0 0 0
0 0 0
Z2ONMLHIJK 0
p
q
r = 2
//
OO
d55,0∼=FFFFFFFFFFFFFFFFFFF
bbFFFFFFFFF
“Result”: Exact sequence: 0← Z6 ← H6(X6)← Z2 ← 0
⇒ π6S3 = Z12 or Z2 ⊕ Z6 ???
![Page 23: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/23.jpg)
22
The simplest example
to understand the nature of the problem.
Chain complex:
B∗
· · ·· · ·
0oo Zoo
deg=0
Z×2oo
×αzz
zz
||zzzz
deg=1
0oo · · ·oo
· · ·}C∗
· · · 0oo Zoo Z×2oo 0oo · · ·oo }A∗
⇔ · · · ←− 0←− Z2
[2 0
α 2
]←− Z2 ←− 0←− · · ·
⇒ Short exact sequence of chain complexes:
0 −→ A∗ −→ B∗ −→ C∗(= B∗/A∗) −→ 0
![Page 24: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/24.jpg)
23
B∗
· · ·· · ·
0oo Zoo
deg=0
Z×2oo
×αzz
zz
||zzzz
deg=1
0oo · · ·oo
· · ·}C∗
· · · 0oo Zoo Z×2oo 0oo · · ·oo }A∗
Challenge: H∗(A∗) and H∗(C∗) known ⇒ H∗(B∗) = ???
H0(A∗) = H0(C∗) = Z2, Hm(A∗) = Hm(C∗) = 0 ∀m 6= 0.
Long exact sequence of homology ⇒
· · · ← 0← Z2 ← H0(B∗)← Z2 ← 0← · · ·
⇒ Two possible H0(B∗): Z2 ⊕ Z2 or Z4.
How to determine the right choice ???
![Page 25: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/25.jpg)
24
Standard extension group theory:
0← Z2 ← E ← Z2 ← 0
The extension is determined by
a cohomology class τ ∈ H2(Z2, Z2) = Z2.
0 1�oo a�oo
0 2a�oo b�oo
Rule: Consider 1 ∈ Z2, then an arbitrary preimage a ∈ E;
Certainly the image of 2a is 0;
Exactness ⇒ 2a is the image of a unique b ∈ Z2.
If b = 0, then E = Z2 ⊕ Z2;
If b = 1, then E = Z4.
But E is unknown!
![Page 26: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/26.jpg)
25
Solution: Instead of working with homology classes,
work with cycles representing them.
1×2oo
×αttt
tttt
zztttttt
t
×2oo
1 ∈ H0(C∗)
1×2oo
×αuuu
uuuu
zzuuuuu
0 ×2oo
a ∈ H0(B∗)?
2×2oo
×αuuu
uuuu
zzuuuuu
0 ×2oo
2a ∈ H0(B∗)?
0 −1×2oo
×αooooo
wwoooo
−α ×2oo
2a ∈ H0(B∗)?
×2oo
×αrrr
rrrrr
yyrrr
−α ×2oo
b ∈ H0(A∗)
Conclusion:
α even ⇒H0(B∗) = Z2 ⊕ Z2
α odd ⇒H0(B∗) = Z4
![Page 27: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/27.jpg)
26
B∗
· · ·· · ·
0oo Zoo
deg=0
Z×2oo
×αzz
zz
||zzzz
deg=1
0oo · · ·oo
· · ·}C∗
· · · 0oo Zoo Z×2oo 0oo · · ·oo }A∗
Lifting homology classes to explicit cycles gives a solution.
A little more general situation:
B∗
· · ·· · ·
0oo Z∞oo
deg=0
Z∞foo
gttttt
zzttttt deg=1
0oo · · ·oo
· · ·}C∗
· · · 0oo Z∞oo Z∞hoo 0oo · · ·oo }A∗
H0A∗ = H0(C∗) = Z2 ⇒ H0(B∗) = ???
Same solution if it is possible to work in A∗, B∗ and C∗.
![Page 28: Homology Backgroundsergerar/Papers/Genova-1.pdf · 18 John McCleary, 1985: “User’s Guide to Spectral Sequences” “Theorem”. There is a spectral sequence with E∗,∗ 2 ∼=](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edbf44dad6a402d666668d4/html5/thumbnails/28.jpg)
0
The END
Francis Sergeraert, Institut Fourier, Grenoble, FranceGenova Summer School, 2006