28.04.2014 Views

pdf file

pdf file

pdf file

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

5.7 Topological field theories of Reshetikhin-Turaev type and invariants<br />

of 3-manifolds and knots<br />

Observation 5.7.1.<br />

We need the following description of closed oriented three-manifolds.<br />

• Let L ⊂ S 3 be a framed link with components L i . Choose around all components L i a<br />

solid torus U i which is small enough not to intersect any other component of the link.<br />

Choose a parametrization of these solid tori:<br />

ϕ i : U i → S 1 × D 2 ,<br />

where D 2 is a standard disc in R 2 . The parametrization should be such that the link L i<br />

itself is mapped to the center of the discs,<br />

ϕ i (L i ) = S 1 × {0}<br />

and that the normal vector field of the framing is mapped to a constant vector field of<br />

R 2 .<br />

• Consider now a solid four-ball B 4 with boundary a three-sphere, ∂B 4 = S 3 .<br />

Consider four-dimensional handles D 2 × D 2 which are four-dimensional manifolds with<br />

boundary<br />

∂(D 2 × D 2 ) = S 1 × D 2 ∪ D 2 × S 1<br />

For any component L i , glue a handle to S 3 = ∂B 4 by identifying the boundary of the<br />

handle with the parametrization ϕ i to the solid torus U i ⊂ S 3 .<br />

This gives a new oriented four-dimensional manifold W L with boundary M L = ∂W L a<br />

closed oriented three-manifold. We say that three-manifold M L has been obtained from<br />

S 3 by surgery on the link L ⊂ S 3 .<br />

We can view M L as S 3 \ ⋃ i<br />

tori.<br />

U i , with other solid tori glued in instead of the removed solid<br />

• A theorem of Lickorish and Wallace asserts that any closed oriented three-manifold can<br />

be obtained in this way.<br />

• For a given modular category C, we can now define invariants of three-manifolds. Let L<br />

be a surgery link for M. Denote by coll(L) the set of colourings of the link L by objects<br />

in the dominating family {V i } i∈I . We then define<br />

τ(M) = Δ σ(L) D −σ(L)−m−1<br />

∑<br />

λ∈coll(L)<br />

( ∏ m<br />

dim V λ(i)<br />

)F (L, λ) ∈ k ,<br />

where m is the number of components of the link L and σ(L) is another integer associated<br />

to the link L.<br />

Theorem 5.7.2.<br />

The element τ(M) ∈ K is a topological invariant of M.<br />

i=1<br />

Proof.<br />

The invariance on the choice of the surgery link L follows from the invariance under the<br />

so-called Kirby moves.<br />

✷<br />

151

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!