84:
74:
53:
22:
181:. The usual thing is then to say, take both boundary circles of the annulus and identify them to one point P. We can get this in stages: identify (b,0) first with (b,1), and that's a 2-torus T. Then we collapse a circle on T to the point P. No problem about projecting T to B; but when we collapse the circle? There would have to be some symmetry breaking going on.
540:, which is however twisted by the structure of the bundle. The Thom isomorphism says that if the bundle is nice enough the twist is not seen by the cohomology theory and the suspension isomorphism still holds. The meaning of "nice" depends here on the cohomology theory at hand. For the singular cohomology with
217:
OK, I see what my problem was. If we do as
Charles has suggested above and first take the bundle of one-point compactifications, we do get a sphere bundle. But the Thom complex is the quotient of the total space of the sphere bundle obtained by gluing all the points at infinity together. I edited the
166:
I think the answer to your question is yes. If E is a k-vector bundle then T(E) is a k-sphere bundle. So we are taking the one-point compactification of each fiber, remembering that we've only added one new point. About T(p): maybe we need more hypotheses for this. Here is my reasoning. Since E is
199:
Forgive me if I'm being stupid, but I don't see how T(p) : T(E) → B is a sphere bundle. To which point in the base does the "new point" project? In order to get a sphere bundle it seems like it would have to project everywhere (it lies in the "fiber" above every point). --
236:
We can loosely interpret the theorem in the following geometric sense. Since E is a vector bundle it retracts onto the base B. So we might suppose that E would be cohomologically equivalent to B. In a way, the theorem bears out this expectation
661:
Not such a great idea to use the same notation for the Thom space — T(M) — that is used for the tangent bundle of the manifold M. Especially in an article like this one where there is constant danger of confusion. Why not Th(M) or Thom(M) or
208:
I am the one who is stupid; you're absolutely right. So can we agree that T(E) is not so much a bundle over anything (not sure why I ever thought so, at this point...)? And that all references to such should be removed?
382:
663:
140:
587:
Funnily enough, I was just reading it now, came across that passage, and wondered, what on earth? Please include your comments into the article itself. There is no need to be timid. --
281:, so these two spaces always have isomorphic cohomology groups. The Thom isomorphism, on the other hand, can be interpreted as a generalization of the suspension isomorphism. For a space
570:
412:
498:
538:
518:
472:
452:
432:
299:
279:
259:
706:
130:
701:
106:
573:
572:-coefficients every vector bundle is "nice", for the integral cohomology theory one needs to assume that bundles are orientable etc. --
667:
97:
58:
304:
177:
Bear with me a moment. Take B a circle and E the trivial bundle BxR. Then what we do is take Bx inside E; think of this as an
33:
21:
577:
682:
184:
160:
39:
83:
157:
Is it not firstly the bundle of one-point compactifications, though? I don't see how T(p) is defined.
626:
543:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
607:
In the name of precision, I just want to point out that the Thom space of the trival bundle over
387:
89:
168:
B is continuous there is a unique map T(p) extending p to all of T(E). Am I missing something?
73:
52:
678:
647:
477:
218:
definition to reflect this. Thanks both of you for your helpful and timely corrections!
620:
523:
503:
457:
437:
417:
284:
264:
244:
695:
592:
221:
210:
201:
192:
171:
643:
232:
The article attempts to explain the meaning of the Thom isomorphism as follows:
102:
79:
588:
178:
167:
locally compact
Hausdorff it is dense in T(E), and since p: E -: -->
686:
671:
651:
630:
596:
581:
377:{\displaystyle H^{i}(B)\cong {\tilde {H}}^{n+1}(\Sigma ^{n}B)}
301:
the the classical suspension isomorphisms is the isomorphisms
15:
619:
plus a disjoint base-point. I added this to the article.
642:
The pullback of Thom class by zero section is Euler class.
241:
This is not correct. In a vector bundle the total space
677:
I agree and will go ahead and change the notation. —-
546:
526:
506:
480:
460:
440:
420:
390:
307:
287:
267:
247:
101:, a collaborative effort to improve the coverage of
564:
532:
512:
492:
466:
446:
426:
406:
376:
293:
273:
253:
191:You are right and see also the below comment.
8:
638:Relation between Thom class and Euler class
19:
47:
554:
549:
548:
547:
545:
525:
505:
479:
459:
439:
419:
395:
389:
362:
343:
332:
331:
312:
306:
286:
266:
261:is homotopy equivalent to the base space
246:
500:its Thom space can be understood as an
49:
664:2600:1700:E1C0:F340:24A9:18FE:5F8:B9F8
7:
95:This article is within the scope of
38:It is of interest to the following
392:
359:
14:
707:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
702:Start-Class mathematics articles
565:{\displaystyle {\mathbb {Z} }/2}
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
687:23:22, 26 September 2019 (UTC)
672:22:24, 25 September 2019 (UTC)
484:
371:
355:
337:
324:
318:
1:
109:and see a list of open tasks.
407:{\displaystyle \Sigma ^{n}B}
652:13:32, 9 October 2009 (UTC)
597:12:24, 23 August 2008 (UTC)
582:05:28, 22 August 2008 (UTC)
474:-dimensional vector bundle
723:
224:02:19, 13 Dec 2004 (UTC)
134:
67:
46:
204:19:26, 2004 Dec 7 (UTC)
187:17:02, 7 Dec 2004 (UTC)
174:23:53, 5 Dec 2004 (UTC)
163:09:21, 5 Dec 2004 (UTC)
141:project's priority scale
631:13:19, 6 May 2009 (UTC)
213:21:21, 7 Dec 2004 (UTC)
195:21:21, 7 Dec 2004 (UTC)
98:WikiProject Mathematics
566:
534:
514:
494:
493:{\displaystyle E\to B}
468:
448:
428:
408:
378:
295:
275:
255:
239:
28:This article is rated
611:is the suspension of
567:
535:
515:
495:
469:
449:
429:
409:
379:
296:
276:
256:
234:
228:The Thom isomorphism.
623:15:20 6th May 2009
544:
524:
520:-fold suspension of
504:
478:
458:
438:
434:-fold suspension of
418:
388:
305:
285:
265:
245:
121:mathematics articles
657:Notational problem
562:
530:
510:
490:
464:
444:
424:
404:
374:
291:
271:
251:
90:Mathematics portal
34:content assessment
533:{\displaystyle B}
513:{\displaystyle n}
467:{\displaystyle n}
447:{\displaystyle B}
427:{\displaystyle n}
340:
294:{\displaystyle B}
274:{\displaystyle B}
254:{\displaystyle E}
155:
154:
151:
150:
147:
146:
714:
634:
571:
569:
568:
563:
558:
553:
552:
539:
537:
536:
531:
519:
517:
516:
511:
499:
497:
496:
491:
473:
471:
470:
465:
453:
451:
450:
445:
433:
431:
430:
425:
413:
411:
410:
405:
400:
399:
383:
381:
380:
375:
367:
366:
354:
353:
342:
341:
333:
317:
316:
300:
298:
297:
292:
280:
278:
277:
272:
260:
258:
257:
252:
185:Charles Matthews
161:Charles Matthews
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
722:
721:
717:
716:
715:
713:
712:
711:
692:
691:
659:
640:
624:
605:
542:
541:
522:
521:
502:
501:
476:
475:
456:
455:
436:
435:
416:
415:
391:
386:
385:
358:
330:
308:
303:
302:
283:
282:
263:
262:
243:
242:
230:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
720:
718:
710:
709:
704:
694:
693:
690:
689:
658:
655:
639:
636:
629:comment added
604:
601:
600:
599:
561:
557:
551:
529:
509:
489:
486:
483:
463:
443:
423:
403:
398:
394:
373:
370:
365:
361:
357:
352:
349:
346:
339:
336:
329:
326:
323:
320:
315:
311:
290:
270:
250:
229:
226:
215:
214:
197:
196:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
719:
708:
705:
703:
700:
699:
697:
688:
684:
680:
676:
675:
674:
673:
669:
665:
656:
654:
653:
649:
645:
637:
635:
632:
628:
622:
618:
614:
610:
602:
598:
594:
590:
586:
585:
584:
583:
579:
575:
574:69.204.54.113
559:
555:
527:
507:
487:
481:
461:
441:
421:
401:
396:
368:
363:
350:
347:
344:
334:
327:
321:
313:
309:
288:
268:
248:
238:
233:
227:
225:
223:
219:
212:
207:
206:
205:
203:
194:
190:
189:
188:
186:
182:
180:
175:
173:
169:
164:
162:
158:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
660:
641:
616:
612:
608:
606:
240:
235:
231:
220:
216:
198:
183:
176:
170:
165:
159:
156:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
625:—Preceding
603:Base points
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
696:Categories
662:something?
621:Djcrowley
454:. For an
627:undated
414:is the
384:where
222:Alodyne
211:Alodyne
202:Fropuff
193:Alodyne
179:annulus
172:Alodyne
139:on the
644:Yunzhi
36:scale.
683:talk
679:Taku
668:talk
648:talk
593:talk
578:talk
589:C S
131:Low
698::
685:)
670:)
650:)
615:,
613:B+
595:)
580:)
485:→
393:Σ
360:Σ
338:~
328:≅
681:(
666:(
646:(
633:.
617:B
609:B
591:(
576:(
560:2
556:/
550:Z
528:B
508:n
488:B
482:E
462:n
442:B
422:n
402:B
397:n
372:)
369:B
364:n
356:(
351:1
348:+
345:n
335:H
325:)
322:B
319:(
314:i
310:H
289:B
269:B
249:E
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.