Betti tables of p-Borel-fixed ideals

Abstract: In this note we provide a counter-example to a conjecture of K. Pardue [Thesis, Brandeis University, 1994.], which asserts that if a monomial ideal is

p

-Borel-fixed, then its

a t u r a l s

-graded Betti table, after passing to any field does not depend on the field. More precisely, we show that, for any monomial ideal

I

in a polynomial ring

S

over the ring

i n t s

of integers and for any prime number

p

, there is a

p

-Borel-fixed monomial

S

-ideal

J

such that a region of the multigraded Betti table of

J (S o t i m e s_{i} n t s e l l)

is in one-to-one correspondence with the multigraded Betti table of

I (S o t i m e s_{i} n t s e l l)

for all fields

e l l

of arbitrary characteristic. There is no analogous statement for Borel-fixed ideals in characteristic zero. Additionally, the construction also shows that there are

p

-Borel-fixed ideals with non-cellular minimal resolutions.

Review text

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.

Recommendations

Cites work

Cited in

(10)

Describes a project that uses

Uses Software

Macaulay2

This page was built for publication: Betti tables of \(p\)-Borel-fixed ideals

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