Scissors congruences and the bar and cobar constructions.
type: Item
instance of: scholarly article
title: Scissors congruences and the bar and cobar constructions.
zbMATH Open document ID: 1037.52012
DOI: 10.1016/S0022-4049(02)00333-X
author: Jean-Louis Cathelineau
published in: Journal of Pure and Applied Algebra
publication date: 2003-06-18T00:00:00Z
review text: In this article, the cohomology of Dehn complexes, as considered by \textit{A. Goncharov} [J. Am. Math. Soc. 12, No. 2, 569--618 (1999; Zbl 0919.11080)], is related to the homology of isometry groups, considered as discrete groups, for the three classical geometries and in odd dimensions. The machinery developed is based on the interpretation of a Hopf algebra of spherical polytopes in terms of shuffle algebras. Certain bar and cobar constructions play a fundamental role. By extending a result of J. Dupont for \(m=2\), the author proves, among other things, that the cohomology of the Dehn complex \({\mathcal D}(m)\), in degrees \(m\) and \(m-1\), is given by \[ \begin{aligned} H^m({\mathcal D}(m))&\cong H_m(O(2m,{\mathbb R}),{\mathbb Q}^t);\\ H^{m-1}({\mathcal D}(m)) &\cong H_{m+1}(O(2m,{\mathbb R}),{\mathbb Q}^t), \end{aligned} \] where \(\,H_{*}(O(n,{\mathbb R}),{\mathbb Q}^t)\,\) denotes the homology of the orthogonal group \(O(n,{\mathbb R})\), considered as discrete group, acting on \({\mathbb Q}\) by the determinant. This yields the known cohomology of the Dehn complex of \(S^3\). A related result is that the natural map \[ \bigotimes\limits^m H_{1}(O(2,{\mathbb R}),{\mathbb Q}^t) \rightarrow H_{m}(O(2m,{\mathbb R}),{\mathbb Q}^t) \] is surjective. These two results show up some analogy with the appearance of Milnor K-Theory in motivic cohomology. The author provides also a description of \(H^1({\mathcal D}(3))\) as a quotient of the homology group \(\,H_5(O(6,{\mathbb R}),{\mathbb Q}^t)\). This reduces Hilbert's third problem for \(S^5\), up to torsion, to the study of the homology of \(O(6,{\mathbb R})\), considered as discrete group. At the end, counterparts of these results in hyperbolic and euclidean geometry are presented.
reviewed by: Ruth Kellerhals
Mathematics Subject Classification ID: 52B45
Mathematics Subject Classification ID: 18G35
Mathematics Subject Classification ID: 20J05
zbMATH DE Number: 1930180
zbMATH Keywords: cohomology of Dehn complexes
zbMATH Keywords: homology of isometry groups
zbMATH Keywords: spherical polytopes
MaRDI profile type: Publication
cites work: Q3708977
cites work: Algebra of polytopes and homology of flag complexes
cites work: Scissors congruences, group homology and characteristic classes
cites work: Homology and fibrations I: Coalgebras, cotensor product and its derived functors
cites work: Adams' Cobar Equivalence
cites work: Volumes of hyperbolic manifolds and mixed Tate motives
cites work: Differential homological algebra and homogeneous spaces
cites work: Massey Higher Products
cites work: Opérations sur l'homologie cyclique des algèbres commutatives. (Operations on the cyclic homology of commutative algebras)
cites work: Q5288307
cites work: Q5343374
cites work: Q3697897
cites work: On the structure of Hopf algebras
cites work: Q5723649
cites work: Q4103724
cites work: The Eilenberg-Moore spectral sequence and strongly homotopy multiplicative maps
cites work: Q3134850
cites work: On the hochschild homology decompositions
cites work: Q4192613
cites work: Homology of classical Lie groups made discrete. III
cites work: \(K_ 3\) of a field and the Bloch group
cites work: Homotopie rationelle: modèles de Chen, Quillen, Sullivan
cites work: Décompositions de l'homologie cyclique des algèbres différentielles graduées commutatives. (Decompositions of cyclic homology of commutative differential graded algebras)
cites work: Q4296949
description: scientific article; zbMATH DE number 1930180