Pith. sign in

REVIEW 4 major objections 8 minor 17 references

The Dennis Trace for Assembler K-Theory

T0 review · 4 major / 8 minor · reviewed 2026-07-31 · grok-4.5

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

Pith's one-line read A Dennis trace from assembler K-theory to Hochschild homology makes group homology a genuine trace invariant of scissors congruence.

desk verdict Solid construction of the missing Dennis trace for assembler K-theory, with explicit level-0 formula and a clean factoring of the BGM regulator; Morita-object hypothesis is a real but openly stated scope limit. read the letter →

arxiv 2607.24945 v1 pith:ZUKMOPYS submitted 2026-07-27 math.AT

Sanjana Agarwal , Ramyak Bilas This is my paper · ORCID
classification math.AT MSC 19D5518F2552B4555N15
keywords assemblerK-theoryDennistraceHochschildhomologyscissorscongruenceMoritaequivalencerestrictedpolytopesmethodsgroup
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

Scissors-congruence problems ask which invariants of polytopes survive cutting and reassembling by isometries. Combinatorial K-theory packages those invariants into a spectrum whose path components recover the classical scissors group. This paper builds the missing Dennis-trace map from that spectrum into a newly defined Hochschild homology of the weak assembler. The construction proceeds by forming an abelian-enriched category of scissors correspondences, proving it is Morita-equivalent to the endomorphism ring of a single “Morita object,” and transporting the classical trace along that equivalence. At degree zero the map is completely explicit: a scissors class is sent to the sum of the partial covers that embed its pieces into powers of the Morita object. The earlier regulator of Bohmann–Gerhardt–Malkiewich–Merling–Zakharevich factors through the new trace, so every group-homology invariant extracted from a measure is automatically a true trace invariant. Explicit calculations for restricted polytopes (intervals, lattice polygons, squares) give concrete values of the Hochschild groups and therefore of the image of the trace.

What carries the argument

The Ab-enriched category ZM(C) of scissors correspondences, together with the Morita equivalence ZM(C) ≃ ZP(C) that reduces its Hochschild complex to the ordinary Hochschild homology of the endomorphism ring of a single Morita object P.

What would settle it

Exhibit a weak assembler that admits a Morita object yet whose K_0 class is sent by the explicit degree-zero formula of Theorem 6.3 to a class that is zero in HH_0 while remaining nonzero in the scissors group, or show that the regulator fails to factor through the constructed map on a concrete polytope category.

Watch

Extended reading notes

Core claim

For every weak assembler that possesses a Morita object there is a natural Dennis-trace map from its group-completion K-theory spectrum to the Hochschild homology of its category of scissors correspondences; the previously constructed regulator map to group homology factors through this trace, making group homology a genuine trace invariant of assembler K-theory.

Load-bearing premise

The whole reduction to a single endomorphism ring, and therefore the concrete form of the trace, requires that every object of the assembler can be partially covered by finitely many copies of one fixed object P.

Editorial extensions

If this is right

  • Group homology with coefficients in any measure on a weak G-assembler is now known to be a trace invariant of its K-theory.
  • For every restricted-polytope assembler possessing a Morita object, the image of K-theory under the Dennis trace can be read off from the Hochschild homology of an explicit ring (group rings of C2 or D4, monoid rings of interval monoids, etc.).
  • At degree zero the trace is completely combinatorial: it records how many pieces of a polytope embed into powers of the Morita object.
  • Whenever the endomorphism ring is a group ring, classical group-homology formulae immediately yield the full graded group HH_*.
  • The construction supplies a uniform source of new scissors-congruence invariants beyond classical volume and Dehn invariants.

Reading between the lines

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

  • The same Morita-reduction technique should produce a topological Hochschild homology and a cyclotomic trace for assemblers, opening the door to trace-method computations of higher scissors K-groups.
  • Assemblers without Morita objects (plain no-move polytopes) remain outside the present theory; finding a substitute single-object model for them is the immediate obstruction to a fully general combinatorial Dennis trace.
  • Explicit HH computations for lattice polytopes already give concrete numerical constraints that any future scissors invariant must satisfy.
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.

Referee Report

4 major / 8 minor

Summary. The paper constructs a Dennis trace map for the K-theory of weak assemblers (a framework encompassing scissors congruence of polytopes). The authors define an Ab-enriched category of "scissors correspondences" ZM(C), whose objects are finite families of objects of C and whose morphisms are Z-linear combinations of spans of partial covers, and define the Hochschild homology of a weak assembler as HH(ZM(C)). Under the hypothesis that C admits a "Morita object" P (an object into which every object includes after finite concatenation, Definition 5.1), they prove that the one-object subcategory ZP(C) is Morita equivalent to ZM(C) (Proposition 5.11), so the target of the trace can be rewritten as HH of the endomorphism ring End(P). They compute HH for several restricted polytope assemblers (no-move and C_2-symmetric intervals, lattice polygons with dihedral symmetry), give an explicit formula for the trace at level 0 (Theorem 6.3), and prove that the regulator/trace map of Bohmann et al. to group homology with coefficients in a measure factors through their Dennis trace (Theorem 7.16), via an explicit simplicial map TM from the Hochschild complex to the two-sided bar complex B(Z, Z[G], A).

Significance. If the gaps noted below are closed, this is a solid and useful contribution: it brings trace methods to a setting where none existed, shows that the Bohmann–Gerhardt–Malkiewich–Merling–Zakharevich regulator is a genuine trace invariant (and hence that group homology with measure coefficients is a trace invariant of assembler K-theory), and provides concrete, checkable computations (HH for restricted polytopes, including a full computation for P^{[0,1]}_{C2} via a strongly graded ring spectral sequence). The level-0 formula is explicit enough to be used. The results are conditional on the existence of a Morita object for the ring-valued refinement — a real scope limitation (e.g., no-move polytopes P^X_1) that the authors themselves document — but the general map to HH(ZM(C)) appears unconditional and the conditionality is not hidden.

major comments (4)
  1. [§6, Construction 6.1; Abstract; Theorem 1.4] Construction 6.1 is introduced as applying to 'a weak assembler with a Morita object', but steps (1)-(2) — the cyc map and I : BcycG(C) → HH(ZM(C)) — never use P; only step (3), HH(ZM(C)) ≃ HH(ZP(C)), does. Example 5.7 shows no-move polytopes P^X_1 admit no Morita object, so for those assemblers only the unconditional target HH(ZM(C)) exists, with no ring-level model. The abstract and Theorem 1.4 should state the unconditional map DT r : K(C) → HH(ZM(C)) separately and mark the Morita reduction (and Eq. (1.6)) as conditional on Definition 5.1, so the scope of 'the Dennis trace for assembler K-theory' is precise.
  2. [§6, paragraph following (6.2)] The map DT r is obtained by 'taking the group completion of the associated map of topological spaces.' Group completion is functorial only for maps of H-spaces (or E∞-spaces), and no compatibility of the composite BG(C) → HH(ZM(C)) with the concatenation product on G(C) and the additive structure of HH is verified. Concretely one needs block-sum additivity: for automorphisms f of Q and g of Q', the image of f ⊙ g under I∘cyc must equal the sum of the two images — including the inverse (g1···gm)^{-1} produced by cyc. This should follow from the relation in Construction 4.13(3), but it is never checked. Without it, the existence of the map K(C) → |HH(ZM(C))| and the homomorphism property of DTr_0 used in Theorem 6.3 are not established. A lemma is needed.
  3. [Construction 4.13(3)] The relations T = S_{P∩T} + S_{Q∩T} imposed on Hom(PQ, R) must be shown to form a congruence: stable under pre- and post-composition in M(C) and under ⊙, so that ZM(C) is actually an Ab-enriched category, and so that F remains well-defined after quotienting. This is asserted ('We denote the category ... by ZM(C)') without proof. Since everything in §§5-7 (the Morita equivalence, the Hochschild computations, the simplicial map TM) is built on ZM(C), a verification — presumably via associativity of common refinements — should be included.
  4. [§5, Theorem 5.19 and Lemmas 5.20–5.22] The proof of Morita invariance of HH defers to the unpublished notes [Mala], written for spectrally enriched categories. The specialization to Ab-enriched categories needs justification: (a) Lemmas 5.20–5.22 for sAb-valued (bi)modules, including freeness/flatness of the Hom abelian groups so the bar constructions compute the intended derived functors; (b) that the thick-closure hypothesis of Definition 5.10 implies the bimodule equivalence B(DF; C; FD) → D of Lemma 5.21 — the only step that uses Morita equivalence rather than the Dwyer–Kan property. A short self-contained appendix (or a published reference) would remove the dependence on unpublished material for a load-bearing theorem.
minor comments (8)
  1. [Definition 5.1] Definition 5.1 says 'an inclusion (in the sense of Definition 4.5)', but inclusions are defined in Remark 4.7, not Definition 4.5. Fix the cross-reference.
  2. [Theorem 6.3] The formula is stated for 'the smallest positive integer n' and a chosen inclusion Q → P^n. Please add a remark that the resulting class in HH_0(ZP(C)) is independent of n and of the chosen inclusion (as it should be, since the Morita zigzag of Theorem 5.19 is canonical), or explain why minimality is needed.
  3. [Examples 5.25, 5.26, 5.27] Statements of the form 'HH_*(ZM(C)) ≅ Z' should say the homology is concentrated in degree 0 (higher groups vanish because HH_n(Z) = 0 for n > 0); as written the isomorphism type of the graded group is ambiguous.
  4. [Example 4.22(3); Example 5.8(3)] In Example 5.8(3), 'for both G = Z2 and G = Z ⋊ D4' should presumably be G = Z² and G = Z² ⋊ D4; in Example 4.22(3) the subscript of Hom_{P^{m,m}_Z} should be the translation group Z². Check consistency.
  5. [Example 5.29] The application of [Sol67, Thm 1] (a theorem about Burnside algebras) to the semilattice ring Z[S] deserves one sentence of explanation — e.g., that monoid rings of finite meet-semilattices split as products of copies of Z via Möbius inversion over the poset.
  6. [Remark 7.18] Index mismatch: 'Hi(G; K0(P^X))' should be H_n. Also state the hypotheses of [BGM+24, Cor. 1.2] under which the rational isomorphism is invoked, and note it uses the unpublished preprint [Malb].
  7. [Proposition 7.11] Statement: 'is a well defined' → 'is well defined'; proof: 'comparability' → 'compatibility'. The well-definedness check should explicitly address compatibility with the splitting relation of Construction 4.13(3) (domain P Q), not only the zero and sum relations.
  8. [§1.2; title page] Notational collision: §1.2(3) uses G for the one-object category of a group while G simultaneously denotes the isometry group throughout; consider a distinct symbol. Also check title-page artifacts ('K-THEOR Y', 'AGAR W AL'), likely PDF encoding issues, in the final file.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: Dennis trace is built from first principles and the regulator is recovered as a composite, not assumed.

full rationale

The paper constructs DTr by the classical route (nerve of G(C) to cyclic nerve to HH(ZM(C)), then Morita reduction to HH(ZP(C)) when a Morita object exists) and verifies by direct simplicial comparison that the Bohmann–et-al. regulator factors through it (Theorem 7.16). No quantity is defined in terms of the regulator it claims to refine; the regulator is recovered as TM ◦ DTr. Self-citations to BGM+24 and KLM+ supply background definitions of weak assemblers, measures, and the regulator itself, not the target identity. The Morita-object hypothesis is an explicit scope restriction, not a circular step. Computations of HH for restricted polytopes are independent ring-theoretic calculations. Score 1 only for ordinary background self-citation that is not load-bearing for the central claim.

Assumptions & free parameters 0 free parameters · 4 assumptions · 2 invented entities

The work sits on standard higher-algebra and K-theory foundations plus the existing theory of weak assemblers and the regulator of BGM+24. The only essentially new postulate is the existence of a Morita object, which is verified for EA-assemblers and many restricted polytopes but is not automatic. No numerical parameters are fitted.

assumptions (4)
  • standard math Standard properties of Hochschild homology of Ab-enriched categories and its Morita invariance (McCarthy, Loday, Blumberg–Mandell, Malkiewich notes).
    Used throughout §§5–6 to identify HH(ZM(C)) ≃ HH(End(P)).
  • domain assumption Definition and basic properties of weak assemblers, W(C), G(C) and group-completion K-theory (Zakharevich, Lemann, KLM+).
    Background for the domain of the Dennis trace; invoked from §3 onward.
  • domain assumption Existence of the regulator / trace map of Bohmann–Gerhardt–Malkiewich–Merling–Zakharevich from K(ChG) to group homology.
    The factoring theorem (Thm. 7.16) takes this map as given.
  • ad hoc to paper A weak assembler admits a Morita object P (every object includes into a finite power of P).
    Definition 5.1; required for the reduction HH(ZM) ≃ HH(End(P)) and for the concrete form of DTr. Verified for EA-assemblers and listed restricted polytopes, but not for arbitrary weak assemblers.
invented entities (2)
  • Category of scissors correspondences ZM(C)
    purpose: Ab-enriched analogue of Proj_R that supplies endomorphisms for the Hochschild complex of an assembler.
    Construction 4.13; freely generated spans of partial covers modulo the additive relations that make inclusions/projections split.
  • Morita object for a weak assembler
    purpose: Single object whose endomorphism ring computes the Hochschild homology of the whole scissors-correspondence category.
    Definition 5.1; existence is proved for EA-assemblers and checked case-by-case for restricted polytopes.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Dennis Trace for Assembler K-Theory." pith.science (2026). https://pith.science/paper/ZUKMOPYS

@misc{pith2026260724945,
  author       = {Pith},
  title        = {Pith review of: The Dennis Trace for Assembler K-Theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZUKMOPYS}},
  note         = {Machine review of arXiv:2607.24945}
}
abstract

We define a notion of Hochschild homology of a weak assembler and use it to construct a Dennis trace map from the group completion $K$-theory of a weak assembler to its Hochschild homology. We compute the Hochschild homology for some examples, in particular for various cases of restricted polytopes. We also give an explicit description of the Dennis trace map at level $0$, i.e. from the zeroth $K$-theory group to the zeroth Hochschild homology group. Further, we show that the Dennis trace is a refinement of the trace/regulator map defined by Bohmann et al thus showing that group homology is a trace invariant.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 3 linked inside Pith

  1. [1]

    A trace map on higher scissors congruence groups

    Anna Marie Bohmann, Teena Gerhardt, Cary Malkiewich, Mona Merling, and Inna Zakharevich. A trace map on higher scissors congruence groups. International Mathematics Research Notices , 2024(18):12683--12710, 2024

    2024

  2. [2]

    Blumberg and Michael A

    Andrew J. Blumberg and Michael A. Mandell. Localization theorems in topological H ochschild homology and topological cyclic homology. Geom. Topol. , 16(2):1053--1120, 2012

    2012

  3. [3]

    Cyclic theory and the pericyclic category

    Alain Connes and Caterina Consani. Cyclic theory and the pericyclic category. In Cyclic cohomology at 40: achievements and future prospects , volume 105 of Proc. Sympos. Pure Math. , pages 103--122. Amer. Math. Soc., Providence, RI, [2023] 2023

    2023

  4. [4]

    Note on monoidal localisation

    Brian Day. Note on monoidal localisation. Bull. Austral. Math. Soc. , 8:1--16, 1973

    1973

  5. [5]

    The algebra of polyhedra and the Dehn--Sydler theorem

    B rge Jessen. The algebra of polyhedra and the Dehn--Sydler theorem. Mathematica Scandinavica , 22:241--256, 1968. Published 1969

    1968

  6. [6]

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

    arXiv

  7. [7]

    Scissors congruence of the line and the regulator

    Ezekiel Lemann. Scissors congruence of the line and the regulator. arxiv preprint 2505.08676

    arXiv

  8. [8]

    Cyclic homology , volume 301 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]

    Jean-Louis Loday. Cyclic homology , volume 301 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, second edition, 1998. Appendix E by Mar\'ia O. Ronco, Chapter 13 by the author in collaboration with Teimuraz Pirashvili

    1998

Show all 17 references
  1. [9]

    On the homology of graded algebras

    Martin Lorenz. On the homology of graded algebras. Communications in Algebra , 20(2):489--507, 1992

    1992

  2. [10]

    Fundamental theorems for THH

    Cary Malkiewich. Fundamental theorems for THH . Available online at https://people.math.binghamton.edu/malkiewich/morita_THH.pdf

  3. [11]

    On higher scissors congruence

    Cary Malkiewich. On higher scissors congruence. arXiv preprint 2210.08082

    arXiv

  4. [12]

    The cyclic homology of an exact category

    Randy McCarthy. The cyclic homology of an exact category. Journal of Pure and Applied Algebra , 93(3):251--296, 1994

    1994

  5. [13]

    The B urnside algebra of a finite group

    Louis Solomon. The B urnside algebra of a finite group. Journal of Combinatorial Theory , 2(4):603--615, 1967

    1967

  6. [14]

    Conditions n \'e cessaires et suffisantes pour l'\'equivalence des poly\`edres de l'espace euclidien \`a trois dimensions

    Jean-Pierre Sydler. Conditions n \'e cessaires et suffisantes pour l'\'equivalence des poly\`edres de l'espace euclidien \`a trois dimensions. Commentarii Mathematici Helvetici , 40:43--80, 1965

    1965

  7. [15]

    Charles A. Weibel. An Introduction to Homological Algebra , volume 38. Cambridge University Press, Cambridge, 1994

    1994

  8. [16]

    Scissors congruence as K -theory

    Inna Zakharevich. Scissors congruence as K -theory. Homology Homotopy Appl. , 14(1):181--202, 2012

    2012

  9. [17]

    The K -theory of assemblers

    Inna Zakharevich. The K -theory of assemblers. Advances in Mathematics , 304:1176--1218, 2017

    2017

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.