Pith. sign in

REVIEW 4 major objections 3 minor 20 references

Hochschild theory of multiplicative sequences of algebras and coalgebra measurings

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

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

Pith's one-line read Measurings act on Hochschild homology of multiplicative sequences

desk verdict Genuine extension of Sweedler measurings to multiplicative sequences, with a real but fixable gap in the universal-object existence proofs that the enrichment theorems depend on. read the letter →

arxiv 2607.17470 v1 pith:BFPGKNXN submitted 2026-07-20 math.RA math.CT

Abhishek Banerjee , Surjeet Kour , Dipti Paik This is my paper · ORCID
classification math.RAmath.CT MSC 16T1516E40
keywords coalgebrameasuringsmultiplicativesequencesHochschildhomologyshuffleproductuniversalmeasuringenrichedcategoriescomodulegradedalgebras
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

The paper establishes that Hochschild homology can be organized into a graded algebra for every multiplicative sequence of algebras, using the shuffle product. It then proves that coalgebra measurings—generalized algebra maps parametrized by a cocommutative coalgebra—induce coalgebra measurings between these Hochschild graded algebras. If correct, this means measuring maps, not just ordinary homomorphisms, act coherently on the Hochschild theory of an entire family of algebras indexed by natural numbers. The construction yields enrichments of multiplicative sequences over cocommutative coalgebras, with analog results for bimodule coefficients via comodule measurings.

What carries the argument

The key mechanism is the shuffle product on Hochschild complexes, which assembles the complexes C_*(A_n) into a graded algebra via the multiplicative sequence's structure maps τ_{m,n}: A_m ⊗ A_n → A_{m+n}. A coalgebra measuring between multiplicative sequences satisfies a compatibility condition with τ and τ' that exactly ensures the induced maps on Hochschild complexes preserve this graded multiplication up to the coalgebra coproduct. The paper also relies on universal measuring coalgebras as Hom objects for the resulting enrichments.

What would settle it

Take the multiplicative sequence built from a commutative algebra A (with A_n = A for n ≥ 1), and a coalgebra measuring (C, Φ) where C has a primitive element acting by a derivation d on A. Write down the induced maps on C_1 and C_2 and check directly that the shuffle-product relation Hoch^Φ(x)(τ^sh(a⊗b)) = τ^sh(Hoch^Φ(x_(1))(a) ⊗ Hoch^Φ(x_(2))(b)) holds for that x. A single degree-2 counterexample would disprove Theorem 3.10.

Watch

Extended reading notes

Core claim

The paper's central claim is that the assignment (A_•, τ) ↦ ({C_*(A_n)}, τ^sh) is a functor Hoch: Mult_k → GrAlg(Ch(Vect_k)): the collection of Hochschild complexes of the algebras in a multiplicative sequence becomes a graded algebra object in chain complexes, with multiplication given by the shuffle product followed by the structural maps τ_{m,n}. The main theorem (3.10) shows that any coalgebra measuring (C, Φ) from A_• to A'_• yields a coalgebra measuring (C, Hoch^Φ) from Hoch(A_•) to Hoch(A'_•), where each Hoch^Φ_i(x) is the chain map induced by the measuring Φ_i on A_i. This lifts measurings to the graded Hochschild algebra, respecting the shuffle product. The paper then uses universal

Load-bearing premise

The load-bearing premise is that universal cocommutative measuring coalgebras exist for graded algebras in chain complexes, and universal measuring comodules exist for graded modules over them; the paper asserts these exist by analogy with the classical algebraic case, without giving an explicit proof.

Editorial extensions

If this is right

  • Every coalgebra measuring between multiplicative sequences induces maps on Hochschild homology that are compatible with the shuffle product, so measuring maps act on the whole Hochschild theory.
  • The category of multiplicative sequences is enriched over cocommutative coalgebras, with the universal measuring coalgebra as the Hom object; there is a comparison enriched functor to the Hochschild-based enrichment.
  • For bimodules over multiplicative sequences, comodule measurings induce maps on Hochschild complexes with coefficients, enriching the global category of bimodules over (coalgebra, comodule) pairs.
  • Comultiplicative sequences of coalgebras give measurings between multiplicative sequences, and these too induce measurings on the Hochschild graded algebras.
  • The finite-dual adjunction between algebras and coalgebras extends to an adjunction between multiplicative sequences and comultiplicative sequences, providing a broad class of examples.

Reading between the lines

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

  • Editor's inference: the shuffle-product compatibility suggests the construction is a stepping stone to an E_n-algebra structure on Hochschild complexes, where measurings might act on the full operadic action.
  • Editor's inference: one could test the enrichment on cyclic homology by checking whether the induced maps commute with Connes' operator, which would give a cyclic variant of the theorem.
  • Editor's inference: the universal measuring comodules could be used to define Hochschild cohomology of multiplicative sequences with coefficients, yielding new operations.
  • Editor's inference: if the universal measuring coalgebras are replaced by their derived or homotopy-coherent versions, the enrichment might extend to a model-categorical statement.
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 / 3 minor

Summary. The paper defines a Hochschild functor Hoch: Mult_k → GrAlg(C_k) on multiplicative sequences of algebras, using the shuffle product and the structure maps of the sequence. It proves that derivations of multiplicative sequences induce derivations of the resulting graded algebras (Theorem 2.9), that coalgebra measurings induce measurings between the Hochschild graded algebras (Theorem 3.10), and it constructs universal measuring coalgebras and enrichments over cocommutative coalgebras (Theorems 4.3, 4.5). For bimodule coefficients it develops comodule measurings and enriched categories (Theorems 5.8, 5.11, 5.17), and finally treats comultiplicative sequences of coalgebras and their induced Hochschild maps (Theorem 6.12). The paper is largely computational and the main chain-level verifications are written in detail.

Significance. If the results hold, the paper provides a substantial extension of Sweedler's measuring coalgebra machinery to multiplicative sequences and makes Hochschild homology functorial with respect to measurings, not only algebra maps. The enrichment of MULT_k and BMod_Mult_k over coalgebras/comodules is a natural and potentially useful structure. The paper contains detailed verifications of its central shuffle-compatibility claims (Theorems 2.9, 3.10, 6.12) and constructs explicit adjunctions such as C□− ⊣ [C,−]. The main obstruction is that two universal objects—Q^c(T,T') for graded chain-complex algebras and R_Q(Z,Z') for graded modules—are asserted to exist without proof.

major comments (4)
  1. [Section 4, paragraph before Lemma 4.4] The cocommutative universal measuring coalgebra Q^c(T,T') for T,T' ∈ GrAlg(C_k) is asserted with the phrase 'As in [18, Theorem 7.0.4], it can be shown...'. This object is load-bearing: it defines the category ]MULT_k and the enriched functor γ in Theorem 4.5. The classical Sweedler argument does not directly cover graded algebras in Ch(Vect_k); one must prove that the sum of all cocommutative subcoalgebras of C(Hom_Gr(C_k)(T,T')) satisfying the measuring condition (3.25) is again a measuring subcoalgebra. Since the measuring equation is linear in the coalgebra element this likely works, but the proof is not supplied. Please add it or point to a reference where this exact setting is treated.
  2. [Section 5, paragraph before (5.28)] The universal measuring comodule R_{Q^c(T,T')}(Z,Z') for graded modules Z,Z' over graded algebras T,T' in Ch(Vect_k) is asserted 'in a manner similar to [6]'. This object is used to define ]BMod_Mult_k and the enriched functor (γ,λ) in Theorem 5.17. The proof must show that the sum of subcomodules of the cofree comodule satisfying (5.26) is again a measuring subcomodule under the action (5.21). This is not a routine consequence of [6] because the base category is graded chain complexes and the measuring condition involves the whole family of module actions across grading degrees. Please supply the construction or a precise reference.
  3. [Proposition 5.16, proof] The proof of Proposition 5.16 consists of the sentence 'the result follows from a computation similar to the proof of Theorem 3.10'. This proposition is central: it produces the induced comodule measuring eΨ between Hochschild complexes with coefficients, which is then used in Theorem 5.17. The computation must verify condition (5.26) for the action (5.21), including the shuffle product and the bimodule structure maps ϑ_{m,n}. As written, this is a deferred proof of a load-bearing statement. Please provide the full verification.
  4. [Theorem 6.12, proof] The proof of Theorem 6.12 is delegated to 'similar to that of Theorem 3.10'. While the analogy is reasonable, this theorem is one of the paper's main advertised results and involves iterated coproducts in Q_{m+n} and the coalgebra morphism δ_{m,n}. If the authors believe the proof is identical, they should say so explicitly and locate the required modifications; otherwise a full proof should be included.
minor comments (3)
  1. [Throughout] There are several typos: 'measurigs' in reference [2]; 'mutlipliticative' in Section 4; inconsistent use of Hoch^Φ_i(x) versus Hoch^Φ_{i,*}(x).
  2. [Section 6, near (6.19)] The citation '[3, Proposition 2.2]' should likely be '[2, Proposition 2.2]', since Proposition 2.2 in [2] is used earlier in Lemma 3.8 for the same chain-level map.
  3. [Section 5, Definition 5.15] In Definition 5.15(b) the notation 'ℶ(y)={ℶ_i(y):Z_{i,*}→Z'_{i,*}}' is clear, but the text uses both ℶ and Ψ for the same map; unify the notation.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction found: Theorem 3.10 is derived from explicit formulas, and the Section 4–5 universal-object assertions are proof gaps, not self-referential inputs.

full rationale

The main derivation, Theorem 3.10, is not circular. Definition 2.2 defines Hoch(A•) by composing the shuffle product with the chain map induced by τ_{m,n}, and Theorem 3.10 verifies the graded measuring condition (3.25) for the maps Hoch^Φ_i(x) = C^{Φ_i}_*(x) using the componentwise measuring identities (3.3) and compatibility condition (3.4). The proof displays the shuffle-sum computations explicitly; no parameter is fitted and the conclusion is not assumed in the construction. The imports from the authors' earlier papers, [2, Prop. 2.2] and [3, Lem. 5.4], are self-citations, but they are published, parameter-free results whose statements are reproduced in this paper (e.g. eq. (3.24) and eq. (5.4)); they do not assume the Hochschild-of-multiplicative-sequences theorem and therefore are external support rather than a circular chain. The principal weakness is in Sections 4 and 5, where the universal cocommutative measuring coalgebra Q^c(T,T') for T,T'∈GrAlg(C_k) is asserted “as in [18, Theorem 7.0.4]” and the universal measuring comodule R_Q(Z,Z') is asserted “in a manner similar to [6]”. These assertions are load-bearing for the enrichments in Theorems 4.5 and 5.17, but they are proof-detail gaps: the paper treats these objects as hypotheses supplied by analogy, and it does not derive the enrichment theorem from the existence of the universal object by definition. If the analogue proofs do not go through, the theorems are conditional, but that is a correctness risk, not a circular reduction. No equation in the paper reduces a claimed prediction to an input by construction, and there are no fitted data. Accordingly the circularity score is 2 rather than 0 only to flag the repeated reliance on overlapping-author citations and asserted analogues; none of these is a circular reduction.

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

The central new results have no fitted numerical parameters. The load-bearing background is standard Hochschild/Sweedler theory plus two explicitly unproved universal-object existence statements in the graded chain-complex setting; those two are the main audit entries.

assumptions (9)
  • domain assumption The base field k has characteristic zero; all algebras and coalgebras are taken over k.
    Stated in Section 1. Characteristic zero is used in standard Sweedler/Hochschild facts and makes derivations vanish on units.
  • domain assumption All measuring coalgebras C and comultiplicative-sequence coalgebras Q_i are cocommutative.
    Definition 3.1, Definition 6.6, and the reorderings of tensorands in Theorems 3.10 and 6.12 require cocommutativity.
  • standard math Hochschild complexes and the shuffle product (including the bimodule-coefficient version) are chain maps with the stated associativity/equivariance properties.
    Used to define the graded algebra structure in Definition 2.2 and the module action in Lemma 5.12; background cited to Loday [16, §§1.1, 4.2].
  • standard math A coalgebra measuring between ordinary algebras induces a chain map between Hochschild complexes.
    Imported from the authors' earlier published paper [2, Prop. 2.2]; used in Lemma 3.8 and Theorem 3.10.
  • standard math The forgetful functors from coalgebras and from C-comodules to vector spaces have right adjoints.
    Used in Propositions 4.1 and 5.8 to construct universal measuring coalgebras/comodules as sums; standard category theory (Kashiwara-Schapira, Wisbauer).
  • standard math A measuring Φ:A→A' induces a measuring Φ^e:A^e→A'^e between enveloping algebras.
    Used to define measuring comodules between bimodules in Definition 5.6; cited from [3, Lemma 5.4].
  • ad hoc to paper Universal cocommutative measuring coalgebra Q^c(T,T') exists for graded algebras T,T' in Ch(Vect_k).
    Asserted 'as in [18, Theorem 7.0.4], it can be shown' with no proof in Section 4; it underlies the enrichment ]MULT and Theorem 4.5.
  • ad hoc to paper Universal measuring comodule R_{Q^c(T,T')}(Z,Z') exists for graded modules Z,Z' over graded algebras T,T' in Ch(Vect_k).
    Asserted 'in a manner similar to [6]' with no proof in Section 5; it underlies ]BMod and Theorem 5.17.
  • standard math Finite dual adjunction: A^° is a coalgebra, (A⊗B)^°≅A^°⊗B^°, and there is an adjunction between finite dual and full linear dual.
    Used in Section 6 (Propositions 6.4, 6.5) to extend the algebra-coalgebra adjunction to multiplicative/comultiplicative sequences; cited to Sweedler [18].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hochschild theory of multiplicative sequences of algebras and coalgebra measurings." pith.science (2026). https://pith.science/paper/BFPGKNXN

@misc{pith2026260717470,
  author       = {Pith},
  title        = {Pith review of: Hochschild theory of multiplicative sequences of algebras and coalgebra measurings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BFPGKNXN}},
  note         = {Machine review of arXiv:2607.17470}
}
read the original abstract

We study coalgebra measurings between multiplicative sequences of algebras and the maps induced by them on Hochschild homology. The Hochschild theory of multiplicative sequences is introduced as a functor taking values in graded algebras in the symmetric monoidal category of chain complexes, constructed with the help of the shuffle product. We develop the universal measuring coalgebra, or Sweedler Hom for multiplicative sequences, as well as study several other Sweedler operations in this context. In particular, we obtain an enrichment of multiplicative sequences over cocommutative coalgebras. Using an appropriate theory of bimodules over multiplicative sequences, we study maps induced by comodule measurings on the Hochschild theory with coefficients, as well as the corresponding enriched categories. Finally, we consider measurings and generalized Sweedler operations between multiplicative sequences induced by comultiplicative sequences of coalgebras, and also the maps in Hochschild theory obtained from them.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 2 linked inside Pith

  1. [6]

    3, 251-269

    ,Measuring comodules — their applications, Journal of Geometry and Physics36(2000), no. 3, 251-269

    2000

  2. [1]

    Anel and A

    M. Anel and A. Joyal,Sweedler Theory for (co)algebras and the bar-cobar constructions, arXiv:1309.6952 [math.CT] (2013)

    arXiv 2013

  3. [2]

    Banerjee and S

    A. Banerjee and S. Kour,On measurigs of algebras over operads and homology theories, Algebr. Geom. Topol.22(2022), no. 3, 1113–1158

    2022

  4. [3]

    Math.442(2024), Paper No

    ,Measurings of Hopf algebroids and morphisms in cyclic (co)homology theories, Adv. Math.442(2024), Paper No. 109581, 48

    2024

  5. [4]

    ,Coalgebra measurings, cyclic theory and homologies of matrix algebras, arXiv:2602.12505 [math.RA] (2026)

    arXiv 2026

  6. [5]

    Batchelor,Difference operators, measuring coalgebras, and quantum group-like objects, Adv

    M. Batchelor,Difference operators, measuring coalgebras, and quantum group-like objects, Adv. Math.105(1994), no. 2, 190–218

    1994

  7. [7]

    Brzezi ´nski,On modules associated to coalgebra Galois extensions, J

    T. Brzezi ´nski,On modules associated to coalgebra Galois extensions, J. Algebra215(1999), no. 1, 290–317

    1999

  8. [8]

    Davydov and A

    A. Davydov and A. Molev,A categorical approach to classical and quantum Schur-Weyl duality, Groups, algebras and applications, Contemp. Math., vol. 537, Amer. Math. Soc., Providence, RI, 2011, pp. 143–171

    2011

Show all 20 references
  1. [9]

    Davydov and M

    A. Davydov and M. Elbehiry,Deformation cohomology of Schur-Weyl categories, Selecta Math. (N.S.)29(2023), no. 1, Paper No. 1, 40

    2023

  2. [10]

    Grunenfelder and M

    L. Grunenfelder and M. Mastnak,On bimeasurings, J. Pure Appl. Algebra204(2006), no. 2, 258–269

    2006

  3. [11]

    ,On bimeasurings. II, J. Pure Appl. Algebra209(2007), no. 3, 823–832

    2007

  4. [12]

    Hyland, I

    M. Hyland, I. L ´opez Franco, and C. Vasilakopoulou,Hopf measuring comonoids and enrichment, Proc. Lond. Math. Soc. (3)115(2017), no. 5, 1118– 1148

    2017

  5. [13]

    Pure Appl

    ,Measuring comodules and enrichment, J. Pure Appl. Algebra230(2026), no. 3, Paper No. 108211

    2026

  6. [14]

    Kashiwara and P

    M. Kashiwara and P. Schapira,Categories and Sheaves, Grundlehren der Mathematischen Wissenschaften, vol. 332, Springer-Verlag, Berlin, 2006

    2006

  7. [15]

    Lauve and M

    A. Lauve and M. Mastnak,Bialgebra coverings and transfer of structure, Tensor categories and Hopf algebras, Contemp. Math., vol. 728, Amer. Math. Soc., [Providence], RI, 2019, pp. 137–153

    2019

  8. [16]

    J. L. Loday,Cyclic homology, Grundlehren der mathematischen Wissenschaften, vol. 301, Springer-Verlag, Berlin, 1998

    1998

  9. [17]

    Porst and R

    H.-E. Porst and R. Street,Generalizations of the Sweedler dual, Appl. Categ. Structures24(2016), no. 5, 619–647

    2016

  10. [18]

    M. E. Sweedler,Hopf Algebras, Mathematics Lecture Note Series, W. A. Benjamin, Inc., New York, 1969

    1969

  11. [19]

    Vasilakopoulou,Enrichment of categories of algebras and modules, arXiv 1205.6450 (2012)

    C. Vasilakopoulou,Enrichment of categories of algebras and modules, arXiv 1205.6450 (2012)

    2012 arXiv

  12. [20]

    Wisbauer,On the category of comodules over corings, Mathematics & Mathematics Education (Bethlehem, 2000), 2002, pp

    R. Wisbauer,On the category of comodules over corings, Mathematics & Mathematics Education (Bethlehem, 2000), 2002, pp. 325–336. 33

    2000

Pith tools

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