Annihilators of Ideals of Exterior Algebras

TL;DR

This paper provides an explicit description of the annihilator of the defining ideal of the Orlik-Solomon algebra of a matroid, offering new combinatorial conditions for quadraticity and resolving a related conjecture.

Contribution

It introduces an explicit presentation of the annihilator ideal of the Orlik-Solomon algebra's defining ideal and establishes a stronger combinatorial condition for quadraticity.

Findings

Derived a necessary combinatorial condition for algebra quadraticity

Showed the condition is stronger than matroid being line-closed

Proved the condition is not sufficient for quadraticity

Abstract

The Orlik-Solomon algebra A of a matroid is isomorphic to the quotient of an exterior algebra E by a defining ideal I. We find an explicit presentation of the annihilator ideal of I or, equivalently, the E-module dual to A. As an application of that we provide a necessary, combinatorial condition for the algebra A to be quadratic. We show that this is stronger than matroid being line-closed thereby resolving (negatively) a conjecture by Falk. We also show that our condition is not sufficient for the quadraticity.