Point Matched Circles
We now pass to compact 3-manifolds with parametrized boundary.
Definition.
A pointed matched circle is a quadruple
where
- is an oriented circle, is a basepoint,
- is a finite set of points in ,
- is a free involution,
- the result of surgery along is connected.
From we construct a surface :
- Thicken to .
- Attach strips between matched points.
- Boundary components: and .
- Fill in with a disk .
Adding a disk gives with a distinguished basepoint.