5. ¥1 # At A K¥7 "
IF zi
Ql .
5- 25k£ 44£ zia * FAEHZX'
FY
'
K EL .
Q2 . 2 s a
FFEU"
a lot I 2512k 2£ ,
ZK to Hu to'
Z A 41¥ 't £ .
= Aeza FE air as a # a e£ .
E '¥i£¥s¥Hz
it #¥ :* ! )
6. A '5t¥± : As #¥aEaa 't #x
K a K
'
lI5tj , f (K ) =
fck
'
) {
T23¥zAt'¥a
fk ) Fflk
'
) Ishii K
4K
'
{ I3 '¥I
7. Jones 32¥ It ( 1984 )
0 do do
Jb ) =
1 . J( D) = -
gi4tq3tqt.Jl@1-jtq2.q-
of
'
+1 .
tfitzviaktr JCK ) tltss ,
K is FIIEIHIa sacino '3 !
( tea KEYI )
Jones 32¥ It ( 1984 )
0 do do
Jb ) =
1 . J( D) = -
gi4tq3tqt.Jl@1-jtq2.q-
of
'
+1 .
tfitzviaktr JCK ) tltss ,
K is FIIEIHIa sacino '3 !
( tea KEYI )
Jones 32¥ It ( 1984 )
0 do do
Jb ) =
1 . J( D) = -
gi4tq3tqt.Jl@1-jtq2.q-
of
'
+1 .
tfitzviaktr JCK ) tltss ,
K is FIIEIHIa sacino '3 !
( tea KEYI )
Jones 32¥ It ( 1984 )
0 do do
Jb ) =
1 . J( D) = -
gi4tq3tqt.Jl@1-jtq2.q-
of
'
+1 .
tfitzviaktr JCK ) tltss ,
K is FIIEIHIa sacino '3 !
( tea KEYI )
13. 2. Ezak¥iF7¥F7a&AHtzBEz# 23 .
Ho
)
IsIB
n =3
100 110
addIBIndKB000 010
10 I 11 1
•P@@.;iff ( 23=8 # 's )
001 Of 1
14. 3 .
At # Esa III 's a # ¥72213
IsD8
100 1 10
addIBInd8.8000 010
10 I 11 1
IDEdid001 Of 1
15. 3 .
At # Esa III 's a # ¥72213
IsD8
100 1 10
addIBInd8.8000 010
10 I 11 1
IDEdid001 Of 1
3 .
At # Esa III 's a # ¥72213
IsD8
100 1 10
addIBInd8.8000 010
10 I 11 1
IDEdid001 Of 1
16. 3 .
At # Esa III 's a # ¥72213
IsD8
100 1 10
addIBInd8.8000 010
10 I 11 1
IDEdid001 Of 1
3 .
At # Esa III 's a # ¥72213
IsD8
100 1 10
addIBInd8.8000 010
10 I 11 1
IDEdid001 Of 1
Oo
§??tE
¥¥¥¥o←s
merge
17. 3 .
At # Esa III 's a # ¥72213
IsD8
100 1 10
addIBInd8.8000 010
10 I 11 1
IDEdid001 Of 1
3 .
At # Esa III 's a # ¥72213
IsD8
100 1 10
addIBInd8.8000 010
10 I 11 1
IDEdid001 Of 1
18. 3 .
At # Esa III 's a # ¥72213
IsD8
100 1 10
addIBInd8.8000 010
10 I 11 1
IDEdid001 Of 1
3 .
At # Esa III 's a # ¥72213
IsD8
100 1 10
addIBInd8.8000 010
10 I 11 1
IDEdid001 Of 1
Oo
§??tE
¥¥¥o←s
split
19. 3 .
At # Esa III 's a # ¥72213
IsD8
100 1 10
addIBInd8.8000 010
10 I 11 1
IDEdid001 Of 1
20. 3 .
At # Esa III 's a A ¥72213
#*.€as***e**¥EE¥a*⇐e¥
Edidid
21. 4 .
ht
'
# then 'RE # z hF3
IsIB
100 I 10
add8DIndodd000 010
10 I 11 1
IDEdid001 Of 1
C =
{ o d
dC
' d
'
C2 d
'
d o }
22. 5. homology { EAR
'
¥ At
'
! u#x¥##±a± )
IsIB
100 1 10
add8.8ID.
odd000 010
10 I 1 1 1
IDEIndo001 Of 1
C =
{ o d dC
' d
'
d d
'
d o }
IH
KHCK )
28. #XBI e I =e°z -
7 a M¥45.
5*5
¥Kya #¥¥¥ I =c°z -
J
5*5
•
Fla?Bs¥xE k kHz I e°z -
7 z 5*23 KTHis ¥ #± !
•
Hhtt € * 35 !
29. ( )
Theorem(W.)
Let M be a 1-connected space with dim(π∗(M) ⊗ Q) < ∞. Assume
∃ F → M → B fibration satisfying
• F and B are 1-connected
• B is rationally homotopy equivalent to S2n+1
• ∂ ⊗ 1 = 0: π2n+1(B) ⊗ Q → π2n(F) ⊗ Q
Then the loop coproduct on LM is trivial.
• A ⇒ B (Assume A. Then B.)
A: B:
• A, B
•
( ) 2017 7 19 3 / 10
“
2017-07-19 有理ホモトピー論とコンピュータ @wktkshn
30. • F and B are 1-connected
• B is rationally homotopy equivalent to S2n+1
• ∂ ⊗ 1 = 0: π2n+1(B) ⊗ Q → π2n(F) ⊗ Q
Then the loop coproduct on LM is trivial.
• A ⇒ B (Assume A. Then B.)
A: B:
• A, B
•
( ) 2017 7 19 3 / 10