Wild Arcs with simply connected complements: two examples.

We start with this Fox-Artin example:

wildfoxartinarc

As we saw in this previous post: this arc contains just one wild point; hence its complement is simply connected. But we can say more than that: this arc K is “cellular”: that means that there is a collection of smooth 3-balls B_1 \supset B_2 \supset B_3.... where \cap^{\infty}_{i=1}B_i = K. That isn’t too hard so see: start by taking a small round 3-ball that encloses the wild point and taking a union of that ball with a tubular neighborhood of the rest of the arc outside of the ball. That first gadget is “almost” a ball; it might have a few handles which can be filled in. Then take a smaller ball around the wild point and repeat the process with a smaller tubular neighborhood…and repeat.

In fact, we can do this with ANY arc that has just one wild point.

Therefore S^3 - K = S^3 -  \cap^{\infty}_{i=1}B_i = \cup^{\infty}_{i=1}(S^3 - B_i) which is homeomorphic to R^3; hence this wild arc complement is homeomorphic to the complement of a tame arc.
Aside: this shows that arcs are NOT determined by their complements whereas smooth (or p. l. ) knots are.

But this arc is still wild; it has penetration index 3 near the wild point.

Now consider this example

foxartinarcsimplyconnected

This is like the wild Fox-Artin arc talked about in the previous post in this series, except that “one stitch has been missed. It’s complement is simply connected; the proof of this fact is suggested by this diagram:

foxartinarcsimplyconnectedcalc

The small loop represents a generator of the fundamental group; note how it bounds a disk in the complement of the arc.

However the complement is NOT R^3 ! There are different ways to see that; here is a fun one:

foxartinarcsimplyconnectedcomplement

This shows K with a smooth simple closed curve J in its complement. Note: J is compact (it is a smooth knot). Therefore there are two different ways to use J to show that S^3 - K is NOT homeomorphic to R^3 :

1. In R^3, every compact set lies inside of some ball B. But one can show that there is no ball B that contains J and misses K
2. One can use algebraic topology: the fundamental group of (S^3 -K)-J is NOT finitely generated; in R^3 , the complement of any smooth knot is finitely generated.

This gives an example of an open, simply connected manifold that is not homemorphic to R^3 .

The interested reader can consult the following references for more detail:

R. Daverman and G. Venema: Embeddings in Manifolds, American Mathematics Society Graduate Studies in Mathemtics, Vol. 106, 2009: Section 2.8
T. B. Rushing, Topological Embeddings, Academic Press, (Pure and Applied Mathematics, Volume 52) 1973, Section 2.4.

Advertisements

Introduction to Wild Arcs: the interesting stuff that can happen

By “arc” I mean a topological embedding of the unit arc [0,1] into R^3 or S^3 .
If the embedding is chosen to be smooth or piecewise linear, there isn’t much to do since all such embeddings are ambient isotopic to a standard, boring linear line segment.

But if we even allow for as much as a single wild point, then weird things can happen.

It is probably best to procede with some examples.

1. Not all “wild looking” arcs are wild.

wildkarcs

The arc in the upper left hand corner IS wild and the arc in the lower right hand corner (which is supposed to represent an infinite series of trefoil knots, each tied smaller and smaller and converging to a single point) is NOT wild.

I’ll sketch out a proof as to why it is tame: imagine a series of round 3-balls surrounding the “potentially bad” endpoint: arrange these balls so that they are concentric about the endpoint and there is one trefoil knot between the boundaries of each of these balls (as shown)

lampcord

Denote these balls by B_1, B_2, B_3.....

Now for each trefoil between each B_k, B_{k+1} there is an ambient isotopy which fixes ALL points outside of B_k and inside B_{K+1} and removes the trefoil knot; this is called the “lamp chord trick”:

(from R. H. Bing’s book: The Geometric Topology of 3-Manifolds)

The ONLY points that are moved are those between the boundaries of B_k and B_{k+1} .

Denote this orientation preserving homeomorphism by h_k .

We can now define a homemorphism of 3-space by h(x) = h_k(x) if x \in B_k - int(B_{k+1}) and h(x) = x otherwise.
This takes this arc to a straight arc.

Note: if we took this “almost wild” arc and added even a slight arc “past” the endpoint, then the above procedure would fail. A wild arc that is the union of two tame arc is called mildly wild.

2. An arc that has only one wild point has a simply connected complement, even though the arc is wild.
An example of this is the arc in the upper left and picture. It turns out that if one encloses the “potentially bad” endpoint of the arc by a smooth 2-sphere, that sphere will intersect that arc in at least 3 points. That seems “obvious” but requires proof. And the proof, while not requiring sophisticated techniques (e. g. esoteric algebraic or differential topology), isn’t easy. I know from experience. 🙂

The idea of a sphere surrounding a wild point having to hit the arc in a set number of points is called the “penetration index” of the arc. More on that for a subsequent post; a good reference is: 24), : W. R. Alford and B. J. Ball, Some almost polyhedral wild arcs, Duke Math. J. 30 (1963), 33-38. MR 26 # 1858.

Note: some wild arcs have a wild point with an infinite penetration index.

On the other hand, any closed loop in the complement of the arc bounds a disk that misses the arc. Here is a sketch as to why:

Let \alpha be a closed loop (say, a smooth or piecewise linear one) that misses the arc. Two compact sets in a metric space that miss must remain at least some set distance \epsilon from each other. So enclose the endpoint of the arc by a ball of radius \frac{\epsilon}{2} and it is easy to see that \alpha bounds a disk that misses that ball. But that disk might hit the arc in a finite number of points. But that is no problem because those points are tame points of the arc; they are outside of the ball that contains the only wild point.

That part of the arc can be enclosed by a tube (called a tubular neighborhood of the arc) that runs to the non-wild endpoint of the arc. That neighborhood can be used to construct “caps” that run around the tame endpoint of the arc; in that way the original disk that \alpha bounded can be replaced by a new disk which has “feelers” which push past the tame endpoint of the arc.

Now this proof works for an arc whose wild point is at an endpoint; the same idea works if the solitary wild point is not an end point.

3. There are arcs whose complement is NOT simply connected. Here is an example of one:

Fox-Artin_(large)

Note: the fundamental group of the arc complement maps non-trivially onto a subgroup of the alternating group A_5 (the same one you studied in your abstract algebra class).

A good reference for this:

Fox, Ralph H.; Artin, Emil (1948), “Some wild cells and spheres in three-dimensional space”, Annals of Mathematics. Second Series 49: 979–990, ISSN 0003-486X, JSTOR 1969408, MR 0027512

Note: this arc has two wild points.

4. It is possible for two disjoint wild arcs to “link”: that is, be situated in a way so that the arcs are disjoint but also so that there is no sphere which encloses one arc but not the other.

Example: image two copies of the Fox-Artin arc shown above, but in the middle “stitch”, link the two middle strands.

linkedfoxartinarcs

Now if there were a 2-sphere S separating the two arcs, it would have to miss each arc (and therefore the 4 wild points) by some distance 2\epsilon . So surround each of the 4 wild points with a smooth sphere of radius, say, \epsilon . Then one can obtain two disjoint graphs; each of these graphs is equal to the respective wild arc outside of the ball bounded by the sphere, and inside the balls we can just connect the non-wild parts of the arcs (the parts outside of the balls) by smooth arcs inside of the balls; hence in a sense, we have approximated the two disjoint wild arcs by two disjoint smooth graphs which are equal to the wild arcs outside of a small neighborhood of the wild points.

linkedfoxartinarcsapproximation

It is easy to see (via standard algebraic topology or by classical knot theory techniques) that these two smooth graphs are NOT splittable. Hence the two wild arcs weren’t splittable either.

Note: we have just skimmed the surface of wild arc theory; there is a lot out there.

A good place to start would be the Fox-Artin paper mentioned above along with the two books:

R. Daverman and G. Venema: Embeddings in Manifolds, American Mathematics Society Graduate Studies in Mathemtics, Vol. 106, 2009: Section 2.8
T. B. Rushing, Topological Embeddings, Academic Press, (Pure and Applied Mathematics, Volume 52) 1973, Section 2.4. The edition I have is out of print; I linked to the newer one.

Note: arcs can be very pathologically embedded in higher dimensions. That doesn’t make sense to me, but check out this paper by D. Wright: (link is to an open access PDF copy)

Abstract. Let A and B be arcs in E^3, Euclidean 3-space. Then A can be
“slipped” off B; i.e., there exists a homeomorphism of ^E3 onto itself,
arbitrarily close to the identity, such that h(A) n B = 0. The purpose of
this note is to show that arcs in E^n (n > 4) do not always enjoy this
property. The examples depend heavily on a recent result of McMillan.

1. Introduction. If X and Y are subsets of E^n, Euclidean «-space, we say
that X can be slipped off Y in E ” if for each e > 0 there is an (epsilon)-homeomorphism h: E” -» E” such that h{X) n Y = 0; otherwise, we say X
cannot be slipped off Y. Results of Armentrout [1] and McMillan [5] show that
if A and B are arcs in E^3, then A can be slipped off B. We show that this is
false in higher dimensions by proving the following
Theorem. There exist cellular arcs A and B in E^n (n > 4) such that A
cannot be slipped off B.

This strikes me as very non-intuitive; you’d think that higher dimensional space would provide “more room” for maneuver but it also provides more room to introduce pathologies as well.

To see the beast of an arc that Wright is talking about, here is D. McMillan’s article (open access PDF) about an arc that is so pathological, it doesn’t have a neighborhood inside a manifold that embedds in any S^n . Of course, this neighborhood cannot be a manifold because of the Whitney embedding theorem.