3D Cobordism
Definition.
Given pointed matched circles and ,
an arced cobordism is a compact 3-manifold with:
- Injection .
- A path so that is a disk.
Example.
Mapping cylinders of Dehn twists.
Definition (Arced Heegaard diagram).
A tuple
with disjoint sets, connected complements, and transverse intersections.
From we can build an arced cobordism by thickening, attaching handles, and tracking the arc .
Examples
- Mapping cylinders.
- Dehn twists.
- Drilling: going from arced diagrams to bordered diagrams.
Elementary Moves
Theorem.
Every bordered 3-manifold is represented by some bordered Heegaard diagram.
Every arced cobordism is represented by some arced Heegaard diagram.
Theorem (Uniqueness up to moves).
If and represent equivalent bordered 3-manifolds, then they are related by:
- Isotopies of curves,
- Handleslides (circles and arcs),
- Stabilizations/destabilizations.