When factors may be cancelled in homeomorphic products? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T01:21:08Z http://mathoverflow.net/feeds/question/26385 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/26385/when-factors-may-be-cancelled-in-homeomorphic-products When factors may be cancelled in homeomorphic products? Fedor Petrov 2010-05-29T21:26:09Z 2013-02-09T08:11:00Z <p>It is easy to see that if $A\times B$ is homeomorphic to $A\times C$ for topological spaces $A$, $B$, $C$, then one may not conclude that $B$ and $C$ are homeomorphic (for example, take $C=B^2$, $A=B^{\infty}$). The question is: for which $A$ such conclusion is true? I saw long ago a problem that for $A=[0,1]$ it is not true, but could not solve it, and do not know, where to ask. Hence am asking here. The same question in other categories (say, metric spaces instead topological) also seems to have some sense.</p> http://mathoverflow.net/questions/26385/when-factors-may-be-cancelled-in-homeomorphic-products/26404#26404 Answer by Sergei Ivanov for When factors may be cancelled in homeomorphic products? Sergei Ivanov 2010-05-30T00:30:59Z 2010-05-30T00:30:59Z <p>For $A=[0,1]$, let $B$ be the 2-torus with one hole and $C$ be the 2-disc with two holes.</p> <p>The products $B\times[0,1]$ and $C\times[0,1]$ can be realized in $\mathbb R^3$: the former as a thickening of the torus, the latter in a trivial way. Each of these products is a handlebody bounded by the pretzel surface (the sphere with two handles). It is easy to deform one to the other "by hand". </p> http://mathoverflow.net/questions/26385/when-factors-may-be-cancelled-in-homeomorphic-products/26410#26410 Answer by J. H. S. for When factors may be cancelled in homeomorphic products? J. H. S. 2010-05-30T02:33:12Z 2013-02-09T08:11:00Z <p>The question's been studied in the category of groups, too. R. Hirshon proved in [<strong>1</strong>] that finite groups can always be cancelled in direct products. </p> <p>Hirshon mentions some other sufficient conditions for the cancellation theorem to hold. For instance, he says that in the treatise by L. Fuchs there is a proof of the fact that infinite cyclic abelian groups can also be cancelled (provided that either $B$ or $C$ is a commutative group).</p> <p><strong>References</strong></p> <p>[<strong>1</strong>] R. Hirshon, <em>On Cancellation in Groups</em>, Amer. Math. Monthly. 76 (9) (1969), pp. 1037-1039.</p> http://mathoverflow.net/questions/26385/when-factors-may-be-cancelled-in-homeomorphic-products/26414#26414 Answer by Andreas Blass for When factors may be cancelled in homeomorphic products? Andreas Blass 2010-05-30T04:12:39Z 2010-05-30T04:12:39Z <p>In the category of topological spaces, you can't in general even cancel the two-point discrete space. The only counterexample I know is a bit complicated though: Start with the disjoint union of two copies of the Stone-Cech compactification $\beta N$ of a countably infinite discrete space N, and glue them together along their remainders (i.e., identify each point p in one copy with the corresponding point in the other copy, except that you don't do this identification when p is in N). The resulting space, which I'll call B to match the notation in the question, has the curious property that, if you add one more isolated point to B, you get a space C that is not homeomorphic to B, but if you add a second isolated point then the result is homeomorphic to B. (The part about adding two isolated points is easy; just apply the successor map on N and its continuous extension on $\beta N$ to everything in sight, to make room for the two extra points --- just as in Hilbert's hotel. The part about adding one point is not so easy. I believe it's done (in dual form) in Halmos's "Notes on Boolean Algebras.") Once you have these curious facts about B, it's easy to check that B and C, though not homeomorphic, become homeomorphic when multiplied by a 2-point discrete space; the one extra point in C becomes two points, which can be absorbed into one of the copies of B.</p> http://mathoverflow.net/questions/26385/when-factors-may-be-cancelled-in-homeomorphic-products/26460#26460 Answer by KP Hart for When factors may be cancelled in homeomorphic products? KP Hart 2010-05-30T15:02:27Z 2010-05-30T15:02:27Z <p>How about Bing's example: <a href="http://www.ams.org/journals/bull/1958-64-03/S0002-9904-1958-10160-3/home.html" rel="nofollow">The cartesian product of a certain nonmanifold and a line is $E^4$</a>. The other' factor is the dog-bone decomposition of three-space.</p> http://mathoverflow.net/questions/26385/when-factors-may-be-cancelled-in-homeomorphic-products/48658#48658 Answer by Sergey Melikhov for When factors may be cancelled in homeomorphic products? Sergey Melikhov 2010-12-08T18:09:08Z 2010-12-08T19:28:26Z <blockquote> <p>It is easy to see that if $A\times B$ is homeomorphic to $A\times C$ for topological spaces $A$, $B$, $C$, then one may not conclude that $B$ and $C$ are homeomorphic (for example, take $C=B^2$, $A=B^∞$). The question is: for which $A$ such conclusion is true? </p> </blockquote> <p>Witold Rosicki has a lot of results of this sort (usually under some conditions on $B$ and $C$). For instance,</p> <p><a href="http://matwbn.icm.edu.pl/ksiazki/cm/cm72/cm7217.pdf" rel="nofollow">On decomposition of polyhedra into a Cartesian product of 1-dimensional and 2-dimensional factors</a></p> <p><a href="http://dx.doi.org/10.1016/j.topol.2004.02.013%20" rel="nofollow">On uniqueness of decomposition of 4-polyhedron into Cartesian product of the 2-dimensional factors</a></p> <p><a href="http://dx.doi.org/10.1016/j.topol.2003.04.002" rel="nofollow">On uniqueness of Cartesian products of surfaces with boundary</a> (with J. Malešič, D. Repovš, A. Zastrow)</p> <p>There also exist papers of a different flavor on this subject</p> <p><a href="http://dx.doi.org/10.1016/S0040-9383%2800%2900039-2" rel="nofollow">All lens spaces have diffeomorphic squares</a> (S. Kwasik, R. Schultz)</p> <p><a href="http://dx.doi.org/10.1016/0040-9383%2878%2990014-9" rel="nofollow">Non-cancellation and a related phenomenon for the lens spaces</a> (A. J. Sieradski)</p> <p>As for nice examples, there exist manifolds $M$ such that $M\times I$ is homeomorphic a ball. For instance, Mazur's 4-manifold, as described by <a href="http://www.jstor.org/stable/info/1970274" rel="nofollow">Zeeman</a>:</p> <blockquote> <p>Start with $S^1\times I^3$. In the boundary $S^1\times S^2$, choose a knotted $S^1$ homologous to the first factor. Knotted means that $S^1$ is not isotopic to a 1-sphere $S^1\times y$, $y\in S^2$. Form $M^4$ from $S^1\times I^3$ by attaching a handle to $S^1$ (i.e., attach a disk to $S^1$ and then fatten the disk so that its fattened boundary is identified with some chosen tubular neighbourhood of $S^1$ in $S^1\times S^2$). Form the cube $I^4$ by the same process, only omitting the knotting. The knotting ensures that $M^4\not\cong I^4$. But one extra dimension permits unknotting $M^4\times I\cong I^4\times I$ (by just untwisting the handle).</p> </blockquote> <p>Zeeman also notes a parallel construction of Whitehead's example with surfaces $\times I$ (mentioned above by <a href="http://mathoverflow.net/questions/26385/when-factors-may-be-cancelled-in-homeomorphic-products/26404#26404" rel="nofollow">Sergei Ivanov</a>): Start with $S^0\times I^2$. In the boundary $S^0 \times S^1$, choose three linked $S^0$'s, each homologous to the first factor', etc.</p> <p>A really cool cancellation theorem is about joins of polyhedra, rather than products (<a href="http://dx.doi.org/10.1016/0040-9383%2870%2990014-5" rel="nofollow">H. Morton</a>):</p> <blockquote> <p>If $A*B\cong A*C$, then either $B\cong C$ or else $A\cong pt*A'$, $B\cong pt*X$ and $C\cong S^0*X$ for some polyhedra $A'$ and $X$.</p> </blockquote>