pith. machine review for the scientific record. sign in

arxiv: 2603.09491 · v2 · submitted 2026-03-10 · 🧮 math.AT

Recognition: no theorem link

The homotopy type of the moment-angle complex associated to the complex of injective words

Pedro Concei\c{c}\~ao
Authors on Pith no claims yet

Pith reviewed 2026-05-15 13:49 UTC · model grok-4.3

classification 🧮 math.AT
keywords moment-angle complexhomotopy typecomplex of injective wordsh-vectorpolyhedral productface posetdirected graphshomotopy fibration
0
0 comments X

The pith

The homotopy type of the moment-angle complex for the complex of injective words is fixed by the h-vector of that complex.

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

The paper uses the polyhedral product construction to build a topological space from the face poset of the complex of injective words. It then determines the homotopy type of the associated moment-angle complex explicitly in terms of the h-vector of the underlying complex. A sympathetic reader cares because the result gives a direct bridge from combinatorial data on directed graphs to topological invariants, with the construction also yielding a generalized homotopy fibration for ordered simplicial complexes.

Core claim

We compute the homotopy type of the moment-angle complex over the face poset of the complex of injective words and show that this homotopy type is determined by the h-vector of complexes of injective words. We also construct an associated homotopy fibration of polyhedral products over ordered simplicial complexes that generalizes the corresponding fibration for abstract simplicial complexes.

What carries the argument

The moment-angle complex over the face poset of the complex of injective words, built via the polyhedral product functor, which encodes the homotopy type through the h-vector.

If this is right

  • Homotopy groups of the space are read directly from the entries of the h-vector.
  • The construction supplies combinatorial models for topological invariants of directed-graph complexes.
  • The generalized homotopy fibration applies to any ordered simplicial complex arising from similar word data.
  • Explicit homotopy types become available for polyhedral products built from other posets of injective words.

Where Pith is reading between the lines

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

  • The same h-vector link may extend to other posets built from restricted words or permutations.
  • This description could yield new topological invariants for directed graphs that are computable from their combinatorial h-vectors alone.
  • Small explicit examples of injective-word complexes provide immediate test cases for the claimed homotopy equivalence.

Load-bearing premise

The face poset of the complex of injective words can be fed directly into the standard polyhedral product and moment-angle constructions without further conditions on ordering or directedness.

What would settle it

Take a small explicit complex of injective words, compute its h-vector, build the corresponding moment-angle complex, and check whether its homotopy groups or Betti numbers match the combinatorial prediction; mismatch on even one example disproves the determination claim.

read the original abstract

Topological methods have emerged as valuable tools for analyzing the structural properties of directed graphs, particularly connectome data in computational neuroscience. This paper investigates the construction of topological spaces from combinatorial data of directed graphs using the polyhedral product functor, with particular emphasis on understanding their homotopy type, which is also of independent interest in topology and combinatorics. Specifically, we compute the homotopy type of the moment-angle complex over the face poset of the complex of injective words. This reveals a tight connection between homotopy and combinatorics: its homotopy type is determined by the $h$-vector of complexes of injective words. We also construct an associated homotopy fibration of polyhedral products associated to ordered simplicial complexes, which in a way generalizes the analogous homotopy fibration for polyhedral products over abstract simplicial 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

2 major / 2 minor

Summary. The manuscript computes the homotopy type of the moment-angle complex Z_P associated to the face poset P of the complex of injective words, asserting that this type is completely determined by the h-vector of the complex. It also constructs an associated homotopy fibration of polyhedral products for ordered simplicial complexes that generalizes the standard fibration for abstract simplicial complexes.

Significance. If the central computation holds, the result would give an explicit combinatorial formula for the homotopy type of a polyhedral-product space built from directed-graph data, strengthening the link between the h-vector and homotopy groups in algebraic topology while offering a potential tool for topological analysis of connectomes.

major comments (2)
  1. [polyhedral-product construction for posets] The extension of the standard polyhedral product (D²,S¹)^K to the face poset P of the injective-words complex (see the construction in the section following the abstract) assumes without explicit verification that the ordering on words induces no additional face relations or changes to attaching maps; if such adjustments exist, the resulting CW structure of Z_P would carry homotopy data not captured by the h-vector alone.
  2. [homotopy-type theorem] The claimed homotopy equivalence (asserted after the fibration construction) to a wedge of spheres whose Betti numbers are read off from the h-vector entries requires a detailed computation or reference to the long exact sequence of the fibration to confirm that no extra homotopy groups arise from the directed structure; the current outline leaves this independence unverified.
minor comments (2)
  1. [preliminaries] Notation for the ordered simplicial complex and its face poset should be introduced with a small example (e.g., words on a 3-element set) to clarify how the ordering is encoded before the general construction.
  2. [fibration section] The statement that the fibration 'in a way generalizes' the abstract-simplicial-complex case would benefit from an explicit comparison of the two fiber sequences, including the precise difference in the base spaces.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address each major comment below and will revise the manuscript to provide the requested clarifications and explicit verifications.

read point-by-point responses

  1. Referee: [polyhedral-product construction for posets] The extension of the standard polyhedral product (D²,S¹)^K to the face poset P of the injective-words complex (see the construction in the section following the abstract) assumes without explicit verification that the ordering on words induces no additional face relations or changes to attaching maps; if such adjustments exist, the resulting CW structure of Z_P would carry homotopy data not captured by the h-vector alone.

    Authors: The face poset P is constructed directly from the complex of injective words, with the partial order given by subsequence inclusion of words; this already incorporates the directed structure without introducing extraneous face relations beyond those defining the complex. The polyhedral product Z_P is defined via the standard poset-based construction, so its CW structure and attaching maps are determined exactly by the faces of P. The h-vector computation (via the standard generating-function relation for this complex) therefore captures the full homotopy data. We will add a short lemma in the revised version explicitly confirming that the ordering induces no additional relations or changes to the attaching maps. revision: partial

  2. Referee: [homotopy-type theorem] The claimed homotopy equivalence (asserted after the fibration construction) to a wedge of spheres whose Betti numbers are read off from the h-vector entries requires a detailed computation or reference to the long exact sequence of the fibration to confirm that no extra homotopy groups arise from the directed structure; the current outline leaves this independence unverified.

    Authors: The associated homotopy fibration of polyhedral products is constructed so that both the base and fiber are wedges of spheres whose dimensions and numbers are read from the h-vector of the injective-words complex. The long exact sequence of the fibration then yields the homotopy type of the total space as a wedge of spheres with the same Betti numbers, because the combinatorial properties of injective words force all connecting homomorphisms to vanish in the relevant degrees. We will expand the proof in the revised manuscript with an explicit computation of the relevant portion of the long exact sequence to verify this independence from any residual directed data. revision: yes

Circularity Check

0 steps flagged

No circularity: homotopy type follows from standard polyhedral product applied to given poset

full rationale

The derivation applies the established polyhedral-product definition of the moment-angle complex Z_P to the face poset P of the injective-words complex, then extracts the homotopy type via the h-vector of that complex. The h-vector enters as an independent combinatorial datum rather than a fitted or redefined quantity. The generalized fibration for ordered simplicial complexes is constructed directly from the functor without reducing to a self-citation chain or renaming a prior result. No equation equates the output homotopy type to an input by construction, and no load-bearing uniqueness theorem is imported from the same authors.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard axioms of algebraic topology (homotopy theory of polyhedral products and fibrations) and the combinatorial definition of the complex of injective words; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)
  • standard math The polyhedral product functor and moment-angle complex construction satisfy the usual homotopy-theoretic properties for face posets of simplicial complexes.
    Invoked implicitly when the homotopy type is asserted to be determined by the h-vector.

pith-pipeline@v0.9.0 · 5430 in / 1265 out tokens · 42963 ms · 2026-05-15T13:49:44.839637+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

29 extracted references · 29 canonical work pages

  1. [1]

    Bahri, M

    A. Bahri, M. Bendersky, F.R. Cohen, and S. Gitler.The polyhedral product functor: A method of decomposition for moment-angle complexes, arrangements and related spaces. Vol. 225. 3. Advances in Mathematics, 2010, pp. 1634–1668.doi:https://doi.org/10. 1016/j.aim.2010.03.026

    work page 2010

  2. [2]

    Bj¨ orner.Posets, regular CW complexes and Bruhat order

    A. Bj¨ orner.Posets, regular CW complexes and Bruhat order. English. Vol. 5. European Journal of Combinatorics, 1984, pp. 7–16

    work page 1984

  3. [3]

    Anders Bj¨ orner and Michelle Wachs.On lexicographically shellable posets. Vol. 277. 1. Transactions of the American Mathematical Society, 1983, pp. 323–341.doi:10.1090/ S0002-9947-1983-0690055-6

    work page 1983

  4. [4]

    Wachs.Shellable nonpure complexes and posets

    Anders Bj¨ orner and Michelle L. Wachs.Shellable nonpure complexes and posets. I. English. Vol. 348. 4. Transactions of the American Mathematical Society (AMS), Providence, RI, 1996, pp. 1299–1327

    work page 1996

  5. [5]

    Poset fiber theorems

    Anders Bj¨ orner, Michelle L. Wachs, and Volkmar Welker. “Poset fiber theorems”. English. In:Trans. Am. Math. Soc.357.5 (2005), pp. 1877–1899.issn: 0002-9947; 1088-6850/e. 15

    work page 2005

  6. [6]

    Mathematical Surveys and Mono- graphs

    Victor Buchstaber and Taras Panov.Toric Topology. Mathematical Surveys and Mono- graphs. American Mathematical Society, 2015

    work page 2015

  7. [7]

    V M Bukhshtaber and T E Panov.Torus actions, combinatorial topology, and homological algebra. Vol. 55. Russian Mathematical Surveys, 2000

    work page 2000

  8. [8]

    Wojtek Chacholski, Ran Levi, and Roy Meshulam.On the topology of complexes of injective words. English. Vol. 4. 1. Journal of Applied and Computational Topology, 2020, pp. 29– 44.doi:10.1007/s41468-019-00039-6

    work page doi:10.1007/s41468-019-00039-6 2020

  9. [9]

    Polyhedral Products over ordered simplicial complexes and related problems

    Pedro Concei¸ c˜ ao. “Polyhedral Products over ordered simplicial complexes and related problems”. In:PhD thesis, University of Aberdeen(2023)

    work page 2023

  10. [10]

    An application of neighbourhoods in digraphs to the classification of binary dynamics

    Pedro Concei¸ c˜ ao, Dejan Govc, J¯ anis Lazovskis, Ran Levi, Henri Riihim¨ aki, and Jason P. Smith. “An application of neighbourhoods in digraphs to the classification of binary dynamics”. In:Network Neuroscience6.2 (June 2022), pp. 528–551.issn: 2472-1751.doi: 10.1162/netn_a_00228. eprint:https://direct.mit.edu/netn/article- pdf/6/2/ 528/2028177/netn_a_...

    work page doi:10.1162/netn_a_00228 2022

  11. [11]

    Davis and Tadeusz Januszkiewicz.Convex polytopes, Coxeter orbifolds and torus actions

    Michael W. Davis and Tadeusz Januszkiewicz.Convex polytopes, Coxeter orbifolds and torus actions. English. Vol. 62. 2. Duke Mathematical Journal, 1991, pp. 417–451.doi: 10.1215/S0012-7094-91-06217-4

    work page doi:10.1215/s0012-7094-91-06217-4 1991

  12. [12]

    Emmanuel Dror Farjoun.Cellular spaces, null spaces and homotopy localization. English. Vol. 1622. Berlin: Springer-Verlag, 1995, pp. xiv + 199.isbn: 3-540-60604-1

    work page 1995

  13. [13]

    Cellular homology for posets

    Frank D Farmer. “Cellular homology for posets”. In:Math. Japon23.6 (1978), p. 79

    work page 1978

  14. [14]

    Cambridge University Press, 1990

    Rudolf Fritsch and Renzo Piccinini.Cellular Structures in Topology. Cambridge University Press, 1990

    work page 1990

  15. [15]

    The homotopy type of the complement of a coordi- nate subspace arrangement

    Jelena Grbi´ c and Stephen Theriault. “The homotopy type of the complement of a coordi- nate subspace arrangement”. In:Topology46.4 (2007), pp. 357–396.issn: 0040-9383.doi: https://doi.org/10.1016/j.top.2007.02.006.url:https://www.sciencedirect. com/science/article/pii/S0040938307000110

    work page doi:10.1016/j.top.2007.02.006.url:https://www.sciencedirect 2007

  16. [16]

    Jelena Grbi´ c and Stephen Theriault.The homotopy type of the polyhedral product for shifted complexes. Vol. 245. Advances in Mathematics, 2013, pp. 690–715.doi:https : //doi.org/10.1016/j.aim.2013.05.002.url:https://www.sciencedirect.com/ science/article/pii/S0001870813001588

    work page doi:10.1016/j.aim.2013.05.002.url:https://www.sciencedirect.com/ 2013

  17. [17]

    Cambridge Univ

    Allen Hatcher.Algebraic topology. Cambridge Univ. Press, 2000

    work page 2000

  18. [18]

    Decompositions of polyhedral products for shifted complexes

    Kouyemon Iriye and Daisuke Kishimoto. “Decompositions of polyhedral products for shifted complexes”. In:Advances in Mathematics245 (2013), pp. 716–736.issn: 0001- 8708.doi:https : / / doi . org / 10 . 1016 / j . aim . 2013 . 05 . 003.url:https : / / www . sciencedirect.com/science/article/pii/S000187081300159X

    work page 2013

  19. [19]

    Kerz.The complex of words and Nakaoka stability

    Moritz C. Kerz.The complex of words and Nakaoka stability. Homology, Homotopy and Applications, 2005

    work page 2005

  20. [20]

    Kyoto Journal of Mathematics, 2022, pp

    Daisuke Kishimoto and Ran Levi.Polyhedral products over finite posets. Kyoto Journal of Mathematics, 2022, pp. 1–40.doi:10.1215/21562261-2022-0020

    work page doi:10.1215/21562261-2022-0020 2022

  21. [21]

    Zhi L¨ u and Taras Panov.Moment-angle complexes from simplicial posets. English. Vol. 9

    work page

  22. [22]

    Central European Journal of Mathematics, Springer, Heidelberg; De Gruyter Open, Warsaw, 2011, pp. 715–730

    work page 2011

  23. [23]

    Munson and Ismar Voli´ c.Cubical Homotopy Theory

    Brian A. Munson and Ismar Voli´ c.Cubical Homotopy Theory. New Mathematical Mono- graphs. Cambridge University Press, 2015.doi:10.1017/CBO9781139343329. 16

    work page doi:10.1017/cbo9781139343329 2015

  24. [24]

    Cliques of Neurons Bound into Cavities Provide a Missing Link between Structure and Function

    Michael W. Reimann, Max Nolte, Martina Scolamiero, Katharine Turner, Rodrigo Perin, Giuseppe Chindemi, Pawe l D lotko, Ran Levi, Kathryn Hess, and Henry Markram. “Cliques of Neurons Bound into Cavities Provide a Missing Link between Structure and Function”. In:Frontiers in Computational NeuroscienceVolume 11 - 2017 (2017).issn: 1662-5188. doi:10.3389/fnco...

    work page doi:10.3389/fncom.2017.00048.url:https://www.frontiersin.org/journals/ 2017

  25. [25]

    Stanley.Enumerative Combinatorics: Volume 1

    Richard P. Stanley.Enumerative Combinatorics: Volume 1. 2nd. Cambridge University Press, 2011.isbn: 1107602629

    work page 2011

  26. [26]

    f-vectors and h-vectors of simplicial posets

    Richard P. Stanley. “f-vectors and h-vectors of simplicial posets”. In:Journal of Pure and Applied Algebra71.2 (1991). Special Issue In Honor of H. Matsumura, pp. 319–331.issn: 0022-4049.doi:https : / / doi . org / 10 . 1016 / 0022 - 4049(91 ) 90155 - U.url:https : //www.sciencedirect.com/science/article/pii/002240499190155U

    work page arXiv 1991

  27. [27]

    Toric homotopy theory

    Stephen Theriault. “Toric homotopy theory”. English. In:Combinatorial and Toric ho- motopy. Introductory lectures.Hackensack, NJ: World Scientific, 2018, pp. 1–66.isbn: 978-981-3226-56-2/hbk

    work page 2018

  28. [28]

    Ziegler, and Rade T.ˇZivaljevi´ c.Homotopy colimits – compar- ison lemmas for combinatorial applications

    Volkmar Welker, G¨ unter M. Ziegler, and Rade T.ˇZivaljevi´ c.Homotopy colimits – compar- ison lemmas for combinatorial applications. English. Vol. 509. Journal f¨ ur die Reine und Angewandte Mathematik, De Gruyter, Berlin, 1999, pp. 117–149

    work page 1999

  29. [29]

    Ziegler and Rade T

    G¨ unter M. Ziegler and Rade T. ˇZivaljevi´ c.Homotopy types of subspace arrangements via diagrams of spaces. English. Vol. 295. 3. Mathematische Annalen, 1993, pp. 527–548.doi: 10.1007/BF01444901. Institute of Computer Science, Dependable Systems, Kiel University, Kiel, 24118, Germany Email address:prdc@informatik.uni-kiel.de 17

    work page doi:10.1007/bf01444901 1993