arXiv++ Combinatorics

The cohomology ring of the complement of a complex hyperplane arrangement is given by its Orlik--Solomon algebra. It is known that the defining ideal of the Orlik--Solomon algebra has a quadratic Gröbner basis in the standard presentation if and only if the intersection lattice is supersolvable; such algebras are automatically Koszul. In 1997, Shelton and Yuzvinsky posed the question as to whether all Koszul Orlik--Solomon algebras arise from supersolvable arrangements. We answer this question negatively using three related constructions that produce non-supersolvable arrangements whose Orlik--Solomon algebras are Koszul. Moreover, these arrangements may be chosen to be irreducible, realizable over $\mathbb{Q}$, and of any rank $\geq 3$. Our constructions rely on a result of Falk and Proudfoot which we strengthen and generalize. In two of the three cases, we show non-supersolvability using a corrected form of a result of Ziegler regarding supersolvability of parallel connections. We also construct Koszul Orlik--Terao algebras coming from non-supersolvable arrangements.

We disprove Rota's conjecture that the counts of flats in a matroid according to rank form a unimodal sequence. Furthermore, we show that this sequence can have arbitrarily many peaks. The construction starts by finding a generalized theta graph for which log-concavity fails severely. By taking direct sums, we break log-concavity in many places. We then use Whittle's $q$-lift construction to produce a matroid whose flat counts have many peaks.

We give counterexamples to Rota's 1970 conjecture that the sequence counting flats of varying rank in a matroid is unimodal. More specifically, inspired by Larson's recent disproof of the stronger log-concavity conjecture of Mason, we explain a mechanism which turns failures of log-concavity for flats into failures of unimodality under suitable conditions.

We prove that any triple of complete flags in $\mathbb R^d$ admits a common generating set of size $\lfloor 5d/3\rfloor$ and that this bound is sharp. This result extends the classical linear-algebraic fact -- a consequence of the Bruhat decomposition of $\text{GL}_d(\mathbb R)$ -- that any pair of complete flags in $\mathbb R^d$ admits a common generating set of size $d$. We also deduce an analogue for $m$-tuples of flags with $m>3$.