Definition
Kirby calculus is a collection of moves and techniques used to manipulate framed link diagrams that represent 4‑dimensional manifolds. It provides an algebraic framework for determining when two such diagrams describe homeomorphic or diffeomorphic 4‑manifolds.
Overview
In the study of smooth 4‑manifolds, any compact, oriented 4‑manifold can be described by attaching 2‑handles to a 4‑ball along a framed link in the 3‑sphere $S^{3}$. The framed link, together with the attaching data, is called a Kirby diagram. Kirby calculus consists of a set of local modifications—commonly referred to as Kirby moves—that can be applied to these diagrams without changing the underlying 4‑manifold up to diffeomorphism. The two primary moves are:
- Handle slide – sliding one component of the link over another, which corresponds to adding the framing of the second component to the first.
- Stabilization / Destabilization – adding or removing a trivial unknotted component with framing $\pm 1$, which corresponds to introducing or canceling a 1‑handle/2‑handle pair.
By applying sequences of these moves, topologists can prove equivalences between different Kirby diagrams, classify 4‑manifolds, and compute invariants such as intersection forms.
Etymology/Origin
The term is named after the American mathematician Robion C. Kirby, who introduced the calculus in his 1978 paper “A Calculus for Framed Links in $S^{3}$”. Kirby built upon earlier work on handle decompositions by Stephen Smale and others, formalizing the moves that now bear his name.
Characteristics
- Locality: Each Kirby move affects only a small, specified portion of the diagram, preserving the rest of the configuration.
- Completeness: Any two Kirby diagrams representing the same 4‑manifold can be related by a finite sequence of Kirby moves; this completeness theorem was proved by Kirby.
- Framing Dependence: The calculus depends critically on the integer framing assigned to each link component, which encodes the twisting of the corresponding 2‑handle.
- Relation to 3‑Manifold Theory: When restricted to links without 2‑handles (i.e., all framings zero), Kirby calculus reduces to the Reidemeister moves of knot theory, linking 4‑dimensional topology to classical 3‑dimensional techniques.
Related Topics
- Handle Decomposition – the process of building manifolds by attaching handles of increasing dimension.
- Framed Link – a link in $S^{3}$ equipped with an integer framing, used to specify handle attachment.
- 4‑Manifold Invariants – such as intersection forms, Donaldson and Seiberg–Witten invariants, which can be studied via Kirby diagrams.
- Surgery Theory – the broader framework of cutting and pasting manifolds, of which Kirby calculus is a specialized tool for dimension four.
- Rohlin’s Theorem and Wall’s Classification – results concerning the classification of 4‑manifolds that often employ Kirby calculus in their proofs.