The even powers of $\mathbb R$ were left out in that question because, well, it is obvious that they are squares. Now:

Are they squares in a unique way? In other words, if a space $X$ is such that $X\times X\cong\mathbb R^{2n}$, must $X$ be homeomorphic to $\mathbb R^n$?

One can consider other values of $2$ in Richard's question or here, as well as look for factors instead of only square roots (but if I recall correctly $\mathbb R^5$ has all exotic $\mathbb R^4$s as factors, so the last variant might be «trivial»...)

I wonder if there is a way to attach interesting meaning to the statement «$\mathbb R^4$ is a square of $\mathbb R^2$ in only one way (up to some equivalence).»
–
Mariano Suárez-Alvarez♦Apr 2 '11 at 23:32

2

Shouldn't the answer be no -- if I'm not making some elementary mistake I believe the product of two Whitehead manifolds is homeomorphic to $\mathbb R^6$.
–
Ryan BudneyApr 2 '11 at 23:48

1

@Olivier, it is not true: Wikipedia tells me that if $X=R^3/W$ is the result of contracting a standardly embedded Whitehead continuum $W\subseteq\mathbb R^3$, then $X$ is not a manifold yet $X\times\mathbb R$ is a copy of $\mathbb R^4$.
–
Mariano Suárez-Alvarez♦Apr 3 '11 at 7:31

1

I think the square of any fake $R^4$ must be the standard $R^8$.
–
Allen KnutsonApr 4 '11 at 1:46

1 Answer
1

It's a contractible open 3-manifold which is not homeomorphic to $\mathbb R^3$.

$X^2$ I claim is homeomorphic to $\mathbb R^6$. I don't have a slick proof of this. The idea is, ask yourself if you can put a boundary on $X^2$ to make $X^2$ the interior of a compact manifold with boundary. Larry Siebenmann's dissertation says if $X^2$ is simply-connected at infinity, you're okay. But the fundamental-group of the end of $X^2$ has a presentation of the form $(\pi_1 Y * \pi_1 Y) / <\pi_1 Y^2>$, where $*$ denotes free product and angle brackets "normal closure", and $\pi_1 Y$ is "the fundamental group at infinity for $X$". So $\pi_1 X^2$ is the trivial group.

Once you have it as the interior of a compact manifold with boundary, the h-cobordism theorem kicks in and tells you this manifold is $D^6$.