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.
Orlik--Solomon sheaf homology of geometric lattices
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- 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.
- 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.
- 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.
- 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
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
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.
- 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.
- standard math Sheaf homology of a poset equals the homology of the chain complex T_*(P;F) of chains with coefficients in the sheaf.
- standard math Every geometric semilattice is CL-shellable (hence its order complex is a wedge of spheres of top dimension).
- standard math For a geometric lattice L and flat x, the complement L\L≥x is a geometric semilattice.
- standard math Philip Hall’s theorem: μ(0̂,1̂) equals the reduced Euler characteristic of the order complex of the open interval.
invented entities (1)
-
Orlik–Solomon sheaf OS^• on a geometric lattice
independent evidence
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.
Reference graph
Works this paper leans on
-
[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]
Aguiar, Marcelo and Mahajan, Swapneel , TITLE =. 2017 , PAGES =. doi:10.1090/surv/226 , URL =
-
[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]
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]
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]
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]
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]
Conway, J. H. and Sloane, N. J. A. and Wilks, Allan R. , TITLE =. Graphs Combin. , FJOURNAL =. 1989 , NUMBER =. doi:10.1007/BF01788686 , URL =
-
[9]
Cordovil, R. , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 2002 , NUMBER =. doi:10.1007/s00454-001-0053-8 , URL =
-
[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]
New perspectives in algebraic combinatorics (
Denham, Graham and Hanlon, Phil , TITLE =. New perspectives in algebraic combinatorics (. 1999 , ISBN =
work page 1999
-
[12]
arXiv preprint arXiv:2512.10077v2 , year=
Cleanliness and the Varchenko-Gelfand algebra , author=. arXiv preprint arXiv:2512.10077v2 , year=
- [13]
-
[14]
Edelman, Paul H. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1984 , NUMBER =. doi:10.2307/1999150 , URL =
-
[15]
Edelman, Paul H. and Walker, James W. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/2045379 , URL =
-
[16]
Everitt, Brent and Turner, Paul , TITLE =. Adv. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.1016/j.aim.2022.108354 , URL =
-
[17]
Everitt, Brent and Turner, Paul , TITLE =. Math. Z. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00209-022-03106-4 , URL =
- [18]
-
[19]
On connected subgraph arrangements
On connected subgraph arrangements , author=. arXiv preprint arXiv:2502.18144v1 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[20]
Gomi, Kiyonori , TITLE =. Forum Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1515/forum-2019-0091 , URL =
-
[21]
Magnitude homology of geodesic space
Magnitude homology of geodesic space , author=. arXiv preprint arXiv:1902.07044v3 , year=
work page internal anchor Pith review Pith/arXiv arXiv 1902
-
[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]
Graph magnitude homology via algebraic Morse theory
Graph magnitude homology via algebraic Morse theory , author=. arXiv preprint arXiv:1809.07240v1 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[24]
Hepworth, Richard and Willerton, Simon , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2017 , NUMBER =. doi:10.4310/HHA.2017.v19.n2.a3 , URL =
-
[25]
Hochst\"attler, Winfried and Welker, Volkmar , TITLE =. Math. Z. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00209-019-02275-z , URL =
-
[26]
Humphreys, James E. , TITLE =. 1990 , PAGES =. doi:10.1017/CBO9780511623646 , URL =
-
[27]
Jambu, Michel and Paris, Luis , TITLE =. European J. Combin. , FJOURNAL =. 1995 , NUMBER =. doi:10.1016/0195-6698(95)90032-2 , URL =
-
[28]
Kaneta, Ryuki and Yoshinaga, Masahiko , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2021 , NUMBER =. doi:10.1112/blms.12469 , URL =
-
[29]
Kemper, Yvonne and Lawrence, Jim , TITLE =. European J. Combin. , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.ejc.2017.10.002 , URL =
-
[30]
Knauer, Kolja and Marc, Tilen , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00454-019-00111-z , URL =
-
[31]
Magnitude homology of real hyperplane arrangements
Magnitude homology of real hyperplane arrangements , author=. arXiv preprint arXiv:2604.03718v4 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[32]
Magnitude homology of tope graphs , author=. arXiv preprint arXiv: , year=
-
[33]
Hamiltonian Cycles in Simplicial and Supersolvable Hyperplane Arrangements
Hamiltonian Cycles in Simplicial and Supersolvable Hyperplane Arrangements , author=. arXiv preprint arXiv:2508.14538v2 , year=
work page internal anchor Pith review Pith/arXiv arXiv
- [34]
-
[35]
Leinster, Tom , TITLE =. Doc. Math. , FJOURNAL =. 2013 , PAGES =
work page 2013
-
[36]
Leinster, Tom , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2019 , NUMBER =. doi:10.1017/S0305004117000810 , URL =
- [37]
-
[38]
Leinster, Tom and Shulman, Michael , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2021 , NUMBER =. doi:10.2140/agt.2021.21.2175 , URL =
-
[39]
Leinster, Tom and Meckes, Mark , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2023 , NUMBER =. doi:10.1090/proc/16433 , URL =
-
[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]
Meckes, Mark W. , TITLE =. Positivity , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s11117-012-0202-8 , URL =
-
[42]
Moseley, Daniel , TITLE =. J. Algebra , FJOURNAL =. 2017 , PAGES =. doi:10.1016/j.jalgebra.2016.10.010 , URL =
-
[43]
q -deformation of chromatic polynomials and graphical arrangements , author=. 2024 , eprint=
work page 2024
-
[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]
Orlik, Peter and Solomon, Louis , TITLE =. Invent. Math. , FJOURNAL =. 1980 , NUMBER =. doi:10.1007/BF01392549 , URL =
-
[46]
Orlik, Peter and Terao, Hiroaki , TITLE =. 1992 , PAGES =. doi:10.1007/978-3-662-02772-1 , URL =
-
[47]
Oxley, James , TITLE =. 2011 , PAGES =. doi:10.1093/acprof:oso/9780198566946.001.0001 , URL =
work page doi:10.1093/acprof:oso/9780198566946.001.0001 2011
- [48]
-
[49]
Algebra Universalis , FJOURNAL =
Reading, Nathan , TITLE =. Algebra Universalis , FJOURNAL =. 2003 , NUMBER =. doi:10.1007/s00012-003-1834-0 , URL =
-
[50]
Remmel, Jeffrey B. , TITLE =. J. Algebra , FJOURNAL =. 1989 , NUMBER =. doi:10.1016/0021-8693(89)90191-9 , URL =
-
[51]
Rosas, Mercedes H. , TITLE =. J. Algebraic Combin. , FJOURNAL =. 2001 , NUMBER =. doi:10.1023/A:1011942029902 , URL =
-
[52]
Sagan, Bruce E. , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1999 , NUMBER =. doi:10.1090/S0273-0979-99-00775-2 , URL =
-
[53]
Solomon, Louis , TITLE =. J. Algebra , FJOURNAL =. 1966 , PAGES =. doi:10.1016/0021-8693(66)90007-X , URL =
-
[54]
Stanley, Richard P. , TITLE =. Geometric combinatorics , SERIES =. 2007 , ISBN =. doi:10.1090/pcms/013/08 , URL =
- [55]
- [56]
- [57]
-
[58]
Tajima, Yu and Yoshinaga, Masahiko , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2023 , NUMBER =. doi:10.4310/hha.2023.v25.n1.a17 , URL =
-
[59]
Varchenko, A. N. and Gelfand, I. M. , TITLE =. Funktsional. Anal. i Prilozhen. , FJOURNAL =. 1987 , NUMBER =
work page 1987
-
[60]
Varchenko, Alexandre , TITLE =. Adv. Math. , FJOURNAL =. 1993 , NUMBER =. doi:10.1006/aima.1993.1003 , URL =
-
[61]
Wachs, Michelle L. and Walker, James W. , TITLE =. Order , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF00367425 , URL =
-
[62]
Wachs, Michelle L. , TITLE =. Geometric combinatorics , SERIES =. 2007 , ISBN =. doi:10.1090/pcms/013/09 , URL =
-
[63]
Zaslavsky, Thomas , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1975 , PAGES =. doi:10.1090/memo/0154 , URL =
-
[64]
Ziegler, G\"unter M. , TITLE =. J. Algebraic Combin. , FJOURNAL =. 1992 , NUMBER =. doi:10.1023/A:1022492019120 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.