Determinantal facet ideals (Q1951492): Difference between revisions

Let \(K\) be a field and let \(X = (x_{i,j})\) be an \(m \times n\) matrix of indeterminates with \(m \leq n\). Let \(S = K[X]\). For any sequence of integers \(1 \leq a_1 < a_2 < \dots < a_m \leq n\), let \([a_1 a_2 \dots a_m]\) be the maximal minor of \(X\) with columns \(a_1, a_2, \dots, a_m\). The set of integers \(\{ a_1, a_2, \dots a_m \}\) may be viewed as a facet of a simplex on the vertex set \([n]\). So now let \(\Delta\) be a pure simplicial complex on the vertex set \([n] = \{ 1,\dots,n\}\) of dimension \(m-1\). To each facet \(F = \{ a_1 < a_2 < \dots < a_m\}\) we associate the minor \(\mu_F = [a_1 a_2 \dots a_m]\). Let \(J_\Delta \) be the ideal in \(S\) generated by the \(\mu_F\), where \(F\) ranges over all the facets of \(\Delta\). This is the \textit{determinantal facet ideal} of \(\Delta\). In this paper the authors give a necessary and sufficient condition for the \(\mu_F\) to form a Gröbner basis of \(J_\Delta\) with respect to the lexicographic order. They also discuss when \(J_\Delta \) is a prime ideal, giving many partial results. Many of their results are related to the simple graph \(G_\Delta\) associated to \(\Delta\).