[Paper Review] Annihilators of Ideals of Exterior Algebras

Graham Denham, Sergey Yuzvinsky|ArXiv.org|Oct 17, 2000

Commutative Algebra and Its Applications16 references3 citations

TL;DR

This paper provides an explicit presentation of the annihilator ideal of the Orlik-Solomon ideal in exterior algebras, using a Gröbner basis and relations among generators. It introduces the concept of 3-independent matroids as a necessary condition for quadraticity of the OS algebra, disproving Falk's conjecture by constructing a line-closed but non-3-independent matroid where the algebra is not quadratic.

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.

Motivation & Objective

• To provide an explicit presentation of the annihilator ideal of the Orlik-Solomon ideal in exterior algebras.
• To establish a combinatorial condition—3-independence—that is necessary for the Orlik-Solomon algebra to be quadratic.
• To resolve negatively Falk's conjecture that line-closed matroids are sufficient for quadraticity of the OS algebra.
• To analyze the structure of the dual module to the OS algebra via free resolution of the annihilator ideal.
• To compare the annihilators of the OS ideal and its quadratic truncation, revealing structural differences in their generators.

Proposed method

• Construct a Gröbner basis for the annihilator ideal $I^0$ of the Orlik-Solomon ideal $I$ using pure generators derived from flag spaces.
• Characterize the homogeneous components of $I^0$ via a basis derived from nbc-flags and tree structures in the flag complex.
• Derive generating relations among the generators of $I^0$ by analyzing initial monomials and deformations of relations from the initial ideal.
• Use linear dependencies among flag vectors (via Lemma 5.9) to re-express non-standard flags in terms of standard ones.
• Apply a recursive reduction via Proposition 5.10 to express non-standard generators as linear combinations of standard ones.
• Combine these results to give a complete presentation of $I^0$ as a graded $E$-module, with explicit generators and relations.

Experimental results

Research questions

• RQ1 What is the structure of the annihilator ideal $I^0$ of the Orlik-Solomon ideal $I$ in an exterior algebra?
• RQ2 What combinatorial condition on a matroid ensures that its Orlik-Solomon algebra is quadratic?
• RQ3 Is the property of being line-closed sufficient for the Orlik-Solomon algebra to be quadratic?
• RQ4 How do the annihilators of the full OS ideal and its quadratic truncation differ in terms of generator purity?
• RQ5 Can the minimal injective resolution of the OS algebra be described explicitly via the annihilator ideal?

Key findings

• The annihilator ideal $I^0$ of the Orlik-Solomon ideal is generated by pure elements and admits a Gröbner basis formed by pure generators.
• The annihilator $I^0$ is shown to be a pure ideal, while the annihilator of the quadratic truncation $J$ is not necessarily pure, as demonstrated in Example 4.6.
• The paper defines a new matroid property—3-independence—which is necessary for the OS algebra to be quadratic and strictly stronger than line-closedness.
• A counterexample is constructed (Example 4.5) of a line-closed matroid that is not 3-independent, thereby disproving Falk’s conjecture.
• The annihilator $I^0$ has a complete presentation with explicit generators and relations, derived from flag complexes and tree-based relations.
• The relation space among generators of $I^0$ is shown to be linearly independent and fully described via tree structures and flag dependencies.