I have been learning some (topological) dimension theory and have gotten through most of the basic material, at this point, and am about to start looking at papers. In particular, I want to get familiar with the standard counterexamples regarding dimension of products, but I haven't noticed the question in the title addressed.

So my question would be what conditions on $X$ (e.g. separable metric, compact metric, continuum, homology manifold) are sufficient to ensure that if $\text{dim}(X \times X) = 2\text{dim}(X)$, then $\text{dim}(X^n) = n\text{dim}(X)$? The initial assumption could also be weakened from $\text{dim}(X \times X) = 2\text{dim}(X)$ to $\text{dim}(X^m) = m\text{dim}(X)$ for some $1 < m < n$, or for various subsets of $\lbrace 2, 3, \dots, n - 1 \rbrace$. The case $m = n - 1$ seems especially interesting.

In particular, have the dimensions of all the powers of the Pontryagin Surface been computed?

Edit after a couple of days: Dranishnikov (arguably the top living expert) says it is true for compact metric spaces. He didn't mention any counterexample for more general spaces. It was already known to Hurewicz in the 1930's to be true for compact metric spaces of dimension one.

As noted in the comments, it is known that for any compact Hausdorff or any metrizable space, the limit (called the stable dimension of $X$) $\lim \frac{\text{dim}(X^n)}{n}$ exists. The quantity is positive if $X$ is compact metric and $\text{dim}(X) \geq 1$. Thus to prove the titular proposition for compact metric spaces it's sufficient to prove the case $n = 4$, because we can then iterate and apply the uniqueness of the limit, using the fact that for reasonable spaces it is true that $\text{dim}(X \times Y) \leq \text{dim}(X) + \text{dim}(Y)$. So if there was some pathology it would carry all the way to the limit.

This method assumes that if $\text{dim}(X) > 0$ then the stable dimension is positive; this is true for compact metric spaces, but is not true in general for separable metric spaces. For example, let $E$ be Erdos Space. It is known that $E = E \times E$ and $\text{dim}(E) = \text{dim}(E \times E) = 1$, so $\text{stabdim}(E) = 0$. To see that it is true for (locally) compact metric spaces in dimension larger than $1$, use the small inductive dimension to obtain closed subspaces of dimension at least $1$ as boundaries of neighborhoods of a point, then apply the classical Hurewicz result mentioned above to see that in fact $\text{stabdim}(X) \geq 1$, since the product of these boundaries is closed and dimension is monotone wrt closed subsets.

This would extend the proof method to general compact Hausdorff spaces if we knew that the conjecture in the title were true for *one-dimensional* compact Hausdorff spaces (that it follows is due to the fact that for compact Hausdorff spaces $X$ we have $\text{dim}(X) \leq \text{ind}(X)$). I am not sure if that is true or false, but I assume it's known. Anybody have a reference? Extending to LCH spaces is tricky in dimensions $0$ and $1$ so I have no idea about that, and I don't know if the stable dimension of LCH spaces is even well-defined. That would also be good to know.

2more comments