Scissors congruence of the line and the regulator

Ezekiel Lemann

REVIEW 4 major objections 4 minor 1 cited by

Scissors congruence of the line and the regulator

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

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

Pith's one-line read Every generator of the higher scissors congruence K-theory of the line is realized by an explicit subcomplex built from circle rotations.

desk verdict Genuinely new explicit generators for K_*(E^1_T) and H_*(IET), but the proof relies on an unproved injectivity assertion and a placeholder simplicial check—both fixable. read the letter →

arxiv 2505.08676 v2 pith:GAEIJ6NZ submitted 2025-05-13 math.KT

Ezekiel Lemann This is my paper · ORCID

classification math.KT MSC 19D2320J05

keywords scissorscongruenceK-theoryintervalexchangetransformationsregulatortracemapgroupcompletionhomologyofgroupstranslationalrectangleassemblers

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 constructs explicit geometric representatives for every element of the higher scissors congruence K-theory of the line, $K_n(E^1_T)\cong \Lambda^{n+1}_{\mathbb Q}(\mathbb R)$: each generator $\Phi_0\wedge\cdots\wedge\Phi_n$ is realized by a subcomplex of the classifying space of the scissors congruence groupoid built from interval exchange transformations (maps that cut an interval and reorder the pieces) rotating a circle by the lengths $\Phi_i$. The paper then derives that the homology of the group of interval exchange transformations is generated as a ring by these torus-shaped subcomplexes, making abstract K-theory classes visible as concrete cut-and-paste dynamics. To carry this out, the author extends the regulator (trace) map of [BGM+23] to the scissors congruence groupoid, giving a formula for the volume regulator that matches each subcomplex to its K-theory class. This matters because it converts the abstract isomorphism $K_n(E^1_T)\cong H_{n+1}(T^1;\mathbb Z)$ into an explicit generating set, with additional consequences for rectangle exchange transformations.

What carries the argument

The central machinery is the volume regulator $v:K_*(E^1_T)\to H_*(T^1;\mathbb R)$, extended from the category of covers to the scissors congruence groupoid $G(A_{hG})$ by encoding morphisms as viaducts: flags of DMC-spans (a dissection, followed by a move, followed by a covering sub-map). The regulator records the total lengths traversed by each sequence of moves. On the identification $K_n(E^1_T)\cong H_{n+1}(T^1;\mathbb Z)\cong \Lambda^{n+1}_{\mathbb Q}(\mathbb R)$, it acts by $v_1\wedge\cdots\wedge v_{n+1}\mapsto \sum_j (-1)^j (v_1\wedge\cdots\wedge\widehat{v_j}\wedge\cdots\wedge v_{n+1})\otimes v_j$. This formula, together with the dimension-shifting snake isomorphism, is what lets the paper compute the homology class of the torus subcomplex $C_X$ and match it to the abstract generator $\Phi_0\wedge\cdots\wedge\Phi_n$.

What would settle it

Take two rationally independent real numbers $a$ and $b$ and run the construction: the resulting subcomplex $C_{\{a,b\}}$ is a circle in $B(G(E^1_T))$. Compute its class under the isomorphism $K_1(E^1_T)\cong H_2(T^1;\mathbb Z)$, for instance in the bar complex of the two rotation generators $\rho_a,\rho_b$; if the class vanishes while $a\wedge b\neq 0$, the proposed representative is wrong. More directly, a nonzero element of $K_*(E^1_T)$ whose volume regulator is zero would disprove the injectivity assumption that carries the proof of Theorem A.

Watch

Extended reading notes

Core claim

Let $\{\Phi_i\}_{i=0}^n=X\subset \mathbb R$ be positive real numbers and write $\Phi=\Phi_0+\cdots+\Phi_n$. Theorem A asserts that the generator $\Phi_0\wedge\cdots\wedge\Phi_n\in K_n(E^1_T)$ is realized by the subcomplex $C_X=B(\langle \rho_i\mid 1\le i\le n\rangle)$ of $B(G(E^1_T))$, where $\rho_i$ is the interval exchange transformation rotating a circle of circumference $\Phi$ clockwise by $\Phi_i$. Concretely, the homomorphism $\mathbb Z^{\oplus n}\to \operatorname{Aut}_{E^1_T}[0,\Phi]$ sending the basis vectors to these rotations induces a map of classifying spaces whose image is the $n$-torus $C_X$. The proof computes the volume regulator of $C_X$ and shows that it agrees with the regulator of $\Phi_0\wedge\cdots\wedge\Phi_n$; an asserted injectivity of the volume regulator then lets the author conclude that the subcomplex represents the K-theory class. Because $K_*(E^1_T)$ is rational, these representatives yield an explicit generating set for $H_*(IET)$ as a ring.

Load-bearing premise

The paper assumes, without proof, that the volume measurement that sends a K-theory class to its homology image never confuses two different classes: if a nonzero class could have zero measured volume, then the constructed subcomplex might represent the wrong class even though its volume matches.

Editorial extensions

If this is right

Every class in $K_n(E^1_T)\cong \Lambda^{n+1}_{\mathbb Q}(\mathbb R)$ acquires a concrete geometric representative as a subcomplex of $B(G(E^1_T))$ assembled from $n$ interval-exchange rotations.
The homology $H_*(IET)$ of the interval exchange group is generated as a ring by the fundamental classes of these torus subcomplexes, expressed in terms of rationally independent rotation lengths.
The extended regulator construction gives a new description of the trace map on the scissors congruence groupoid, not just on the category of covers, which is what makes the computation of $C_X$'s class possible.
Pontryagin products of these generators produce a generating set for the homology of the rectangle exchange group $H_*(Rec_n)$.
The rational equivalence $K_*(X_{hG})\to H_*(G;Pt(X))$ for spherical, hyperbolic, or Euclidean scissors congruence is recovered in the group-completion model.

Reading between the lines

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

One could test whether the volume regulator's injectivity for the line is a model for a general principle: if the same 'build a subcomplex, match regulators' strategy is applied to higher-dimensional scissors congruence assemblers, it might produce explicit generators for the higher K-groups of Euclidean, spherical, or hyperbolic polytopes.
The representatives use $n!$ permuted simplices for each generator; a natural next step would be to find smaller subcomplexes, such as the standard cell structure on the $n$-torus, that carry the same class, reducing the combinatorial cost of the generating set.
Because the construction depends only on rational linear independence of the lengths $\Phi_i$, the subcomplexes $C_X$ might assemble into a single family parametrized by the configuration space of $n+1$ points on the line; such a family could carry symmetries leading to Steenrod operations or other secondary structure on $H_*(IET)$.
The result indirectly suggests a dynamical interpretation of the Pontryagin product in $H_*(IET)$: multiplying generators corresponds to superimposing independent interval-exchange rotations on adjacent copies of the unit interval, which could be realized concretely as a composition of stacking maps.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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

Main thing to know: this paper constructs explicit geometric generators for the higher scissors congruence K-theory of the line, and derives a generating set for H_*(IET). That's a real advance: the Mal22 isomorphism tells you K_n(E^1_T) ≅ Λ^{n+1}_Q(R), but it doesn't tell you what cycle in the scissors congruence groupoid represents a given class. Theorem A answers that with circle-rotation interval exchanges. The construction is new and clean, and Corollary B is a natural payoff. The groupoid-level regulator in Theorem C is a useful extension of the BGM+23 trace, and the snake-map computation in Section 4 is mostly solid.

The paper has three soft spots, all fixable. First, Proposition 5.4 asserts without proof that the volume regulator v: K_*(E^1_T) → H_*(T^1; R) is injective. That injectivity is load-bearing: without it, a matching regulator doesn't pin down the K-theory class. The claim is true—the map is the exterior comultiplication—but it is not automatic, and the reader needs an argument or a citation. Second, Lemma 3.11's proof is a placeholder: it says "We check that RG respects the face and degeneracy maps" and stops. Simpliciality of the extended regulator is exactly the kind of thing that needs to be checked, not asserted. Third, the multilinearity step in Prop 5.4 is performed in the bar chain complex, where [a+b|c] is not [a|c]+[b|c] as chains; the equality holds only up to boundary. The paper should say explicitly which chain model it's using (Koszul, for instance) or give the boundary correction. These gaps are real but not fatal. I don't see circularity—the paper leans on [Mal22] and [KLM+24], but that's appropriate given the author's own role in the latter.

Who should read it: people working in scissors congruence K-theory and in interval exchange dynamics. It deserves a serious referee; I'd send it out. The fixes are small, so my recommendation is accept with minor-to-moderate revision, or conditional accept if the editor wants the gaps closed.

Referee Report

4 major / 4 minor

Summary. The paper develops an extended regulator map from the scissors congruence groupoid G(A_hG) into the bar complex computing group homology, and specializes it to one-dimensional translational scissors congruence. The main theorem (Theorem A) asserts that every element Φ_0∧...∧Φ_n of K_n(E^1_T) — which is isomorphic to a rational exterior power by [Mal22] — is realized by an explicit subcomplex C_X of B G(E^1_T) built from interval exchange rotations of a circle of circumference Φ_0+...+Φ_n. Corollary B then claims that these subcomplexes generate the homology of the interval exchange group IET as a ring. The paper also contains a presentation of the scissors congruence groupoid via DMC-spans, a proof of Theorem C extending the [BGM+23] regulator from W(A_hG) to G(A_hG), and an application to rectangle exchange transformations.

Significance. If the proof were complete, the paper would give a genuinely concrete geometric description of all higher scissors congruence K-theory classes of the line, turning an abstract isomorphism into explicit cycles in the classifying space of interval exchanges. The viaduct formalism for the extended regulator is a useful new tool, and the explicit formula for the volume regulator in Proposition 4.9 is clean and testable. The proposed generators and the ring-generation statement for H_*(IET) are attractive and would connect scissors congruence K-theory to the topology of interval exchange groups. However, the main claims are not yet fully established because two load-bearing statements — injectivity of the volume regulator and the simplicial verification of the extended regulator — are asserted without proof, and the central chain computation in Proposition 5.4 needs a careful justification.

major comments (4)

[Section 5, Proposition 5.4] The proof begins by asserting that the volume regulator v : K_*(E^1_T) → H_*(T^1; R) is injective. This injectivity is load-bearing: from v(C_X) = v(Φ_0∧...∧Φ_n) one can only conclude that C_X represents the same K-theory class if v is injective. No proof or reference is supplied. It is not a consequence of Proposition 4.9, which only computes v under the chosen identification and explicitly notes that the auxiliary map vol^• is not a chain map on all chains. The author should either prove injectivity directly, for example by exhibiting a left inverse to the map of Proposition 4.9 or by showing that both sides are isomorphic rational vector spaces and that v is an isomorphism, or cite a precise statement where this is established.
[Section 3, Lemma 3.11] The proof of Lemma 3.11 is the sentence 'We check that the map RG respects the face and degeneracy maps. □', with no actual verification. This is not a routine omission: Lemma 3.11 is needed for Lemma 3.13, for Theorem 3.14 (Theorem C), and ultimately for the regulator computation in Proposition 4.9 that identifies the volume of C_X. The viaduct model for morphisms of G(A_hG) is elaborate, and the face and degeneracy verification is precisely where signs and the interaction of dissections, moves, and covering sub-maps are delicate. This proof must be supplied before the regulator computations can be accepted.
[Section 5, proof of Proposition 5.4] The step 'Since Φ_j − Φ = ∑_{i≠j} Φ_i we use multilinearity to obtain the sum ...' and the subsequent cancellation of repeated-entry terms by composing σ with a transposition are presented as operations in the bar chain complex C_n(T^1; R). It is not explained whether these equalities hold at chain level or only after passing to homology. In an unnormalized bar complex, terms with repeated non-identity entries are not zero, and the signs under transposition must be tracked through the differential and the identification with the homology class. Since this computation is the computational heart of Theorem A, a precise chain-level justification, or an explicit passage to normalized chains, is required.
[Section 5, Corollary 5.7] The proof of Corollary 5.7 says 'Since the K-groups are rational, therefore the homology of IET is the free graded algebra on the K-groups of E^1_T'. This is a nontrivial statement about rational homology of infinite loop spaces and needs a reference or a proof. The cited [KLM+24, Corollary 4.5] identifies H_*(IET) with H_*(Ω^∞_0 K(E^1_T)), but one still needs the standard result that the rational homology of a connected infinite loop space is the free graded-commutative algebra on its rational homotopy groups under the Pontryagin product. Without this, Corollary B does not follow from Theorem A alone.

minor comments (4)

[Section 5, Construction 5.3] The homomorphism Z⊕X → Aut_{E^1_T}[0,Φ] is not fully specified: the Z-factor is not assigned a generator, and X = X'∖{Φ_0} makes 'mapping Φ_j' ambiguous for Φ_0. The claim that the image is equivalent to an n-dimensional torus also requires noting that the kernel contains (1,...,1) because rotation by the total length Φ is trivial.
[Section 5, proof of Proposition 5.4] In the decomposition of the interval, the displayed formula [0,Φ] = x_0⊔···⊔x_{n+1} should read x_0⊔···⊔x_n, since there are n+1 subintervals indexed by k=0,...,n.
[Section 3, Definitions 3.9 and 3.3] In Definition 3.9 the notation 'N_•G(ChG)' appears to contain a typo for 'G(A_hG)'; the same symbol 'ChG' also appears in Lemma 3.11 and should be corrected throughout.
[Example 5.5] The diagram for the element x∧y∧z is hard to parse: the strings 'xyz zxy', 'xzy', 'yzx', 'yxz xzy' and the arrow labels are not explained in enough detail. Please redraw or add a sentence describing how each string indexes a 2-simplex.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem A is a genuine computation of the volume regulator on an explicit subcomplex, checked against an independently derived regulator formula; the unproved injectivity assertion is a proof gap, not a circular reduction.

full rationale

The central derivation is not circular. In Proposition 5.4 the paper constructs a subcomplex C_X from the same rotation data as the proposed K-theory generator Φ0∧...∧Φn and computes its volume regulator as an explicit viaduct sum; it compares this with the formula for v(Φ0∧...∧Φn) obtained independently in Proposition 4.9 from the snake description of K_n(E^1_T) and the regulators of [BGM+23]. The equality v(C_X)=v(Φ0∧...∧Φn) is derived, not assumed, and no parameter is fitted to force it. The one load-bearing assertion that could look like an input is the opening of Proposition 5.4: “Since the volume regulator v : K_*(E^1_T) → H_*(T^1; R) is injective, it suffices to show...” This injectivity is neither proved nor cited, so Theorem A is conditional on an unstated lemma; however, injectivity is not equivalent to the theorem by construction, and supplying it would leave the regulator computation as real content. Similarly, Lemma 3.11 says “We check that the map RG respects the face and degeneracy maps” without performing the check; that is an omitted verification of well-definedness, not a reduction of the output to the input. Corollary B invokes [KLM+24], a paper with overlapping authorship, for the isomorphisms H_*(Ω∞_0 K(E^1_T)) ≅ H_*(IET) and the free graded algebra statement; this is self-citation, but the cited results are prior theorems used as hypotheses, not conclusions forced by the present construction. No fitted input is relabeled as a prediction, and no known result is merely renamed. The gaps in Proposition 5.4 and Lemma 3.11 are correctness risks, not instances of circularity.

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

The paper imports the computation of K_*(E^1_T) and the relation between scissors automorphism groups and K-theory from prior work. The new load-bearing assumptions are the unproved injectivity of the volume regulator and the unstated free-graded-algebra structure of H_*(IET). No fitted parameters or invented physical entities appear.

assumptions (5)

standard math K_n(E^1_T) ≅ H_{n+1}(R; Z) (Malkiewich, Theorem 1.1)
Imported from [Mal22]; identifies higher K-groups with exterior powers of R and is the starting point for Theorem A.
ad hoc to paper The volume regulator v : K_*(E^1_T) → H_*(T^1; R) is injective
Stated in Proposition 5.4 without proof; the proof of Theorem A uses it to conclude equality of K-theory classes from equality of regulators.
ad hoc to paper H_*(IET) is the free graded algebra on the K-groups of E^1_T
Used in Corollary 5.7 with a one-sentence justification; relies on rational H-space structure of group completion, not stated in detail.
standard math H_*(Aut E^1_T [0,1]) ≅ H_*(Ω^∞_0 K(E^1_T)) (Kupers-Lemann-Malkiewich-Miller-Sroka, Corollary 4.5)
Imported from [KLM+24]; connects IET homology to the K-theory space.
standard math Shapiro's lemma, category of fractions calculus, Quillen's Theorem A
Standard tools used in Sections 2 and 4.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Scissors congruence of the line and the regulator." pith.science (2026). https://pith.science/paper/GAEIJ6NZ

@misc{pith2026250508676,
  author       = {Pith},
  title        = {Pith review of: Scissors congruence of the line and the regulator},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GAEIJ6NZ}},
  note         = {Machine review of arXiv:2505.08676}
}

read the original abstract

We construct explicit generators for the higher scissors congruence K-theory of the line. We use this to derive an explicit generating set for the homology of the group of interval exchange transformations. Our proof makes use of an extended version of the regulator (trace) map of Bohmann, Gerhardt, Malkiewich, Merling, and Zahkarevich.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

The Dennis Trace for Assembler K-Theory
math.AT 2026-07 conditional novelty 7.5 of 10

A Dennis trace from assembler K-theory to Hochschild homology of scissors correspondences refines the regulator, making group homology a trace invariant.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages · cited by 1 Pith paper

[1]

Adams, Infinite loop spaces, Annals of Mathematics Studies, Princeton University Press, 1978

J.F. Adams, Infinite loop spaces, Annals of Mathematics Studies, Princeton University Press, 1978

work page 1978
[2]

Pierre Arnoux, \'echanges d'intervalles et flots sur les surfaces, Ergodic theory ( S em., L es P lans-sur- B ex, 1980) ( F rench), Monogr. Enseign. Math., vol. 29, Univ. Gen\`eve, Geneva, 1981, pp. 5--38. 609891

work page 1980
[3]

Anna Marie Bohmann, Teena Gerhardt, Cary Malkiewich, Mona Merling, and Inna Zakharevich, A trace map on higher scissors congruence groups, 2023

work page 2023
[4]

Yves Cornulier and Octave Lacourte, On groups of rectangle exchange transformations, 2022

work page 2022
[5]

Dehn, Ueber den R auminhalt , Math

M. Dehn, Ueber den R auminhalt , Math. Ann. 55 (1901), no. 3, 465--478. 1511157

work page 1901
[6]

Dupont and Chih-Han Sah, Homology of E uclidean groups of motions made discrete and E uclidean scissors congruences , Acta Math

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

work page 1990
[7]

Dupont, Scissors congruences, group homology and characteristic classes, Nankai Tracts in Mathematics, vol

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

work page 2001
[8]

Gabriel and M

P. Gabriel and M. Zisman, Calculus of fractions and homotopy theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, Springer Berlin Heidelberg, 2012

work page 2012

Show all 16 references

[9]

B rge Jessen, Zur A lgebra der P olytope , Nachr. Akad. Wiss. G\" o ttingen Math.-Phys. Kl. II (1972), 47--53. 353150

1972
[10]

Sroka, Scissors automorphism groups and their homology, 2024

Alexander Kupers, Ezekiel Lemann, Cary Malkiewich, Jeremy Miller, and Robin J. Sroka, Scissors automorphism groups and their homology, 2024

2024
[11]

Cary Malkiewich, On higher scissors congruence
[12]

Cary Malkiewich, Spectra and stable homotopy theory (draft version, first 6 chapters), https://people.math.binghamton.edu/malkiewich/spectra\_book\_draft.pdf
[13]

Sydler, Conditions n\' e cessaires et suffisantes pour l'\' e quivalence des poly \`e dres de l'espace euclidien \`a trois dimensions , Comment

J.-P. Sydler, Conditions n\' e cessaires et suffisantes pour l'\' e quivalence des poly \`e dres de l'espace euclidien \`a trois dimensions , Comment. Math. Helv. 40 (1965), 43--80. 192407

1965
[14]

Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 1994

C.A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 1994

1994
[15]

Weibel and American Mathematical Society, The k-book: An introduction to algebraic k-theory, Graduate Studies in Mathematics, American Mathematical Society, 2013

C.A. Weibel and American Mathematical Society, The k-book: An introduction to algebraic k-theory, Graduate Studies in Mathematics, American Mathematical Society, 2013

2013
[16]

Inna Zakharevich, The k -theory of assemblers, 2016

2016

Pith tools

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

[1] [1]

Adams, Infinite loop spaces, Annals of Mathematics Studies, Princeton University Press, 1978

J.F. Adams, Infinite loop spaces, Annals of Mathematics Studies, Princeton University Press, 1978

work page 1978

[2] [2]

Pierre Arnoux, \'echanges d'intervalles et flots sur les surfaces, Ergodic theory ( S em., L es P lans-sur- B ex, 1980) ( F rench), Monogr. Enseign. Math., vol. 29, Univ. Gen\`eve, Geneva, 1981, pp. 5--38. 609891

work page 1980

[3] [3]

Anna Marie Bohmann, Teena Gerhardt, Cary Malkiewich, Mona Merling, and Inna Zakharevich, A trace map on higher scissors congruence groups, 2023

work page 2023

[4] [4]

Yves Cornulier and Octave Lacourte, On groups of rectangle exchange transformations, 2022

work page 2022

[5] [5]

Dehn, Ueber den R auminhalt , Math

M. Dehn, Ueber den R auminhalt , Math. Ann. 55 (1901), no. 3, 465--478. 1511157

work page 1901

[6] [6]

Dupont and Chih-Han Sah, Homology of E uclidean groups of motions made discrete and E uclidean scissors congruences , Acta Math

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

work page 1990

[7] [7]

Dupont, Scissors congruences, group homology and characteristic classes, Nankai Tracts in Mathematics, vol

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

work page 2001

[8] [8]

Gabriel and M

P. Gabriel and M. Zisman, Calculus of fractions and homotopy theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, Springer Berlin Heidelberg, 2012

work page 2012