pith. machine review for the scientific record. sign in

arxiv: 2604.25344 · v1 · submitted 2026-04-28 · 🧮 math.AT · math.RA

Recognition: unknown

A colimit decomposition for the loop homology of polyhedral products

Fedor Vylegzhanin, Lewis Stanton

Pith reviewed 2026-05-07 14:06 UTC · model grok-4.3

classification 🧮 math.AT math.RA
keywords polyhedral productsloop homologycolimit decompositionflagificationsimplicial complexesDavis-Januszkiewicz spacesPoincaré seriesStanley-Reisner rings
0
0 comments X

The pith

The loop homology algebras of polyhedral products decompose as colimits over the flagification of the simplicial complex.

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

The paper proves that the loop homology algebra of a polyhedral product formed from pointed spaces and a simplicial complex K equals the colimit of the corresponding algebras taken over the flagification of K. An analogous decomposition holds for the Poincaré series. This reduces the general study of these algebras to the case of 1-neighbourly simplicial complexes. The authors derive explicit presentations for the loop homology of Davis-Januszkiewicz spaces and compute the Poincaré series for families such as HMF-presented complexes and skeleta of flag complexes.

Core claim

The loop homology algebra H_*(Ω(underline{X}, underline{*})^K) is the colimit, taken in the category of algebras, of the loop homology algebras over the flagification of K; the Poincaré series admits a parallel colimit decomposition. This holds for standard polyhedral products and reduces the problem to 1-neighbourly complexes.

What carries the argument

The flagification of K (the smallest flag complex containing K) together with the colimit construction in the category of algebras.

If this is right

  • The general computation of loop homology for polyhedral products reduces to the case of 1-neighbourly simplicial complexes.
  • Explicit algebra presentations become available for the loop homology of Davis-Januszkiewicz spaces, which are the Yoneda algebras of Stanley-Reisner rings.
  • Poincaré series can be calculated for HMF-presented complexes and for skeleta of flag complexes.

Where Pith is reading between the lines

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

  • The colimit may extend to other homology theories or invariants of polyhedral products.
  • The reduction could link loop homology computations more directly to combinatorial properties of simplicial complexes.
  • Further explicit calculations might be possible for additional classes of complexes by iterating the flagification step.

Load-bearing premise

The flagification of K preserves the algebraic structures so that the colimit of the loop homology algebras equals the loop homology of the original polyhedral product.

What would settle it

A direct computation, for some pointed spaces X and a non-1-neighbourly simplicial complex K, of the loop homology algebra H_*(Ω(X,*)^K) that differs in rank or multiplication from the colimit taken over the flagification of K.

read the original abstract

We show that the loop homology algebras of polyhedral products of the form $(\underline{X},\underline{*})^{\mathcal{K}}$ can be written as a colimit over the flagification of $\mathcal{K}$, and obtain a similar result for the Poincar\'e series. This effectively reduces the study of the algebras $H_*(\Omega(\underline{X},\underline{*})^{\mathcal{K}})$ to the case of 1-neighbourly simplicial complexes. We give presentations of the loop homology of Davis--Januszkiewicz spaces (i.e. Yoneda algebras of Stanley--Reisner rings) and calculate the Poincar\'e series of looped polyhedral products associated to various families of simplicial complexes, including HMF-presented complexes and skeleta of flag complexes.

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.

Referee Report

0 major / 3 minor

Summary. The paper proves that the loop homology algebras H_*(Ω(X, *)^K) of polyhedral products can be expressed as a colimit indexed by the flagification of the simplicial complex K, reducing the general case to 1-neighbourly complexes. A parallel colimit decomposition holds for the Poincaré series. Explicit algebra presentations are given for the loop homology of Davis-Januszkiewicz spaces (as Yoneda algebras of Stanley-Reisner rings), together with direct Poincaré series computations for HMF-presented complexes and skeleta of flag complexes.

Significance. If the colimit construction is valid, the result supplies a systematic reduction that simplifies computations of loop homology for polyhedral products and connects them to combinatorial algebra via Stanley-Reisner rings and flag complexes. The concrete presentations and series calculations for specific families furnish immediate applications and verification tools for researchers working in algebraic topology and toric topology.

minor comments (3)
  1. [§2.3] §2.3: the precise functoriality of the flagification map with respect to the algebra structure on H_*(Ω(X,*)) is stated but the verification that the colimit is taken in the category of algebras (rather than graded vector spaces) is only sketched; a short diagram chase or reference to a standard lemma would clarify this.
  2. [Table 1] Table 1 (Poincaré series for HMF complexes): the entry for the 3-skeleton of the flag complex on 5 vertices lists a series that appears to terminate prematurely; confirming the coefficient of t^6 matches the expected Betti number would strengthen the table.
  3. [Introduction] The notation for the polyhedral product (underline{X}, underline{*})^K is used consistently, but the dependence on the basepoint choice is never made explicit when passing to loop spaces; a one-sentence remark in the introduction would prevent minor confusion for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our results on the colimit decomposition of loop homology algebras of polyhedral products and for recommending minor revision. We appreciate the recognition of the reduction to 1-neighbourly complexes and the connections to Stanley-Reisner rings.

Circularity Check

0 steps flagged

No significant circularity detected in derivation

full rationale

The manuscript derives the colimit decomposition of loop homology algebras H_*(Ω(X,*)^K) by explicit algebraic presentations (Yoneda algebras of Stanley-Reisner rings for Davis-Januszkiewicz spaces) and direct Poincaré series calculations for HMF-presented complexes and flag complex skeleta. These reductions to 1-neighbourly cases via flagification rely on standard polyhedral product constructions and preservation of algebra structures, without self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations that collapse the central claim. The argument is self-contained with independent content from simplicial combinatorics and does not reduce any result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard axioms from algebraic topology and the definition of polyhedral products; no new free parameters or invented entities are apparent from the abstract.

axioms (2)
  • standard math Homology theories are functors satisfying standard axioms such as exactness and naturality.
    Loop homology is treated as an algebra, relying on properties of singular homology or equivalent theories.
  • domain assumption Polyhedral products are constructed in the standard manner from a simplicial complex and pointed spaces.
    The notation (underline{X}, underline{*})^K refers to the usual polyhedral product.

pith-pipeline@v0.9.0 · 5427 in / 1225 out tokens · 114295 ms · 2026-05-07T14:06:10.193766+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

42 extracted references · 3 canonical work pages

  1. [1]

    Abramyan, Iterated higher Whitehead products in topology of moment-angle complexes

    S. Abramyan, Iterated higher Whitehead products in topology of moment-angle complexes. Sib. Math. J. 60, 185-196 (2019)

    2019

  2. [2]

    Abramyan and T

    S. Abramyan and T. Panov. Higher Whitehead products in moment-angle complexes and substitution of simplicial complexes. Proc. Steklov Inst. Math. 305 (2019), 1-21

    2019

  3. [3]

    J. F. Adams and P. J. Hilton, On the chain algebra of a loop space. Comm. Math. Helv. 30 (1956), 305-330

    1956

  4. [4]

    A. L. Agore, Categorical constructions for Hopf algebras. Communications in Algebra 39 (4), 2011, 1476-1481

    2011

  5. [5]

    Amelotte and B

    S. Amelotte and B. Briggs, Homotopy types of moment-angle complexes associated to almost linear resolutions (preprint, 2025). arXiv:2506.15457

    work page arXiv 2025

  6. [6]

    Bahri, M

    A. Bahri, M. Bendersky and F. R. Cohen, Polyhedral products and features of their homotopy theory, Handbook of Homotopy Theory, CRC Press/Chapman Hall Handb. Math. Ser., CRC Press, Boca Raton, FL (2020), pp. 103--144

    2020

  7. [7]

    Bahri, M

    A. Bahri, M. Bendersky, F. R. Cohen and S. Gitler, The polyhedral product functor: a method of computation for moment-angle complexes, arrangements and related spaces. Adv. Math. 225 (2010), 1634-1668

    2010

  8. [8]

    Berglund, Poincare' series of monomial rings, J

    A. Berglund, Poincare' series of monomial rings, J. Algebra 295(1) (2006), 211-230

    2006

  9. [9]

    Beben and J

    P. Beben and J. Grbi\'c, LS-category of moment-angle manifolds and higher order Massey products, Forum Mathematicum 33 (5) 1179-1205

  10. [10]

    Beben and S

    P. Beben and S. Theriault, Homotopy Groups of Highly Connected Poincar\'e Duality Complexes, Doc. Math. 27 (2022), 183-211

    2022

  11. [11]

    V. M. Buchstaber and T. E. Panov, Toric topology, Mathematical Surveys and Monographs 204, American Mathematical Society, 2015

    2015

  12. [12]

    Cohen, Applications of loop spaces to some problems in topology, London Math

    F.R. Cohen, Applications of loop spaces to some problems in topology, London Math. Soc. Lecture Note Ser. 139, Cambridge Univ. Press, Cambridge, (1989)

    1989

  13. [13]

    Cai, On the graph products of simplicial groups and connected Hopf algebras

    L. Cai, On the graph products of simplicial groups and connected Hopf algebras. J. Algebra 647 (2024), 99-143

    2024

  14. [14]

    Moore, and J.A Neisendorfer, Torsion in homotopy groups

    F.R Cohen, J.C. Moore, and J.A Neisendorfer, Torsion in homotopy groups. Ann. of Math. (2) 109 (1979), 121-168

    1979

  15. [15]

    Moore, and J.A Neisendorfer, Exponents in homotopy theory

    F.R Cohen, J.C. Moore, and J.A Neisendorfer, Exponents in homotopy theory. Algebraic topology and algebraic K theory, W. Browder, ed., Ann. of Math. Study 113, Princeton University Press, 1987, 3-34

    1987

  16. [16]

    Cassidy and B

    T. Cassidy and B. Shelton, Generalizing the notion of Koszul algebra, Math. Z. 260(1) (2008), 93-114

    2008

  17. [17]

    Conner and B

    A. Conner and B. Shelton, K_2 factors of Koszul algebras and applications to face rings. J. Algebra 368 (2012), 251-270

    2012

  18. [18]

    Dobrinskaya, Loops on polyhedral products and diagonal arrangements, arXiv:0901.2871

    N. Dobrinskaya, Loops on polyhedral products and diagonal arrangements, arXiv:0901.2871

    work page arXiv

  19. [19]

    Dobrinskaya, ``Moment-angle complexes, Golodness and sequentially Cohen-Macaulay property'' (2009, unpublished)

    N. Dobrinskaya, ``Moment-angle complexes, Golodness and sequentially Cohen-Macaulay property'' (2009, unpublished)

    2009

  20. [20]

    M. Franz. Homotopy Gerstenhaber formality of Davis-Januszkiewicz spaces. Homology Homotopy Appl. 23 (2021), 325-347

    2021

  21. [21]

    Ganea, A generalization of the homology and homotopy suspension, Comment

    T. Ganea, A generalization of the homology and homotopy suspension, Comment. Math. Helv. 39 (1965), 295-322

    1965

  22. [22]

    Grbi\' c , and S

    J. Grbi\' c , and S. Theriault, The homotopy type of the polyhedral product for shifted complexes, Adv. Math. 245 (2013), 690-715

    2013

  23. [23]

    Huang, Homotopy of Simply Connected Complexes with a Spherical Pair, arXiv:2601.02247

    R. Huang, Homotopy of Simply Connected Complexes with a Spherical Pair, arXiv:2601.02247

    work page arXiv

  24. [24]

    Huang, and J

    R. Huang, and J. Wu, Cancellation and homotopy rigidity of classical functors, J. Lond. Math. Soc., 99 (2019), no. 1, 225–248

    2019

  25. [25]

    Iriye and D

    K. Iriye and D. Kishimoto. Fat-wedge filtration and decomposition of polyhedral products, Kyoto J. Math. 59(1) (2019), 1-51

    2019

  26. [26]

    MacLane, Categories for the working mathematician, Graduate texts in mathematics 5, Springer-Verlag, (1971)

    S. MacLane, Categories for the working mathematician, Graduate texts in mathematics 5, Springer-Verlag, (1971)

    1971

  27. [27]

    Lemaire, Alg\'ebres connexes et homologie des espaces de lacets

    J.-M. Lemaire, Alg\'ebres connexes et homologie des espaces de lacets . Lect. Notes Math. V. 422. Springer, Berglin, 1974

    1974

  28. [28]

    I. Yu. Limonchenko and T. E. Panov. Monomial non-Golod face rings and Massey products. Russian Math. Surveys, 77:4 (2022), 762–765

    2022

  29. [29]

    Porter, The homotopy groups of wedges of suspensions, Amer

    G.J. Porter, The homotopy groups of wedges of suspensions, Amer. J. Math 88 (1966), 655-663

    1966

  30. [30]

    Panov and T

    T. Panov and T. Rahmatullaev, Polyhedral products, graph products, and p-central series, Proc. Steklov Inst. Math., 326 (2024), no. 1, 269–285

    2024

  31. [31]

    Panov and N

    T. Panov and N. Ray, Categorical aspects of toric topology. In: Toric Topology, M. Harada et al., eds. Contemp. Math., vol. 460. Amer. Math. S6oc., Providence, RI, 2008, pp. 293–322

    2008

  32. [32]

    Smith, Split extensions of Hopf algebras and semi-tensor products

    L. Smith, Split extensions of Hopf algebras and semi-tensor products. Math. Scand. 26 (1970), 17-41

    1970

  33. [33]

    T. So, D. Stanley and S. Theriault, Weighted polyhedral products and Steenrod's problem. Res. Math. Sci 12, no. 3, Paper No. 49 (2025)

    2025

  34. [34]

    Stanton, Loop space decompositions of moment-angle complexes associated to flag complexes, Q

    L. Stanton, Loop space decompositions of moment-angle complexes associated to flag complexes, Q. J. Math., 75 (2024), no. 2, 457–477

    2024

  35. [35]

    Stanton, Loop space decompositions of moment-angle complexes associated to two-dimensional simplicial complexes

    L. Stanton, Loop space decompositions of moment-angle complexes associated to two-dimensional simplicial complexes. Proc. Edinb. Math. Soc. (2) 68 (2025), no. 4, 995–1017

    2025

  36. [36]

    Stanton and F

    L. Stanton and F. Vylegzhanin, Anick's conjecture for polyhedral products, Anick's conjecture for polyhedral products

  37. [37]

    Theriault

    S. Theriault. Toric homotopy theory. In: Combinatorial and Toric Homotopy, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore. World Scientific, 2017

    2017

  38. [38]

    Theriault, Polyhedral products for connected sums of simplicial complexes

    S. Theriault, Polyhedral products for connected sums of simplicial complexes. Proc. Steklov. Inst. Math. 317, 168-178 (2022)

    2022

  39. [39]

    F. E. Vylegzhanin, Pontryagin algebras and the LS-category of moment-angle complexes in the flag case, Proc. Steklov Inst. Math. 317, 55-77 (2022)

    2022

  40. [40]

    Vylegzhanin, Loop homology of moment-angle complexes in the flag case

    F. Vylegzhanin, Loop homology of moment-angle complexes in the flag case. Algebr. Geom. Topol. 25 (2025), no. 9, 5619-5663

    2025

  41. [41]

    Wu, Homotopy theory of the suspensions of the projective plane, Mem

    J. Wu, Homotopy theory of the suspensions of the projective plane, Mem. Amer. Math. Soc. 162 (2003), no. 769 x+130 pp

    2003

  42. [42]

    E. G. Zhuravleva, Adams–Hilton Models and Higher Whitehead Brackets for Polyhedral Products, Proc. Steklov Inst. Math. 317, 107-131 (2022)

    2022