Dehn-Sydler-Jessen Via Homological Algebra

Anubhav Nanavaty

REVIEW 4 major objections 5 minor 10 references

Dehn-Sydler-Jessen Via Homological Algebra

T0 review · 4 major / 5 minor · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper gives a self-contained derivation of the Dehn–Sydler–Jessen theorem from group homology, ending in an exact sequence whose middle term is the Dehn invariant and whose cokernel is the Kähler differentials of $\mathbb{R}$.

desk verdict A useful and honest expository review of the Dupont–Sah proof, but the proof of the central bridge theorem has a genuine gap that needs fixing before it is self-contained. read the letter →

arxiv 2502.03380 v1 pith:UKQDFPIZ submitted 2025-02-05 math.AT

Anubhav Nanavaty This is my paper · ORCID

classification math.AT MSC 20J0652B1155N35

keywords scissorscongruenceDehninvariantDehn–Sydler–JessentheoremgrouphomologyTitscomplexpolytopemoduleKählerdifferentialsHilbert'sthirdproblem

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper aims to make the Dehn–Sydler–Jessen theorem, the scissors-congruence classification of three-dimensional Euclidean polytopes, accessible through group homology. It reframes the scissors congruence group $P(\mathbb{E}^n)$ as a zeroth group homology with the polytope module as coefficients, then works through the homological proof that produces the exact sequence linking prisms, the Dehn invariant, and Kähler differentials. The result is a step-by-step route from Hilbert's third problem to the theorem, including the computations that identify the cokernel of the Dehn invariant with $\Omega^1_{\mathbb{R}}$ and the kernel with the prism group. Because the paper is expository, its contribution is a connected proof path rather than a new theorem.

What carries the argument

The load-bearing object is the Tits complex $T(\mathbb{E}^n)$, the simplicial set of strict flags $U_0\supset\cdots\supset U_k$ of nonempty proper affine subspaces. Theorem 1.2 asserts an $\mathrm{Isom}(\mathbb{E}^n)$-equivariant isomorphism from its reduced homology to the polytope module $Pt(\mathbb{E}^n)$ in degree $n-1$, with all other reduced homology zero. This isomorphism is the bridge that converts scissors congruence into group homology, after which Shapiro's lemma, spectral sequences for the split extension $O(n)\ltimes T(n)$, and explicit low-degree $O(3)$- and $\mathrm{Pin}(4)$-homology computations carry the argument.

What would settle it

Compute $\tilde H_*(T(\mathbb{E}^3),\mathbb{Z})$ directly from the flag complex: Theorem 1.2 requires it to be $Pt(\mathbb{E}^3)$ in degree 2 and zero otherwise. A single nonzero class in another degree, or a failure of the class of a tetrahedron to match its polytope class, would break the bridge. Independently, a direct computation of $H_2(O(3),(\mathbb{E}^3)^t)$ that produced a nonzero group would refute Theorem 5.1 and therefore the exact sequence.

Watch

Extended reading notes

Core claim

The paper's central claim is that the Dehn–Sydler–Jessen theorem follows from the exact sequence $0 \to P(\mathbb{E}^2) \to P(\mathbb{E}^3) \xrightarrow{D} \mathbb{R}\otimes_{\mathbb{Z}}(\mathbb{R}/\mathbb{Z}) \xrightarrow{\varphi} \Omega^1_{\mathbb{R}} \to 0$, where the second map is prism inclusion, $D$ is the Dehn invariant, and $\varphi(\ell\otimes\theta/\pi)=\ell\, d(\cos\theta)/\sin\theta$. The proof derives this sequence from an isomorphism between the reduced homology of the Tits complex and the polytope module, then reduces the problem to two low-degree group homology computations: $H_2(O(3),(\mathbb{E}^3)^t)=0$ and $H_1(O(3),(\mathbb{E}^3)^t)=\Omega^1_{\mathbb{R}}$, where the superscript $t$ indicates the signed action. These computations are carried out with the quaternion algebra, the exceptional isomorphisms among low-dimensional spin groups, and the Hochschild–Kostant–Rosenberg theorem.

Load-bearing premise

The load-bearing premise is that the reduced homology of the Tits complex exactly records the polytope module; the paper's proof of this identification is condensed, and if it were wrong the later homology computations would not be about scissors congruence.

Editorial extensions

If this is right

Two three-dimensional polyhedra are scissors congruent exactly when their volumes and Dehn invariants agree, because the kernel of $D$ is the prism group $P(\mathbb{E}^2)\cong\mathbb{R}$ and the composite $P(\mathbb{E}^3)\to P(\mathbb{E}^2)$ records volume.
The cokernel of the Dehn invariant is $\Omega^1_{\mathbb{R}}$, so every Kähler differential appears as the obstruction class of some equal-volume polyhedron pair.
The same Tits-complex bridge gives a uniform derivation of the two-dimensional fact $P(\mathbb{E}^2)\cong\mathbb{R}$ and of the three-dimensional decomposition $P(\mathbb{E}^3)\cong P(\mathbb{E}^2)\oplus H_0(O(3),D_1)$.
The proof pathway is compositional: once Theorem 1.2 is in place, the Dehn–Sydler–Jessen theorem is obtained by low-degree group homology computations rather than by a direct geometric construction.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial inference: the Tits-complex bridge is geometric enough that a version of Theorem 1.2 may hold for scissors congruence in other simply connected spaces of constant curvature, with the affine flag complex replaced by the appropriate spherical or hyperbolic building; the paper does not pursue this.
Editorial inference: the same homological formalism gives parity decompositions of $P(\mathbb{E}^n)$ for all $n$, but whether analogues of the low-degree vanishing used here hold in dimensions $n\ge 4$ is left open.
Editorial inference: a fully expanded treatment of the double complex in the proof of Theorem 1.2 would make the review self-contained in the strong sense; as written, the horizontal exactness argument is the part a reader must reconstruct.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Punchline: the paper does what it says—it walks through the Dupont–Sah group-homology proof of Dehn–Sydler–Jessen—but the proof of the bridge theorem (Theorem 2.7) has a real gap. The null-homotopy that is supposed to make the horizontal rows exact is not defined when the simplex spans the terminal subspace of the flag, and already in n=1 the double complex as written would collapse the reduced homology to zero.

What is actually here: no new theorem, and the abstract is upfront about that. The exposition is generally clear and well organized. The quaternionic material in Sections 4–5, including the Pin(4) computations and the derivation of the Dehn invariant map ℓ⊗θ ↦ ℓ dcosθ/sinθ, is a useful condensation of Dupont's book. The appendix on H_*(Isom(E^n)) is a nice addition. The citations are honest; the paper attributes everything and does not oversell.

The soft spot: Theorem 2.7 is load-bearing. The stress-test note is right. The homotopy s_p(σ) extends the flag by Span(σ), but for a nondegenerate q-simplex with q = dim U_p, Span(σ) = U_p, so the extended flag is not strict. The n=1 case makes the problem concrete: the proposed horizontal differential would identify A_{0,0} with C_*(E^1)_0 = Z[points] via the identity, which kills the reduced homology rather than producing Pt(E^1). This is not cosmetic; the later sections lean on Theorem 1.2 to translate scissors congruence into group homology. The rest of the paper seems to track the sources, and I did not find similar problems in Sections 3–5, though I did not verify every group homology computation.

Conclusion: this is a promising expository draft, not a publishable-as-is review. The fix is to redo the proof of Theorem 2.7 properly—either with a valid homotopy or by explicitly reducing to Dupont's original—and to correct the role of the −1 column. With that revision, I would be glad to see it used as a teaching reference. If submitted, it deserves a serious referee; the surrounding mathematics is substantial enough to warrant expert attention.

Referee Report

4 major / 5 minor

Summary. This paper is an expository review of the Dehn–Sydler–Jessen theorem via group homology, following the approach of Dupont and Sah. The author introduces the polytope module Pt(E^n), states and proves a bridge theorem (Theorem 1.2) identifying the reduced homology of the Tits complex T(E^n) with Pt(E^n), then uses this to translate scissors congruence into group homology of the isometry group and its subgroups. The paper computes the relevant homology groups for O(3), identifies the Dehn invariant and the map to Kähler differentials, and concludes with the exact sequence of Theorem 1.1. An appendix treats the low-degree homology of O(n) and E(n) needed for the main computation.

Significance. If the exposition were fully repaired, this would be a useful self-contained account of a classical but intricate argument, with explicit geometric identifications such as the Dehn invariant in §4.6 and the map to Ω^1_R in Theorem 5.13. The paper carefully attributes the main theorems to Dupont and Sah and includes worked homology computations that are not always easy to find in the literature. However, the claim of being self-contained is currently not met: several load-bearing proofs are incomplete or contain incorrect statements, so the paper cannot yet serve as a reliable review for a reader wanting to verify each step.

major comments (4)

[Section 2, Theorem 2.7] The proof of Theorem 2.7 is incomplete as written. The horizontal differential of the double complex A_{p,q} is not well-defined: for the face map that deletes U_p from a flag (U_0⊃⋯⊃U_p), an element σ∈C_q(U_p) must be sent to a chain in C_q(U_{p-1}); the natural inclusion C_q(U_p)→C_q(U_{p-1}) exists because U_p⊂U_{p-1}, but it is not specified, and without it the 'face maps of the Tits complex' do not act on the chain groups. More seriously, the null-homotopy s_p in (2.0.3) is undefined for a nondegenerate q-simplex σ with U_σ=U_p, because then U_0⊃⋯⊃U_p⊃U_σ is not a strict flag and is not a simplex of T(E^n); this is precisely the top-dimensional case needed to identify the homology with Gr_n(C_*(E^n)). Since Theorem 2.7 is the bridge converting scissors congruence into group homology, this gap is load-bearing. The author should supply a correct double-complex proof, or explicitly cite [DS90] or [Dup01] for this identification.
[Section 5, Lemma 5.3] Lemma 5.3 is false as stated. For example, take G=C_2, Γ=C_2, N=1, and A=Z with trivial action: A is torsion-free and Γ acts trivially, but H_1(G,Z)=Z/2 whereas H_1(N,Z)_Γ=0. The proof's assertion that H_p(Γ,H_q(N,A))=0 for p>0 because H_q(N,A) is torsion-free is incorrect; group homology of a finite group with torsion-free coefficients can be torsion (as the example shows). All applications in the paper (Theorems 5.8, 5.12, 5.14 and Appendix A) use R-vector spaces, so the lemma becomes valid if the hypothesis is strengthened to 'A is a Q-vector space' (or 'A is uniquely divisible'). The statement and proof should be corrected accordingly.
[Appendix A, Theorem A.2 and paragraph after (A.0.1)] The proof that the map (A.0.1) is zero on homology is not rigorous. The text states that barycentric subdivision 'sd_p=0', but subdivision is never the zero operator on chains. The cancellation argument involving σ_k=(a_1) and σ'_k=(a_2) identifies chains only after applying an isometry that flips (a_1,a_2), and it is not shown that the resulting signs and coefficients match those appearing in the boundary formula. Since this appendix is the sole justification for the vanishing H_i(Pin(4),(H⊗H)^-)=0 used in Theorem 5.8, and hence for Theorems 5.1 and 5.2, this gap affects the main result. Please provide a complete proof or a precise reference (e.g., [Dup01], Chapter 9).
[Section 3, Theorem 3.7] The proof of Theorem 3.7 is too sketchy for a self-contained review. In particular, the assertion that 'for the same reason as in the proof of 1.2, the horizontal boundary maps are exact' inherits the flaw identified in Theorem 2.7. The conclusion that E2_{p,q}=0 for p+q<n-1 is asserted without a full analysis of the spectral sequence beyond the vanishing of the differentials. Since Theorem 3.7 underlies Corollary 3.8 and the decomposition P(E^3)≅P(E^2)⊕H_0(O(3),D_1), the missing details should be supplied or replaced by an explicit reference to [Dup01].

minor comments (5)

[Theorem 1.1] The displayed exact sequence has corrupted arrows, and the target of φ is written as 'Ω^1_{R/Z}' in the statement while the body later (Theorem 5.2) defines the target as Ω^1_R. Please correct the notation.
[Theorem 4.4] The final line of the statement says '0 n odd', but the preceding line states the non-vanishing holds for n odd; the zero case should be '0 for n even' (or '0 for n=0,2').
[Lemma 5.9] The displayed formula for the action of σ on a_0⊗⋯⊗a_n contains a repeated 'q_1a_2q_1^*' in the last tensor factor; this appears to be a typo.
[Section 3, proof of Theorem 3.6] The boundary computation '∂_2(v_0,v_1,v_2)=(v_0,v_1)-(v_0,v_2)+(v_1,v_2)=(v_1,v_1)' is not a valid boundary formula in the standard bar complex; please rewrite this argument more carefully.
[Throughout] The text contains several typographical errors ('Hochshild', 'diﬀerntials', 'simplicies') and, in the version provided to me, many corrupted symbol sequences (e.g., '/l⟩ftrightlin⟩', '/slash.l⟩ftZ'). I assumed these are artifacts of the text extraction; if any appear in the submitted PDF, they should be fixed.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the paper is an attributed expository review of the Dupont-Sah proof, and the target theorem is never assumed as an input to its own derivation.

full rationale

The paper is a self-described review: its abstract states that it will review the proof of the Dehn-Sydler-Jessen theorem as found in the works of Dupont and Sah, and it attributes the constituent results to [DS90], [Dup01], and [Dup82] rather than presenting them as novel first-principles predictions. The central derivation chain is: identify the polytope module with homology of the Tits complex (Theorem 1.2 / 2.7), translate scissors congruence into group homology (Propositions 3.4 and 3.5), compute the relevant homology groups (Theorems 3.7, 4.4, 4.5), and then identify the resulting maps with volume and the Dehn invariant (Corollary 4.6 and Theorem 5.13). At no point is Theorem 1.1 assumed in order to prove Theorem 1.1, and no parameter is fitted to data and then relabeled as a prediction. The reliance on standard external results such as the Shapiro lemma, the Hochschild-Kostant-Rosenberg theorem, and Morita invariance is independent support, not circularity. One genuine concern is a gap in the proof of Theorem 2.7: the proposed null-homotopy s_p(sigma(U0 superset ... superset Up)) = sigma(U0 superset ... superset Up superset U_sigma) is not defined when U_sigma = Up, since the resulting sequence is not a strict flag in the Tits complex. This is a correctness defect in the claimed self-contained proof, not a circularity, because it does not make the theorem equivalent to its own input. Accordingly, the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no new free parameters or invented entities. Its arguments are built on standard results in group homology and Hochschild homology, plus the prior theorems of Dupont and Sah, all of which are cited. The axioms listed are the unproved or lightly proved background results that the exposition leans on.

assumptions (5)

domain assumption Theorem 1.2: As Isom(E^n)-modules, the reduced homology of the Tits complex T(E^n) is isomorphic to Pt(E^n) in degree n-1 and zero otherwise.
This is the foundational bridge converting scissors congruence into group homology. The paper proves it in Theorem 2.7, but the proof uses a double complex whose exactness properties are only sketched. It is originally due to Dupont and Sah.
standard math Hochschild-Kostant-Rosenberg theorem: For a field K of characteristic 0, HH^*(K) is isomorphic to Omega^*_K, the algebra of Kahler differentials.
Invoked in Section 5 (Theorem 5.7) to identify Hochschild homology of R with Kahler differentials. The paper cites [Wei94] and uses this to compute HH^1(R).
standard math Shapiro lemma: For H a subgroup of G and M an H-module, H_*(G, Z[G] tensor_{Z[H]} M) is isomorphic to H_*(H, M).
Used in Theorem 4.4 to reduce the homology of O(3) with coefficients in a sum of line modules to the homology of the stabilizer O(1) x O(2). The paper cites [Bro12] for a proof.
standard math Morita invariance of Hochschild homology: HH^*(M_n(Q)) is isomorphic to HH^*(Q).
Used in Lemma 5.11 to compute the Hochschild homology of the rational quaternion algebra H(Q) by identifying H(Q) tensor H(Q) with M_4(Q). The paper cites [Wei94] sections 9.5.3 and 9.5.6.
standard math Exceptional isomorphisms: Spin(3) is isomorphic to Sp(1), Spin(4) is isomorphic to Sp(1) x Sp(1), and Pin(4) is isomorphic to Z/2Z semidirect product (Spin(3) x Spin(3)).
Stated and used in the proof of Theorem 5.8 to relate O(3) homology to Pin(4) homology through the quaternion algebra. These are classical group isomorphisms.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Dehn-Sydler-Jessen Via Homological Algebra." pith.science (2026). https://pith.science/paper/UKQDFPIZ

@misc{pith2026250203380,
  author       = {Pith},
  title        = {Pith review of: Dehn-Sydler-Jessen Via Homological Algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UKQDFPIZ}},
  note         = {Machine review of arXiv:2502.03380}
}

read the original abstract

We provide an expository introduction to Euclidean Scissors Congruence, the study of polytopes in Euclidean space up to `cut and paste' relations. We first re-frame questions in scissors congruence as those in group homology. We then use this perspective to review the proof of the Dehn-Sydler-Jessen Theorem as found in the works of Dupont and Sah.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

10 extracted references · 7 canonical work pages

[1]

Cohomology of groups , volume 87

Kenneth S Brown. Cohomology of groups , volume 87. Springer Science & Business Media, 2012

2012
[2]

Dupont and Chih-Han Sah

Johan L. Dupont and Chih-Han Sah. Homology of E uclidean groups of motions made discrete and E uclidean scissors congruences . Acta Math. , 164(1-2):1--27, 1990

work page 1990
[3]

Johan L. Dupont. Algebra of polytopes and homology of flag complexes . Osaka J. Math. , 19(3):599--641, 1982

work page 1982
[4]

Johan L. Dupont. Scissors congruences, group homology and characteristic classes , volume 1 of Nankai Tracts in Mathematics . World Scientific Publishing Co., Inc., River Edge, NJ, 2001

work page 2001
[5]

u ber inhalt, oberfl \

Hugo Hadwiger. Vorlesungen \"u ber inhalt, oberfl \"a che und isoperimetrie , volume 93. Springer-Verlag, 2013

work page 2013
[6]

The algebra of polyhedra and the D ehn- S ydler theorem

B \"o rge Jessen. The algebra of polyhedra and the D ehn- S ydler theorem . Math. Scand. , 22:241--256, 1968

work page 1968
[7]

Scissors Congruence K -Theory is a Thom Spectrum

Cary Malkiewich. Scissors Congruence K -Theory is a Thom Spectrum . arXiv preprint arXiv:2210.08082 , 2022

arXiv 2022
[8]

\"U ber den Rauminhalt der Polyeder

So Schatunovsky. \"U ber den Rauminhalt der Polyeder . Mathematische Annalen , 57(4):496--508, 1903

work page 1903

Show all 10 references

[9]

The Dehn-Sydler Theorem Explained

Rich Schwartz. The Dehn-Sydler Theorem Explained . 2010

2010
[10]

Charles A. Weibel. An introduction to homological algebra , volume 38 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1994

1994

Pith tools

Reviewed August 9, 2026 · model on record in the stance chip above.

[1] [1]

Cohomology of groups , volume 87

Kenneth S Brown. Cohomology of groups , volume 87. Springer Science & Business Media, 2012

2012

[2] [2]

Dupont and Chih-Han Sah

Johan L. Dupont and Chih-Han Sah. Homology of E uclidean groups of motions made discrete and E uclidean scissors congruences . Acta Math. , 164(1-2):1--27, 1990

work page 1990

[3] [3]

Johan L. Dupont. Algebra of polytopes and homology of flag complexes . Osaka J. Math. , 19(3):599--641, 1982

work page 1982

[4] [4]

Johan L. Dupont. Scissors congruences, group homology and characteristic classes , volume 1 of Nankai Tracts in Mathematics . World Scientific Publishing Co., Inc., River Edge, NJ, 2001

work page 2001

[5] [5]

u ber inhalt, oberfl \

Hugo Hadwiger. Vorlesungen \"u ber inhalt, oberfl \"a che und isoperimetrie , volume 93. Springer-Verlag, 2013

work page 2013

[6] [6]

The algebra of polyhedra and the D ehn- S ydler theorem

B \"o rge Jessen. The algebra of polyhedra and the D ehn- S ydler theorem . Math. Scand. , 22:241--256, 1968

work page 1968

[7] [7]

Scissors Congruence K -Theory is a Thom Spectrum

Cary Malkiewich. Scissors Congruence K -Theory is a Thom Spectrum . arXiv preprint arXiv:2210.08082 , 2022

arXiv 2022

[8] [8]

\"U ber den Rauminhalt der Polyeder

So Schatunovsky. \"U ber den Rauminhalt der Polyeder . Mathematische Annalen , 57(4):496--508, 1903

work page 1903