83:
205:. Put another way, A-category sits over the PL-category as a richer category with no obstruction to lifting, that is BA → BPL is a product fibration with BA = BPL × PL/A, and PL manifolds are real algebraic sets because A-manifolds are real algebraic sets.
200:
An A-structure on a PL manifold is a structure which gives an inductive way of resolving the PL manifold to a smooth manifold. Compact PL manifolds admit A-structures. Compact PL manifolds are homeomorphic to
282:(with some fixed triangulation): it has a simplex whose link is the Poincaré sphere, a three-dimensional manifold that is not homeomorphic to a sphere, hence not a PL-sphere. See
101:
is true in PL (with the possible exception of dimension 4, where it is equivalent to DIFF), but is false generally in DIFF — but is "worse behaved" than TOP, as elaborated in
266:
A PL structure also requires that the link of a simplex be a PL-sphere. An example of a topological triangulation of a manifold that is not a PL structure is, in dimension
177:
Not every topological manifold admits a PL structure, and of those that do, the PL structure need not be unique—it can have infinitely many. This is elaborated at
359:
394:
159:
theorem to conclude that this is a cylinder, and then attach cones to recover a sphere. This last step works in PL but not in DIFF, giving rise to
145:
98:
192:
to placing a PL-structure on M x R and in dimensions n > 4, the KS class vanishes if and only if M has at least one PL-structure.
564:
340:
569:
335:
279:
185:
97:) and TOP (the category of topological manifolds): it is categorically "better behaved" than DIFF — for example, the
220:
is a kind of manifold which is discretization of a manifold. It usually means a piecewise linear manifold made by
510:
59:
283:
118:
63:
330:
216:
275:
221:
43:
247:
574:
540:
527:
501:
483:
411:
202:
189:
519:
475:
442:
403:
368:
234:
229:
126:
55:
51:
311:
149:
141:
94:
17:
178:
172:
144:
in PL, but not in DIFF — the cone point is acceptable in PL. A consequence is that the
102:
558:
415:
389:
160:
487:
463:
447:
430:
373:
354:
233:
is a special kind of combinatorial manifold which is defined in digital space. See
539:
Rudyak, Yuli B. (2001). "Piecewise linear structures on topological manifolds".
307:
153:
67:
31:
184:
The obstruction to placing a PL structure on a topological manifold is the
545:
148:
is true in PL for dimensions greater than four — the proof is to take a
531:
479:
407:
140:
One way in which PL is better behaved than DIFF is that one can take
523:
134:
113:
Smooth manifolds have canonical PL structures — they are uniquely
86:
93:
PL, or more precisely PDIFF, sits between DIFF (the category of
82:
62:. This is slightly stronger than the topological notion of a
27:
Topological manifold with a piecewise linear structure on it.
431:"A topological characterization of real algebraic varieties"
137:, which contains both DIFF and PL, and is equivalent to PL.
133:
This relation can be elaborated by introducing the category
284:
Triangulation (topology) § Piecewise linear structures
89:
serves to relate DIFF and PL, and it is equivalent to PL.
50:
on it. Such a structure can be defined by means of an
188:. To be precise, the Kirby-Siebenmann class is the
464:"Real algebraic structures on topological spaces"
435:Bulletin of the American Mathematical Society
360:Bulletin of the American Mathematical Society
209:Combinatorial manifolds and digital manifolds
8:
544:
446:
372:
122:
78:Relation to other categories of manifolds
125:) — but PL manifolds do not always have
81:
299:
259:
7:
468:Publications Mathématiques de l'IHÉS
395:Publications Mathématiques de l'IHÉS
313:Whitehead Triangulations (Lecture 3)
390:"A topological resolution theorem"
355:"A topological resolution theorem"
25:
462:Akbulut, S.; King, H. C. (1981).
429:Akbulut, S.; King, H. C. (1980).
388:Akbulut, S.; Taylor, L. (1981).
353:Akbulut, S.; Taylor, L. (1980).
448:10.1090/S0273-0979-1980-14708-4
374:10.1090/S0273-0979-1980-14709-6
146:Generalized Poincaré conjecture
99:Generalized Poincaré conjecture
152:, remove two balls, apply the
54:, such that one can pass from
1:
274: − 3)-fold
70:of PL manifolds is called a
336:Encyclopedia of Mathematics
591:
170:
117:by Whitehead's theorem on
60:piecewise linear functions
48:piecewise linear structure
18:Piecewise linear structure
511:The Annals of Mathematics
36:piecewise linear manifold
565:Structures on manifolds
331:"Topology of manifolds"
329:M.A. Shtan'ko (2001) ,
217:combinatorial manifold
186:Kirby–Siebenmann class
129:— they are not always
90:
310:(February 13, 2009),
270: ≥ 5, the (
167:Topological manifolds
85:
504:(October 1940). "On
222:simplicial complexes
44:topological manifold
502:Whitehead, J. H. C.
248:Simplicial manifold
203:real-algebraic sets
196:Real algebraic sets
570:Geometric topology
480:10.1007/BF02698688
408:10.1007/BF02698689
91:
58:to chart in it by
514:. Second Series.
127:smooth structures
16:(Redirected from
582:
550:
548:
535:
492:
491:
459:
453:
452:
450:
426:
420:
419:
385:
379:
378:
376:
350:
344:
343:
326:
320:
319:
318:
304:
287:
264:
235:digital topology
230:digital manifold
109:Smooth manifolds
95:smooth manifolds
72:PL homeomorphism
46:together with a
21:
590:
589:
585:
584:
583:
581:
580:
579:
555:
554:
553:
546:math.AT/0105047
538:
524:10.2307/1968861
500:
496:
495:
461:
460:
456:
428:
427:
423:
387:
386:
382:
352:
351:
347:
328:
327:
323:
316:
306:
305:
301:
296:
291:
290:
280:Poincaré sphere
265:
261:
256:
244:
211:
198:
175:
169:
150:homotopy sphere
115:triangulizable,
111:
80:
28:
23:
22:
15:
12:
11:
5:
588:
586:
578:
577:
572:
567:
557:
556:
552:
551:
536:
518:(4): 809–824.
497:
494:
493:
454:
441:(1): 171–173.
421:
402:(1): 163–196.
380:
367:(1): 174–176.
345:
321:
298:
297:
295:
292:
289:
288:
258:
257:
255:
252:
251:
250:
243:
240:
239:
238:
225:
210:
207:
197:
194:
179:Hauptvermutung
173:Hauptvermutung
171:Main article:
168:
165:
161:exotic spheres
123:Whitehead 1940
110:
107:
103:surgery theory
79:
76:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
587:
576:
573:
571:
568:
566:
563:
562:
560:
547:
542:
537:
533:
529:
525:
521:
517:
513:
512:
508:-Complexes".
507:
503:
499:
498:
489:
485:
481:
477:
474:(1): 79–162.
473:
469:
465:
458:
455:
449:
444:
440:
436:
432:
425:
422:
417:
413:
409:
405:
401:
397:
396:
391:
384:
381:
375:
370:
366:
362:
361:
356:
349:
346:
342:
338:
337:
332:
325:
322:
315:
314:
309:
303:
300:
293:
285:
281:
277:
273:
269:
263:
260:
253:
249:
246:
245:
241:
236:
232:
231:
226:
223:
219:
218:
213:
212:
208:
206:
204:
195:
193:
191:
187:
182:
180:
174:
166:
164:
162:
158:
156:
151:
147:
143:
138:
136:
132:
128:
124:
120:
119:triangulation
116:
108:
106:
104:
100:
96:
88:
84:
77:
75:
73:
69:
65:
64:triangulation
61:
57:
53:
49:
45:
41:
37:
33:
19:
515:
509:
505:
471:
467:
457:
438:
434:
424:
399:
393:
383:
364:
358:
348:
334:
324:
312:
308:Lurie, Jacob
302:
286:for details.
271:
267:
262:
228:
215:
199:
183:
176:
154:
139:
130:
114:
112:
92:
71:
47:
39:
35:
29:
190:obstruction
131:smoothable.
68:isomorphism
40:PL manifold
32:mathematics
559:Categories
437:. (N.S.).
363:. (N.S.).
294:References
276:suspension
157:-cobordism
575:Manifolds
416:121566364
341:EMS Press
488:13323578
242:See also
532:1968861
278:of the
42:) is a
530:
486:
414:
541:arXiv
528:JSTOR
484:S2CID
412:S2CID
317:(PDF)
254:Notes
142:cones
135:PDIFF
87:PDIFF
66:. An
56:chart
52:atlas
34:, a
520:doi
476:doi
443:doi
404:doi
369:doi
30:In
561::
526:.
516:41
482:.
472:53
470:.
466:.
433:.
410:.
400:53
398:.
392:.
357:.
339:,
333:,
227:A
214:A
181:.
163:.
105:.
74:.
549:.
543::
534:.
522::
506:C
490:.
478::
451:.
445::
439:2
418:.
406::
377:.
371::
365:2
272:n
268:n
237:.
224:.
155:h
121:(
38:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.