20:
98:
174:
In summary, PDiff is more general than Diff because it allows pieces (corners), and one cannot in general smooth corners, while PL is no less general that PDiff because one can linearize pieces (more precisely, one may need to break them up into smaller pieces and then linearize, which is allowed in
129:
a PDiff manifold. Thus, going from Diff to PDiff and PL to PDiff are natural – they are just inclusion. The map PL to PDiff, while not an equality – not every piecewise smooth function is piecewise linear – is an equivalence: one can go backwards by linearize pieces. Thus it can for some purposes be
116:
However, while a smooth manifold is not a PL manifold, it carries a canonical PL structure – it is uniquely triangularizable; conversely, not every PL manifold is smoothable. For a particular smooth manifold or smooth map between smooth manifolds, this can be shown by breaking up the manifold into
124:
This relation between Diff and PL requires choices, however, and is more naturally shown and understood by including both categories in a larger category, and then showing that the inclusion of PL is an equivalence: every smooth manifold and every PL manifold
169:
105:
PDIFF is mostly a technical point: smooth maps are not piecewise linear (unless linear), and piecewise linear maps are not smooth (unless globally linear) – the intersection is
117:
small enough pieces, and then linearizing the manifold or map on each piece: for example, a circle in the plane can be approximated by a triangle, but not by a
195:). The result is elementary and rather technical to prove in detail, so it is generally only sketched in modern texts, as in the brief proof outline given in (
322:
133:
238:
282:
81:
between them), and the reason it is defined is to allow one to relate these two categories. Further, piecewise functions such as
338:
298:
113:(because not based) – so they cannot directly be related: they are separate generalizations of the notion of an affine map.
394:
314:
274:
355:
74:
171:
These categories all sit inside TOP, the category of topological manifold and continuous maps between them.
26:
are piecewise-smooth, hence in PDIFF, but not globally smooth or piecewise-linear, hence not in DIFF or PL.
62:
47:
82:
23:
372:
346:
234:
31:
332:
318:
292:
278:
364:
306:
266:
242:
246:
222:
86:
66:
250:
388:
218:
110:
106:
89:
are common in mathematics, and PDIFF provides a category for discussing them.
78:
70:
55:
51:
58:
376:
19:
368:
118:
18:
97:
187:) manifold has a unique PL structure was originally proven in (
164:{\displaystyle {\text{Diff}}\to {\text{PDiff}}\to {\text{PL}}.}
101:
PDIFF serves to relate DIFF and PL, and it is equivalent to PL.
130:
inverted, or considered an isomorphism, which gives a map
65:
between them. It properly contains DIFF (the category of
136:
163:
203:), while a short but detailed proof is given in (
121:, since this latter cannot be linearly embedded.
273:, Annals of Mathematics Studies, vol. 54,
191:). A detailed expositionary proof is given in (
8:
188:
153:
145:
137:
135:
200:
196:
96:
327:, PDIFF described as "piecewise smooth"
311:Three-Dimensional Geometry and Topology
239:"Re: PL and DIFF manifolds: a question"
192:
330:
290:
73:between them) and PL (the category of
16:Category of piecewise-smooth manifolds
204:
199:). A very brief outline is given in (
7:
224:Whitehead Triangulations (Lecture 3)
14:
271:Elementary Differential Topology
150:
142:
1:
183:That every smooth (indeed,
411:
337:: CS1 maint: postscript (
315:Princeton University Press
297:: CS1 maint: postscript (
275:Princeton University Press
75:piecewise linear manifolds
356:The Annals of Mathematics
165:
102:
27:
221:(February 13, 2009),
166:
100:
61:and piecewise-smooth
22:
349:(October 1940). "On
317:, pp. 194–195,
134:
109:, or more precisely
347:Whitehead, J. H. C.
46:erentiable, is the
395:Geometric topology
161:
103:
32:geometric topology
28:
359:. Second Series.
307:Thurston, William
267:Munkres, James R.
247:sci.math.research
156:
148:
140:
402:
380:
342:
336:
328:
324:978-0-69108304-9
302:
296:
288:
262:
260:
258:
249:. Archived from
230:
229:
170:
168:
167:
162:
157:
154:
149:
146:
141:
138:
87:polygonal chains
71:smooth functions
67:smooth manifolds
410:
409:
405:
404:
403:
401:
400:
399:
385:
384:
383:
369:10.2307/1968861
345:
329:
325:
305:
289:
285:
265:
256:
254:
237:(21 Aug 1997).
235:McMullen, C. T.
233:
227:
217:
213:
181:
132:
131:
95:
17:
12:
11:
5:
408:
406:
398:
397:
387:
386:
382:
381:
363:(4): 809–824.
343:
323:
303:
283:
263:
253:on Apr 8, 2013
231:
214:
212:
209:
189:Whitehead 1940
180:
177:
160:
152:
144:
94:
91:
77:and piecewise
15:
13:
10:
9:
6:
4:
3:
2:
407:
396:
393:
392:
390:
378:
374:
370:
366:
362:
358:
357:
353:-Complexes".
352:
348:
344:
340:
334:
326:
320:
316:
312:
308:
304:
300:
294:
286:
280:
276:
272:
268:
264:
252:
248:
244:
240:
236:
232:
226:
225:
220:
216:
215:
210:
208:
206:
202:
201:McMullen 1997
198:
197:Thurston 1997
194:
190:
186:
178:
176:
172:
158:
128:
122:
120:
114:
112:
108:
99:
92:
90:
88:
84:
80:
76:
72:
68:
64:
60:
57:
53:
49:
45:
41:
37:
33:
25:
21:
360:
354:
350:
310:
287:, Chapter II
284:0-69109093-9
270:
255:. Retrieved
251:the original
223:
219:Lurie, Jacob
193:Munkres 1966
184:
182:
173:
126:
123:
115:
104:
43:
39:
35:
29:
111:affine maps
107:linear maps
79:linear maps
211:References
205:Lurie 2009
93:Motivation
243:Newsgroup
151:→
143:→
59:manifolds
52:piecewise
42:iecewise
389:Category
333:citation
309:(1997),
293:citation
269:(1966),
175:PDiff).
48:category
377:1968861
257:May 10,
245::
179:History
83:splines
24:Splines
375:
321:
281:
56:smooth
36:PDIFF,
373:JSTOR
228:(PDF)
147:PDiff
119:2-gon
339:link
319:ISBN
299:link
279:ISBN
259:2012
139:Diff
85:and
69:and
63:maps
44:diff
38:for
365:doi
207:).
50:of
30:In
391::
371:.
361:41
335:}}
331:{{
313:,
295:}}
291:{{
277:,
241:.
155:PL
127:is
34:,
379:.
367::
351:C
341:)
301:)
261:.
185:C
159:.
54:-
40:p
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.