Pith. sign in

REVIEW 2 major objections 7 minor 41 references

On Equivalences of Derived Exponential Functors

T0 review · 2 major / 7 minor · reviewed 2026-07-09 · glm-5.2

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

Pith's one-line read Derived exponential functors determined by coalgebra at Z

desk verdict Two genuinely new results on derived exponential functors, with clean proofs built on standard homotopy theory. Deserves a serious referee. read the letter →

arxiv 2607.07536 v1 pith:4AGRPGDO submitted 2026-07-08 math.AT math.KT

Alexander Zakharov This is my paper · ORCID
classification math.ATmath.KT
keywords mathbbalgebraderivedfunctorstructurewillaugmentedcoalgebra
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 proves that the left derived functor of an exponential functor F — a strong symmetric monoidal functor from finitely generated free abelian groups to flat modules — is determined, on sufficiently coconnected perfect complexes, solely by the augmented coalgebra structure on F(Z). Concretely, if two exponential functors F and G have isomorphic augmented coalgebras at Z, then their left derived functors LF and LG are isomorphic as strong symmetric monoidal functors on the dual of the category of coconnected perfect complexes of abelian groups. The mechanism is a factorization of the Dold-Kan Kan functor through an auxiliary homotopy category built from Moore spaces, which allows one to lift coalgebra-level isomorphisms to derived-level isomorphisms. As a principal application, the paper proves that the classical Dold-Puppe-Thom isomorphism H_*(K(A,n);Z) ≅ L_*Sym(A[n]) — relating the homology of Eilenberg-MacLane spaces to derived symmetric powers — is functorial in the abelian group A whenever n ≥ 2. This contrasts sharply with the case n = 1, where functoriality is known to fail for torsion groups. The paper also establishes a derived isomorphism between binomial and divided power algebras, and applies these results to the cohomology of iterated classifying stacks and symmetric powers of suspension spaces.

What carries the argument

The Kan functor K from chain complexes to simplicial abelian groups is factored through auxiliary categories Ab' and Ab'' — images of the free abelian group functor on finite based sets — which correspond respectively to augmented commutative algebras and augmented cocommutative coalgebras. The factorization K' (and its dual K'') is constructed using surjectivity of the natural map from homotopy classes of maps between Moore spaces M(A,n) to morphisms in the derived category, which holds for n > 1. This factorization is strong symmetric monoidal, and it is the vehicle through which coalgebra-level data on F(Z) determines the derived functor LF on coconnected complexes.

What would settle it

A counterexample to surjectivity of the map [M(A,n), M(A',n)] → Hom(A,A') for some finitely generated abelian groups A, A' and n > 1, or a pair of exponential functors F, G with isomorphic augmented coalgebras F(Z) ≅ G(Z) but non-isomorphic derived functors LF(P) ≇ LG(P) for some P in the coconnected range.

Watch

Extended reading notes

Core claim

The central discovery is that the full Hopf algebra structure on F(Z) is not needed to recover the derived functor LF on coconnected complexes — the coalgebra structure alone suffices. This is made precise by factoring the Kan functor through a homotopy category of a subcategory Ab'' (cocommutative coalgebras with augmentation), using surjectivity of maps between Moore spaces to lift the factorization. The same lifting technique then shows that the Dold-Puppe-Thom isomorphism, which identifies homology of Eilenberg-MacLane spaces with derived symmetric powers, is functorial in the group argument for n ≥ 2 — the obstruction to functoriality is confined to degree n = 1, where it manifests as a

Load-bearing premise

The entire argument depends on the surjectivity of the natural map from homotopy classes of maps between Moore spaces M(A,n) to morphisms in the derived category, which holds for n > 1. If this surjectivity were to fail for some class of groups or degrees, the factorization of the Kan functor through the auxiliary category would not exist and all downstream results would collapse.

Editorial extensions

If this is right

  • The functoriality of the Dold-Puppe-Thom isomorphism for n ≥ 2 means that the graded pieces of H_*(K(A,n);Z) under the Pontryagin product are functorially determined by derived symmetric powers L_*Sym^d(A[n]), providing a canonical multiplicative grading.
  • The derived isomorphism L*Bin ≅ L*Γ connects binomial rings (integer-valued polynomial functions) with divided power algebras at the derived level, yielding a natural identification of cochains of Eilenberg-MacLane spaces with derived binomial algebras.
  • For suspension spaces X = ΣY, the algebra H^*(SP^n X; Z) is shown to be determined by the Z-module structure of reduced homology H~^*(X;Z), via an isomorphism with derived divided power functors L_*Γ/I_{>n}.
  • The cohomology of iterated classifying stacks B^n G for a formal group G is identified with derived divided powers L^*Γ(Z[-n]), linking the algebraic geometry of formal groups to the topology of Eilenberg-MacLane spaces.
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, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 7 minor

Summary. The paper proves two main results. (1) Theorem 3.3.6: if F, G are exponential functors with an isomorphism F(Z) ≅ G(Z) of augmented coalgebras, then LF ≅ LG as strong symmetric monoidal functors on (D^{<-1}_{perf}(Ab)^∨, ⊕). (2) Theorem 4.0.8 / Corollary 4.0.8: the Dold-Puppe-Thom isomorphism H_*(K(A,n);Z) ≅ L_*Sym(A[n]) is functorial in A ∈ Ab^{fg} for n ≥ 2. The technique introduces auxiliary categories Ab' and Ab'' (images of Fin* and its dual), constructs a homotopy refinement K' of the Kan functor through these categories (Theorem 3.2.2), and uses the factorization to show that LF is determined by the coalgebraic (resp. algebraic) restriction F'' (resp. F'). The Dold-Thom theorem is used as input to promote a natural transformation Sym' → Z⟨-⟩' to the derived isomorphism DPT. Later sections apply these results to binomial/divided power algebras and cohomology of Eilenberg-MacLane spaces.

Significance. The functoriality of the Dold-Puppe-Thom isomorphism for n ≥ 2 (Theorem 4.0.8) is a clean and useful result, resolving the tension between the non-functoriality of Moore space constructions (Carlsson's counterexample) and the existence of functorial isomorphisms in sufficiently coconnected degrees. The framework for comparing derived exponential functors via their coalgebraic restrictions (Theorem 3.3.6) is a natural and appealing formulation. The paper provides explicit constructions (diagram 3.3.8) and falsifiable predictions (Remark 3.3.9, the S²∨S⁴ vs CP² example in §6). The connection to derived binomial rings and iterated classifying stacks (§5-7) adds value.

major comments (2)
  1. §3.2, Theorem 3.2.2: The proof argues that K∘i' is 'full and essentially surjective by 3.1.10,' hence an equivalence. But Corollary 3.1.10 establishes surjectivity of the map from homotopy classes of maps between Moore spaces to morphisms in the derived category — this is fullness, not essential surjectivity. Essential surjectivity requires that every object in Ho^{<-1,ft}(sAb') is isomorphic to one arising from a Moore space construction M(P). The proof states this follows from 'standard homotopy theory (Whitehead's theorem for 1-connected finite type spaces)' but does not make the argument explicit. Please add a sentence or two clarifying this step, as it is load-bearing for the existence of K'.
  2. §3.3, diagram (3.3.8) and surrounding text: The construction of the isomorphism ϕ(P) in Corollary 3.3.7 relies on choosing maps u: X/pt ∨ X/pt → X/pt and v: X/pt → X/pt ∨ X/pt inducing the addition and diagonal on reduced chains. The text says 'one can take u equal to the projection, the existence of v follows from the fact that X is a suspension space.' Since the isomorphism ϕ(P) is claimed to be natural in P, please clarify: (a) whether the resulting ϕ(P) is independent of the choice of v up to coherent homotopy, and (b) how naturality in P is established given that the Moore space construction M(P) is non-functorial. This is the practical mechanism behind Theorem 3.3.6 and deserves explicit treatment.
minor comments (7)
  1. Abstract and §1: The abstract states 'P ∈ D^{≥3}_{perf}(Ab)' while the main theorems use D^{<-1}_{perf}(Ab). These are related by duality/shift, but the inconsistency in notation between the abstract and the body may confuse readers. Please harmonize.
  2. §3.1, Proposition 3.1.3, proof part 2: The exact sequence [∨GS^{n+1}, Y] → [∨RS^{n+1}, Y] → [M(A,n), Y] → ... is written as a short exact sequence 0 → Ext^1(A, π_{n+1}Y) → [M(A,n), Y] → Hom(A, π_n Y) → 0. Please specify that Y is assumed (n+1)-coconnected or that π_i(Y)=0 for i > n+1, so that the sequence is indeed short exact rather than long exact.
  3. §4, Theorem 4.0.6: The proof says 'By Dold-Thom theorem ϕ is an isomorphism.' Please specify precisely which version of the Dold-Thom theorem is being invoked (Theorem 4.0.5 is stated for connected (X,pt) ∈ sFin*; clarify how this translates to the derived setting for all P ∈ D^{<-1}_{perf}(Ab)).
  4. §5, Proposition 5.0.6: The notation u(e,f) := Σ e_i f_i and the subsequent formal identities are compact but take some effort to parse. A brief sentence explaining the convention (e.g., 'we pack the structure maps into a generating function') would help.
  5. §6, Proposition 6.0.2: The proof is described as a sketch with a reference to [Eke02], [Toë20], [KSZ26] for the quasi-isomorphism Bin(K(P∨)) → Z^{|K(P)|}. Since this proposition is used to establish LBin ≅ LΓ, a slightly more detailed indication of why the morphism is a quasi-isomorphism would be welcome, even if the full argument is deferred.
  6. References: Several preprints are cited with 2026 dates ([GZ26], [KSZ26], [ST26], [PS26]). Please verify these are publicly available or update with DOIs/journal references where applicable.
  7. Typos: 'Eilenber-MacLane' (§1, Acknowledgements), 'Hochshild' (§2.1, end), 'straighforward' (Remark 3.3.10), 'Pontragin' (§6, last paragraph), 'remarkabely' (§7.2).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for a careful reading and for identifying two points in §3 where the exposition can be improved. Both comments are well-taken and will be addressed in revision.

read point-by-point responses

  1. Referee: §3.2, Theorem 3.2.2: The proof argues that K∘i' is 'full and essentially surjective by 3.1.10,' hence an equivalence. But Corollary 3.1.10 establishes surjectivity of the map from homotopy classes of maps between Moore spaces to morphisms in the derived category — this is fullness, not essential surjectivity. Essential surjectivity requires that every object in Ho^{<-1,ft}(sAb') is isomorphic to one arising from a Moore space construction M(P). The proof states this follows from 'standard homotopy theory (Whitehead's theorem for 1-connected finite type spaces)' but does not make the argument explicit. Please add a sentence or two clarifying this step, as it is load-bearing for the existence of K'.

    Authors: The referee is correct that Corollary 3.1.10 directly establishes fullness (surjectivity on Hom-sets) but not essential surjectivity. Essential surjectivity of the diagonal functor K∘i' : Ho^{<-1,ft}(sAb') → D^{<-1}_{perf}(Ab) follows from a different argument, which we should have stated explicitly. Namely: every P ∈ D^{<-1}_{perf}(Ab) admits a generalized Moore space M(P) by construction (3.1.8), and by (3.1.9) there is an isomorphism C̃_*(M(P)) ≅ P in D^{<-1}_{perf}(Ab). Since Z⟨M(P)/pt⟩ ∈ sAb' and K(Z⟨M(P)/pt⟩) = Z⟨M(P)/pt⟩ lands in Ho^{<-1,ft}(sAb'), every object of D^{<-1}_{perf}(Ab) is isomorphic to one in the image of K∘i'. This gives essential surjectivity. The reference to Whitehead's theorem is used to ensure that any two choices of M(P) are homotopy equivalent (since they are 1-connected finite type spaces with the same homology), which guarantees that the construction is well-defined up to isomorphism in the homotopy category. We will revise the proof to separate these two ingredients clearly: (1) fullness from Corollary 3.1.10, and (2) essential surjectivity from (3.1.8)–(3.1.9), with the well-definedness of M(P) up to homotopy via Whitehead's theorem. revision: yes

  2. Referee: §3.3, diagram (3.3.8) and surrounding text: The construction of the isomorphism ϕ(P) in Corollary 3.3.7 relies on choosing maps u: X/pt ∨ X/pt → X/pt and v: X/pt → X/pt ∨ X/pt inducing the addition and diagonal on reduced chains. The text says 'one can take u equal to the projection, the existence of v follows from the fact that X is a suspension space.' Since the isomorphism ϕ(P) is claimed to be natural in P, please clarify: (a) whether the resulting ϕ(P) is independent of the choice of v up to coherent homotopy, and (b) how naturality in P is established given that the Moore space construction M(P) is non-functorial. This is the practical mechanism behind Theorem 3.3.6 and deserves explicit treatment.

    Authors: We agree that the exposition around diagram (3.3.8) conflates two distinct things: the abstract construction of ϕ(P) via Theorem 3.3.6, and the concrete description of how this isomorphism operates at the chain level. We will revise to clarify the relationship. On point (a): The isomorphism ϕ(P) is constructed abstractly by Theorem 3.3.6 from the natural transformation ϕ'' : F'' → G'' of functors on Ab''. The diagram (3.3.8) is not the construction of ϕ(P) but rather an illustration of why the coalgebraic restriction F''(Z) suffices to determine the bialgebra structure on LF(P). The independence of the choice of v is guaranteed by the abstract construction: ϕ(P) is the image of ϕ'' under the functor K'' and the derived functor machinery, and does not depend on any particular choice of Moore space representative or of the map v. Different choices of v (or of M(P)) yield the same morphism in D(Mod(k)) because they are identified in the quotient category Ho(sAb') by construction. On point (b): Naturality in P is likewise a consequence of the abstract framework. The functor K' : D^{<-1}_{perf}(Ab) → Ho(sAb') constructed in Theorem 3.2.2 is a genuine functor (defined up to natural isomorphism), even though it is built from non-functorial Moore space choices. The non-functoriality of M(−) : Ab^{fg} → Top is resolved by passing to the homotopy category and using Corollary 3.1.10 to construct K' as an inverse to the equivalence Ho^{<-1,ft}(sAb') → D^{<-1}_{perf}(Ab). Once K' is established as a functor, naturality of ϕ follows formally from the naturality of ϕ'' and the functoriality of the derived functor LF. We will add a remark making explicit that diagram (3.3.8) is illustrative rather than constructive, and that both independence of choices and naturality follow from The o revision: no

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; the derivation chain is self-contained against standard external inputs.

full rationale

The paper's central results (Theorems 3.3.6 and 4.0.8) are derived from standard, externally verifiable inputs: the Dold-Kan correspondence, the Dold-Thom theorem (Theorem 4.0.5, cited to [DP61]), and classical homotopy theory of Moore spaces (Proposition 3.1.3, proved via cofiber sequences and obstruction theory). The derivation chain is: Prop 3.1.3 (surjectivity of maps between Moore spaces) → Cor 3.1.10 (surjectivity for generalized Moore spaces) → Theorem 3.2.2 (factorization of the Kan functor K through Ho(sAb')) → Theorem 3.3.6 (LF ≅ LG from coalgebra isomorphism F(Z) ≅ G(Z)). Each step adds independent mathematical content. The self-citations [GZ26] and [KSZ26] appear in Sections 5-6 for background on binomial rings and are not load-bearing for the main theorems. The Dold-Puppe-Thom isomorphism (Theorem 4.0.8) is obtained by applying Theorem 3.3.4 to the natural transformation Sym' → Z⟨-⟩' (Lemma 4.0.3), with the quasi-isomorphism coming from the classical Dold-Thom theorem — an external result, not a consequence of the paper's own arguments. No step reduces to its inputs by construction.

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

No free parameters or ad hoc axioms. The paper is a pure derivation from standard homological algebra.

assumptions (4)
  • standard math Dold-Thom theorem: the natural transformation LSym' → LZ⟨-⟩' evaluated on reduced chains of a connected simplicial set is a quasi-isomorphism (Theorem 4.0.5)
    Used as input in the proof of Theorem 4.0.6 to establish that the monoidal transformation ϕ: LSym → LZ⟨-⟩ is an isomorphism. This is a classical result.
  • standard math Dold-Kan correspondence between cosimplicial abelian groups and cochain complexes in non-negative degrees, with Moore normalization N and Kan functor K as inverse equivalences
    Used throughout, starting from Definition 2.2.1, to define derived functors via LF(P) = N(F(K(P))).
  • standard math Simplicial approximation theorem: any map of simplicial complexes is homotopic to a simplicial map after sufficient barycentric subdivision
    Invoked in §3.1 to reduce topological statements about Moore spaces to simplicial counterparts.
  • domain assumption For n > 1, the homotopy type of M(A,n) is unique and M(A,n) is a suspension space (hence a comonoid in the homotopy category)
    Used in §3.1 to establish comonoid structure on M(P*) and in Corollary 3.1.10 for the surjectivity argument.
invented entities (1)
  • Categories Ab' and Ab'' (images of Z⟨-⟩: Fin* → Ab and its dual) independent evidence
    purpose: Intermediate categories that separate algebraic (Ab') from coalgebraic (Ab'') data, enabling the factorization of the Kan functor
    These are concrete combinatorial categories defined explicitly in Definition 2.1.1, not new postulated entities. Their role is structural: Proposition 2.1.3 shows monoidal functors from Ab' correspond to augmented algebras and from Ab'' to augmented coalgebras.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On Equivalences of Derived Exponential Functors." pith.science (2026). https://pith.science/paper/4AGRPGDO

@misc{pith2026260707536,
  author       = {Pith},
  title        = {Pith review of: On Equivalences of Derived Exponential Functors},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4AGRPGDO}},
  note         = {Machine review of arXiv:2607.07536}
}
abstract

A strong symmetric monoidal functor $F\colon (Ab^{free,fg},\oplus)\to (Mod(k)^{flat},\otimes)$ is determined by the Hopf algebra $F(\mathbb{Z})$ over the ring $k$. We will show that the algebra structure on the left derived functor $L^* F(P)$ can be recovered from the augmented coalgebra structure on $F(\mathbb{Z})$ for $P\in D^{>2}_{perf}(Ab)$. Using a similar technique we will prove that the multiplicative Dold-Puppe-Thom isomorphism $H_*(K(A,n);\mathbb{Z})\simeq L_*Sym A[n]$ is functorial in $A\in Ab^{fg}$ whenever $n\ge 2$. By contrast, if $n<1$, this is known to be false in general.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages

  1. [1]

    Dold, Albrecht , title =. Ann. of Math. (2) , volume =

    work page

  2. [2]

    Inventiones mathematicae , volume=

    Stable homotopy as a triangulated functor , author=. Inventiones mathematicae , volume=. 1992 , publisher=

    work page 1992

  3. [3]

    Journal of Algebra , volume=

    Cohomology of semidirect product groups , author=. Journal of Algebra , volume=. 1996 , publisher=

    work page 1996

  4. [4]

    arXiv preprint arXiv:2601.07902 , year=

    Binomial rings, and integral homology of complements of compact toric arrangements , author=. arXiv preprint arXiv:2601.07902 , year=. 2601.07902 , archivePrefix =

    work page arXiv

  5. [5]

    Annales scientifiques de l'École Normale Supérieure , volume =

    Hodge decomposition for higher order Hochschild homology , author =. Annales scientifiques de l'École Normale Supérieure , volume =. 2000. doi:10.1016/S0012959300001075 ,

    work page doi:10.1016/s0012959300001075

  6. [6]

    Homology, Homotopy and Applications , volume =

    Ekedahl, Torsten , title =. Homology, Homotopy and Applications , volume =. 2002 ,

    work page 2002

  7. [7]

    Algebraic & Geometric Topology , volume=

    Cup-one algebras and 1-minimal models , author=. Algebraic & Geometric Topology , volume=

    work page

  8. [8]

    Geometry & Topology , volume=

    Derived functors of the divided power functors , author=. Geometry & Topology , volume=. 2016 , publisher=

    work page 2016

Show all 41 references
  1. [9]

    Annales de l'Institut Fourier , year =

    Dold, Albrecht and Puppe, Dieter , title =. Annales de l'Institut Fourier , year =

  2. [10]

    Inventiones mathematicae , volume=

    A counterexample to a conjecture of Steenrod , author=. Inventiones mathematicae , volume=. 1981 , publisher=

    1981

  3. [11]

    Journal f

    Binomial rings and homotopy theory , author=. Journal f. 2024 , publisher=

    2024

  4. [12]

    2020 , publisher=

    Le problème de la schématisation de Grothendieck revisité , author=. 2020 , publisher=

    2020

  5. [13]

    2012 , eprint =

    Mikhailov, Roman , title =. 2012 , eprint =

    2012

  6. [14]

    arXiv preprint arXiv:2604.22435 , eprint =

    On formality of diagrams of Eilenberg-MacLane spaces , author=. arXiv preprint arXiv:2604.22435 , eprint =

    arXiv

  7. [15]

    , year =

    Gugnin, D. , year =. The Integral Cohomology Ring of Symmetric Products of CW Complexes and Topology of Symmetric Products of Riemann Surfaces , volume =. Proceedings of the Steklov Institute of Mathematics

  8. [16]

    Gugnin, Dmitry V. ,. 2015 ,

    2015

  9. [17]

    Journal of pure and applied Algebra , volume=

    Binomial rings, integer-valued polynomials, and -rings , author=. Journal of pure and applied Algebra , volume=

  10. [18]

    1994 , publisher=

    An introduction to homological algebra , author=. 1994 , publisher=

    1994

  11. [19]

    1996 , publisher=

    Homotopy type and homology , author=. 1996 , publisher=

    1996

  12. [20]

    Journal of the London Mathematical Society , volume=

    Derived binomial rings I: integral Betti cohomology of log schemes , author=. Journal of the London Mathematical Society , volume=. 2026 , publisher=

    2026

  13. [21]

    International Mathematics Research Notices , volume=

    Hodge-to-de Rham degeneration for stacks , author=. International Mathematics Research Notices , volume=. 2022 , publisher=

    2022

  14. [22]

    Palermo, F. P. , title =. Trans. Amer. Math. Soc. , volume =

  15. [23]

    Puppe, Volker , title =. Arch. Math. (Basel) , volume =

  16. [24]

    Bar complexes and extensions of classical exponential functors , journal =

    Touz\'. Bar complexes and extensions of classical exponential functors , journal =. 2014 ,

    2014

  17. [25]

    1971 , note =

    Illusie, Luc , title =. 1971 , note =

    1971

  18. [26]

    Whitehead, J. H. C. , title =. Comment. Math. Helv. , volume =

  19. [27]

    Journal of Fixed Point Theory and Applications , volume=

    Homotopy groups with coefficients , author=. Journal of Fixed Point Theory and Applications , volume=. 2010 , publisher=

    2010

  20. [28]

    Cahiers de topologie et g

    On the PROP corresponding to bialgebras , author=. Cahiers de topologie et g

  21. [29]

    Neisendorfer, Joseph ,

  22. [30]

    Albrecht Dold, Homology of Symmetric Products and Other Functors of Complexes

  23. [31]

    Torsten Ekedahl, On minimal models in integral homotopy theory

  24. [32]

    Lawrence Breen, Roman Mikhailov and Antoine Touz\'e, Derived Functors of The Divided Power Functors

  25. [33]

    Mikhailov, ON THE SPLITTING OF POLYNOMIAL FUNCTORS

    R. Mikhailov, ON THE SPLITTING OF POLYNOMIAL FUNCTORS

  26. [34]

    Gugnin, On Integral Cohomology Ring of Symmetric Products

    Dmitry V. Gugnin, On Integral Cohomology Ring of Symmetric Products

  27. [35]

    Joseph Neisendorfer,

  28. [36]

    Kubrak, G

    D. Kubrak, G. Shuklin, A. Zakharov, Derived binomial rings I: integral Betti cohomology of log schemes

  29. [37]

    Palermo, The Cohomology Ring Of Product Of Complexes

    F.P. Palermo, The Cohomology Ring Of Product Of Complexes

  30. [38]

    Puppe, Über Cohomologie von symmetrischen Produkten

    V. Puppe, Über Cohomologie von symmetrischen Produkten

  31. [39]

    Touz\'e, Bar complexes and extensions of classical exponential functors

    A. Touz\'e, Bar complexes and extensions of classical exponential functors

  32. [40]

    Luc Illusie, Complexe Cotangent et D\'eformations

  33. [41]

    Whitehead, On simply connected, 4-dimensional polyhedra

    J.H.C. Whitehead, On simply connected, 4-dimensional polyhedra

Pith tools

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