nLab
scissors congruence

Contents

Idea

Two polygons in the Eucledean plane P,PP,P' have the same area? iff they are scissors congruent in the sense that they can be subdivided into finitely many pieces such that each piece of PP is congruent to exactly one piece of PP'.

Hilbert’s third problem (see Hilbert's problems) was if the analogue of this elementary fact holds for polyhedra in 3-dimensional space. Dehn solved this problem in terms of Dehn’s invariant which, in a modern language, assigns to a polyhedron PP an element in R ZR/Z\mathbf{R}\otimes_{\mathbf{Z}} \mathbf{R}/\mathbf{Z}. If both the Dehn’s invariant and volume of two (3-dimensional finite) polyhedra in Eucledean space are equal then they are scissors congruent.

The generalized Hilbert’s third problem is asking for two finite nn-polytopes in Eucledean, spherical or hyperbolic nn-space are scissors equivalent in terms of computable invariants.

The scissors congruence group 𝒫(X,G)\mathcal{P}(X,G) where GG is a subgroup of the group of isometries of XX, is the free abelian group on symbols [P][P], for all polytopes in XX modulo the relations

(i) [P][P][P][P]-[P']-[P''] when P=PPP = P'\coprod P'',

(ii) [gP][P][gP]-[P].

In the book

Dupont explains the relations of dilogarithms, Reidemeister torsion, Dehn invariant (which is from 1900) and their role in understanding the 19th century scissors congruence…The subject is very active now. After physicist Anatole Kirillov found the quantum dilogarithm and L. D. Fadeeev and Kashaev published a paper about it (and discovered the pentagon relation), this became an important topic in quantization (Fadeev’s modular double, quantization of Teichmuller spaces, work of A. Fock, L. Takhdajan, Aldrovandi etc.) of hyperbolic spaces and generally the hyperbolic geometry and with relations, together with classical dilogarithm to many other subjects (e.g. to the work of Reznikov and theory or regulators, specially Borel regulator in higher algebraic K-theory, important for study of motives (Goncharov et al.) and, as W. Nahm shown, also relevant for understanding some phenomena in CFT).

References

  • C. H. Sah, Hilbert’s third problem: scissors congruence, Research Notes in Mathematics 33, Pitman 1979.
  • Inna Zakharevich, Scissors congruence as K-theory, arxiv/1101.3833
  • wikipedia Hilbert's third problem
  • J.-P. Sydler, Conditions nécessaires et suffisantes pour l’équivalence des polyèdres de l’espace euclidean à trois dimensions, Comment. Math. Helv. 40, 43-80, 1965.

Revised on July 17, 2013 04:07:47 by Urs Schreiber (82.169.65.155)