29
$\begingroup$

I am trying to visualize lens spaces geometrically.

While I am aware of the fact that most manifolds which cannot be embedded in $\mathbb{R}^3$ are hard to visualize because of the obvious limitations, some of them are not too complicated; For example, the 3-sphere can easily be seen from its simpler Heegaard splittings, or even directly from the compactification of $\mathbb{R}^3$. The Klein bottle is a bit more tricky, but can sort of be visualized if we think of the fourth dimension as a change in colour, for example.

However, when it comes to Lens spaces, I'm lost. I know several definitions for those spaces (to clarify, I mean the 3-dimensional case) - there's the "standard" definition which uses the formula for the 3-sphere embedded in $\mathbb{R}^4$ with a ${\mathbb{Z}}/{p\mathbb{Z}}$ action. Another definition is via Heegaard splittings, there's a definition which uses identification of triangles on a 3-ball (or pyramid). Finally, there's a definition using Dehn surgery.

The definitions can be found here: http://en.wikipedia.org/wiki/Lens_space

The first definition is completely non-intuitive for me (I can't even visualize $S^3$ as embedded in the complex plane). The Heegaard splitting definition is simple, but unclear geometrically as well. I think the one using identifications on a ball is the most promising, however when I'm trying to draw and visualize it I get something which doesn't feel like a manifold (and not for non-embedding reasons), so clearly I'm doing something wrong.

So could someone suggest a way to visualize those spaces? Pictures and/or references would also be of great help.

$\endgroup$
  • 1
    $\begingroup$ Hatcher's Algebraic Topology (available for free as a pdf) has a picture of a lens space on page 145. (I've never found the picture very enlightening, but it might be helpful for you!) $\endgroup$ – Phillip Andreae Mar 12 '15 at 14:09
44
$\begingroup$

If you want to visualize the action of $\mathbb{Z}_p$ on $\mathbb{S}^3$, you may be more successful using stereographic projection to think of the action as on $\mathbb{R}^3$. I've found it helpful to think of the $\mathbb{Z}_p$ action as a discrete analogue of the Hopf fibration. This isn't exactly true, but the actions are similar enough that if you can visualize the Hopf fibration, this will help you visualize the discrete action.

In fact, you can write the action down explicitly with three coordinates using toroidal coordinates; there's a paper by Weeks and some others that explicitly computes the Laplace eigenfunctions of lens spaces using these coordinates. Here is the paper; the first couple of sections are what you want. Turaev's book on torsions also has a section on lens spaces, which is where I got the picture of the invariant cell decomposition below.

As an abstract gluing, what you're doing is gluing bottom to top with a twist. This also helps with visualizing the action on $\mathbb{S}^3$ in stereographic projection: Think of a fundamental domain as a lens-shaped thickened disk spanning the unit circle in $\mathbb{S}^3$ and the action tiles $\mathbb{S}^3$ with rotated copies of this disk. I believe this is where the name "lens space" comes from. Rolfson has some good illustrations in his book on knot theory.

To construct it via Heegaard splitting, take two torii and glue with a twist. To visualize this, think of one torus as sitting in $\mathbb{R}^3$ and the other as its complement; when you cut and reglue, you're effectively reproducing the action on $\mathbb{S}^3$.

In fact, this is also how you construct lens spaces via Dehn surgery on the unknot, since $\mathbb{S}^3$ is a union of two torii. (This is also proof that $\mathbb{S}^3 = L(1;1)$.)

Some pictures. They're kind of noisy, I hope they're helpful.

definition and basic stereographic projection picture cell decomposition and 'disk model' heegaard splitting bonus: foliation of <span class=$\mathbb{S}^3$ by torii">

| cite | improve this answer | |
$\endgroup$
  • 2
    $\begingroup$ Awesome drawings! $\endgroup$ – Pandora Mar 12 '15 at 15:11
  • $\begingroup$ @Pandora Thanks! I hope they helped -- if you have any more questions, please do let me know :) $\endgroup$ – Neal Mar 13 '15 at 13:41
  • $\begingroup$ Now that I'm looking at the drawings again, I don't understand the first one (with the projection); Since both $\zeta$ and $\zeta ^q$ generate the group of roots of unity of order $p$, why do you draw the orbits of (1,0) on a circle, and the orbits of (0,1) on a line? I think I'm missing the idea. $\endgroup$ – Pandora Mar 15 '15 at 15:47
  • $\begingroup$ @Pandora This is because the picture is of the stereographic projection of a sphere. There is a point at infinity and the vertical line is the projection of a circle passing through that point. $\endgroup$ – Neal Mar 15 '15 at 16:28
  • 1
    $\begingroup$ I think I finally understand/can see the constructions! Thanks! $\endgroup$ – Pandora Mar 18 '15 at 13:20
3
$\begingroup$

@Neal has provided a superb explaination. There is also a Yotube video giving some detailed understanding: https://www.youtube.com/watch?v=BCWBT3OTzNk&list=PLpRLWqLFLVTCL15U6N3o35g4uhMSBVA2b&index=27

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.