Sperner property and finite-dimensional Gorenstein algebras associated to matroids (Q502914): Difference between revisions

For a matroid \(M:=(E, \mathcal{F})\) with base \(\mathcal{B}\), a Gorenstein algebra can be created by taking the ring of differential polynomials in the variables \(x_B\) where \(B \in \mathcal{B}\) modulo the annihilator of the polynomial \(\Phi_M=\sum_{B \in \mathcal{B}} x_B\). One matroid considered here is the matroid of \(n\)-dimensional vector spaces over a field with \(q\) elements \(M(q,n)\) and it is shown that the Gorenstein algebra for the matroid \(M(q,n)\) has the strong Lefschetz property. The authors also consider a general matroid \(M\) and the lattice \(L(M)\) of the flats of \(M\) (the subsets of \(E\) of the matroid which preserve rank when adjoining elements). It is shown that \(L(M)\) is a modular geometric lattice if and only if the annihilator of \(\Phi_M\) is precisedly the ideal \(J_M\) which is the intersection of the annihilators of \(f_{\tau}=\sum_{F \in \mathcal{F} \cap \tau}\) where \(\tau\) represents an equivalence class of flats of \(M\). In the setting that \(L(M)\) is a modular geometric lattice, the algebra for \(L(M)\) is a Gorenstein algebra which is strongly Lefschetz. The final section presents some results pertaining to the Groebner fans of both \(J_M\) and the Annihilator of \(\Phi_M\).