Rigidity and crystallographic groups. I (Q583667): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Rigidity results in topology originated from the work of L. Bieberbach [see \textit{L. S. Charlap}: Bieberbach groups and flat manifolds (1986; Zbl 0608.53001) for a transparent exposition of related results]. A related conjecture, due to A. Borel, asserts that any two isomorphic, torsion free, properly discontinuous, co-compact subgroups of \(Homeo({\mathbb{R}}^ n)\) must be conjugate. This conjecture has been verified in a number of special cases [see, e.g., \textit{F. T. Farrel} and \textit{W. C. Hsiang}, Am. J. Math. 105, 641-672 (1983; Zbl 0521.57018), and \textit{F. T. Farrell} and \textit{L. E. Jones}, Invent. Math. 91, 559-586 (1988; Zbl 0657.57015); cf. \textit{W. C. Hsiang} and \textit{J. L. Shaneson}, Topology of Manifolds, Proc. Univ. Georgia 1969, 18-51 (1971; Zbl 0288.57006)]. In all cases, the proofs use the ``h-cobordism rigidity'' result stating that the Whitehead group Wh(\(\Gamma)\) vanishes for a torsion free group \(\Gamma\). The main theorem of the paper under review provides a new kind of ``h- cobordism rigidity'' result to the effect that the Tate cohomology \(\hat H^*({\mathbb{Z}}/2{\mathbb{Z}};Wh_ G^{top,\rho}(M_{\Gamma}))\) vanishes, where \(Wh_ G^{top,\rho}(M_{\Gamma})\) is the Whitehead group of G-h- cobordisms of the flat torus \(M_{\Gamma}\) of a crystallographic group \(\Gamma\) with holonomy group G. In order to define the Tate cohomology, the authors consider a function \[ Wh_ G^{top,\rho}(M_{\Gamma})\to Wh_ G^{top,\rho}(M_{\Gamma}) \] and using \textit{F. Conolly} and \textit{W. Lück}'s ``The involution on the equivariant Whitehead group'' [K- Theory 3, No.2, 123-140 (1989)], they show that it is a group homomorphism and an involution. The authors observe that the main theorem implies that any crystallographic manifold, with odd order holonomy, which is h-cobordant and simple homotopy equivalent to the standard one is actually homeomorphic to it. They also announce that in the second part of their work [Rigidity and crystallographic groups. II (to appear)], they show that one can remove the word ``h-cobordant'' from the previous sentence. A generalized (somewhat vague) version of the Borel conjecture is due to \textit{F. Quinn} [Proc. Int. Congr. Math., Berkeley/Calif. 1986, Vol. 1, 598-606 (1987; Zbl 0673.57017)]. The authors propose a sharpened form of the Borel-Quinn conjecture, and they prove it in a special case. | |||
Property / review text: Rigidity results in topology originated from the work of L. Bieberbach [see \textit{L. S. Charlap}: Bieberbach groups and flat manifolds (1986; Zbl 0608.53001) for a transparent exposition of related results]. A related conjecture, due to A. Borel, asserts that any two isomorphic, torsion free, properly discontinuous, co-compact subgroups of \(Homeo({\mathbb{R}}^ n)\) must be conjugate. This conjecture has been verified in a number of special cases [see, e.g., \textit{F. T. Farrel} and \textit{W. C. Hsiang}, Am. J. Math. 105, 641-672 (1983; Zbl 0521.57018), and \textit{F. T. Farrell} and \textit{L. E. Jones}, Invent. Math. 91, 559-586 (1988; Zbl 0657.57015); cf. \textit{W. C. Hsiang} and \textit{J. L. Shaneson}, Topology of Manifolds, Proc. Univ. Georgia 1969, 18-51 (1971; Zbl 0288.57006)]. In all cases, the proofs use the ``h-cobordism rigidity'' result stating that the Whitehead group Wh(\(\Gamma)\) vanishes for a torsion free group \(\Gamma\). The main theorem of the paper under review provides a new kind of ``h- cobordism rigidity'' result to the effect that the Tate cohomology \(\hat H^*({\mathbb{Z}}/2{\mathbb{Z}};Wh_ G^{top,\rho}(M_{\Gamma}))\) vanishes, where \(Wh_ G^{top,\rho}(M_{\Gamma})\) is the Whitehead group of G-h- cobordisms of the flat torus \(M_{\Gamma}\) of a crystallographic group \(\Gamma\) with holonomy group G. In order to define the Tate cohomology, the authors consider a function \[ Wh_ G^{top,\rho}(M_{\Gamma})\to Wh_ G^{top,\rho}(M_{\Gamma}) \] and using \textit{F. Conolly} and \textit{W. Lück}'s ``The involution on the equivariant Whitehead group'' [K- Theory 3, No.2, 123-140 (1989)], they show that it is a group homomorphism and an involution. The authors observe that the main theorem implies that any crystallographic manifold, with odd order holonomy, which is h-cobordant and simple homotopy equivalent to the standard one is actually homeomorphic to it. They also announce that in the second part of their work [Rigidity and crystallographic groups. II (to appear)], they show that one can remove the word ``h-cobordant'' from the previous sentence. A generalized (somewhat vague) version of the Borel conjecture is due to \textit{F. Quinn} [Proc. Int. Congr. Math., Berkeley/Calif. 1986, Vol. 1, 598-606 (1987; Zbl 0673.57017)]. The authors propose a sharpened form of the Borel-Quinn conjecture, and they prove it in a special case. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Krzysztof Pawałowski / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57S30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57R85 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55N22 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57R80 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57Q10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57R19 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 4133136 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
torsion free, properly discontinuous, co-compact subgroups of \(Homeo({\mathbb{R}}^ n)\) | |||
Property / zbMATH Keywords: torsion free, properly discontinuous, co-compact subgroups of \(Homeo({\mathbb{R}}^ n)\) / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
h-cobordism rigidity | |||
Property / zbMATH Keywords: h-cobordism rigidity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Whitehead group | |||
Property / zbMATH Keywords: Whitehead group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Tate cohomology | |||
Property / zbMATH Keywords: Tate cohomology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Whitehead group of G-h-cobordisms of the flat torus | |||
Property / zbMATH Keywords: Whitehead group of G-h-cobordisms of the flat torus / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
crystallographic group | |||
Property / zbMATH Keywords: crystallographic group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
holonomy group | |||
Property / zbMATH Keywords: holonomy group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
equivariant Whitehead group | |||
Property / zbMATH Keywords: equivariant Whitehead group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
crystallographic manifold | |||
Property / zbMATH Keywords: crystallographic manifold / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Borel-Quinn conjecture | |||
Property / zbMATH Keywords: Borel-Quinn conjecture / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5562621 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Whitehead group of a polynomial extension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivariant cohomology theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lower k-theory of finite groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Controlled simple homotopy theory and applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5676841 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness properties of classifying spaces of proper \(\Gamma\)-actions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3803845 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Induction and structure theorems for orthogonal representations of finite groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Expanding endomorphisms of flat manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5653385 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rational L-groups of Bieberbach groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The topological-Euclidean space form problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological Characterization of Flat and Almost Flat Riemannian Manifolds M n (n � 3, 4) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Whitehead Group of Poly-(Finite or Cyclic) Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The surgery L-groups of poly-(finite or cyclic) groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: K-theory and dynamics. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compact negatively curved manifolds (of dim [unk] 3,4) are topologically rigid / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4057814 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Whitehead torsion / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ends of Maps. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3827248 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopically Stratified Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3862116 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Wall's surgery obstruction groups for GxZ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The equivariant topological s-cobordism theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivariant ℎ-cobordisms and finiteness obstructions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Approximation by Equivariant Homeomorphisms. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5624419 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2012703305 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 08:55, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Rigidity and crystallographic groups. I |
scientific article |
Statements
Rigidity and crystallographic groups. I (English)
0 references
1990
0 references
Rigidity results in topology originated from the work of L. Bieberbach [see \textit{L. S. Charlap}: Bieberbach groups and flat manifolds (1986; Zbl 0608.53001) for a transparent exposition of related results]. A related conjecture, due to A. Borel, asserts that any two isomorphic, torsion free, properly discontinuous, co-compact subgroups of \(Homeo({\mathbb{R}}^ n)\) must be conjugate. This conjecture has been verified in a number of special cases [see, e.g., \textit{F. T. Farrel} and \textit{W. C. Hsiang}, Am. J. Math. 105, 641-672 (1983; Zbl 0521.57018), and \textit{F. T. Farrell} and \textit{L. E. Jones}, Invent. Math. 91, 559-586 (1988; Zbl 0657.57015); cf. \textit{W. C. Hsiang} and \textit{J. L. Shaneson}, Topology of Manifolds, Proc. Univ. Georgia 1969, 18-51 (1971; Zbl 0288.57006)]. In all cases, the proofs use the ``h-cobordism rigidity'' result stating that the Whitehead group Wh(\(\Gamma)\) vanishes for a torsion free group \(\Gamma\). The main theorem of the paper under review provides a new kind of ``h- cobordism rigidity'' result to the effect that the Tate cohomology \(\hat H^*({\mathbb{Z}}/2{\mathbb{Z}};Wh_ G^{top,\rho}(M_{\Gamma}))\) vanishes, where \(Wh_ G^{top,\rho}(M_{\Gamma})\) is the Whitehead group of G-h- cobordisms of the flat torus \(M_{\Gamma}\) of a crystallographic group \(\Gamma\) with holonomy group G. In order to define the Tate cohomology, the authors consider a function \[ Wh_ G^{top,\rho}(M_{\Gamma})\to Wh_ G^{top,\rho}(M_{\Gamma}) \] and using \textit{F. Conolly} and \textit{W. Lück}'s ``The involution on the equivariant Whitehead group'' [K- Theory 3, No.2, 123-140 (1989)], they show that it is a group homomorphism and an involution. The authors observe that the main theorem implies that any crystallographic manifold, with odd order holonomy, which is h-cobordant and simple homotopy equivalent to the standard one is actually homeomorphic to it. They also announce that in the second part of their work [Rigidity and crystallographic groups. II (to appear)], they show that one can remove the word ``h-cobordant'' from the previous sentence. A generalized (somewhat vague) version of the Borel conjecture is due to \textit{F. Quinn} [Proc. Int. Congr. Math., Berkeley/Calif. 1986, Vol. 1, 598-606 (1987; Zbl 0673.57017)]. The authors propose a sharpened form of the Borel-Quinn conjecture, and they prove it in a special case.
0 references
torsion free, properly discontinuous, co-compact subgroups of \(Homeo({\mathbb{R}}^ n)\)
0 references
h-cobordism rigidity
0 references
Whitehead group
0 references
Tate cohomology
0 references
Whitehead group of G-h-cobordisms of the flat torus
0 references
crystallographic group
0 references
holonomy group
0 references
equivariant Whitehead group
0 references
crystallographic manifold
0 references
Borel-Quinn conjecture
0 references
0 references