Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Recently, Richard Dore asked us if $\mathbb R^3$ is the cartersian square of some space, and Tyler Lawson answered beautifully in the negative.

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»...)

share|improve this question
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
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 Budney Apr 2 '11 at 23:48
But is seems that $\mathrm{(something\;which\;is\;not\;a\;manifold)}\times\mathbb R$ can be a manifold, so maybe the factors/square roots need not be manifolds themselves? –  Mariano Suárez-Alvarez Apr 3 '11 at 0:03
@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
I think the square of any fake $R^4$ must be the standard $R^8$. –  Allen Knutson Apr 4 '11 at 1:46
show 5 more comments

1 Answer

I'm pretty certain the answer is no provided $n \geq 3$. Let $X$ be the Whitehead manifold: http://en.wikipedia.org/wiki/Whitehead_manifold

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$.

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.