Skip to main content
added 929 characters in body
Source Link
Moishe Kohan
  • 12.3k
  • 1
  • 36
  • 58

First, let's formulate the question properly:

Given a topological space $X$, define be $$ d(X):=\sup \{ n: X~ \hbox{is homeomorphic to} ~Y\times {\mathbb R}^n\}. $$

Lemma. The following quantities are equal when $X$ is a manifold:

(1) $d(X)$

(2) P(X):=$\max\{n: \exists ~ \hbox{a principal}~ {\mathbb R}^n\hbox{-bundle with the total space}~X\}$

(3) p(X):=$\max\{n: \exists ~ \hbox{a proper}~ {\mathbb R}^n\hbox{-action on }~X\}$, where ${\mathbb R}^n$ is equipped with the standard topology.

Proof. A principal ${\mathbb R^n}$-bundle with the total space $X$ is the same thing as a proper ${\mathbb R^n}$-action on $X$. At the same time, each principal ${\mathbb R^n}$-bundle with the total space $X$ is trivial. qed.

Remark. One can avoid using this lemma in order to justify the example below, just I find the definition $d(X)$ cleaner.

Thus, working in the topological category, you are asking if there are manifolds $X, Y$ such that $d(X\times Y)> d(X)+ d(Y)$.

Now, here is an example: Let $X$ be the Whitehead manifold (or any other contractible 3-manifold not homeomorphic to ${\mathbb R}^3$). Then $d(X)=0$. (This is not entirely trivial, but for the purpose of a counter-example we just need to know that $p(X)<3$ which is obvious since $X$ is not homeomorphic to ${\mathbb R}^3$.) On the other hand, $X\times {\mathbb R}$ is homeomorphic to ${\mathbb R}^4$ (see for instance here), hence, $d(X\times {\mathbb R})=4$.

The same example works in the smooth category.


Update. It appears that you are now interested in proper ${\mathbb Z}^n$-actions. The answer in this setting is the same. You similarly define the invariant $c(X)$, detecting the highest rank of a discrete free abelian group acting properly on $X$. Then, let $X$ again be the Whitehead manifold. It turns out that $c(X)=0$. This is a nontrivial result of Bob Myers:

Myers, Robert, Contractible open 3-manifolds which are not covering spaces, Topology 27, No. 1, 27-35 (1988). ZBL0658.57007.

(One can also appeal to an older theorem of Waldhausen, but it only proves that $c(X)\le 2$, which suffices for our purposes but is suboptimal.)

At the same time, $c(X\times {\mathbb R})=4$, but $c(X) + c({\mathbb R})=1$.

First, let's formulate the question properly:

Given a topological space $X$, define be $$ d(X):=\sup \{ n: X~ \hbox{is homeomorphic to} ~Y\times {\mathbb R}^n\}. $$

Lemma. The following quantities are equal when $X$ is a manifold:

(1) $d(X)$

(2) P(X):=$\max\{n: \exists ~ \hbox{a principal}~ {\mathbb R}^n\hbox{-bundle with the total space}~X\}$

(3) p(X):=$\max\{n: \exists ~ \hbox{a proper}~ {\mathbb R}^n\hbox{-action on }~X\}$, where ${\mathbb R}^n$ is equipped with the standard topology.

Proof. A principal ${\mathbb R^n}$-bundle with the total space $X$ is the same thing as a proper ${\mathbb R^n}$-action on $X$. At the same time, each principal ${\mathbb R^n}$-bundle with the total space $X$ is trivial. qed.

Remark. One can avoid using this lemma in order to justify the example below, just I find the definition $d(X)$ cleaner.

Thus, working in the topological category, you are asking if there are manifolds $X, Y$ such that $d(X\times Y)> d(X)+ d(Y)$.

Now, here is an example: Let $X$ be the Whitehead manifold (or any other contractible 3-manifold not homeomorphic to ${\mathbb R}^3$). Then $d(X)=0$. (This is not entirely trivial, but for the purpose of a counter-example we just need to know that $p(X)<3$ which is obvious since $X$ is not homeomorphic to ${\mathbb R}^3$.) On the other hand, $X\times {\mathbb R}$ is homeomorphic to ${\mathbb R}^4$ (see for instance here), hence, $d(X\times {\mathbb R})=4$.

The same example works in the smooth category.

First, let's formulate the question properly:

Given a topological space $X$, define be $$ d(X):=\sup \{ n: X~ \hbox{is homeomorphic to} ~Y\times {\mathbb R}^n\}. $$

Lemma. The following quantities are equal when $X$ is a manifold:

(1) $d(X)$

(2) P(X):=$\max\{n: \exists ~ \hbox{a principal}~ {\mathbb R}^n\hbox{-bundle with the total space}~X\}$

(3) p(X):=$\max\{n: \exists ~ \hbox{a proper}~ {\mathbb R}^n\hbox{-action on }~X\}$, where ${\mathbb R}^n$ is equipped with the standard topology.

Proof. A principal ${\mathbb R^n}$-bundle with the total space $X$ is the same thing as a proper ${\mathbb R^n}$-action on $X$. At the same time, each principal ${\mathbb R^n}$-bundle with the total space $X$ is trivial. qed.

Remark. One can avoid using this lemma in order to justify the example below, just I find the definition $d(X)$ cleaner.

Thus, working in the topological category, you are asking if there are manifolds $X, Y$ such that $d(X\times Y)> d(X)+ d(Y)$.

Now, here is an example: Let $X$ be the Whitehead manifold (or any other contractible 3-manifold not homeomorphic to ${\mathbb R}^3$). Then $d(X)=0$. (This is not entirely trivial, but for the purpose of a counter-example we just need to know that $p(X)<3$ which is obvious since $X$ is not homeomorphic to ${\mathbb R}^3$.) On the other hand, $X\times {\mathbb R}$ is homeomorphic to ${\mathbb R}^4$ (see for instance here), hence, $d(X\times {\mathbb R})=4$.

The same example works in the smooth category.


Update. It appears that you are now interested in proper ${\mathbb Z}^n$-actions. The answer in this setting is the same. You similarly define the invariant $c(X)$, detecting the highest rank of a discrete free abelian group acting properly on $X$. Then, let $X$ again be the Whitehead manifold. It turns out that $c(X)=0$. This is a nontrivial result of Bob Myers:

Myers, Robert, Contractible open 3-manifolds which are not covering spaces, Topology 27, No. 1, 27-35 (1988). ZBL0658.57007.

(One can also appeal to an older theorem of Waldhausen, but it only proves that $c(X)\le 2$, which suffices for our purposes but is suboptimal.)

At the same time, $c(X\times {\mathbb R})=4$, but $c(X) + c({\mathbb R})=1$.

added 633 characters in body
Source Link
Moishe Kohan
  • 12.3k
  • 1
  • 36
  • 58

First, let's formulate the question properly:

Given a topological space $X$, define be $$ d(X):=\sup \{ n: X~ \hbox{is homeomorphic to} ~Y\times {\mathbb R}^n\}. $$

Then, working in the topological category, you are asking if thereLemma. The following quantities are manifoldsequal when $X, Y$ such that$X$ is a manifold:

(1) $d(X\times Y)> d(X)+ d(Y)$.$d(X)$

(The question2) P(X):=$\max\{n: \exists ~ \hbox{a principal}~ {\mathbb R}^n\hbox{-bundle with the total space}~X\}$

(3) p(X):=$\max\{n: \exists ~ \hbox{a proper}~ {\mathbb R}^n\hbox{-action on }~X\}$, where ${\mathbb R}^n$ is equivalent to yours since everyequipped with the standard topology.

Proof. A principal ${\mathbb R^n}$-bundle with the total space $X$ is the same thing as a proper ${\mathbb R^n}$-action on $X$; at. At the same time, each principal ${\mathbb R^n}$-bundle with the total space $X$ is trivial.) qed.

Remark. One can avoid using this lemma in order to justify the example below, just I find the definition $d(X)$ cleaner.

Thus, working in the topological category, you are asking if there are manifolds $X, Y$ such that $d(X\times Y)> d(X)+ d(Y)$.

Now, here is an example: Let $X$ be the Whitehead manifold (or any other contractible 3-manifold not homeomorphic to ${\mathbb R}^3$). Then $d(X)=0$. (This is not entirely trivial, but for the purpose of a counter-example we just need to know that $p(X)<3$ which is obvious since $X$ is not homeomorphic to ${\mathbb R}^3$.) On the other hand, $X\times {\mathbb R}$ is homeomorphic to ${\mathbb R}^4$ (see for instance here), hence, $d(X\times {\mathbb R})=4$.

The same example works in the smooth category.

First, let's formulate the question properly:

Given a topological space $X$, define be $$ d(X):=\sup \{ n: X~ \hbox{is homeomorphic to} ~Y\times {\mathbb R}^n\}. $$

Then, working in the topological category, you are asking if there are manifolds $X, Y$ such that $d(X\times Y)> d(X)+ d(Y)$.

(The question is equivalent to yours since every principal ${\mathbb R^n}$-bundle with the total space $X$ is the same thing as a proper ${\mathbb R^n}$-action on $X$; at the same time, each principal ${\mathbb R^n}$-bundle is trivial.)

Now, here is an example: Let $X$ be the Whitehead manifold (or any other contractible 3-manifold not homeomorphic to ${\mathbb R}^3$). Then $d(X)=0$. On the other hand, $X\times {\mathbb R}$ is homeomorphic to ${\mathbb R}^4$ (see for instance here), hence, $d(X\times {\mathbb R})=4$.

The same example works in the smooth category.

First, let's formulate the question properly:

Given a topological space $X$, define be $$ d(X):=\sup \{ n: X~ \hbox{is homeomorphic to} ~Y\times {\mathbb R}^n\}. $$

Lemma. The following quantities are equal when $X$ is a manifold:

(1) $d(X)$

(2) P(X):=$\max\{n: \exists ~ \hbox{a principal}~ {\mathbb R}^n\hbox{-bundle with the total space}~X\}$

(3) p(X):=$\max\{n: \exists ~ \hbox{a proper}~ {\mathbb R}^n\hbox{-action on }~X\}$, where ${\mathbb R}^n$ is equipped with the standard topology.

Proof. A principal ${\mathbb R^n}$-bundle with the total space $X$ is the same thing as a proper ${\mathbb R^n}$-action on $X$. At the same time, each principal ${\mathbb R^n}$-bundle with the total space $X$ is trivial. qed.

Remark. One can avoid using this lemma in order to justify the example below, just I find the definition $d(X)$ cleaner.

Thus, working in the topological category, you are asking if there are manifolds $X, Y$ such that $d(X\times Y)> d(X)+ d(Y)$.

Now, here is an example: Let $X$ be the Whitehead manifold (or any other contractible 3-manifold not homeomorphic to ${\mathbb R}^3$). Then $d(X)=0$. (This is not entirely trivial, but for the purpose of a counter-example we just need to know that $p(X)<3$ which is obvious since $X$ is not homeomorphic to ${\mathbb R}^3$.) On the other hand, $X\times {\mathbb R}$ is homeomorphic to ${\mathbb R}^4$ (see for instance here), hence, $d(X\times {\mathbb R})=4$.

The same example works in the smooth category.

deleted 9 characters in body
Source Link
Moishe Kohan
  • 12.3k
  • 1
  • 36
  • 58

First, let's formulate the question properly:

Given a topological space $X$, define $d(X)$ to be the supremum of numbers $n$ such that $X$ is homeomorphic to $Y\times {\mathbb R}^n$. be $$ d(X):=\sup \{ n: X~ \hbox{is homeomorphic to} ~Y\times {\mathbb R}^n\}. $$

Then, working in the topological category, you are asking if there are manifolds $X, Y$ such that $d(X\times Y)> d(X)+ d(Y)$.

(The question is equivalent to yours since every principal ${\mathbb R^n}$-bundle with the total space $X$ is the same thing as a proper ${\mathbb R^n}$-action on $X$; at the same time, each principal ${\mathbb R^n}$-bundle is trivial.)

Now, here is an example: Let $X$ be the Whitehead manifold (or any other contractible 3-manifold not homeomorphic to ${\mathbb R}^3$). Then $d(X)=0$. On the other hand, $X\times {\mathbb R}$ is homeomorphic to ${\mathbb R}^4$ (see for instance here), hence, $d(X\times {\mathbb R})=4$.

The same example works in the smooth category.

First, let's formulate the question properly:

Given a topological space $X$, define $d(X)$ to be the supremum of numbers $n$ such that $X$ is homeomorphic to $Y\times {\mathbb R}^n$.

Then, working in the topological category, you are asking if there are manifolds $X, Y$ such that $d(X\times Y)> d(X)+ d(Y)$.

(The question is equivalent to yours since every principal ${\mathbb R^n}$-bundle with the total space $X$ is the same thing as a proper ${\mathbb R^n}$-action on $X$; at the same time, each principal ${\mathbb R^n}$-bundle is trivial.)

Now, here is an example: Let $X$ be the Whitehead manifold (or any other contractible 3-manifold not homeomorphic to ${\mathbb R}^3$). Then $d(X)=0$. On the other hand, $X\times {\mathbb R}$ is homeomorphic to ${\mathbb R}^4$ (see for instance here), hence, $d(X\times {\mathbb R})=4$.

The same example works in the smooth category.

First, let's formulate the question properly:

Given a topological space $X$, define be $$ d(X):=\sup \{ n: X~ \hbox{is homeomorphic to} ~Y\times {\mathbb R}^n\}. $$

Then, working in the topological category, you are asking if there are manifolds $X, Y$ such that $d(X\times Y)> d(X)+ d(Y)$.

(The question is equivalent to yours since every principal ${\mathbb R^n}$-bundle with the total space $X$ is the same thing as a proper ${\mathbb R^n}$-action on $X$; at the same time, each principal ${\mathbb R^n}$-bundle is trivial.)

Now, here is an example: Let $X$ be the Whitehead manifold (or any other contractible 3-manifold not homeomorphic to ${\mathbb R}^3$). Then $d(X)=0$. On the other hand, $X\times {\mathbb R}$ is homeomorphic to ${\mathbb R}^4$ (see for instance here), hence, $d(X\times {\mathbb R})=4$.

The same example works in the smooth category.

deleted 6 characters in body
Source Link
Moishe Kohan
  • 12.3k
  • 1
  • 36
  • 58
Loading
Source Link
Moishe Kohan
  • 12.3k
  • 1
  • 36
  • 58
Loading