A Gröbner basis for the graph of the reciprocal plane

Combinatorial aspects of simplicial complexes (05E45) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Arrangements of points, flats, hyperplanes (aspects of discrete geometry) (52C35)

Abstract: Given the complement of a hyperplane arrangement, let

G a m m a

be the closure of the graph of the map inverting each of its defining linear forms. The characteristic polynomial manifests itself in the Hilbert series of

G a m m a

in two different-seeming ways, one due to Orlik and Terao and the other to Huh and Katz. We define an extension of the no broken circuit complex of a matroid and use it to give a direct Gr"obner basis argument that the polynomials extracted from the Hilbert series in these two ways agree.

Review text

An important invariant associated to any matroid and via this to any hyperplane arrangement is the charactersitic polynomial \[\chi_M(q)=\sum_{F\subseteq M}\mu(\hat{0},F)q^{r+1-r(F)},\] where the sum is over the flats of the matroid \(M\), \(\mu\) denotes the Möbius function, and \(r(F)\) is the rank of the flat \(F\). \textit{H. Terao} [J. Algebra 250, No. 2, 549--558 (2002; Zbl 1049.13011)] showed that in characteristic zero, the Hilbert series of the projective coordinate ring of the reciprocal plane \(R_\mathcal{A}\) of the hyperplane arrangement \(\mathcal{A}\) is given by \[H(R_\mathcal{A};t)=\sum_{i=0}^{r+1}w_i(t/1-t)^i,\] where \((-1)^iw_i\) is the coefficient of \(q^{r+1-i}\) in \(\chi_M(q)\). On the other hand, \textit{J. Huh} and \textit{E. Katz} showed in [Math. Ann. 354, No. 3, 1103--1116 (2012; Zbl 1258.05021)] that in \(H^{2(2n-r)}(\mathbb{P}\times\mathbb{P})\) the cohomology class of \(\Gamma_{\mathcal{A}}\), the reciprocal graph of \(\mathcal{A}\) is given by \[[\Gamma_{\mathcal{A}}]=\sum_{i=0}^r\overline{w}_i [\mathbb{P}^{r-i}\times\mathbb{P}^i],\] where \((-1)^i\overline{w}_i\) is the coefficient of \(q^{r-i}\) in the reduced characteristic polynomial \[\overline{\chi}_M(q):=\chi_M(q)/(q-1).\] The authors define in the present paper an extension of the no broken circuit complex of a matroid and use it to give a direct Gröbner basis argument that the polynomial extracted from the Hilbert series in these two seemingly different manifestations of the characteristic polynomial agree.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: A Gröbner basis for the graph of the reciprocal plane

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2188689)