×

Cartesian powers of 3-manifolds. (English) Zbl 1105.57018

In a previous paper [Topology 41, 321–340 (2002; Zbl 0991.57020)], the authors showed that two 3-dimensional lens spaces \(L\) and \(L^{\prime }\) with isomorphic fundamental groups have diffeomorphic Cartesian squares; i.e., one has \( L\times L\sim L^{\prime }\times L^{\prime }.\) It should be noted that \(L\) and \(L^{\prime }\) do not even have to be homotopy equivalent. The question on the existence of spaces with this property was originally formulated by S. Ulam in 1933, and as indicated by the authors [op. cit.], lens spaces are the lowest dimensional compact examples that one can produce. It is natural to ask what other sorts of 3-dimensional examples of this sort exist.
Examples of noncompact (open) 3-manifolds \(W^{3}\) such that \(W^{3}\nsim \mathbb{R}^{3},\) but \(W^{3}\times W^{3}=\mathbb{R}^{6}\) have been known for some time [cf. J. Glimm, Bull. Soc. Math. Fr. 88, 131–135 (1960; Zbl 0094.36101); K. W. Kwun, Ann. Math. 79, 104–108 (1964; Zbl 0119.38602) or D. R. McMillan Jr., Bull. Am. Math. Soc. 67, 510–514 (1961; Zbl 0116.40802)]; one such example is the Whitehead 3-manifold that is contractible but not simply connected at infinity [J. H. C. Whitehead, Quart. J. Math. 6, 268–279 (1935; JFM 61.0607.01)]. These suggest that one should concentrate on the existence of compact 3-manifolds \(A,B\) such that \(A\times A\) is homeomorphic to \( B\times B\) but \(A\) is not homeomorphic to \(B.\)
The purpose of the present paper is to show that no examples of this sort exist in a large class of basic 3-manifolds whose fundamental groups are either infinite or finite but noncyclic. A topological pair \(X,Y\) is called exponentially stable if \( \prod^{n}\) \(X\approx \prod^{n}\) \(Y\) (here \(\approx \) stands for homeomorphic).
The authors prove the following main results. Theorem 2. Let \(M\) and \(N\) be lens spaces with isomorphic fundamental groups. Then the pair \(M,\) \(N\) is NOT exponentially stable if and only if \(M\) and \(N\) are homotopy equivalent but nonhomeomorphic lens spaces.
Theorem 3. Let \(M\) and \(N\) be closed, connected, oriented, and connected sums of geometric 3-manifolds such that \(H^1(M;\mathbb{Z})=H^1(N;\mathbb{Z})=0\) and one of \(M,N\) has no lens spaces in its prime decomposition. Then \(\prod^{n} M\approx \prod^{n} N\) for some \(n\geq 2\) if and only if \(M\approx N\) (here the term of geometric manifold is in the sense of W. Thurston [Bull. Am. Math. Soc., New Ser. 6, 357–379 (1982; Zbl 0496.57005)]).
In particular, the authors deduce that (1) two closed, connected, oriented, irreductible, geometric 3-manifolds with vanishing first Betti number are exponentially stable if and only if they are not both lens spaces with isomorphic fundamental groups, (2) two irreducible Seifert manifolds with vanishing first Betti number are exponentially stable if and only if they are not both lens spaces with isomorphic fundamental groups, and (3) two manifolds satisfying the condition of Theorem 3 are exponentially stable.
Reviewer: Ioan Pop (Iaşi)

MSC:

57N10 Topology of general \(3\)-manifolds (MSC2010)
57N15 Topology of the Euclidean \(n\)-space, \(n\)-manifolds (\(4 \leq n \leq \infty\)) (MSC2010)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] (Borel, A., Seminar on Transformation Groups. Seminar on Transformation Groups, Ann. of Math. Stud., vol. 46 (1960), Princeton University. Press: Princeton University. Press Princeton, NJ) · Zbl 0091.37202
[2] Bredon, G., Introduction to Compact Transformation Groups, Pure and Applied Mathematics, vol. 46 (1972), Academic Press: Academic Press New York · Zbl 0246.57017
[3] Browder, W., Surgery on Simply-Connected Manifolds, Ergeb. Math. N.S., vol. 65 (1972), Springer: Springer Berlin · Zbl 0239.57016
[4] Casson, A.; Jungreis, D., Convergence groups and Seifert fibered 3-manifolds, Invent. Math., 118, 441-456 (1994) · Zbl 0840.57005
[5] Cohen, M., A Course in Simple Homotopy Theory, Graduate Texts in Math., vol. 10 (1973), Springer: Springer New York · Zbl 0261.57009
[6] Evans, B.; Moser, L., Solvable fundamental groups of compact 3-manifolds, Trans. Amer. Math. Soc., 168, 189-210 (1972) · Zbl 0241.57002
[7] Gabai, D.; Meyerhoff, R.; Thurston, N., Homotopy hyperbolic 3-manifolds are hyperbolic, Ann. of Math., 157, 335-431 (2003) · Zbl 1052.57019
[8] Glimm, J., Two Cartesian products which are Euclidean spaces, Bull. Soc. Math. France, 88, 131-135 (1960) · Zbl 0094.36101
[9] Gromov, M., Volume and bounded cohomology, Inst. Hautes Études Sci. Publ. Math., 56, 213-307 (1983)
[10] Hall, M., The Theory of Groups (1959), Macmillan: Macmillan New York
[11] Hausmann, J.-C., Fundamental group problems related to Poincaré duality, (Current Trends in Algebraic Topology, vol. 2 (1982), Canadian Math. Soc.), 327-336 · Zbl 0583.55004
[12] Hempel, J., 3-Manifolds, Ann. of Math. Stud., vol. 86 (1976), Princeton University Press: Princeton University Press Princeton, NJ · Zbl 0345.57001
[13] Hempel, J., Residual finiteness for 3-manifolds, (Gersten, S. M.; Stallings, J. R., Combinatorial Group Theory and Topology. Combinatorial Group Theory and Topology, Ann. of Math. Stud. (1987), Princeton University Press: Princeton University Press Princeton, NJ), 379-396 · Zbl 0772.57002
[14] Hendriks, H.; Laudenbach, F., Scindement d’une équivalence d’homotopie en dimension 3, Ann. Sci. École Norm. Sup. (4), 7, 203-217 (1974) · Zbl 0303.57003
[15] Hilton, P.; Stammbach, U., A Course in Homological Algebra, Graduate Texts in Math., vol. 4 (1971), Springer: Springer New York · Zbl 0238.18006
[16] Johannson, K., Homotopy Equivalences of 3-Manifolds with Boundary, Lecture Notes in Math., vol. 761 (1979), Springer: Springer New York · Zbl 0412.57007
[17] Jaco, W.; Shalen, P., Seifert Fibered Spaces in 3-Manifolds, Mem. Amer. Math. Soc., 220 (1979) · Zbl 0471.57001
[18] Kwun, K. W., Products of Euclidean spaces modulo an arc, Ann. of Math., 79, 104-108 (1964) · Zbl 0119.38602
[19] Kwasik, S.; Schultz, R., Vanishing of Whitehead torsion in dimension four, Topology, 31, 735-756 (1992) · Zbl 0771.57011
[20] Kwasik, S.; Schultz, R., All \(Z_q\) lens spaces have diffeomorphic squares, Topology, 41, 321-340 (2002) · Zbl 0991.57020
[21] Lee, K. B.; Raymond, F., Seifert manifolds, (Handbook of Geometric Topology (2002), North-Holland: North-Holland Amsterdam), 635-705 · Zbl 1003.57002
[22] McMillan, D. R., Cartesian products of contractible open manifolds, Bull. Amer. Math. Soc., 67, 510-514 (1961) · Zbl 0116.40802
[23] Milnor, J. W., Singular Points of Complex Hypersurfaces, Ann. of Math. Stud., vol. 61 (1968), Princeton University Press: Princeton University Press Princeton, NJ · Zbl 0184.48405
[24] Mostow, G. D., Quasi-conformal mappings in \(n\)-space and the rigidity of hyperbolic space forms, Inst. Hautes Études Sci. Publ. Math., 34, 53-104 (1968) · Zbl 0189.09402
[25] Mostow, G. D., Strong Rigidity of Locally Symmetric Spaces, Ann. of Math. Stud., vol. 78 (1973), Princeton University Press: Princeton University Press Princeton, NJ · Zbl 0265.53039
[26] Orlik, P., Seifert Manifolds, Lecture Notes in Math., vol. 291 (1972), Springer: Springer New York · Zbl 0263.57001
[27] Schultz, R., Smooth structures on \(S^p \times S^q\), Ann. of Math., 90, 187-198 (1969) · Zbl 0183.28201
[28] Scott, G. P., There is no fake Seifert fibre space with infinite \(\pi_1\), Ann. of Math., 117, 35-70 (1983) · Zbl 0516.57006
[29] Seifert, H.; Threlfall, W., Topologische Untersuchung der Diskontinuitäts-bereiche endlicher Bewegungsgruppen des dreidimensionalen sphärischen Raumes, Math. Ann., 107, 543-586 (1932) · JFM 58.1203.01
[30] Soma, T., A rigidity theorem for Haken manifolds, Math. Proc. Cambridge Philos. Soc., 118, 141-160 (1995) · Zbl 0852.57010
[31] Swarup, G. A., Projective planes in irreducible 3-manifolds, Math. Z., 132, 305-317 (1973) · Zbl 0249.57003
[32] Thurston, W., Three-dimensional manifolds, Kleinian groups and hyperbolic geometry, Bull. Amer. Math. Soc. (2), 6, 357-381 (1982) · Zbl 0496.57005
[33] Ulam, S., Problem 56, Fund. Math., 20, 285 (1933)
[34] Waldhausen, F., On irreducible 3-manifolds which are sufficiently large, Ann. of Math., 87, 1968, 56-88 (1982) · Zbl 0157.30603
[35] Wall, C. T.C., Surgery on Compact Manifolds, Mathematical Surveys and Monographs, vol. 69 (1999), American Mathematical Society: American Mathematical Society Providence, PI, Edited and with a foreword by A.A. Ranicki · Zbl 0935.57003
[36] Wang, S. C., The \(\pi_1\)-injectivity of self-maps of nonzero degree on 3-manifolds, Math. Ann., 297, 171-189 (1993) · Zbl 0793.57008
[37] Whitehead, J. H.C., A certain open manifold whose group is unity, Quart. J. Math. (2), 6, 268-279 (1935) · Zbl 0013.08103
[38] Zieschang, H.; Vogt, E.; Coldewey, H.-D., Surfaces on Planar Discontinuous Groups, Lecture Notes in Math., vol. 835 (1980), Springer: Springer New York
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.