On twisting functions in twisted cartesian products and twisted tensor products

Li Cai

arxiv: 2512.14084 · v2 · submitted 2025-12-16 · 🧮 math.AT

On twisting functions in twisted cartesian products and twisted tensor products

Li Cai This is my paper

Pith reviewed 2026-05-16 22:18 UTC · model grok-4.3

classification 🧮 math.AT

keywords twisted cartesian producttwisted tensor producttwisting functionsimplicial setsKan's loop groupMoore loop spacestopological monoidsBrown's construction

0 comments

The pith

Choosing a specific monoid morphism from Kan's loop group to Moore loop spaces produces an explicit, non-inductive twisting function for the twisted tensor product of any twisted cartesian product of simplicial sets.

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

For any twisted cartesian product of simplicial sets the paper constructs the corresponding twisted tensor product in Brown's sense together with an explicit twisting function. The formula for this function is direct and contains no inductive steps. The construction proceeds by fixing an explicit morphism of topological monoids from Kan's loop group to Moore loop spaces, selected in the manner of Brown and Berger and building on Berger's simplicial prisms. A reader would care because the resulting closed-form twisting function removes the need for recursive definitions when working with these objects in algebraic topology.

Core claim

For a given twisted cartesian product of simplicial sets, the corresponding twisted tensor product in the sense of Brown admits an explicit twisting function whose formula is simple and does not rely on induction. This is obtained by choosing an explicit morphism of topological monoids from Kan's loop group to Moore loop spaces, following the selection made by Brown and Berger rather than the one used by Gugenheim and Szczarba.

What carries the argument

The explicit morphism of topological monoids from Kan's loop group to Moore loop spaces, chosen following Brown and Berger, that directly supplies the twisting function.

If this is right

The twisted tensor product receives a closed-form twisting function that applies uniformly to every twisted cartesian product of simplicial sets.
No inductive definitions appear in the construction of the twisting function.
The method supplies a uniform alternative to the Gugenheim-Szczarba construction.
Computations involving these twisted products become direct once the monoid morphism is fixed.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The explicit formula could be implemented directly in software for computing homotopy invariants of simplicial sets.
Different choices of monoid morphisms can now be compared term-by-term to see how they alter the twisting function.
The same technique may extend to twisted products in other simplicial or categorical settings where loop-space models appear.

Load-bearing premise

The particular morphism of topological monoids from Kan's loop group to Moore loop spaces selected by Brown and Berger is the one that produces the desired simple explicit twisting function.

What would settle it

Direct evaluation of the twisting function on a low-dimensional twisted cartesian product, such as one built from the simplicial circle, followed by verification that the resulting tensor product satisfies Brown's defining relations without any inductive appeal.

read the original abstract

For a given twisted cartesian products of simplicial sets, we construct the corresponding twisted tensor product in the sense of Brown, with an explicit twisting function whose formula is simple without using inductions. This is done by choosing an explicit morphism of topological monoids from Kan's loop group to Moore loop spaces, following Berger's work on simplicial prisms. We follow the choice of Brown and Berger on such a morphism, which is different from that of Gugenheim and Szczarba.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Paper gives an explicit non-inductive twisting function for twisted tensor products by using the Brown-Berger monoid morphism instead of Gugenheim-Szczarba.

read the letter

The main takeaway is that this paper delivers a concrete formula for the twisting function that converts a twisted cartesian product of simplicial sets into the corresponding twisted tensor product in Brown's sense. It does so by transporting the data through the specific morphism of topological monoids from Kan's loop group to Moore loop spaces that Brown and Berger selected, rather than the more common Gugenheim-Szczarba choice. The result is presented as a direct expression that does not rely on induction over simplex dimension. For specialists who actually compute with these objects, that explicitness is the practical gain. They can now write down the twisting map without building it recursively simplex by simplex. The paper situates the choice cleanly in the literature on simplicial prisms and loop spaces, and it is straightforward about what is being varied. The construction itself looks technically sound on the terms it sets. The soft spot is the claim of simplicity without induction. Standard twisting functions are defined inductively, and if the chosen morphism encodes any normalization or prism operator that still depends on lower-dimensional data, the final formula could inherit hidden recursion or case distinctions even if it looks closed-form on the surface. The abstract does not expand the formula for a general n-simplex, so the first check in the full text is whether the expression for τ_n is truly free of recursive calls or dimension-dependent branches. If it is, the contribution is solid; if not, the advance is smaller than advertised. This is a narrow but useful piece for people working in simplicial homotopy theory who need explicit maps for calculations. It does not reshape the broader subject, but it fills a small computational gap. The thinking is clear and the citations are appropriate. I would send it to a referee for verification of the expanded formula and the verification that the resulting structure satisfies Brown's axioms.

Referee Report

2 major / 2 minor

Summary. The manuscript constructs, for a given twisted cartesian product of simplicial sets, the corresponding twisted tensor product in Brown's sense by transporting the twisting data via an explicit morphism of topological monoids φ: G(X) → M(X) from Kan's loop group to the Moore loop space, following the choice made by Brown and Berger (distinct from Gugenheim-Szczarba). The central claim is that this yields a simple, induction-free explicit formula for the twisting function τ.

Significance. An induction-free closed-form twisting function would be a useful computational tool in simplicial homotopy theory, allowing direct evaluation of twisted tensor products without recursive prism operators or dimension-by-dimension definitions, thereby simplifying explicit calculations of homology or homotopy invariants.

major comments (2)

[§3] §3 (Construction of τ): the manuscript asserts that the transported twisting function τ is given by a simple formula without inductions, but does not exhibit the expanded expression for τ_n(σ) on an n-simplex; without this closed form it is impossible to verify that no hidden recursion or case distinction inherited from the normalization in φ is present.
[Theorem 4.2] Theorem 4.2 (Verification that τ satisfies Brown's twisting axioms): the proof that φ_* (twisting data) obeys the cocycle condition and normalization appears to rely on the inductive properties of the simplicial prism operators in Berger's construction; a direct, non-inductive verification for the specific φ chosen is required to support the central claim.

minor comments (2)

[Introduction] Notation for the monoid morphism φ and the simplicial sets X, Y should be fixed and introduced before the main construction to avoid repeated re-definition.
[§3] Add a small explicit example (e.g., for low-dimensional simplices) illustrating the formula for τ to make the induction-free claim concrete.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive suggestions for improving the explicitness of the construction. We address the two major comments point by point below.

read point-by-point responses

Referee: [§3] §3 (Construction of τ): the manuscript asserts that the transported twisting function τ is given by a simple formula without inductions, but does not exhibit the expanded expression for τ_n(σ) on an n-simplex; without this closed form it is impossible to verify that no hidden recursion or case distinction inherited from the normalization in φ is present.

Authors: We agree that an expanded componentwise formula would make the induction-free character fully transparent. In the revised version we will add, in §3, the explicit expression τ_n(σ) = φ_{n-1}(t(σ)), where t denotes the given twisting function of the twisted cartesian product, together with the concrete action of the chosen monoid morphism φ on the generators of the loop group (using the explicit simplicial prism operators of Berger). This formula contains no recursion or case distinctions beyond the standard face and degeneracy operators already present in the input data. revision: yes
Referee: [Theorem 4.2] Theorem 4.2 (Verification that τ satisfies Brown's twisting axioms): the proof that φ_* (twisting data) obeys the cocycle condition and normalization appears to rely on the inductive properties of the simplicial prism operators in Berger's construction; a direct, non-inductive verification for the specific φ chosen is required to support the central claim.

Authors: We acknowledge that the present proof of Theorem 4.2 invokes general properties of Berger’s prism operators, which are originally established inductively. To meet the referee’s request we will replace the argument with a direct, non-inductive verification that uses only the explicit definition of the monoid morphism φ: G(X) → M(X) chosen in the paper. The cocycle condition and normalization will be checked by direct substitution of the generators and application of the simplicial identities that define φ, without any appeal to inductive constructions of prism operators. revision: yes

Circularity Check

0 steps flagged

No significant circularity; explicit formula derived from independent prior morphism choice.

full rationale

The paper constructs the twisted tensor product by transporting the twisting function via an explicit morphism of topological monoids from Kan's loop group to Moore loop spaces, following the choice in Brown and Berger rather than Gugenheim-Szczarba. This yields the claimed simple, induction-free formula for the twisting function. No derivation step reduces by construction to its own inputs, no parameters are fitted and relabeled as predictions, and no load-bearing uniqueness theorem or ansatz is imported via self-citation. The central claim rests on the external prior definitions of the monoid morphism and the standard notions of twisted products, making the derivation self-contained against those benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; the work relies on standard domain assumptions of simplicial sets and twisted products as introduced by Brown.

axioms (1)

domain assumption Standard properties of simplicial sets, Kan's loop group, Moore loop spaces, and Brown's twisted products hold as previously defined.
Invoked implicitly to guarantee the existence of the twisted structures and the monoid morphism.

pith-pipeline@v0.9.0 · 5358 in / 1116 out tokens · 36153 ms · 2026-05-16T22:18:38.365276+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

ϕx = ∑_{g∈Sn} (−1)^{sign(g)} Tcx(g) ... where Tcx(g) = ∏ τ[0,αr1,...,r+1]x with αrj = max({0..r}∩{0,g1..gj})
IndisputableMonolith/Foundation/DimensionForcing.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

choice a2-b1 following Berger [3] yields the simple formula without inductions

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · 1 internal anchor

[1]

J. F. Adams, On the cobar construction, Prof. Nat. Acad. Sci. (USA) 42 (1956), 409–412

work page 1956
[2]

M. G. Barratt, V. K. A. M. Gugenheim and J. C. Moore, On semisimplicial fibre bundles , Amer. J. Math., vol. 81 (1959), 639–657

work page 1959
[3]

Berger, Un groupoïde simplicial comme modèle de l’espace des chemins , Bulletin de la S

C. Berger, Un groupoïde simplicial comme modèle de l’espace des chemins , Bulletin de la S. M. F., tome 123, no. 1 (1995), 1–32

work page 1995
[4]

Brown, Twisted tensor products , Ann

E.H. Brown, Twisted tensor products , Ann. of Math. 69 (1959), 223–242

work page 1959
[5]

E. B. Curtis, Simplicial homotopy theory , Advances in Mathematics 6, no. 2 (1971), 107–209

work page 1971
[6]

Eilenberg and S

S. Eilenberg and S. MacLane, On the groups H(Π, n), I , Ann. of Math. vol. 58 (1953), 55–106

work page 1953
[7]

The Szczarba map and the cubical cobar construction

M. Franz, The Szczarba map and the cubical cobar construction , arXiv preprint (2025), arXiv:2507.01669

work page internal anchor Pith review Pith/arXiv arXiv 2025
[8]

Gugenheim, On a theorem of E

V.K.A.M. Gugenheim, On a theorem of E. H. Brown , Illinois J. Math. 4 (1960), 223–246

work page 1960
[9]

Hatcher, Algebraic Topology, Cambridge University Press, 2002

A. Hatcher, Algebraic Topology, Cambridge University Press, 2002

work page 2002
[10]

Hess and A

K. Hess and A. Tonks, The loop group and the cobar construction , Proceedings of the American Mathematical Society 138, no. 5 (2010), 1861–1876

work page 2010
[11]

D. M. Kan, A Combinatorial Definition of Homotopy Groups , Annals of Mathematics, no. 2 (1958), Vol. 67, 218–312

work page 1958
[12]

J. P. May, Simplicial Objects in Algebraic Topology , Van Nostrand, Princeton, N. J., 1968

work page 1968
[13]

Minichiello, M

E. Minichiello, M. Rivera and M. Zeinalian, Categorical models for path spaces, Adv. Math. 415 (2023), Paper No. 108898. ON TWISTING FUNCTIONS IN TWISTED CARTESIAN PRODUCTS AND TWISTED TENSOR PRODUCTS 29

work page 2023
[14]

R. H. Szczarba, The homology of twisted cartesian products , Trans. Amer. Math. Soc. 100 (1961), 197–216. Department of Pure Mathematics, Xi’an Jiaotong-Liverpool University, 111 Ren’ai Road, Dushu Lake Higher Education Town, Suzhou 215123, Jiangsu, China Email address : Li.Cai@xjtlu.edu.cn

work page 1961

[1] [1]

J. F. Adams, On the cobar construction, Prof. Nat. Acad. Sci. (USA) 42 (1956), 409–412

work page 1956

[2] [2]

M. G. Barratt, V. K. A. M. Gugenheim and J. C. Moore, On semisimplicial fibre bundles , Amer. J. Math., vol. 81 (1959), 639–657

work page 1959

[3] [3]

Berger, Un groupoïde simplicial comme modèle de l’espace des chemins , Bulletin de la S

C. Berger, Un groupoïde simplicial comme modèle de l’espace des chemins , Bulletin de la S. M. F., tome 123, no. 1 (1995), 1–32

work page 1995

[4] [4]

Brown, Twisted tensor products , Ann

E.H. Brown, Twisted tensor products , Ann. of Math. 69 (1959), 223–242

work page 1959

[5] [5]

E. B. Curtis, Simplicial homotopy theory , Advances in Mathematics 6, no. 2 (1971), 107–209

work page 1971

[6] [6]

Eilenberg and S

S. Eilenberg and S. MacLane, On the groups H(Π, n), I , Ann. of Math. vol. 58 (1953), 55–106

work page 1953

[7] [7]

The Szczarba map and the cubical cobar construction

M. Franz, The Szczarba map and the cubical cobar construction , arXiv preprint (2025), arXiv:2507.01669

work page internal anchor Pith review Pith/arXiv arXiv 2025

[8] [8]

Gugenheim, On a theorem of E

V.K.A.M. Gugenheim, On a theorem of E. H. Brown , Illinois J. Math. 4 (1960), 223–246

work page 1960

[9] [9]

Hatcher, Algebraic Topology, Cambridge University Press, 2002

A. Hatcher, Algebraic Topology, Cambridge University Press, 2002

work page 2002

[10] [10]

Hess and A

K. Hess and A. Tonks, The loop group and the cobar construction , Proceedings of the American Mathematical Society 138, no. 5 (2010), 1861–1876

work page 2010

[11] [11]

D. M. Kan, A Combinatorial Definition of Homotopy Groups , Annals of Mathematics, no. 2 (1958), Vol. 67, 218–312

work page 1958

[12] [12]

J. P. May, Simplicial Objects in Algebraic Topology , Van Nostrand, Princeton, N. J., 1968

work page 1968

[13] [13]

Minichiello, M

E. Minichiello, M. Rivera and M. Zeinalian, Categorical models for path spaces, Adv. Math. 415 (2023), Paper No. 108898. ON TWISTING FUNCTIONS IN TWISTED CARTESIAN PRODUCTS AND TWISTED TENSOR PRODUCTS 29

work page 2023

[14] [14]

R. H. Szczarba, The homology of twisted cartesian products , Trans. Amer. Math. Soc. 100 (1961), 197–216. Department of Pure Mathematics, Xi’an Jiaotong-Liverpool University, 111 Ren’ai Road, Dushu Lake Higher Education Town, Suzhou 215123, Jiangsu, China Email address : Li.Cai@xjtlu.edu.cn

work page 1961