Gröbner bases of ideals cogenerated by Pfaffians (Q626722): Difference between revisions

Let \(X=(x_{ij})\) be a \(n\times n\) matrix of indeterminates. Gröbner bases for the determinantal ideals of \(X\) in the cases where \(X\) is a completely generic, i.e., when the entries of \(X\) are distinct indeterminates, and a symmetric matrix were computed by \textit{J. Herzog} and \textit{Ngô Viêt Trung} [Adv. Math. 96, No. 1, 1--37 (1992; Zbl 0778.13022)] and \textit{A. Conca} [J. Algebra 166, No. 2, 406--421 (1994; Zbl 0819.13011)] respectively. Let \(X\) be a skew-symmetric matrix and let \(R=k[x_{ij}: 1\leq i< j\leq n]\), the polynomial ring over a field \(k\). Denote by \(\alpha=[a_1,\dots,a_{2t}] \) the Pfaffian of \(X\) with rows and columns indexes \(a_1<\dots< a_{2t}\) and let \(P(X)\) stands for the set of all Pfaffians of \(X\). A cogenerated Pfaffian ideal \(I_{\alpha}(X)\) of \(R\) is an ideal generated by all Pfaffians of \(P(X)\) of any size which are not bigger that or equal to a fixed Pfaffian \(\alpha\). For the special case of Pfaffian ideals \(I_{2r}(X)\), generated by the subset \(P_{2r}(X)\) of \(P(X)\), \textit{K. Kurano} [J. Math. Kyoto Univ. 31, No. 3, 713--731 (1991; Zbl 0781.13005)] and, independently, \textit{J. Herzog} and \textit{Ngô Viêt Trung} [loc. cit.] proved that the set \(P_{2r}(X)\) is a Gröbner bases for the ideal \(I_{2r}(X)\) with respect to anti-diagonal term orders. In the paper under review, the authors characterize the class of cogenerated ideals whose generators form a Gröbner bases with respect to any anti-diagonal term order and call them G-Pfaffian ideals, precisely for \(\alpha=[a_1,\dots,a_{2t}]\) with \(a_i=a_{i-1}+1\) for \(i=3,\dots,2t-1\), the generators of \(I_{\alpha}(X)\) form a Gröbner bases of \(I_{\alpha}(X)\). In the rest of the paper, the authors describe the initial ideals and their minimal generators of G-Pfaffian ideals. These ideals are square-free, so it is shown that their associated simplicial complexes are pure and shellable which yields that the associated simplicial complex is Cohen-Macaulay. It is given a formula for the multiplicity which is the number of facets in the associated simplicial complex.