Betti tables of \(p\)-Borel-fixed ideals (Q2454087)

Let \(S=\mathbb{Z}[x_1,\ldots,x_n]\) be a polynomial ring in \(n\) variables. For any field \(\mathbf{k}\), the group \(\mathrm{GL}_n(\mathbf{k})\) of invertible \(n\times n\) matrices acts on \(S\otimes_{\mathbb{Z}} \mathbf{k}\). Let \(p\) be either zero or a prime number. A monomial ideal \(I\) in \(S\) is called \(p\)-Borel-fixed if \(I(S\otimes_{\mathbb{Z}} \mathbf{k})\) is fixed under the action of the Borel subgroup of \(\mathrm{GL}_n(\mathbf{k})\) consisting of all the upper triangular invertible matrices over \(\mathbf{k}\) for any infinite field \(\mathbf{k}\) of characteristic \(p\). In the paper under review, first for a monomial \(S\)-ideal \(I\) and a prime number \(p\), an algorithm is presented to construct an \(S\)-ideal \(J\) such that \(J\) is \(p\)-Borel-fixed and for any field \(\mathbf{k}\) there is a region in the multigraded Betti table of \(J(S\otimes_{\mathbb{Z}} \mathbf{k})\) which is determined by the multigraded Betti table of \(I(S\otimes_{\mathbb{Z}} \mathbf{k})\). Then it is proved that for a prime number \(p\), a field \(\mathbf{k}\) of characteristic \(p\) and \(R=S\otimes_{\mathbb{Z}} \mathbf{k} = \mathbf{k}[x_1,\ldots, x_n]\), if \(I\) is a monomial \(S\)-ideal and \(J\) is the \(p\)-Borel-fixed ideal constructed by the mentioned algorithm, and \(IR\) has a non-cellular minimal \(R\)-free resolution, then \(JR\) has a non-cellular minimal resolution too. This implies that there exists a Borel-fixed \(R\)-ideal with a non-cellular minimal resolution. The authors also give counter-examples to a conjecture of \textit{K. Pardue} [Nonstandard Borel-fixed ideals. Thesis (Ph.D.), Brandeis University (1994)] which states that if \(I\) is a \(p\)-Borel-fixed monomial \(S\)-ideal, then the \(\mathbb{N}\)-graded Betti table of \(I(S\otimes_{\mathbb{Z}} \mathbf{k})\) is independent of characteristic of \(\mathbf{k}\) for all fields \(\mathbf{k}\). Finally, an example is presented which shows that the conjecture does not hold even if \(I\) is a \(p\)-Borel-fixed ideal minimally generated in a single degree.