The Orlik--Solomon algebra of a locally geometric poset and cohomology of complex abelian arrangements

Christin Bibby; Peter Ramsey

REVIEW 2 major objections 4 minor 22 references

The Orlik--Solomon algebra of a locally geometric poset and cohomology of complex abelian arrangements

T0 review · 2 major / 4 minor · reviewed 2026-08-28 · deepseek-v4-flash

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

Pith's one-line read Orlik–Solomon algebras now cover locally geometric posets.

desk verdict Solid combinatorial OS algebra work; the compact dga theorem has a genuine gap at the final step that needs a multiplicative splitting argument. read the letter →

arxiv 2608.23384 v1 pith:GGFHT4DL submitted 2026-08-24 math.CO math.AT

Christin Bibby , Peter Ramsey This is my paper · ORCID

classification math.COmath.AT MSC 05E1605B3513P1014N2052C3555N3055T99

keywords Orlik–Solomonalgebralocallygeometricposetmatroidpreschemeabelianarrangementno-broken-circuitbasisGröbnerLerayspectralsequencecohomologyofarrangements

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 constructs an Orlik–Solomon algebra A(P) for any locally geometric poset P, generalizing the classical algebra attached to a geometric lattice. It proves that A(P) has a combinatorial basis indexed by no-broken-circuit elements, obtained through Gröbner basis theory, along with a P-decomposition and Hilbert series. For a complex abelian arrangement A, it defines a bigraded topological Orlik–Solomon algebra B(A) and shows it is the second page of the Leray spectral sequence for the complement M(A) in G^r. In the noncompact case, B(A) is usually isomorphic to H^*(M(A);Q); in the compact case, an explicit differential δ makes (B(A),δ) a dga whose cohomology is H^*(M(A);Q). If correct, this gives a purely combinatorial-topological computation of the rational cohomology ring of these arrangement complements.

What carries the argument

The load-bearing objects are the associated matroid prescheme M(P) = (S,I) of a locally geometric poset and the Orlik–Solomon ideal J(P) in the free graded-commutative algebra on independent elements. The ideal has three types of relations: vanishing of products with nonempty meet, a product-to-sum relation for joins, and a 'unicircular' relation coming from elements ω that contain exactly one circuit. A graded-lexicographic Gröbner basis for J(P) yields the NBC basis and the P-decomposition. For abelian arrangements, the topological Orlik–Solomon algebra B(A) combines the OS algebra with the cohomology of the ambient Lie group; the Leray spectral sequence identifies B(A) with its E2 page, and in the compact case the differential δ is the Gysin map of the inclusion of layers, with the coefficient c(T,k)=|∨T|/|∨(T\k)| counting connected components.

What would settle it

Compute the cohomology of the compact elliptic arrangement in Example 4.5.2 from the dga (B(A),δ) and compare with the Betti numbers obtained by any independent method; if H^*(B(A),δ) differs in any degree from H^*(M(A);Q), the model fails.

Watch

Extended reading notes

Core claim

The central discovery is that the Orlik–Solomon story extends verbatim from geometric lattices to locally geometric posets, provided one works with matroid preschemes: each P is the poset of flats of a unique simple matroid prescheme, and the algebra A(P) of Definition 3.1.1 is a natural OS algebra. Theorems 3.3.2 and 3.3.3 establish an NBC vector space basis via a Gröbner basis for the Orlik–Solomon ideal, giving a P-decomposition A(P) ≅ ⊕_{x∈P} $A^{{ρ(x)}}$(P_{≤x}) and a Hilbert series in terms of the characteristic polynomial. For an abelian arrangement A in a connected complex abelian Lie group G, the intersection poset is geometric (Theorem 4.1.4), and the bigraded algebra B(A) = H^*(G^r;Q) ⊗ A(P) / ⟨χ^*(z)⊗ e_{(x,T)} : χ ∈ Λ_x⟩ is the E2 page of the Leray spectral sequence (Theorem 4.3.1). In the noncompact case B(A) is the rational cohomology ring (Theorem 4.4.2, with one exceptional family), and in the compact case (B(A),δ) with δ of bidegree (d,1−d) given by (4.5.B) satisfies H^*(M(A);Q) ≅ H^*(B(A),δ) as graded algebras (Theorem 4.5.1).

Load-bearing premise

The construction stands on the faithfulness of the matroid-prescheme model: every locally geometric poset is the poset of flats of a unique simple matroid prescheme, and every abelian arrangement's intersection poset is geometric with the stated rank.

Editorial extensions

If this is right

The rational cohomology ring of any compact complex abelian arrangement complement can be computed from the intersection poset and the ambient group by the explicit dga (B(A),δ), without additional spectral sequence input.
The NBC basis gives a combinatorial Hilbert series for A(P) and for B(A) in terms of the characteristic polynomial of P, so Betti numbers of arrangement complements follow from poset data.
The Orlik–Solomon sheaf on P is flasque and its global sections are A(P), so local OS algebras determine the global algebra; deletion–contraction yields a short exact sequence 0→A'→A→A''→0.
For noncompact groups (excluding products with C^*), the cohomology ring of M(A) is exactly the topological OS algebra B(A).
The model generalizes the elliptic arrangement dga to higher-dimensional compact abelian Lie groups and more general combinatorics.

Reading between the lines

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

An editor-level inference: the same local-to-global machinery should apply to any family of submanifold arrangements whose local intersections are hyperplane-like and whose intersection poset is locally geometric, such as blowups or wonderful compactifications, even when the global geometric condition fails.
The Gröbner-basis proof suggests an algorithmic route: the NBC basis could be computed by standard Gröbner basis algorithms for small posets, making the cohomology model practical for computations.
One might test whether the differential δ can be expressed purely as a sum over covering relations in the matroid prescheme, which would give a purely combinatorial dga model independent of the Lie group presentation.
The exceptional noncompact case G ≅ G'×C^* is a natural place to look for a modified model, since the paper leaves the cup product there unrecovered from the spectral sequence.

Share X Bluesky LinkedIn Reddit HN

Formalized claims in Lean

Claim #1: The central discovery is that the Orlik–Solomon story extends verbatim from geometric lattices to locally geometric posets, provided one works with matroid preschemes: each P is the poset of flats of a unique simple matroid prescheme, and the algebra A(P) of Definition 3.1.1 is a natural OS algebra. Theorems 3.3.2 and 3.3.3 establish an NBC vector space basis via a Gröbner basis for the Orlik–Solo

/-- @claim 1 The central discovery is that the Orlik–Solomon story extends verbatim from geometric lattices to locally geometric posets, provided one works with matroid preschemes: each P is the poset of flats of a unique simple matroid prescheme, and the algebra A(P) of Definition 3.1.1 is a natural OS algebra. Theorems 3.3.2 and 3.3.3 establish an NBC vector space basis via a Gröbner basis for the Orlik–Solo -/
def central_claim : Prop :=

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Christin—short version: this is a real advance in combinatorial Orlik–Solomon theory, and it deserves a serious referee, but the compact-case dga theorem has a gap in the last step that the proof does not close.

The combinatorial core is strong. Defining A(P) for an arbitrary locally geometric poset and proving the NBC basis via Gröbner bases is genuinely new. The Gröbner reduction is carried out in detail, the P-decomposition and Hilbert series follow cleanly, and the sheaf-theoretic global-sections result is a nice conceptual capstone. I did not verify every S-polynomial reduction by hand, but the structure is coherent and the claims match what the techniques plausibly deliver. That half of the paper is useful on its own and will be cited.

The soft spot is exactly the one the stress-test flags: Theorem 4.5.1. The proof establishes that H^*(B(A), δ) is the E∞ page, i.e., gr^F H^*(M). It then identifies the Leray filtration F with the weight filtration by checking that the E∞ components in a fixed total degree have distinct weights. That buys you an isomorphism of vector spaces, not of algebras. Distinct weights do not imply that the weight filtration splits multiplicatively; you need a splitting of the weight filtration as algebras, equivalently a formality statement for that filtration, and none is constructed or cited. So the theorem as stated—cohomology of the dga is the rational cohomology ring—overreaches what the proof shows. For elliptic arrangements this may be salvageable from earlier models, but for general compact abelian G it is a load-bearing gap, not a cosmetic one.

Two smaller things. The sign correction to [BPP25, Thm 5.9] in §4.4 is asserted without demonstration; a footnote or a short verification would settle it. And the foundation Theorem 2.2.6 leans on the authors' earlier matroid prescheme paper [Bib22], which appears not yet published; that dependency should be flagged clearly.

Who should read this: combinatorial topologists and arrangement theorists. The combinatorial half is a solid contribution regardless of the topological gap. Send it to peer review with a referee who knows mixed Hodge theory. If the splitting issue can be fixed—or the theorem weakened to an associated-graded statement—the paper should be accepted.

Referee Report

2 major / 4 minor

Summary. The paper defines an Orlik–Solomon algebra A(P) for every locally geometric poset P, using a matroid-prescheme model from the first author's earlier work. It proves this algebra has a Gröbner basis, an NBC vector-space basis, a P-decomposition, a Hilbert-series formula, and a deletion–contraction short exact sequence, and it interprets A(P) as the global sections of a flasque Orlik–Solomon sheaf. For a complex abelian arrangement A, the paper defines a bigraded topological Orlik–Solomon algebra B(A), shows that B(A) is the E_2 page of the Leray spectral sequence of the inclusion M(A)→G^r, and then identifies rational cohomology of M(A): in the noncompact case via a comparison with a presentation of BPP25, and in the compact case via an explicit differential δ on B(A), stating that H^*(M(A);Q) is isomorphic as a graded algebra to H^*(B(A),δ).

Significance. If the main theorems hold, the paper gives a uniform combinatorial framework for Orlik–Solomon algebras beyond geometric lattices and provides an explicit dga model for complements of abelian arrangements in compact complex tori, substantially extending earlier elliptic-arrangement and toric-arrangement models. The Gröbner-basis proof in Section 3 is detailed and appears to be a genuine technical achievement: the NBC basis, P-decomposition, Hilbert series, and sheaf-theoretic global-sections interpretation are all substantial and would be useful beyond the topological applications. The Leray-page interpretation of B(A) in Section 4 is coherent and carefully set up. However, the final algebra isomorphism in the compact case depends on an unproved multiplicative splitting of the weight filtration, and the noncompact comparison relies on an asserted sign correction in the cited BPP25 presentation. These are load-bearing points for the paper's central cohomology claims.

major comments (2)

[§4.5, proof of Theorem 4.5.1, final paragraph] The last step of the proof asserts that because the E∞ terms contributing to H^{p+j(d-1)}(M(A);Q) are pure of distinct weights, the Leray filtration coincides with the weight filtration and the associated graded with respect to the weight filtration is isomorphic to H^*(M(A);Q) itself. The first assertion is justified, but the second is not a formal consequence of mixed Hodge theory over Q. A mixed Hodge structure can have nontrivial extensions between adjacent pure weight pieces even when the graded pieces in a fixed cohomological degree have distinct weights, and the associated graded algebra gr^W H^*(M) need not be multiplicatively isomorphic to H^*(M). What the preceding argument establishes is H^*(B(A),δ) ≅ gr^W H^*(M(A);Q) as graded algebras. To obtain the theorem as stated, the authors must either construct a splitting of the weight filtration that is compatible with cup product, or cite a formality/multiplicative-splitting result that applies in this setting. As written, Theorem 4.5.1 overstates what has been proved.
[§4.4, paragraph after Theorem 4.4.1] The paper states that the sign sgn(a,ω\a) in relation (III) is a correction of the sign sgn(a,ζ\a) appearing in [BPP25, Thm 5.9], and that Proposition 2.3.4 is used to rewrite the relation in terms of unicircular elements. No proof of this sign correction is given. Since Theorem 4.4.2 uses relation (III) to verify that the map φ_B: B(A)→H^*(M(A);Q) is a well-defined algebra homomorphism, an incorrect or unjustified sign would invalidate that comparison. The correction is plausible, but it is load-bearing and needs a demonstration or a precise reference with proof.

minor comments (4)

[§4.5, Example 4.5.2] The displayed formula for δ(e_3) contains an unbalanced parenthesis: the text reads "(2z_1[1]-z_1[2])(2z_2[1])-z_2[2])"; it should presumably be "(2z_1[1]-z_1[2])(2z_2[1]-z_2[2])".
[§3.3, paragraph after Theorem 3.3.2] The sentence "It is worth pointing out that, although A(P) is a P-graded algebra when P is a geometric lattice, our P-grading does not, in general, respect the multiplication in this way" is slightly confusing because the P-grading is introduced only below as a vector-space decomposition; rewording to distinguish the vector-space P-decomposition from an algebra P-grading would improve readability.
[§4.4, first paragraph] The introduction to Section 4.4 says that in the exceptional case G ≅ G'×C^× the cup product cannot be recovered from the spectral sequence and only an associated graded algebra is obtained; Theorem 4.4.2 then states the associated-graded result for all noncompact G. This is consistent, but it would help to say explicitly in the theorem statement which part of the conclusion is limited to the nonexceptional case.
[§2.2, Definition 2.2.1] Condition (I3) and the following sentence refer to the local matroid structure on each Boolean lattice S≤γ, but the notation "(α∨b)∩S≤γ⊆I" may be hard to parse on first reading; a short gloss indicating that this is the matroid exchange axiom localized to S≤γ would be helpful.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: B(A) is independently shown to be the Leray E2 page and the NBC basis is proved internally; reliance on the authors' earlier matroid-prescheme and geometric-poset theorems is ordinary self-citation, not circularity.

full rationale

No circular step is present in the derivation chain. The Orlik-Solomon algebra A(P) is defined directly from the explicit matroid prescheme M(P)=(S,I) in Definitions 2.2.7 and 3.1.1, and the NBC basis in Theorem 3.3.2 is obtained from an internal Grobner-basis computation in Theorem 3.2.5. The P-decomposition and the sheaf-theoretic global-sections result in Theorem 3.4.2 are consequences of that basis, not of the desired cohomology statement. The topological algebra B(A) is shown to be the second page of the Leray spectral sequence by an explicit sheaf computation in Theorem 4.3.1 using localization and the same P-decomposition; the noncompact comparison in Theorem 4.4.2 uses the external presentation of [BPP25] together with a Hilbert-series match, so no fitted parameter is renamed as a prediction. The principal self-citations, Theorem 2.2.6 from [Bib22] and Theorem 4.1.4 from [BD24], are parameter-free prior theorems used as black boxes; under the stated rules they count as independent support because their assumptions do not include the target cohomology results. One mathematical concern is flagged but is not a circularity issue: the final step of Theorem 4.5.1 passes from gr^W H*(M) to H*(M) by asserting that distinct weights imply the weight-graded algebra is isomorphic to H*(M), which would require an algebraic splitting of the weight filtration that is not constructed. Remark 4.5.3 shows the authors are aware that the distinct-weight argument fails in some noncompact cases, but the compact-case step remains a correctness risk rather than a circular reduction. The score of 2 reflects only routine reliance on the authors' earlier foundational work.

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

The paper introduces no fitted constants and no new physical entities. Its load-bearing inputs are prior structural theorems: the matroid prescheme equivalence of Bib22 and the geometric-poset theorem for abelian arrangements of BD24, plus standard Orlik-Solomon, Gröbner, and Hodge theory results.

assumptions (6)

domain assumption Every locally geometric poset is the poset of flats of a unique simple matroid prescheme (Bib22 Thm 11.6).
Used in Section 2.2 and throughout Section 3 to define S(P), I(P), circuits, flats, and independent elements; the OS algebra and NBC basis depend on this equivalence. The cited source is by the first author and is not reproduced here.
domain assumption For an abelian arrangement in a connected complex abelian Lie group, the intersection poset is a geometric poset with rank rho(x)=(dr-dim x)/d (BD24 Cor 4.4.7).
Enters at Theorem 4.1.4 and justifies applying the locally geometric construction to arrangements; also used in Remark 4.2.3.
standard math Classical Orlik-Solomon theorem: cohomology of a linear arrangement complement is the OS algebra of its geometric lattice (OS80, dLS01).
Used in Sections 4.2 and 4.3 to identify local cohomology H^{j(d-1)}(M_x) with A^j(P<=x).
standard math Green's Buchberger criterion for graded-commutative algebras (Gre03 Thm 4.31).
Used in Proposition 3.2.2 and Theorem 3.2.5 to prove the Gröbner basis and hence the NBC basis.
domain assumption Cohomology presentation of noncompact abelian arrangements (BPP25 Thm 5.9) and Poincaré polynomial (LTY21 Thm 7.7).
Used in Theorem 4.4.2 to identify B(A) with H^*(M(A)) outside the C^* exceptional case; the paper corrects a sign in BPP25 rather than deriving the presentation.
standard math Mixed Hodge structure purity facts for compact abelian arrangements (CH20 Prop 8.6).
Used in Theorem 4.5.1 to prove all higher Leray differentials vanish and the filtration splits as algebras.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The Orlik--Solomon algebra of a locally geometric poset and cohomology of complex abelian arrangements." pith.science (2026). https://pith.science/paper/GGFHT4DL

@misc{pith2026260823384,
  author       = {Pith},
  title        = {Pith review of: The Orlik--Solomon algebra of a locally geometric poset and cohomology of complex abelian arrangements},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GGFHT4DL}},
  note         = {Machine review of arXiv:2608.23384}
}

read the original abstract

We construct an Orlik--Solomon algebra for any locally geometric poset as a natural generalization of the one for geometric lattices. This algebra has several interesting features, including a combinatorial no-broken-circuit vector space basis that we obtain through Gr\"obner basis theory. When the poset captures the intersection data of an arrangement of certain subgroups in a complex abelian Lie group, we infuse the Orlik--Solomon algebra with topological information to compute the rational cohomology of the arrangement complement. In particular, when the Lie group is compact, we present an explicit differential graded algebra whose cohomology is the rational cohomology of the arrangement complement.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

[1]

, EPRINT =

Bibby, C. , EPRINT =. Matroid schemes and geometric posets , YEAR =

work page
[2]

and Solomon, L

Orlik, P. and Solomon, L. , TITLE =. Invent. Math. , FJOURNAL =. 1980 , NUMBER =

work page 1980
[3]

Wachs, M. L. and Walker, J. W. , TITLE =. Order , FJOURNAL =. 1986 , NUMBER =

work page 1986
[4]

Yuzvinski. Orlik-. Russian Math. Surveys , VOLUME =. 2001 , number =

work page 2001
[5]

, TITLE =

Bibby, C. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2016 , NUMBER =

work page 2016
[6]

and Denham, G

Bibby, C. and Denham, G. and Feichtner, E. M. , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2022 , NUMBER =

work page 2022
[7]

, TITLE =

Ardila, F. , TITLE =. Rev. Colombiana Mat. , FJOURNAL =. 2007 , NUMBER =

work page 2007
[8]

and Delucchi, E

Bibby, C. and Delucchi, E. , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2024 , NUMBER =

work page 2024

Show all 22 references

[9]

, TITLE =

Pagaria, R. , TITLE =. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. , FJOURNAL =. 2019 , NUMBER =

2019
[10]

and Pagaria, R

Bazzocchi, E. and Pagaria, R. and Pismataro, M. , title =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2025 , NUMBER =

2025
[11]

and D'Adderio, M

Callegaro, F. and D'Adderio, M. and Delucchi, E. and Migliorini, L. and Pagaria, R. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2020 , NUMBER =

2020
[12]

Green, D. J. , TITLE =. 2003 , PAGES =. doi:10.1007/b93836 , URL =

2003 doi
[13]

, title =

Bourbaki, N. , title =. 1989 , series =

1989
[14]

and Horel, G

Cirici, J. and Horel, G. , title =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2020 , NUMBER =

2020
[15]

, title =

Totaro, B. , title =. Topology , FJOURNAL =. 1996 , NUMBER =

1996
[16]

and Schultz, C

de Longueville, M. and Schultz, C. A. , title =. Math. Ann. , FJOURNAL =. 2001 , NUMBER =

2001
[17]

and Tran, T

Liu, Y. and Tran, T. N. and Yoshinaga, M. , title =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2021 , NUMBER =

2021
[18]

, title =

Yuzvinsky, S. , title =. Comm. Algebra , FJOURNAL =. 1995 , NUMBER =

1995
[19]

and Ramsey, P

Bibby, C. and Ramsey, P. , title =
[20]

, TITLE =

Oxley, J. , TITLE =. 2011 , PAGES =

2011
[21]

and Terao, H

Jambu, M. and Terao, H. , TITLE =. Singularities (
[22]

, TITLE =

Brieskorn, E. , TITLE =. S\'eminaire

Pith tools

Reviewed August 28, 2026 · model on record in the stance chip above.

[1] [1]

, EPRINT =

Bibby, C. , EPRINT =. Matroid schemes and geometric posets , YEAR =

work page

[2] [2]

and Solomon, L

Orlik, P. and Solomon, L. , TITLE =. Invent. Math. , FJOURNAL =. 1980 , NUMBER =

work page 1980

[3] [3]

Wachs, M. L. and Walker, J. W. , TITLE =. Order , FJOURNAL =. 1986 , NUMBER =

work page 1986

[4] [4]

Yuzvinski. Orlik-. Russian Math. Surveys , VOLUME =. 2001 , number =

work page 2001

[5] [5]

, TITLE =

Bibby, C. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2016 , NUMBER =

work page 2016

[6] [6]

and Denham, G

Bibby, C. and Denham, G. and Feichtner, E. M. , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2022 , NUMBER =

work page 2022

[7] [7]

, TITLE =

Ardila, F. , TITLE =. Rev. Colombiana Mat. , FJOURNAL =. 2007 , NUMBER =

work page 2007

[8] [8]

and Delucchi, E

Bibby, C. and Delucchi, E. , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2024 , NUMBER =

work page 2024