5
$\begingroup$

[I do not believe I have tagged this entirely correctly, feel free to change them.]

In the case of spheres there is a related structure called a ball which based on its definition I visualise as being the interior (+ boundary depending on the situation).

I have recently been doing a lot of coding of four-dimensional obects and came across the Clifford Torus and I find it strikingly beautiful, not just in the stereographic projection, but in the maths.

However, in the case of the ball/sphere relationship we simply change the equality to an inequality: $$ S^n:\sum_{i=1}^{n}x_i^2=r^2 \Leftrightarrow B^n : \sum_{i=1}^{n}x_i^2<r^2 $$ I've read that the Clifford Torus splits the 3-sphere into 2 congruent tori. I've also read that it's interior is equivalent to its exterior.

Does this mean that if we look at the Clifford Torus on its own, without the 3-sphere, that it has no interior? Like a Klein Bottle? Or does it still have an interior?

I have seen it is possible to define the Clifford Torus like this: $$ CT: x^2+y^2 = \frac{r^2}{2} = z^2+w^2 $$ Would I be correct in thinking that this "interior" (call it a Clifford Donut) is given by: $$ CD: x^2+y^2 < \frac{r^2}{2} > z^2+w^2 $$ Or is it more subtle than that? Honestly I'm not entirely sure what an "inside" means anymore, and it seems inconceivable to me that something effectively two-dimensional (In the same way as S^2) could "enclose" a four-dimensional "volume". It would be like a line wrapping up in 3d to enclose a space such that you could pour water in it.

$\endgroup$

1 Answer 1

9
$\begingroup$

It's far from clear in general that a shape has a meaningful notion of "inside or "outside." Abstractly we can define the inside of, say a sphere $S^{n-1} \subset \mathbb{R}^n$ as follows: the complement $\mathbb{R}^n \setminus S^{n-1}$ consists of two connected components, one of which is bounded and one of which is unbounded, and we call the bounded component the "inside" and the unbounded component the "outside." This is, for example, the definition of "inside" and "outside" used in the Jordan curve theorem.

If we have a hypersurface in $\mathbb{R}^n$ defined as the zero locus $\{ f(x) = 0 \}$ of, say, a smooth function $f : \mathbb{R}^n \to \mathbb{R}$ (which for the sphere of radius $r$ is $\sum_{i=1}^n x_i^2 - r^2$) then its complement disconnects into at least two pieces $\{ f(x) < 0 \}$ and $\{ f(x) > 0 \}$ but may disconnect into more, and we're not guaranteed that any of them are bounded. For example, the complement of a two-sheeted hyperboloid $x^2 + y^2 - z^2 = r^2$ in $\mathbb{R}^3$ has three connected components, none of which are bounded:

                                                                                 enter image description here

It's unclear whether any of these components deserve the name "inside" or "outside." In one lower dimension we can consider the simpler examples of the hyperbola $xy = 1$ (three unbounded components) or the parabola $y = x^2$ (two unbounded components) in $\mathbb{R}^2$.

A Clifford torus $S^1 \times S^1 \subset \mathbb{C} \times \mathbb{C}$, viewed as a subspace of $\mathbb{R}^4$, has a complement which is connected (and unbounded); this is because its codimension is $2$. This is similar to how the complement of a knot in $\mathbb{R}^3$ is connected; as you say, a $1$-dimensional thing can't enclose a $3$-dimensional volume, and similarly a $2$-dimensional thing can't enclose a $4$-dimensional volume. So if we want an interesting complement we'd better consider it as a subspace of a $3$-sphere instead. To be concrete let's work with the Clifford torus $x^2 + y^2 = z^2 + w^2 = \frac{1}{2}$ which is a subspace of the unit $3$-sphere $x^2 + y^2 + z^2 + w^2 = 1$.

As a subspace of the $3$-sphere the Clifford torus is now cut out by a single equation $x^2 + y^2 = \frac{1}{2}$ (since the other equation is now automatic), so now we can apply the same hypersurface analysis as before: the complement has (at least) two components, namely $\{ x^2 + y^2 < \frac{1}{2} \}$ and $\{ x^2 + y^2 > \frac{1}{2} \}$. Both of these components turn out to be (open) solid tori, and they are both bounded (because $S^3$ is bounded), so again it's unclear which one deserves to be called the "inside" and which the "outside." Topologists know this as the "genus $1$ Heegaard splitting of $S^3$".

In one lower dimension, a simpler example where there are two components that are both bounded is to consider a great circle $S^1$ on a $2$-sphere $S^2$, where again it's unclear whether either component deserves the name "inside" or "outside":

                                                                                 enter image description here

(This is sort of a funny observation about the process of, say, putting up a circular fence on a spherical planet such as the Earth. Which side of the fence is the "inside"? Usually it's the smaller side, but if you gradually expand the boundaries of the fence then at some point the smaller side becomes the bigger side...)

Anyway, back to the Clifford torus. You can visualize one of these solid tori by thinking about the solid torus embedded in $\mathbb{R}^3$ in the usual way, but thinking of $\mathbb{R}^3$ as secretly being $S^3$ minus a point (via stereographic projection). This embedding now has an "inside" which gives one of the solid tori, and it takes a bit of imagination to see how the "outside" of the solid torus is another solid torus, if you add in the point at infinity.


You also ask about the torus "on its own, without the $3$-sphere." This is complicated. "On its own" the torus is just floating in nowhere, with no "ambient" points; there's nothing that can play the role of either an inside or an outside. To provide an inside or an outside we have to supply additional information.

Here's how that goes. First let's consider the sphere. The ball is an example of a manifold with boundary, and its boundary is the sphere. In general given a closed manifold we can ask whether it's the boundary of another manifold, in the same way the sphere is the boundary of the ball. And it turns out that

  • most manifolds are not boundaries of any other manifold (so they can't have "insides" in any way) and
  • if $M$ is the boundary of another manifold $N$ then $N$ is generally not unique.

The torus $S^1 \times S^1$ is the boundary of the solid torus, but it's also the boundary of the connected sum of the solid torus with any other closed $3$-manifold, although I can't think of an example that's particularly easy to visualize. Alternatively, you can take any closed $3$-manifold $M$ and consider a knot $S^1 \hookrightarrow M$ embedded in it. That knot has a tubular neighborhood, and removing the interior of that tubular neighborhood produces a modified version of $M$ which has boundary a torus.


Edit: Okay, after a discussion on Twitter I'm a little happier with the concept of "inside," at least for the specific case of shapes in $\mathbb{R}^n$.

Definition 1: A point $x \in \mathbb{R}^n$ is ray-inside a region $S \subseteq \mathbb{R}^n$ if $x \not \in S$ and every ray starting at $x$ hits $S$.

Intuitively this says that the point $x$ can't "see outside" $R$ because $R$ is blocking every possible light ray. We get a second definition related to bounded components of the complement if we generalize rays to arbitrary continuous paths and ask whether those paths can "escape to infinity"; that is,

Definition 2: A point $x \in \mathbb{R}^n$ is path-inside a region $S \subseteq \mathbb{R}^n$ if $x \not \in S$ and every continuous path $p : [0, \infty) \to \mathbb{R}^n$ starting at $x$ either hits $S$ or is bounded.

Since every ray is a path, Definition 2 implies Definition 1; that is, if a point is path-inside $S$ then it's ray-inside $S$. Under mild hypotheses on $R$ (I think it suffices for $R$ to be closed) path-insideness is equivalent to "$x$ lies in a bounded connected component of the complement $\mathbb{R}^n \setminus S$" (for points which aren't in $S$ itself).

With either of these definitions a shape can have multiple insides, but that's fine; consider, for example, a bunch of spheres stuck together. Each of the insides is a different bounded connected component of the complement. We also get reasonably intuitive answers for the examples we've discussed so far: a parabola has no inside, a two-sheeted hyperboloid has no inside, etc. Also the Clifford torus in $\mathbb{R}^4$ has no inside.

Ray-insideness and path-insideness are not equivalent, as we can see by considering a spiral in $\mathbb{R}^2$, like this:

                                                                                 enter image description here

Every point not a part of the spiral is ray-inside the spiral but none of them are path-inside the spiral. So these are two genuinely different kinds of insideness. The question is, do you want to be able to see "outside" or do you want to be able to go "outside"?

$\endgroup$
7
  • $\begingroup$ This answer is fantastically detailed thank you. I am however still a bit shaky in the world of topology. I had a look at the wikipedia page for the connected sum and it is decidedly opaque. And I wondered if you could clear up one thing. If you take the connected sum of two manifolds, is the genus of that sum always equal to the sum of the genusses of the manifolds? Or does it depend on the point/submanifold you choose to connect them at? $\endgroup$
    – Disgusting
    Oct 3, 2020 at 14:43
  • $\begingroup$ Also I realised that when I said "on its own" what I meant was "in R^4" but don't change that part of your answer because it did highlight something for me which is that for inside and outside you need an embedding. $\endgroup$
    – Disgusting
    Oct 3, 2020 at 15:08
  • $\begingroup$ @Disgusting: in general a manifold doesn't have a genus. What's true is that if you take the connected sum of two closed orientable $n$-manifolds then their middle Betti numbers $b_k, 1 \le k \le n-1$ (which generalize the genus to higher dimensions) add. $\endgroup$ Oct 3, 2020 at 17:52
  • $\begingroup$ It is scary how much you know. $\endgroup$
    – copper.hat
    Oct 3, 2020 at 19:23
  • $\begingroup$ @QiaochuYuan: There is another approach to this problem that is if a manifold $M$ is null cobordant. It has been explained very nicely by Michael Albanese here. $\endgroup$
    – C.F.G
    Oct 3, 2020 at 20:01

You must log in to answer this question.

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