Original title: Koszul Orlik--Solomon Algebras from Non-supersolvable Arrangements
Tuong Le, Chayim Lowen, Jason McCullough · September 2026
Mathematicians study arrangements of flat surfaces, called hyperplanes, in complex space. These shapes have an algebraic structure called an Orlik--Solomon algebra, which helps track their geometry. If an arrangement has a special orderly structure called supersolvable, its algebra has a property called Koszul. In 1997, researchers asked if every Koszul Orlik--Solomon algebra must come from a supersolvable arrangementA hyperplane arrangement whose intersection lattice has a hierarchical structure, leading to algebraic simplifications.. The authors answered no. They built three ways to make arrangements that are not supersolvable, yet their algebras are still Koszul. Their examples can be irreducible, work over rational numbers, and have any rank 3 or greater. They also showed that another related type of algebra, the Orlik--Terao algebra, can be Koszul for non-supersolvable arrangements.
Imagine you have a city map where streets divide the area into districts. Normally, the districts are laid out in a simple, tree-like pattern that makes finding addresses straightforward. But sometimes the districts overlap in a complex way that seems messy. Even in that mess, people can still discover efficient shortcuts to navigate the city. In this paper, the city map is a hyperplane arrangement, and the messy districts are non-supersolvable arrangements. The efficient shortcuts correspond to the Orlik–Solomon algebra being Koszul, meaning it supports smooth calculations despite the lack of hierarchical order.
This answers a question posed in 1997, showing that Koszul algebras, which are useful for calculations in algebra, can arise from a broader set of geometric setups than previously thought. Mathematicians studying hyperplane arrangements and cohomology now have new examples that change how these structures are classified.
The abstract does not state explicit limitations, but the work is confined to arrangements realizable over Q and of rank ≥ 3. It does not address whether all non-supersolvable arrangements can produce Koszul algebras, nor does it cover arrangements outside the considered class.
Ask anything about this paper. Answers come from its abstract, and say so when the abstract doesn't cover your question.
Koszul Orlik--Solomon Algebras from Non-supersolvable Arrangements — Tuong Le, Chayim Lowen, Jason McCullough
Abstract licence: CC0
Explanation generated by Synthesis from the abstract — it is not the original paper. This is a preprint, so it hasn't necessarily been peer reviewed.