Pith. sign in

REVIEW 4 minor 64 references

Sheaf homology of Orlik–Solomon algebras on a geometric lattice concentrates in top degree and splits as a convolution of local OS groups with filter-complement poset homology.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · grok-4.5

2026-07-10 06:32 UTC pith:UPSQYTBW

load-bearing objection Clean, correctly derived computation of OS-sheaf homology with a usable convolution decomposition and Specht formulas for uniforms.

arxiv 2607.08494 v1 pith:UPSQYTBW submitted 2026-07-09 math.CO

Orlik--Solomon sheaf homology of geometric lattices

classification math.CO MSC 55N3505B35
keywords geometric latticeOrlik–Solomon algebrasheaf homologygeometric semilatticeNBC basesuniform matroidsymmetric group representations
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper attaches to every finite geometric lattice a sheaf whose stalk at a flat is the Orlik–Solomon algebra of the principal ideal below that flat. It then computes the homology of the lattice (minus its bottom element) with coefficients in each graded piece of this sheaf. The main theorem states that the homology vanishes except in the single top degree, and that the top group decomposes as a direct sum, over all flats of a fixed rank, of the corresponding local Orlik–Solomon group tensored with the top reduced homology of the order complex of the complementary filter. Both factors are free abelian, with ranks given by Möbius numbers of the lattice. Explicit bases are constructed from no-broken-circuit sets and from Ziegler’s β-NBC bases. When the lattice is the flat lattice of a uniform matroid, the resulting homology groups become concrete representations of the symmetric group, expressed via induction, Littlewood–Richardson coefficients, and Kronecker products of hook Specht modules. The calculation therefore supplies both a new structural description of Orlik–Solomon data and a source of interesting symmetric-group representations.

Core claim

For a geometric lattice L of rank ℓ and p > 0, the sheaf homology H_i(P; OS^p) of P = L \ {0̂} vanishes for all i ≠ ℓ−1, while the top group is free abelian and isomorphic to the direct sum over z of rank p of OS^p(L ≤ z) tensor the reduced top homology of the order complex of the principal-filter complement Q_z. The ranks of the two factors are |μ(0̂,z)| and the absolute value of the corresponding Möbius sum over the filter, respectively.

What carries the argument

The Orlik–Solomon sheaf OS^•, whose stalk at a flat x is the Orlik–Solomon algebra of the principal ideal L ≤ x and whose restriction maps are the natural surjections that kill generators outside that ideal; the Brieskorn decomposition of its graded pieces then reduces the sheaf homology to ordinary poset homology of the complementary geometric semilattices.

Load-bearing premise

The argument relies on every geometric semilattice obtained by deleting a principal filter being shellable, so that its order complex is a wedge of spheres of a single dimension; without that shellability the freeness and concentration claims would not follow from the paper’s reasoning.

What would settle it

Compute the sheaf chain complex T_*(P; OS^p) for a concrete geometric lattice of small rank (for example the Boolean lattice of rank 3 or the lattice of U_{3,5}) and check whether its homology is zero outside degree ℓ−1 and whether the free rank of the top group equals the Möbius formula of Theorem 3.1.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

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 / 4 minor

Summary. The paper defines the Orlik–Solomon sheaf OS• on a finite geometric lattice L of rank ℓ by assigning to each flat x the OS algebra of the principal ideal L≤x, with structure maps the natural projections that kill atom generators not below the lower flat. For P = L \ {0̂} and p > 0 it proves that the sheaf homology H_i(P; OS^p) vanishes except in degree i = ℓ-1, where it decomposes as ⊕_{z∈L_p} OS^p(L≤z) ⊗ ḔH_{ℓ-2}(ΔQ_z; ℤ) with Q_z = {x ∈ P | z ≰ x}. Both factors are free abelian of ranks given by Möbius numbers, and an explicit basis is constructed from NBC sets and Ziegler’s β-NBC cycles. An Euler-characteristic formula and representation-theoretic specializations for Boolean lattices, rank-2 lattices, and uniform matroids U_{r,n} are derived as corollaries.

Significance. The result cleanly extends the Everitt–Turner program of sheaf homology on geometric lattices from the natural sheaf (and its exterior powers) to the local Orlik–Solomon algebras that encode the cohomology of arrangement complements. The convolution decomposition of Theorem 3.1 is new and gives a uniform source of free abelian groups and of interesting S_n-representations (hooks, Littlewood–Richardson coefficients, Kronecker squares of hooks) for uniform matroids. The argument is self-contained once classical shellability of geometric semilattices is granted, and the basis construction via β-NBC sets makes the homology groups combinatorially explicit. These features make the paper a solid contribution to the combinatorial topology of matroids and arrangements.

minor comments (4)
  1. In the proof of Lemma 3.3 the identification T_*(P; E_z) ≅ C_*(ΔP, ΔQ_z; ℤ) is clear for the chain groups, but a one-sentence verification that the sheaf differential on the top vertex matches the relative boundary when the new top leaves the filter would make the argument fully self-contained.
  2. Section 3.3 invokes Ziegler’s EL-shelling and β-NBC bases without restating the precise edge-labeling; a short parenthetical reminder of the atom order (γ_z first) would help readers who do not have [Zie92] open.
  3. In Example 4.3 the short exact sequence of S_p imes S_q-modules is asserted to split; while the subsequent multiplicity formula is unaffected, a brief remark that the sequence splits because both ends are free (or by complete reducibility over ℂ) would remove any residual doubt.
  4. Typographical: the abstract and introduction use both “Orlik–Solomon” and “Orlik--Solomon”; standardize the dash. Also, “Poincaré” appears with an accent in some places and without in others.

Circularity Check

0 steps flagged

No circularity: the main isomorphism is derived from the OS-sheaf definition, Brieskorn decomposition, relative chains, and classical shellability/Möbius facts.

full rationale

Theorem 3.1 is obtained by writing the degree-p OS sheaf as a direct sum of constant modules B_z tensored with indicator sheaves E_z (via the Brieskorn decomposition of Proposition 2.11(3)), identifying the resulting chain complexes with relative simplicial chains of (ΔP, ΔQ_z) (Lemma 3.3), proving purity of the geometric semilattice I_z by an elementary maximality argument (Lemma 3.4), and invoking the classical CL-shellability of geometric semilattices (Wachs–Walker) together with the Möbius formula for the reduced Euler characteristic (Lemma 3.5). None of these steps defines a quantity in terms of the target homology, fits a parameter to data, or relies on a uniqueness theorem or ansatz from the present author. The background citations (Everitt–Turner for sheaf homology, Orlik–Solomon/Orlik–Terao for OS algebras, Wachs–Walker and Ziegler for shellability and β-NBC bases) are independent external results; the representation-theoretic examples in Section 4 are merely specializations of the same isomorphism. The derivation is therefore self-contained against its stated inputs and exhibits no circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 1 invented entities

The paper is pure combinatorial algebra. It introduces one new mathematical object (the Orlik–Solomon sheaf) and otherwise relies entirely on standard definitions and published theorems about geometric lattices, OS algebras, poset sheaf homology, and shellability. No free parameters or physical postulates appear.

axioms (6)
  • standard math A geometric lattice is a finite ranked lattice that is atomic and semimodular; equivalently the flat lattice of a simple matroid.
    Used throughout as the ambient category; Definition 2.2 and Example 2.3 cite Oxley/Stanley.
  • standard math The Orlik–Solomon algebra of a geometric lattice is free on the NBC basis and its Hilbert series equals the Poincaré polynomial of the lattice.
    Proposition 2.11, cited from Orlik–Terao; supplies freeness and rank of the local OS factors B_z.
  • standard math Sheaf homology of a poset equals the homology of the chain complex T_*(P;F) of chains with coefficients in the sheaf.
    Proposition 2.8, cited from Gabriel–Zisman / Everitt–Turner; the computational engine of the whole paper.
  • standard math Every geometric semilattice is CL-shellable (hence its order complex is a wedge of spheres of top dimension).
    Invoked after Lemma 3.4 via Wachs–Walker Corollary 7.3 and Ziegler’s EL-shelling; needed for freeness and single-degree concentration of ẽH_*(ΔQ_z).
  • standard math For a geometric lattice L and flat x, the complement L\L≥x is a geometric semilattice.
    Proposition 2.7, cited from Wachs–Walker; identifies I_z with a geometric semilattice so shellability applies.
  • standard math Philip Hall’s theorem: μ(0̂,1̂) equals the reduced Euler characteristic of the order complex of the open interval.
    Theorem 2.1; used in Lemma 3.5 to convert the Möbius sum into the top Betti number b_z.
invented entities (1)
  • Orlik–Solomon sheaf OS^• on a geometric lattice independent evidence
    purpose: Supplies the coefficient system whose sheaf homology is the object of the main theorem; local value at x is OS(L≤x) with projection structure maps.
    Definition 2.12 is the paper’s central new construction. It is a purely mathematical object with no external physical prediction, but it is independently studyable once defined.

pith-pipeline@v1.1.0-grok45 · 17555 in / 3122 out tokens · 46794 ms · 2026-07-10T06:32:53.902075+00:00 · methodology

0 comments
read the original abstract

We associate the Orlik--Solomon sheaf with a finite geometric lattice and compute its sheaf homology. We show that this homology concentrates in top degree, admitting a convolution-type decomposition into a principal ideal OS piece tensoring with a principal filter complement poset homology. Applications to uniform matroids provide interesting representations of symmetric groups.

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

64 extracted references · 64 canonical work pages · 5 internal anchors

  1. [1]

    Abe, Takuro and Horiguchi, Tatsuya and Masuda, Mikiya and Murai, Satoshi and Sato, Takashi , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2020 , PAGES =. doi:10.1515/crelle-2018-0039 , URL =

  2. [2]

    2017 , PAGES =

    Aguiar, Marcelo and Mahajan, Swapneel , TITLE =. 2017 , PAGES =. doi:10.1090/surv/226 , URL =

  3. [3]

    orner, Anders and Edelman, Paul H. and Ziegler, G\

    Bj\"orner, Anders and Edelman, Paul H. and Ziegler, G\"unter M. , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 1990 , NUMBER =. doi:10.1007/BF02187790 , URL =

  4. [4]

    The homology and shellability of matroids and geometric lattices , BOOKTITLE =

    Bj. The homology and shellability of matroids and geometric lattices , BOOKTITLE =. 1992 , ISBN =. doi:10.1017/CBO9780511662041.008 , URL =

  5. [5]

    , TITLE =

    Bj\"orner, Anders and Wachs, Michelle L. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1996 , NUMBER =. doi:10.1090/S0002-9947-96-01534-6 , URL =

  6. [6]

    orner, Anders and Las Vergnas, Michel and Sturmfels, Bernd and White, Neil and Ziegler, G\

    Bj\"orner, Anders and Las Vergnas, Michel and Sturmfels, Bernd and White, Neil and Ziegler, G\"unter M. , TITLE =. 1999 , PAGES =. doi:10.1017/CBO9780511586507 , URL =

  7. [7]

    European J

    Brenner, Sofia and Cardinal, Jean and McConville, Thomas and Merino, Arturo and M\"utze, Torsten , TITLE =. European J. Combin. , FJOURNAL =. 2026 , PAGES =. doi:10.1016/j.ejc.2026.104367 , URL =

  8. [8]

    Conway, J. H. and Sloane, N. J. A. and Wilks, Allan R. , TITLE =. Graphs Combin. , FJOURNAL =. 1989 , NUMBER =. doi:10.1007/BF01788686 , URL =

  9. [9]

    , TITLE =

    Cordovil, R. , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 2002 , NUMBER =. doi:10.1007/s00454-001-0053-8 , URL =

  10. [10]

    Cuntz, Michael and Elia, Sophia and Labb\'e, Jean-Philippe , TITLE =. Ann. Comb. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00026-021-00555-2 , URL =

  11. [11]

    New perspectives in algebraic combinatorics (

    Denham, Graham and Hanlon, Phil , TITLE =. New perspectives in algebraic combinatorics (. 1999 , ISBN =

  12. [12]

    arXiv preprint arXiv:2512.10077v2 , year=

    Cleanliness and the Varchenko-Gelfand algebra , author=. arXiv preprint arXiv:2512.10077v2 , year=

  13. [13]

    [2025] 2025 , PAGES =

    Diestel, Reinhard , TITLE =. [2025] 2025 , PAGES =

  14. [14]

    , TITLE =

    Edelman, Paul H. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1984 , NUMBER =. doi:10.2307/1999150 , URL =

  15. [15]

    and Walker, James W

    Edelman, Paul H. and Walker, James W. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/2045379 , URL =

  16. [16]

    Everitt, Brent and Turner, Paul , TITLE =. Adv. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.1016/j.aim.2022.108354 , URL =

  17. [17]

    Everitt, Brent and Turner, Paul , TITLE =. Math. Z. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00209-022-03106-4 , URL =

  18. [18]

    and Zisman, M

    Gabriel, P. and Zisman, M. , TITLE =. 1967 , PAGES =

  19. [19]

    On connected subgraph arrangements

    On connected subgraph arrangements , author=. arXiv preprint arXiv:2502.18144v1 , year=

  20. [20]

    Forum Math

    Gomi, Kiyonori , TITLE =. Forum Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1515/forum-2019-0091 , URL =

  21. [21]

    Magnitude homology of geodesic space

    Magnitude homology of geodesic space , author=. arXiv preprint arXiv:1902.07044v3 , year=

  22. [22]

    A catalogue of simplicial arrangements in the real projective plane , JOURNAL =

    Gr. A catalogue of simplicial arrangements in the real projective plane , JOURNAL =. 2009 , NUMBER =. doi:10.26493/1855-3974.88.e12 , URL =

  23. [23]

    Graph magnitude homology via algebraic Morse theory

    Graph magnitude homology via algebraic Morse theory , author=. arXiv preprint arXiv:1809.07240v1 , year=

  24. [24]

    Homology Homotopy Appl

    Hepworth, Richard and Willerton, Simon , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2017 , NUMBER =. doi:10.4310/HHA.2017.v19.n2.a3 , URL =

  25. [25]

    Hochst\"attler, Winfried and Welker, Volkmar , TITLE =. Math. Z. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00209-019-02275-z , URL =

  26. [26]

    , TITLE =

    Humphreys, James E. , TITLE =. 1990 , PAGES =. doi:10.1017/CBO9780511623646 , URL =

  27. [27]

    European J

    Jambu, Michel and Paris, Luis , TITLE =. European J. Combin. , FJOURNAL =. 1995 , NUMBER =. doi:10.1016/0195-6698(95)90032-2 , URL =

  28. [28]

    Kaneta, Ryuki and Yoshinaga, Masahiko , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2021 , NUMBER =. doi:10.1112/blms.12469 , URL =

  29. [29]

    European J

    Kemper, Yvonne and Lawrence, Jim , TITLE =. European J. Combin. , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.ejc.2017.10.002 , URL =

  30. [30]

    Discrete Comput

    Knauer, Kolja and Marc, Tilen , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00454-019-00111-z , URL =

  31. [31]

    Magnitude homology of real hyperplane arrangements

    Magnitude homology of real hyperplane arrangements , author=. arXiv preprint arXiv:2604.03718v4 , year=

  32. [32]

    arXiv preprint arXiv: , year=

    Magnitude homology of tope graphs , author=. arXiv preprint arXiv: , year=

  33. [33]

    Hamiltonian Cycles in Simplicial and Supersolvable Hyperplane Arrangements

    Hamiltonian Cycles in Simplicial and Supersolvable Hyperplane Arrangements , author=. arXiv preprint arXiv:2508.14538v2 , year=

  34. [34]

    Pacific J

    Lawrence, Jim , TITLE =. Pacific J. Math. , FJOURNAL =. 1983 , NUMBER =

  35. [35]

    Leinster, Tom , TITLE =. Doc. Math. , FJOURNAL =. 2013 , PAGES =

  36. [36]

    Leinster, Tom , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2019 , NUMBER =. doi:10.1017/S0305004117000810 , URL =

  37. [37]

    , TITLE =

    Leinster, Tom and Meckes, Mark W. , TITLE =. Measure theory in non-smooth spaces , SERIES =. 2017 , ISBN =

  38. [38]

    Leinster, Tom and Shulman, Michael , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2021 , NUMBER =. doi:10.2140/agt.2021.21.2175 , URL =

  39. [39]

    Leinster, Tom and Meckes, Mark , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2023 , NUMBER =. doi:10.1090/proc/16433 , URL =

  40. [40]

    Post at The n-Category Caf\'e , URL=

    Potential Functions and the Magnitude of Functors 2 , author=. Post at The n-Category Caf\'e , URL=

  41. [41]

    , TITLE =

    Meckes, Mark W. , TITLE =. Positivity , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s11117-012-0202-8 , URL =

  42. [42]

    Moseley, Daniel , TITLE =. J. Algebra , FJOURNAL =. 2017 , PAGES =. doi:10.1016/j.jalgebra.2016.10.010 , URL =

  43. [43]

    2024 , eprint=

    q -deformation of chromatic polynomials and graphical arrangements , author=. 2024 , eprint=

  44. [44]

    Oh, Suho and Postnikov, Alexander and Yoo, Hwanchul , TITLE =. J. Combin. Theory Ser. A , FJOURNAL =. 2008 , NUMBER =. doi:10.1016/j.jcta.2008.01.003 , URL =

  45. [45]

    Orlik, Peter and Solomon, Louis , TITLE =. Invent. Math. , FJOURNAL =. 1980 , NUMBER =. doi:10.1007/BF01392549 , URL =

  46. [46]

    1992 , PAGES =

    Orlik, Peter and Terao, Hiroaki , TITLE =. 1992 , PAGES =. doi:10.1007/978-3-662-02772-1 , URL =

  47. [47]

    Context and the

    Oxley, James , TITLE =. 2011 , PAGES =. doi:10.1093/acprof:oso/9780198566946.001.0001 , URL =

  48. [48]

    , TITLE =

    Read, Ronald C. , TITLE =. J. Combinatorial Theory , FJOURNAL =. 1968 , PAGES =

  49. [49]

    Algebra Universalis , FJOURNAL =

    Reading, Nathan , TITLE =. Algebra Universalis , FJOURNAL =. 2003 , NUMBER =. doi:10.1007/s00012-003-1834-0 , URL =

  50. [50]

    , TITLE =

    Remmel, Jeffrey B. , TITLE =. J. Algebra , FJOURNAL =. 1989 , NUMBER =. doi:10.1016/0021-8693(89)90191-9 , URL =

  51. [51]

    , TITLE =

    Rosas, Mercedes H. , TITLE =. J. Algebraic Combin. , FJOURNAL =. 2001 , NUMBER =. doi:10.1023/A:1011942029902 , URL =

  52. [52]

    , TITLE =

    Sagan, Bruce E. , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1999 , NUMBER =. doi:10.1090/S0273-0979-99-00775-2 , URL =

  53. [53]

    Solomon, Louis , TITLE =. J. Algebra , FJOURNAL =. 1966 , PAGES =. doi:10.1016/0021-8693(66)90007-X , URL =

  54. [54]

    , TITLE =

    Stanley, Richard P. , TITLE =. Geometric combinatorics , SERIES =. 2007 , ISBN =. doi:10.1090/pcms/013/08 , URL =

  55. [55]

    , TITLE =

    Stanley, Richard P. , TITLE =. 2012 , PAGES =

  56. [56]

    , TITLE =

    Stanley, Richard P. , TITLE =. [2024] 2024 , PAGES =

  57. [57]

    1968 , PAGES =

    Steinberg, Robert , TITLE =. 1968 , PAGES =

  58. [58]

    Homology Homotopy Appl

    Tajima, Yu and Yoshinaga, Masahiko , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2023 , NUMBER =. doi:10.4310/hha.2023.v25.n1.a17 , URL =

  59. [59]

    Varchenko, A. N. and Gelfand, I. M. , TITLE =. Funktsional. Anal. i Prilozhen. , FJOURNAL =. 1987 , NUMBER =

  60. [60]

    Varchenko, Alexandre , TITLE =. Adv. Math. , FJOURNAL =. 1993 , NUMBER =. doi:10.1006/aima.1993.1003 , URL =

  61. [61]

    and Walker, James W

    Wachs, Michelle L. and Walker, James W. , TITLE =. Order , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF00367425 , URL =

  62. [62]

    , TITLE =

    Wachs, Michelle L. , TITLE =. Geometric combinatorics , SERIES =. 2007 , ISBN =. doi:10.1090/pcms/013/09 , URL =

  63. [63]

    Zaslavsky, Thomas , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1975 , PAGES =. doi:10.1090/memo/0154 , URL =

  64. [64]

    , TITLE =

    Ziegler, G\"unter M. , TITLE =. J. Algebraic Combin. , FJOURNAL =. 1992 , NUMBER =. doi:10.1023/A:1022492019120 , URL =