## Is R^3 the square of some topological space?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

The other day, I was idly considering when a topological space has a square root. That is, what spaces are homeomorphic to $X \times X$ for some space $X$. $\mathbb{R}$ is not such a space: If $X \times X$ were homeomorphic to $\mathbb{R}$, then $X$ would be path connected. But then $X \times X$ minus a point would also be path connected. But $\mathbb{R}$ minus a point is not path connected.

A next natural space to consider is $\mathbb{R}^3$. My intuition is that $\mathbb{R}^3$ also doesn't have a square root. And I'm guessing there's a nice algebraic topology proof. But that's not technology I'm much practiced with. And I don't trust my intuition too much for questions like this.

So, is there a space $X$ so that $X \times X$ is homeomorphic to $\mathbb{R}^3$?

-

6
I'm wondering to what extent there is unique factorization of topological spaces relative to $\times$. $\mathbb{Q}$ is an idempotent (as is its complement in $\mathbb{R}$), but are there more interesting failures of UF involving connected spaces? Or results establishing UF for "nice" families of spaces? Should these be posted as a new question? – Yaakov Baruch Apr 3 2011 at 1:41

2
Is Moebius $\times$ Moebius = cilinder $\times$ cilinder (no boundaries)? – Yaakov Baruch Apr 4 2011 at 16:38
Without knowing any algebraic topology, it's possible to conclude at least something about X. If X is metric, compact, or locally compact and paracompact, then $\dim(X\times X)\le 2\dim X$, which means X has to have Lebesgue covering dimension at least 2. Wage, Proc. Natl. Acad. Sci. USA 75 (1978) 4671 , www.pnas.org/content/75/10/4671.full.pdf . What is the weakest condition that guarantees $\dim(X\times Y)= \dim X+\dim Y$? Given Yaakov Baruch's comment about the "dogbone space," it's not obvious that X is at all well behaved simply from the requirement that its square is $\mathbb{R}^3$. – Ben Crowell Jan 19 at 15:55

## 3 Answers

No such space exists. Even better, let's generalize your proof by converting information about path components into homology groups.

For an open inclusion of spaces `$X \setminus \{p\} \subset X$` and a field $k$, we have isomorphisms (the relative Kunneth formula) ```$$
H_n(X \times X, X \times X \setminus \{(p,p)\}; k) \cong \bigoplus_{p+q=n} H_p(X,X \setminus \{p\};k) \otimes_k H_q(X, X \setminus \{p\};k).
$$``` If the product is $\mathbb{R}^3$, then the left-hand side is $k$ in degree 3 and zero otherwise, so something on the right-hand side must be nontrivial. However, if `$H_p(X, X \setminus \{p\};k)$` were nontrivial in degree $n$, then the left-hand side must be nontrivial in degree $2n$.

-

23
I hope this fine illustration of the power of relative homology will find its way in a textbook or, meanwhile, in algebraic topology courses. – Georges Elencwajg Apr 2 2011 at 19:40

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

this blog post refers to some papers with proofs. I've heard Robert Fokkink explain his proof and there he also told us the cohomological proof, which generalizes it to all Euclidean spaces of odd dimension.

-

7
I hope no one misses this nice alternative proof because it's behind a link. – Richard Dore Apr 4 2011 at 2:24

2
Quoting from the link: "The paper also refers to an earlier paper ("The cartesian product of a certain nonmanifold and a line is E4", R.H. Bing, Annals of Mathematics series 2 vol 70 1959 pp. 399–412) which constructs an extremely pathological space B, called the "dogbone space", not even a manifold, which nevertheless has B × R^3 = R4." This is relevant to my comment to the OP. – Yaakov Baruch Apr 4 2011 at 5:16
I don't understand this step in the proof: Why does the map $X^4 \to X^4, (a,b,c,d) \mapsto (c,d,a,b)$ correspond to the map $R^6 \to R^6, (p,q,r,s,t,u) \mapsto (s,t,u,p,q,r)$? I mean, the homeomorphism is not supposed to commute with projections ... – Martin Brandenburg Apr 4 2011 at 15:05

4
@Martin: The homeomorphism $(X\times X)\times (X\times X)\cong \mathbb R^3 \times \mathbb R^3$ respects projections by construction, so swapping the "two factors" (which I've emphasized with parentheses) on the left hand side corresponds to swapping the two factors on the right hand side. – Anton Geraschenko♦ Apr 5 2011 at 5:42

I didn't know that, but I did know this: we cannot have $S^2 = S\times S$ for any topological space $S$.

-
Would you care to elaborate? – Agol Jan 19 at 5:09

6
All things considered, perhaps "S" is not the best name for the topological space for this assertion. – Terry Tao Jan 19 at 5:52
@Terry Tao True enough, but in all honesty it's precisely the notational perversity that brought this to mind to begin with. – Adam Epstein Jan 19 at 10:28

3
@Agol Fix $s\in S$. On the one hand, $\pi_2(S\times S,(s,s))\cong \pi_2(S,s)\times\pi_2(S,s)$. On the other hand, $\pi_2({\bf S},{\bf s})\cong{\mathbb Z}$ for any 2-sphere $\bf S$ and any ${\bf s}\in{\bf S}$. Now it suffices to observe that ${\mathbb Z}\not\cong G\times G$ for any group $G$: indeed, such a group must be an infinite quotient of $\mathbb Z$, whence $G\cong{\mathbb Z}$, but ${\mathbb Z}\not\cong{\mathbb Z}\times{\mathbb Z}$ – Adam Epstein Jan 19 at 11:27

1
As it happens, this started out as a wry comment about a different post, namely mathoverflow.net/questions/115799…. Then I noticed this question and accidentally posted as an answer what was intended as a mere comment. – Adam Epstein Jan 19 at 16:59
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 41, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9312400817871094, "perplexity_flag": "middle"}