6
$\begingroup$

would you be able to recommend a good book/chapter or a web site on visualization / structural elements / projection of the 3-sphere. I am trying to locate a good information source on this subject, which will show the math derivations, visualizations, etc.

So far I have been able to find a few limited sources.

Here is one such site: https://theory.org/geotopo/3-sphere/html/ It starts very well with the definitions of N-sphere, N-disk, cartesian product, generator, equator etc. The "two balls model" is very nicely explained starting with the lower dimensions and then moving on towards the more complicated, higher dimensions. But once I reach the chapter on inversion and Clifford tori, I'm lost.

I would like to find a resource that dwells more on visualizations of the 3-sphere. The Wikipedia article on the subject shows the hypermeridians, but their mathematical formulation is not given. I am new to the 3-sphere, and would like to do as little guessing as possible. There are other resources on the 3-sphere, but they use group theory formulation, with which I am unfamiliar.

Thanks!

$\endgroup$
3
  • $\begingroup$ en.wikipedia.org/wiki/3-sphere I think this is a pretty useful article , I've used it. $\endgroup$
    – Alan
    Apr 22, 2014 at 1:33
  • $\begingroup$ What level of text are you seeking? There are certainly many excellent resources as 3 manifolds are incredibly well-studied. $\endgroup$ Apr 22, 2014 at 1:55
  • $\begingroup$ At this time, I would be able to read a more introductory text - where the analogies with 1- or 2-sphere are used to build intuition. Also, how does one project the 3-sphere (with examples) would be great. $\endgroup$
    – Jay
    Apr 22, 2014 at 23:17

1 Answer 1

12
$\begingroup$

I don't know if that's what you're looking for, but here are some equivalent ways to visualize spheres. I added some sketches, I hope they help somewhat.

One standard way to think of an n-dimensional sphere is by taking an n-dimensional ball and identifying all the points of its boundray. For example, for $S^2$, we have a $2$-dimensional disk, which has $S^1$ as a boundary, and in order to get the sphere we glue the boundary together to a single point (Top two drawings in the first sketch). Performing the same for $S^3$, we take a $3$-dimensional disk (a ball) and glue all its boundary ($S^2$) to a single point. Those two examples are a special case of what is called a CW-decomposition for a manifold.

Note that the above construction is equivalent to the following: Take an open $n$-dimensional disk, and consider it as $\mathbb{R}^n$, to which it is homeomorphic. Define "a point at infinity" as the limit of all sequences of points on the disk the distance of which from the center grows to infinity. For example, in the case of $S^1$, we can take an open interval (identified with $\mathbb{R}$) and define a point $\infty$ as the limit of unbounded sequences. In the case of $S^2$, and using the fact that the open $2$-dimensional disk is homeomorphic to $\mathbb{R}^2$, we get a gluing of a point "at infinity" to $\mathbb{R}^2$. The same construction performed with $\mathbb{R}^3$ results in $S^3$. This representation is a common and useful one (illustrated in the bottom two drawings, and the one on the right, in the first sketch).

enter image description here

Another useful and intuitive ways to think of the $3$-sphere (and in general, compact oriented 3-dimensional manifolds) is looking at its decomposition into two $3$-manifolds which are simpler or easier to visualize than the original manifold. As you mentioned, one such example is decomposing $S^3$ into two $3$-balls glued along their boundaries (both of which are $2$-spheres).

While in the example of decomposing $S^2$ into two disks glued along their boundary ($S^1$) the visualization is easy, the case of $S^3$ might not be as intuitive, in which case let me suggest the following intuition: As pictured, take two balls, and while leaving one as it is, cut out a small ball in the center of the second one (in red). Then as we glue the boundaries together, the blue ball is "inside", while in the black one, the closer a point is to the center, the closer it is to infinity in the glued version (that's why it's denoted by $\infty$ in the sketch). As the radius of the red ball goes to zero, the radius of the resulting glued open ball goes to infinity, giving the previously described visualization.

enter image description here

A more complicated, albeit intuitive in my opinion, visualization is by taking two full genus-$1$ tori, and gluing them along the boundaries (which are regular genus-$1$ tori), gluing meridians of one torus to longitudes of the other. This is similar to the construction with the balls in the previous example. The following sketch demonstrates how the longitudes of the full tori look in such a gluing. Note that again, each such longitude has to "close" at some point, where the (red) one in the center closes at $\infty$.

enter image description here

The last two constructions are special cases of what is called Heegaard decompositions, or splittings.

$\endgroup$
4
  • 1
    $\begingroup$ I might add : one can visualize the last construction by thinking about $S^3$ as the join space $S^1 * S^1$, which is essentially a tetrahedron with identification of the opposite sides sharing a single vertex. Now cut open this tetrahedron by making a small square inside it, and note that you get two pieces of pie in doing so. Doing the identifications simultaneously in the two pieces of pie gives you two solid torii, and the small square through which the two pieces were pasted are now precisely the boundaries of the two torii. $\endgroup$ Feb 26, 2015 at 9:43
  • $\begingroup$ (+1 for the great sketches, by the way!) $\endgroup$ Feb 26, 2015 at 9:49
  • $\begingroup$ Very nice pictures! $\endgroup$
    – Sam Nead
    Sep 17, 2015 at 17:08
  • $\begingroup$ i need a sketch of that tetrahedron pie please, otherwise you lost me there $\endgroup$
    – jsky
    Mar 23, 2018 at 12:50

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .