<! --- LETTERS --->
$$ \newcommand{\lR}{\mathbb{R}} $$
$$ \newcommand{\lZ}{\mathbb{Z}} $$
$$ \newcommand{\lN}{\mathbb{N}} $$
$$ \newcommand{\lI}{\mathbb{I}} $$
$$ \newcommand{\II}{\mathbb{I}} $$
$$ \newcommand{\bI}{\mathbf{I}} $$
$$ \newcommand{\bC}{\mathbf{C}} $$
$$ \newcommand{\bD}{\mathbf{D}} $$
$$ \newcommand{\bE}{\mathbf{E}} $$
$$ \newcommand{\bF}{\mathbf{F}} $$
$$ \newcommand{\iI}{\mathsf{I}} $$
$$ \newcommand{\iA}{\mathsf{A}} $$
$$ \newcommand{\iB}{\mathsf{B}} $$
$$ \newcommand{\iC}{\mathsf{C}} $$
$$ \newcommand{\iD}{\mathsf{D}} $$
$$ \newcommand{\iE}{\mathsf{E}} $$
$$ \newcommand{\iF}{\mathsf{F}} $$
$$ \newcommand{\iM}{\mathsf{M}} $$
<! --- SYMBOLS --->
$$ \newcommand{\eps}{\epsilon} $$
$$ \newcommand{\SetCat}{\mathrm{Set}} $$
$$ \newcommand{\Bool}{\mathrm{Bool}} $$
$$ \newcommand{\Pos}{\mathrm{Pos}} $$
$$ \newcommand{\lbl}{\mathsf{lbl}} $$
$$ \newcommand{\subdiv}{\mathsf{sd}} $$
$$ \newcommand{\Hom}{\mathrm{Hom}} $$
$$ \newcommand{\Fun}{\mathrm{Fun}} $$
$$ \newcommand{\Psh}{\mathrm{PSh}} $$
<! --- OPERATORS --->
$$ \newcommand{\dim}{\mathrm{dim}} $$
$$ \newcommand{\id}{\mathrm{id}} $$
$$ \newcommand{\src}{\partial^-} $$
$$ \newcommand{\tgt}{\partial^+} $$
$$ \newcommand{\und}[1]{\underline{#1}} $$
$$ \newcommand{\abs}[1]{\left|{#1}\right|} $$
$$ \newcommand{\op}{^{\mathrm{op}}} $$
$$ \newcommand{\inv}{^{-1}} $$
<! --- CATEGORIES, FUNCTORS AND CONSTRUCTIONS --->
$$ \newcommand{\ttr}[1]{\mathfrak{T}^{#1}} $$
$$ \newcommand{\lttr}[2]{\mathfrak{T}^{#1}{(#2)}} $$
$$ \newcommand{\truss}[1]{\mathsf{T}\!\mathsf{rs}_{#1}} $$
$$ \newcommand{\sctruss}[1]{\bar{\mathsf{T}}\!\mathsf{rs}_{#1}} $$
$$ \newcommand{\rotruss}[1]{\mathring{\mathsf{T}}\!\mathsf{rs}_{#1}} $$
$$\newcommand{\trussbun}[1]{\mathsf{TrsBun}_{#1}} $$
$$ \newcommand{\trusslbl}[1]{\mathsf{Lbl}\mathsf{T}\!\mathsf{rs}_{#1}} $$
$$ \newcommand{\blcat}[1]{\mathsf{B}\mathsf{lk}_{#1}} $$
$$ \newcommand{\blset}[1]{\mathsf{Blk}\mathsf{Set}_{#1}} $$
$$ \newcommand{\fcl}[2]{\chi^{#1}_{#2}} $$
$$ \newcommand{\Entr}{\mathsf{Entr}} $$
$$ \newcommand{\Exit}{\mathsf{Exit}} $$
<! --- ARROWS AND RELATIONS --->
$$ \newcommand{\fleq}{\preceq} $$
$$ \newcommand{\fles}{\prec} $$
$$ \newcommand{\xto}[1]{\xrightarrow{#1}} $$
$$ \newcommand{\xot}[1]{\xleftarrow{#1}} $$
$$ \newcommand{\ot}{\leftarrow} $$
$$ \newcommand{\toot}{\leftrightarrow} $$
$$ \newcommand{\imp}{\Rightarrow} $$
$$ \newcommand{\iff}{\Leftrightarrow} $$
$$ \newcommand{\iso}{\cong} $$
$$ \newcommand{\into}{\hookrightarrow} $$
$$ \newcommand{\proto}{\longrightarrow\mkern{-2.8ex}{\raisebox{.3ex}{$\tiny\vert$}}\mkern{2.5ex}} $$
<! --- DIAGRAM ARROWS --->
<! ---... should replace \rlap by \mathrlap, see KaTeX doc --->
$$ \newcommand{\ra}[1]{\xrightarrow{\ \ #1\ \ }\phantom{}\kern-1.5ex} $$
$$ \newcommand{\la}[1]{\xleftarrow{\ \ #1\ \ }\phantom{}\kern-1.5ex} $$
$$ \newcommand{\da}[1]{\downarrow\raisebox{.5ex}{\rlap{$\scriptstyle#1$}}} $$
$$ \newcommand{\dra}[1]{\raisebox{.2ex}{\llap{$\scriptstyle#1$}}\kern-.5ex\searrow}} $$
$$ \newcommand{\dla}[1]{\swarrow\kern-1ex\raisebox{.2ex}{\rlap{$\scriptstyle#1$}}} $$
$$ \newcommand{\ua}[1]{\uparrow\raisebox{.2ex}{\rlap{$\scriptstyle#1$}}} $$
$$ \newcommand{\ura}[1]{\raisebox{.2ex}{\llap{$\scriptstyle#1$}\kern-.5ex\nearrow}} $$
$$ \newcommand{\ula}[1]{\nwarrow\kern-1ex\raisebox{.2ex}{\rlap{$\scriptstyle#1$}}} $$
Abstract. A brief note about Kirby diagrams, which provide a helpful tool in the representation of 3 and 4-dimensional manifolds
Context
This is a note to myself. Kirby diagrams are cool. (This note is also a stub.)
How to read them
A Kirby diagram depicts
- A single 0-handle $D^4$ with boundary $S^3$; up to a compactifying point this is the background $\mathbb{R}^3$
- Attaching 1-handles $D^1 \times D^3$ with attaching disks $S^0 \times D^3$, which is the same as removing (the cancelling) 2-handle: thus we depict is as an $S^1 \times D^2$ in the boundary (with the bulk of the handle being cut out from the bulk of the manifold)
- Attaching 2-handles is shown by attaching $S^1 \times D^2$ (as $S^1$ with a number indicated the twists). We can always homotope the attachement to be in the “visible part” of the diagram, i.e., not the boundaries resulting from cutting in the bulk.
(Re last claim: this works because of 1-homotopy groups at plays—the same doesn’t hold on dimension down, where after attaching a 1-handle to a 0-handle you get a torus boundary; which has 1-homotopy $Z_2 \times Z_2$.)
How to complete them
For manifold with boundary, 0-, 1-, 2-handles may be enough (e.g. for Mazur manifold). For closed manifold, we certainly need more handles. It turns out, that as long as the boundary is of the right type (see Scorpan’s book), attachment of 3- and 4- handles is unique to close up the manifold. This is why we don’t depict them.
Abbreviations
- Boxes with number $k$ means “twist these wires 360 degree $k$ times.
