10
$\begingroup$

In 1952, Bing showed the existence of a topological involution of $S^3$ with fixed point set the Alexander horned sphere, demonstrating that $S^3$ has finite-order homeomorphisms not conjugate to linear or even locally linear ones. The quotient of $S^3$ by this involution is precisely the Alexander horned ball.

In 1954, Montgomery and Zippin modified Bing's example to give a not-conjugate-to-locally-linear topological involution of $S^3$ with a one-dimensional fixed point set.

Do we know what is the quotient of $S^3$ by Montgomery and Zippin's involution?

$\endgroup$
1
  • 1
    $\begingroup$ I'm pretty sure it's $S^3$ again, but I'll have to check. $\endgroup$
    – Ian Agol
    Commented Sep 9, 2016 at 18:17

2 Answers 2

13
$\begingroup$

I think what happens is this: Montgomery-Zippin describe a particular a particular continuum in $\mathbb{R}^3$ (based on Bing's example, as an intersection of "rings") which intersects the $x$-axis in a Cantor set, and which is invariant under rotation by $\pi$ in the $x$-axis (in the picture, the first stage of rings in Bing's construction is shown; Montgomery-Zippin reflect the crossings of the rings on the right side so it is invariant under $\pi$-rotation). Bing's rings

Moreover, there is a plane (say the $xy$-plane P) which also intersects this continuum in the Cantor set $C$ in the $x$-axis, and so that a collar neighborhood intersects the continuum in $C \times (-1,1)$. The decomposition space of this continuum (which can be regarded as a union of intervals) is again $\mathbb{R}^3$, as proved by Bing. Moreover, the $xy$-plane projects to a plane which bounds an Alexander horned sphere on each side.

If we take this picture and quotient by $\pi$-rotation in the $x$-axis, then this amounts to taking the half-space $z\geq 0$, and identifying the two half-planes in its boundary $y\geq0, y\leq 0$. This identification has quotient $\mathbb{R}^3$ again, and I think it's clear (because of the collar observation above) that the upper-half of the continuum projects homeomorphically to this quotient. Then the quotient by the involution will be the quotient by this "half" continuum. But (as Bing showed), the quotient of the upper half-space by half the continuum is the Alexander horned sphere. And the lower half space will just be a standard half-space. So this is just the usual embedding of the Alexander horned sphere in $\mathbb{R}^3$ I think, so the quotient is $\mathbb{R}^3$ again.

$\endgroup$
5
  • $\begingroup$ What's the conclusion of your answer? $\endgroup$
    – YCor
    Commented Sep 10, 2016 at 6:31
  • 1
    $\begingroup$ The quotient is $\mathbb{R}^3$ $\endgroup$
    – Ian Agol
    Commented Sep 10, 2016 at 16:22
  • $\begingroup$ But in the original question it's a quotient of $S^3$, so it will yield a compact space. So: how does this answer the original question (possibly it's the 1-point compactification for an obvious reason, but you could be explicit). $\endgroup$
    – YCor
    Commented Sep 10, 2016 at 18:27
  • $\begingroup$ The embedding is standard at infinity, so one take the one point compactification. It is easier to describe the construction in $\mathbb{R}^3$. $\endgroup$
    – Ian Agol
    Commented Sep 10, 2016 at 21:25
  • $\begingroup$ @IanAgol - Can you clarify what you mean by "continuum" in this context? (I have the same difficulty with reading Bing's and Montgomery-Zippin's papers.) Also, by "decomposition space" I think you mean some sort of quotient (though not by the $\pi$-rotation), is this correct? $\endgroup$ Commented Oct 3, 2016 at 22:00
1
$\begingroup$

In the Montgomery-Zippin paper, they have a usc decomposition of $E^3$ (or $S^3$) into arcs and points and the decomposition space of that is again $E^3$ (resp. $S^3$), as they say. But then there is the decomposition of that by the $\mathbb{Z}_2$ action having the wildly embedded arc (resp. circle) as a fixed point set. But this decomposition space too is $E^3$ (resp. $S^3$), as seen by considering the action of the rotation on the complement of the interiors of any one stage of the dyadically nested tori (in $S^3$ it is just the double cover of a torus about its longitude).

$\endgroup$

You must log in to answer this question.

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