Pith. sign in

REVIEW 3 minor 26 references

Filtered order complexes and magnitude homology of finite graded posets

T0 review · 0 major / 3 minor · reviewed 2026-06-27 · grok-4.3

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

Pith's one-line read Rank-filtered subcomplexes of order complexes in finite graded posets match the homology of an underlying closed manifold except in the top dimension, where the group is a nontrivial free abelian group.

desk verdict The paper defines rank filtrations on order complexes of finite graded posets and gives homology agreement with manifolds (except top degree), shellability preservation, and wedge-of-spheres homotopy for geometric semilattices, tying into magnitude homology. read the letter →

arxiv 2606.15241 v2 pith:B2COBDJM submitted 2026-06-13 math.CO math.ATmath.MG

Yoh Kitajima This is my paper · ORCID
classification math.COmath.ATmath.MG
keywords ordercomplexmagnitudehomologygradedposetfilteredsubcomplexshellablegeometricsemilatticesimplicialsubdivisionclosedmanifold
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 defines filtered subcomplexes of the order complex of a finite graded poset by cutting along the rank function and studies their topology. When the full order complex is a simplicial subdivision of a closed manifold, these filtered pieces have the same homology as the manifold in every dimension except the highest, where a free abelian group appears instead. The same filtered pieces stay shellable whenever the original poset is shellable, and for geometric semilattices they are homotopy equivalent to a wedge of spheres all of one dimension. These facts are presented as properties that also inform the magnitude homology of the poset.

What carries the argument

The rank-filtered subcomplexes obtained by partitioning the order complex according to the grading of the poset.

What would settle it

Compute the homology of one filtered subcomplex for a concrete finite graded poset whose order complex subdivides a sphere or other closed manifold and check whether any non-top-dimensional group differs from the manifold's homology.

Watch

Extended reading notes

Core claim

For posets whose order complexes are simplicial subdivisions of closed manifolds, the homology groups of these subcomplexes agree with that of the underlying manifold except for the top dimension, where it is a nontrivial free abelian group. For shellable graded posets each subcomplex is shellable; for geometric semilattices each is homotopy equivalent to a nontrivial wedge sum of spheres of the same dimension.

Load-bearing premise

The poset must be finite and graded so that the rank function cleanly partitions the order complex into layers whose topology can be compared with the manifold or shellability properties.

Editorial extensions

If this is right

  • Homology calculations for the filtered layers reduce to the known homology of the manifold plus one extra free abelian summand in top degree.
  • Shellability of the original graded poset is inherited by every filtered subcomplex.
  • Geometric semilattices produce filtered pieces that are all homotopy equivalent to wedges of spheres of identical dimension.
  • Magnitude homology of the poset receives topological information from the filtered order complexes.

Reading between the lines

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

  • The filtration may give a practical way to compute magnitude homology by reducing it to manifold homology plus a single correction term.
  • The same filtered pieces could be used to study other invariants that are sensitive to shellability or homotopy type in combinatorial settings.
  • If the grading is relaxed or the poset is allowed to be infinite, the statements would require new proofs or counter-examples.
Share X Bluesky LinkedIn Reddit HN

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

0 major / 3 minor

Summary. The paper studies the family of rank-filtered subcomplexes of the order complexes of finite graded posets. It relates these to magnitude homology, proves that when the order complex is a simplicial subdivision of a closed manifold the homology of the subcomplexes agrees with that of the manifold except in top dimension (where it is a nontrivial free abelian group), shows that shellability of the poset implies shellability of each filtered subcomplex, and shows that for geometric semilattices each subcomplex is homotopy equivalent to a nontrivial wedge of spheres of fixed dimension.

Significance. If the claims hold, the work supplies a natural filtration on order complexes that interacts cleanly with magnitude homology and preserves or controls standard topological invariants (homology, shellability, homotopy type) under the stated hypotheses. The results appear to rest on classical poset-topology techniques applied to the rank filtration, which is a standard construction for graded posets; the manifold and geometric-semilattice cases extend known subdivision and shellability results in a uniform way.

minor comments (3)
  1. [Abstract] Abstract, line 3: 'undelying' is a typographical error and should read 'underlying'.
  2. [Abstract] Abstract, sentence on shellable graded posets: 'each of the subcomplexes are also shellable' contains a subject-verb agreement error; rephrase for grammatical correctness.
  3. [Abstract] Abstract, final sentence: 'each subcomplexes are homotopy equivalent to a nontrivial wedge sums of spheres' contains multiple grammatical issues ('each subcomplex is', 'wedge sum', 'of spheres of the same dimension').

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the summary of our results on rank-filtered subcomplexes, their relation to magnitude homology, and the shellability and homotopy-type statements. We appreciate the recommendation for minor revision and will incorporate any minor editorial changes in the revised version.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; claims rest on external topological hypotheses

full rationale

The paper defines filtered subcomplexes via the rank function on finite graded posets and states three classes of results: general topological properties relating to magnitude homology, homology agreement with underlying manifolds (except top dimension) when the order complex subdivides a closed manifold, and preservation of shellability (plus homotopy equivalence to wedges of spheres for geometric semilattices). These are presented as theorems whose hypotheses are external (poset finiteness, grading, manifold subdivision property, shellability). No equations appear that equate a derived quantity to a fitted input by construction, and no load-bearing self-citation chain is invoked to justify uniqueness or an ansatz. The derivation chain therefore remains self-contained against standard poset-topology benchmarks.

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

Abstract-only review supplies no explicit free parameters, invented entities, or non-standard axioms; all background appears to be standard graded-poset and simplicial-complex theory.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Filtered order complexes and magnitude homology of finite graded posets." pith.science (2026). https://pith.science/paper/B2COBDJM

@misc{pith2026260615241,
  author       = {Pith},
  title        = {Pith review of: Filtered order complexes and magnitude homology of finite graded posets},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/B2COBDJM}},
  note         = {Machine review of arXiv:2606.15241}
}
read the original abstract

In this paper, we study the family of subcomplexes of the order complexes of finite graded posets, defined via its rank function. We address three main topics. (1) We describe the general topological properties of these subcomplexes in relation to magnitude homology of graded posets. (2) For posets whose order complexes are simplicial subdivisions of closed manifolds, we show that the homology groups of these subcomplexes agree with that of the undelying manifold except for the top dimension, where it is a nontrivial free abelian group. (3) For shellable graded posets, we prove that each of the subcomplexes are also shellable. Moreover, in the case of geometric semilattices, we show that each subcomplexes are homotopy equivalent to a nontrivial wedge sums of spheres of the same dimension.

Figures

Figures reproduced from arXiv: 2606.15241 by the authors.

Figure 1
Figure 1. The magnitude homology of P and the homotopy types of ∆(k) (P) (0 ≤ k ≤ 2) are as follows: MH2 i (P) ∼= 0 (i = 0, 1, 2), MH1 i (P) ∼= ( Z 8 (i = 1) 0 (otherwise), MH0 0 (P) ∼= Z 8 , (2.20) ∆(2)(P) ≃ S 1 , ∆(1)(P) ≃ S 1 , ∆(0)(P) ≃ _ 7 S 0 . (2.21) The equality of (2.18) holds in the case k = 2. 9 [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
Figure 1
Figure 1. Hasse diagram of P. 1 2 3 4 5 6 7 8 [PITH_FULL_IMAGE:figures/full_fig_p010_1.png] view at source ↗
Figure 4
Figure 4. face poset of K 4 Magnitude homology and filtered order complexes of shellable graded posets. 4.1 Shellablity of simplicial complexes and posets A simplicial complex ∆ is pure or pure dimensional of n if all its maximal simplices have the same dimension n. Definition 4.1 ([12], Definition 12.1). A simplicial complex ∆ is called shellable if its max￾imal simplices can be arranged in linear order F1, . . . , Ft in suc… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 6 canonical work pages

  1. [1]

    Adiprasito, J

    K. Adiprasito, J. Huh, E. Katz,Hodge theory for combinatorial geometries, Annals of Mathematics,188(2018), no.2, pp.381-452

    2018

  2. [2]

    Y. Asao, K. Izumihara,Geometric approach to graph magnitude homology, Homology, Homotopy and Applications,23(2021), no.1, pp.297-310

    2021

  3. [3]

    Asao,Magnitude homology and path homology, Bull

    Y. Asao,Magnitude homology and path homology, Bull. London. Math. Society,55(2023), no.1, pp.375-398

    2023

  4. [4]

    Asao,Magnitude and magnitude homology of filtered set enriched categories, (2023), arXiv:2303.05677

    Y. Asao,Magnitude and magnitude homology of filtered set enriched categories, (2023), arXiv:2303.05677

    work page arXiv 2023

  5. [5]

    Bjorner, F

    A. Bjorner, F. Brenti,Combinatorics of Coxeter groups, Graduate Texts in Mathematics, 231(2005), Springer-Verlag, New York

    2005

  6. [6]

    S. Di, S.O. Ivanov, L. Mukoseev, M. Zhang,On the path homology of cayley digraphs and covering digraphs, Journal of Algebra,653(2024), pp.156-199

    2024

  7. [7]

    Hepworth, S

    R. Hepworth, S. Willerton,Categorifying the magnitude of a graph, Homology, Homotopy and Applications,19(2017), pp. 31-60

    2017

  8. [8]

    Bigraded path homology and the magnitude-path spectral sequence

    R. Hepworth, E. Roff,Bigraded Path Homology and the Magnitude-path Spectral Se- quence, (2024), arxiv:2404.06689v1

    work page Pith review arXiv 2024

Show all 26 references
  1. [9]

    Ivanov,Nested homotopy models of finite metric spaces and their spectral homology, (2024), arxiv:2312.11878

    S.O. Ivanov,Nested homotopy models of finite metric spaces and their spectral homology, (2024), arxiv:2312.11878

    2024

  2. [10]

    Ivanov, L

    S.O. Ivanov, L. Mukoseev,On diagonal digraphs, Koszul algebras and triangulations of homology spheres, (2024), arxiv:2405.04748v2

    2024

  3. [11]

    Kaneta, M

    R. Kaneta, M. Yoshinaga,Magnitude homology of metric spaces and order complexes, Bulletin of the London Mathematical Society,53(2021), pp.893-905

    2021

  4. [12]

    Kozlov,Combinatorial Algebraic Topology, Algorithms and Computation in Mathe- matics,21(2008), Springer-Verlag Berlin Heidelberg

    D. Kozlov,Combinatorial Algebraic Topology, Algorithms and Computation in Mathe- matics,21(2008), Springer-Verlag Berlin Heidelberg

    2008

  5. [13]

    Leinster,The magnitude of metric spaces, Documenta Mathematica,18(2013), pp

    T. Leinster,The magnitude of metric spaces, Documenta Mathematica,18(2013), pp. 857-905

    2013

  6. [14]

    Leinster, M

    T. Leinster, M. Shulman,Magnitude homology of enriched categories and metric spaces, Algebraic and Geometric Topology,21.5(2021), pp. 2175-2221

    2021

  7. [15]

    Martin II, R

    P. Martin II, R. Sazdanovic,Torsion in Magnitude homology theories, (2025), preprint arXiv:2503.11976

    2025

  8. [16]

    Munkres,Topological results in combinatorics, Michigan Mathematical Journal, 31(1984), pp113-128

    J. Munkres,Topological results in combinatorics, Michigan Mathematical Journal, 31(1984), pp113-128

    1984

  9. [17]

    Munkres,Elements of Algebraic Topology, Addison-Wesley Publishing Company, (1984)

    J. Munkres,Elements of Algebraic Topology, Addison-Wesley Publishing Company, (1984). 20

    1984

  10. [18]

    Orlik, H

    P. Orlik, H. Terao,Arrangements of Hyperplanes, Grundlehren der mathematischen Wis- senschaften,300(1992), Springer Verlag, Berlin-Heidelberg

    1992

  11. [19]

    Otter,Magnitude meets persistence

    N. Otter,Magnitude meets persistence. Homology theories for filtered simplicial sets, (2018), preprint arXiv:1807.01540

    2018

  12. [20]

    Quillen,Homotopy properties of the poset of nontrivialp-subgroups of a groupAd- vances in Mathematics,28.2(1978), pp.101-128

    D. Quillen,Homotopy properties of the poset of nontrivialp-subgroups of a groupAd- vances in Mathematics,28.2(1978), pp.101-128

    1978

  13. [21]

    Stanley,An introduction to hyperplane arrangements, Geometric Combinatorics, 13(2007), pp.389-496

    R. Stanley,An introduction to hyperplane arrangements, Geometric Combinatorics, 13(2007), pp.389-496

    2007

  14. [22]

    Stanley,Enumerative Combinatorics: Volume 1, Cambridge Studies in Advanced Mathematician,2nd edition(2011), Cambridge University Press

    R. Stanley,Enumerative Combinatorics: Volume 1, Cambridge Studies in Advanced Mathematician,2nd edition(2011), Cambridge University Press

    2011

  15. [23]

    Tajima, M

    Y. Tajima, M. Yoshinaga,Causal order complex and magnitude homotopy type of metric spaces, International Mathematics Research Notices,4(2024), pp.3176-3222

    2024

  16. [24]

    Wachs,Poset topology: tools and applications, Geometric combinatorics,13(2007), pp.497-615

    M. Wachs,Poset topology: tools and applications, Geometric combinatorics,13(2007), pp.497-615

    2007

  17. [25]

    Wachs, J.W

    M.L. Wachs, J.W. Walker,On geometric semilattices, Order2(1986), pp.367-385

    1986

  18. [26]

    White, ed.Matroid applications, Encyclopedia of Mathematics and its Applications, 40(1992), Cambridge University Press

    N. White, ed.Matroid applications, Encyclopedia of Mathematics and its Applications, 40(1992), Cambridge University Press. 21

    1992

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.