Deje $L(p,q)$ ser el objetivo en el espacio, que es $L(p,q)=S^3/\mathbb{Z}_p$.
Aquí, $\mathbb{Z}_p$ actúa en $S^3$ por $(z_1,z_2)\mapsto (\rho z_1,\rho^q z_2)$, $ \rho=e^{\frac{2\pi i}{p}}$.
Es bien conocido que
$L(p,q)$ $L(p',q')$ son diffeomorphic si y sólo si $p'=p, q'=\pm q^{\pm1}$ (mod $p$).
En A. Hatcher nota de la página 39-42, no es una prueba de la clasificación anterior teorema de la lente espacio utilizando la singularidad de Heegaard toro en la Lente de un espacio de hasta isotopía. Pero tengo algunos malentendidos con su argumento cuando yo la siguiente línea por línea.
Donde puedo encontrar el original de la prueba de clasificación de la Lente en el espacio utilizando la singularidad de Heegaard toro hasta isotopía?
Nota : sé que no es una prueba que utiliza whitehead de torsión de la lente espacio y su invariancia bajo el homeomorphism que yo ya conocen suficientemente.
