162:
152:
131:
83:
32:
100:
412:
It is explained that one can generalise to non-compact manifolds if one changes to cohomology with compact supports. It seems like quite a large omission, at least to me, to have no mention of Borel-Moore homology. In many regards, this is a more "natural" generalisation, in that it is the adjustment
266:
I have a problem with the line, ``kth homology group H^k(M) to the (n−k)-th cohomology group H_{n − k}(M).`` It is my understanding that homology groups are represented with a subscript, and cohomology with a superscript; reverse from what was written. I have changed this. If I am in error, please
291:
You started by given a historical introduction, with
Poincare's understanding of duality as concerned about Betti numbers. (I really enjoyed learning this). But them you stated the modern perpective, which is close to the first attempt, but it does not imply the "duality" between the Betti numbers
275:
Hi; I'm trying desperately to understand many of these advanced principals of mathematics, such as
Poincaré duality, but no matter how many times I review the material, it doesn't sink in. Could someone please provide examples, problems to solve (with their solutions) and/or ways to visualize this?
535:
It is unclear to me what "manifold that bounds" means. I am guessing it's something like that the manifold is the boundary of a lower dimensional manifold, but am not sure, and for someone more unfamiliar with the subject I imagine it would be even less clear. Could someone put more details here?
334:
I know some mathematicians that call the isomorphism between a vector space and its dual (given by an inner product), Poincare duality. The further away you get from topology the more vaguely and inaccurately people use the phrase 'Poincare duality'. In that sense, there's many non-standard and
323:
Hom_k (H_1 (R),H_n (R)) induced by the multiplication on H.(R) is a monomorphism. I can't why this is called
Poincare duality, as I can't see how this is related to the fact in this article that H_(n-k) (M) is isomorphic to H^k (M). Can someone provide an explanation?
321:
by Bruns and Herzog, pp. 123~126, mentions
Poincare duality in somewhat different context from this article. The main theorem (Avramov-Golod theorem) seems to be that Noetherian local ring R is Gorenstein iff. H.(R) is a Poincare algebra iff. k-linear map H_n-1 (R) -:
469:
Discussion on relaxing the conditions of the "easy" case: orientability (use orientation bundle or Z/2Z coefficients), compactness (use cohomology with supports or homology/cohomology pairing) and smoothness (intersection
508:
poincare duality and cap products work. This could be done with a torus, but more non-trivial examples should be discussed as well. Also, it should discuss the duality of cup products and intersections of chains.
292:
right away. I think that it would be nice to reconcile the modern paragraph with the historical one by stating that by using the universal coeficients theorem the modern approach implies
Poincare's approach.
463:
Duality in cohomology in terms of cup product and evaluation against the fundamental class; the de Rham picture with differential forms and integration is particularly good as an introduction;
218:
413:
needed to obtain a non-compact fundamental class for the manifold, and the duality is induced by taking the cap-product with this fundamental class, just as for the compact case.
482:
Give pointers to
Poincaré-type duality theorems in other fields (Serre duality, the more general coherent duality in algebraic / analytic geometry, duality in étale cohomology)
335:
borderline useless usages of the phrase
Poincare duality. I tend to just ignore them unless the author can make a compelling case -- most often I feel like that answer is no.
590:
208:
460:
important results in algebraic topology, and one with major influence elsewhere too. Should aim to get this to high level of completeness. Things to add:
288:
I really enjoyed this entry, thanks a lot! I think that perhaps it would be a small improvement to it if the following is taken into consideration:
580:
184:
585:
75:
516:
414:
537:
247:
175:
136:
442:, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.
111:
520:
364:
568:
I hope someone familiar with this subject can add something about
Poincaré duality for topological manifolds.
555:
The article says little or nothing about what kind of manifolds the manifolds discussed in the article are.
418:
541:
251:
374:
Nope. The whole point of this section is to *not* mention cohomology in the statement of
Poincare duality.
117:
47:
306:
161:
267:
feel free to revert the edit and make a comment on the discussion page. 00:08 CST, 29 December 2004.
512:
302:
243:
99:
360:
63:
277:
183:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
167:
151:
130:
31:
58:
17:
398:
393:, this allows us to mention what Poincare duality means for general homology theories.
379:
340:
325:
574:
476:
Discuss restrictions PD implies for, e.g., Betti numbers of smooth compact manifolds;
439:
68:
565:
manifolds are discussed (meaning: manifolds without any additional assumptions).
473:
Brief introduction to Verdier duality and how it generalises the previous models;
545:
524:
496:
Last edited at 19:26, 16 May 2007 (UTC). Substituted at 02:29, 5 May 2016 (UTC)
488:
485:
422:
402:
383:
368:
344:
328:
255:
180:
157:
394:
375:
336:
297:
42:
296:
See the `bilinear pairings' section -- it answers your question, I think.
389:
I've expanded the bilinear pairings formulation in a sense, with the new
355:
In this section, shouldn't the second homology group in each line be a
558:
Smooth? Piecewise linear? Homeomorphic to a simplicial complex?
479:
Add applications in differential geometry / topology, elsewhere;
466:
More details the cap-product-based pairing currently discussed;
51:
column on 21 March 2004. The text of the entry was as follows:
93:
26:
81:
434:
504:
This page should have an explanatory example showing
179:, a collaborative effort to improve the coverage of
561:At no point in the article does it appear that
438:, and are posted here for posterity. Following
240:"This formulation (...)": what formulation?
432:The comment(s) below were originally left at
8:
510:
444:
241:
125:
127:
97:
76:Knowledge:Recent additions/2004/March
74:A record of the entry may be seen at
7:
531:Application to Euler Characteristics
283:
173:This article is within the scope of
116:It is of interest to the following
591:High-priority mathematics articles
25:
440:several discussions in past years
193:Knowledge:WikiProject Mathematics
82:
196:Template:WikiProject Mathematics
160:
150:
129:
98:
30:
581:Knowledge Did you know articles
314:Poincare duality of ring theory
284:Poincare's approach v.s. Modern
213:This article has been rated as
546:18:26, 20 September 2023 (UTC)
435:Talk:Poincaré duality/Comments
18:Talk:Poincaré duality/Comments
1:
403:00:38, 14 November 2009 (UTC)
351:Bilinear pairings formulation
187:and see a list of open tasks.
586:C-Class mathematics articles
391:Thom Isomorphism Formulation
329:06:04, 28 October 2007 (UTC)
307:18:31, 28 October 2007 (UTC)
525:18:26, 12 August 2017 (UTC)
236:Thom isomorphism subsection
607:
423:15:35, 10 March 2014 (UTC)
455:
369:20:16, 29 June 2009 (UTC)
256:16:48, 12 June 2023 (UTC)
212:
145:
124:
489:13:22, 15 May 2007 (UTC)
384:04:50, 5 July 2009 (UTC)
345:04:56, 5 July 2009 (UTC)
219:project's priority scale
41:appeared on Knowledge's
551:What kind of manifolds?
176:WikiProject Mathematics
106:This article is rated
87:
85:
500:Explanatory Examples
408:Borel-Moore Homology
319:Cohen-Macaulay Rings
271:New To Advanced Math
199:mathematics articles
428:Assessment comment
168:Mathematics portal
112:content assessment
88:
527:
515:comment added by
494:
493:
309:
258:
246:comment added by
233:
232:
229:
228:
225:
224:
92:
91:
61:first stated the
16:(Redirected from
598:
451:Press to view →
445:
437:
300:
201:
200:
197:
194:
191:
170:
165:
164:
154:
147:
146:
141:
133:
126:
109:
103:
102:
94:
84:
64:Poincaré duality
39:Poincaré duality
34:
27:
21:
606:
605:
601:
600:
599:
597:
596:
595:
571:
570:
553:
533:
502:
433:
430:
410:
353:
316:
293:
286:
273:
264:
238:
198:
195:
192:
189:
188:
166:
159:
139:
110:on Knowledge's
107:
23:
22:
15:
12:
11:
5:
604:
602:
594:
593:
588:
583:
573:
572:
552:
549:
532:
529:
517:50.246.213.170
501:
498:
492:
491:
484:
483:
480:
477:
474:
471:
467:
464:
453:
452:
449:
429:
426:
415:143.210.42.231
409:
406:
387:
386:
361:Roentgenium111
352:
349:
348:
347:
315:
312:
311:
310:
290:
285:
282:
272:
269:
263:
260:
237:
234:
231:
230:
227:
226:
223:
222:
211:
205:
204:
202:
185:the discussion
172:
171:
155:
143:
142:
134:
122:
121:
115:
104:
90:
89:
79:
73:
72:
59:Henri Poincaré
35:
24:
14:
13:
10:
9:
6:
4:
3:
2:
603:
592:
589:
587:
584:
582:
579:
578:
576:
569:
566:
564:
559:
556:
550:
548:
547:
543:
539:
538:35.20.161.132
530:
528:
526:
522:
518:
514:
507:
499:
497:
490:
487:
481:
478:
475:
472:
468:
465:
462:
461:
459:
454:
450:
447:
446:
443:
441:
436:
427:
425:
424:
420:
416:
407:
405:
404:
400:
396:
392:
385:
381:
377:
373:
372:
371:
370:
366:
362:
358:
350:
346:
342:
338:
333:
332:
331:
330:
327:
320:
313:
308:
305:was added at
304:
299:
295:
294:
289:
281:
279:
270:
268:
261:
259:
257:
253:
249:
248:89.164.90.215
245:
235:
220:
216:
215:High-priority
210:
207:
206:
203:
186:
182:
178:
177:
169:
163:
158:
156:
153:
149:
148:
144:
140:High‑priority
138:
135:
132:
128:
123:
119:
113:
105:
101:
96:
95:
80:
77:
70:
69:Betti numbers
66:
65:
60:
56:
53:
52:
50:
49:
44:
40:
36:
33:
29:
28:
19:
567:
562:
560:
557:
554:
534:
511:— Preceding
505:
503:
495:
470:cohomology);
457:
431:
411:
390:
388:
356:
354:
318:
317:
287:
280:26 Jan 2006
274:
265:
242:— Preceding
239:
214:
174:
118:WikiProjects
67:in terms of
62:
55:Did you know
54:
48:Did you know
46:
38:
37:A fact from
563:topological
456:One of the
301:—Preceding
190:Mathematics
181:mathematics
137:Mathematics
575:Categories
448:Comment(s)
359:group?? --
357:cohomology
326:Acepectif
86:Knowledge
57:... that
43:Main Page
513:unsigned
262:Untitled
244:unsigned
303:comment
217:on the
108:C-class
45:in the
486:Stca74
114:scale.
542:talk
521:talk
458:very
419:talk
399:talk
395:Rybu
380:talk
376:Rybu
365:talk
341:talk
337:Rybu
298:Rybu
278:beno
252:talk
209:High
506:how
322:-->
577::
544:)
523:)
421:)
401:)
382:)
367:)
343:)
324:--
254:)
540:(
519:(
417:(
397:(
378:(
363:(
339:(
250:(
221:.
120::
78:.
71:?
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.