Dehn invariant sufficiency conjecture for hyperbolic and spherical 3-space

At least 28 years old · documented by

Let P⁡(X)\operatorname{\mathcal P}(\mathbb X) be the scissors congruence group of polytopes in a 3-dimensional geometry X\mathbb X, and let

D⁡(X):=Ker⁡(δ ⁣:P⁡(X)→R⊗R/πQ)\operatorname{\mathcal D}(\mathbb X):=\operatorname{Ker}\bigl(\delta\colon\operatorname{\mathcal P}(\mathbb X)\to\mathbb R\otimes\mathbb R/\pi\mathbb Q\bigr)

be the kernel of the Dehn invariant. Dehn invariant sufficiency conjecture. The volume maps

vol⁡ ⁣:D⁡(H3)→R\operatorname{vol}\colon\operatorname{\mathcal D}(\mathbb H^3)\to\mathbb R

and

vol⁡ ⁣:D⁡(S3)→R\operatorname{vol}\colon\operatorname{\mathcal D}(\mathbb S^3)\to\mathbb R

are injective. This is known in Euclidean 3-space by Sydler's theorem, while the corresponding hyperbolic and spherical cases remain open; the conjecture would imply that both Dehn-invariant kernels are countable.

References

Primary source

Walter D. Neumann, “Hilbert's 3rd Problem and invariants of 3-manifolds”, arXiv:math/9712226 (1998).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.