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.

  • 1
    $\begingroup$ Do you mean $\dim(X \times X) = 2 \dim(X)$? Otherwise, for most definitions of dimension I can think of, $\mathbb R^2$ is a counterexample by the numerical coincidence $2 \times 2 = 2^2$. $\endgroup$ – R. van Dobben de Bruyn Nov 19 '18 at 4:41
  • 1
    $\begingroup$ Oh sorry, yes. Fixing. $\endgroup$ – John Samples Nov 19 '18 at 4:43
  • 1
    $\begingroup$ So for compact metric spaces, there is an invariant called the stable dimension $\text{sdim}(X) = \lim \frac{\text{dim}(X^n)}{n}$, and this limit is known to exist. Thus for a space with positive stable dimension it is sufficient to prove the case where $n$ is a power of $m$, because if this is true then it would be impossible for the general case to have a counterexample: Otherwise the sequences for powers of $m$ and $n$ would have different limits. $\endgroup$ – John Samples Nov 19 '18 at 10:29
  • 1
    $\begingroup$ As mentioned in the thread linked below, Przymusinski has constructed spaces such that $X^2$ is normal but $X^3$ is not. I will look into this paper and see if its techniques can be adapted to provide a counterexample in the class of normal spaces.math.stackexchange.com/questions/3007308/… $\endgroup$ – John Samples Nov 21 '18 at 10:15
  • 1
    $\begingroup$ So, a question might be: can it happen that $X \times X$ has dimension $0$, but $X \times X \times X$ has dimension $1$? Maybe one of those weird examples like rational points in $l^2$. $\endgroup$ – Gerald Edgar Nov 21 '18 at 15:54

As John Samples noted in his comment, Dranishnikov's Theory of cohomological dimension implies the positive answer to this problem for compact (even $\sigma$-compact) metrizable spaces. Namely, according to a Definition on page 15 of the paper "Cohomological dimension theory of compact metric spaces" a compact metrizable space $X$ is called of basic type if $\dim X^2=2\dim X$ and of exceptional type if $\dim X^2=2\dim X-1$ (which is equivalent to $\dim X^2<2\dim X$ by Theorem 4.16). After this definition Dranishnikov writes that each compactum $X$ of basic type has $\dim X^n=n\dim X$ and each compactum $X$ of exceptional type has $\dim X^n=n\dim X-n+1$, for every $n\in\mathbb N$.

This implies that if some compactum $X$ has $\dim X^n=n\dim X$ for some $n\ge 2$, then it is of basic type and hence $\dim X^k=k\dim X$ for all $k\in\mathbb N$. Also the Dranishnikov's result implies that the stable dimension $\lim_{n\to\infty}\frac{\dim X^n}n$ of a compactum $X$ equals $\dim X$ if $X$ is of basic type and equals to $\dim X-1$ if it is of exceptional type.

In the first paragraph of Section 1 Dranishnikov writes: "Actually everywhere in this paper one can replace compact spaces by σ-compact".

  • $\begingroup$ Ok sweet, I will continue looking at the separable/general metric and CH cases. I think that the CH case will also be true. Maybe the CH case can be surmised using some Cech theory and the compact metric case with inverse limits. $\endgroup$ – John Samples Nov 23 '18 at 6:18
  • $\begingroup$ I hope that the non-metric (but still compact Hausdorff) case can be derived from the metric case using the Mardesic factorization theorem and the technique of inverse limits. Should I write down the necessary arguments or it is clear enough? $\endgroup$ – Taras Banakh Nov 23 '18 at 8:23
  • $\begingroup$ @JohnSamples By the way, your abbreviation CH (i.e., compact Hausdorff) is very misleading as it interfere with the standard meaning of CH (Continuum Hypothesis) in Set Theory. $\endgroup$ – Taras Banakh Nov 23 '18 at 8:48
  • $\begingroup$ It should work for compact Hausdorff spaces: projecteuclid.org/euclid.ijm/1255455869 $\endgroup$ – John Samples Nov 23 '18 at 9:29
  • $\begingroup$ Oh haha, we have the same paper in mind. There is another paper that maybe implies paracompact normal spaces will also be good enough, but I will need to think more about this. $\endgroup$ – John Samples Nov 23 '18 at 9:34

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

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