101:
Some ambiguity exists in the literature on the precise use of the term "Kirby moves". Different presentations of "Kirby calculus" have a different set of moves and these are sometimes called Kirby moves. Kirby's original formulation involved two kinds of move, the "blow-up" and the "handle slide";
147:
The dot indicates that a neighborhood of a standard 2-disk with boundary the dotted circle is to be excised from the interior of the 4-ball. Excising this 2-handle is equivalent to adding a 1-handle; 3-handles and 4-handles are usually not indicated in the diagram.
118:, from which many topologists have learned the Kirby calculus, describes a set of two moves: 1) delete or add a component with surgery coefficient infinity 2) twist along an unknotted component and modify surgery coefficients appropriately (this is called the
136:. A framed link in the 3-sphere encodes instructions for attaching 2-handles to the 4-ball. (The 3-dimensional boundary of this manifold is the 3-manifold interpretation of the link diagram mentioned above.) 1-handles are denoted by either
193:
A pair of handles with index differing by 1, whose cores link each other in a sufficiently simple way can be cancelled without changing the underlying manifold. Similarly, such a cancelling pair can be
239:
416:
359:
385:
351:
88:
435:
257:
198:
Two different smooth handlebody decompositions of a smooth 4-manifold are related by a finite sequence of
92:
215:
107:
266:
158:
119:
312:
290:
172:
28:
410:
355:
321:
274:
369:
335:
286:
365:
331:
303:
282:
103:
270:
392:
125:
There are also various tricks to modify surgery diagrams. One such useful move is the
429:
326:
307:
294:
165:
343:
252:
111:
76:
64:
32:
187:
179:
48:
36:
20:
183:
133:
95:
60:
16:
Describes how distinct surgery presentations of a given 3-manifold are related
211:
126:
140:
a pair of 3-balls (the attaching region of the 1-handle) or, more commonly,
122:). This allows an extension of the Kirby calculus to rational surgeries.
110:, that appears in many expositions and extensions of the Kirby calculus.
199:
40:
186:, there is a relation between handle decompositions on 4-manifolds, and
278:
202:
of the attaching maps, and the creation/cancellation of handle pairs.
98:
3-manifold is obtained by such surgery on some link in the 3-sphere.
106:
exhibited an equivalent construction in terms of a single move, the
354:. Vol. 20. Providence, RI: American Mathematical Society.
132:
An extended set of diagrams and moves are used for describing
87:
are related by a sequence of Kirby moves. According to the
157:
A closed, smooth 4-manifold is usually described by a
218:
233:
8:
255:(1978). "A calculus for framed links in S".
171:A 1-handle is attached along two disjoint 3-
182:; since this solid torus is embedded in a
325:
225:
221:
220:
217:
377:
415:: CS1 maint: archived copy as title (
408:
7:
164:A 0-handle is just a ball, and the
14:
43:using a finite set of moves, the
234:{\displaystyle \mathbb {R} ^{4}}
352:Graduate Studies in Mathematics
178:A 2-handle is attached along a
348:4-Manifolds and Kirby Calculus
308:"On Kirby's calculus of links"
1:
327:10.1016/0040-9383(79)90010-7
143:unknotted circles with dots.
75:respectively, then they are
35:, is a method for modifying
346:; Stipsicz, András (1999).
452:
47:. Using four-dimensional
89:Lickorish–Wallace theorem
258:Inventiones Mathematicae
235:
236:
216:
159:handle decomposition
152:Handle decomposition
51:, he proved that if
271:1978InMat..45...35K
436:Geometric topology
279:10.1007/BF01406222
231:
168:is disjoint union.
29:geometric topology
63:, resulting from
443:
421:
420:
414:
406:
404:
403:
397:
391:. Archived from
390:
382:
373:
339:
329:
298:
240:
238:
237:
232:
230:
229:
224:
108:Fenn–Rourke move
67:on framed links
451:
450:
446:
445:
444:
442:
441:
440:
426:
425:
424:
407:
401:
399:
395:
388:
386:"Archived copy"
384:
383:
379:
362:
342:
301:
251:
248:
219:
214:
213:
208:
190:in 3-manifolds.
154:
116:Knots and Links
102:Roger Fenn and
79:if and only if
17:
12:
11:
5:
449:
447:
439:
438:
428:
427:
423:
422:
376:
375:
374:
360:
340:
299:
247:
244:
243:
242:
228:
223:
207:
204:
196:
195:
191:
176:
169:
162:
153:
150:
145:
144:
141:
31:, named after
25:Kirby calculus
15:
13:
10:
9:
6:
4:
3:
2:
448:
437:
434:
433:
431:
418:
412:
398:on 2012-05-14
394:
387:
381:
378:
371:
367:
363:
361:0-8218-0994-6
357:
353:
349:
345:
344:Gompf, Robert
341:
337:
333:
328:
323:
319:
315:
314:
309:
305:
304:Rourke, Colin
302:Fenn, Roger;
300:
296:
292:
288:
284:
280:
276:
272:
268:
264:
260:
259:
254:
253:Kirby, Robion
250:
249:
245:
241:
226:
210:
209:
205:
203:
201:
192:
189:
185:
181:
177:
174:
170:
167:
166:attaching map
163:
160:
156:
155:
151:
149:
142:
139:
138:
137:
135:
130:
128:
123:
121:
120:Rolfsen twist
117:
113:
109:
105:
99:
97:
94:
90:
86:
82:
78:
74:
70:
66:
62:
58:
54:
50:
46:
42:
38:
34:
30:
26:
22:
400:. Retrieved
393:the original
380:
347:
317:
311:
265:(1): 35–56.
262:
256:
197:
146:
131:
124:
115:
112:Dale Rolfsen
104:Colin Rourke
100:
84:
80:
77:homeomorphic
72:
68:
65:Dehn surgery
56:
52:
44:
37:framed links
33:Robion Kirby
24:
18:
320:(1): 1–15.
188:knot theory
180:solid torus
134:4-manifolds
61:3-manifolds
49:Cerf theory
45:Kirby moves
21:mathematics
402:2012-01-02
246:References
184:3-manifold
96:orientable
295:120770295
200:isotopies
127:slam-dunk
114:'s book,
430:Category
411:cite web
313:Topology
306:(1979).
206:See also
194:created.
41:3-sphere
370:1707327
336:0528232
287:0467753
267:Bibcode
212:Exotic
39:in the
368:
358:
334:
293:
285:
93:closed
23:, the
396:(PDF)
389:(PDF)
291:S2CID
173:balls
417:link
356:ISBN
91:any
83:and
71:and
59:are
55:and
322:doi
275:doi
27:in
19:In
432::
413:}}
409:{{
366:MR
364:.
350:.
332:MR
330:.
318:18
316:.
310:.
289:.
283:MR
281:.
273:.
263:45
261:.
129:.
419:)
405:.
372:.
338:.
324::
297:.
277::
269::
227:4
222:R
175:.
161:.
85:J
81:L
73:J
69:L
57:N
53:M
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.