Zero-generic initial ideals

DOI10.1007/S00229-015-0748-4MaRDI QIDQ889643zbMATH OpenOpenAlexFDO

Publication date 9 November 2015

Published in Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1303.5373

generic initial ideal Green's Crystallization Principle

Graded rings (13A02) Syzygies, resolutions, complexes and commutative rings (13D02) Local cohomology and commutative rings (13D45) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Abstract: Given a homogeneous ideal I of a polynomial ring A=K[X_1,...,X_n] and a monomial order, we construct a new monomial ideal of A associated with I. We call it the zero-generic initial ideal of I with respect to the order and denote it with gin_0(I), or with Gin_0(I) whenever the order is the reverse-lexicographic order. When the characteristic of K is zero, a zero-generic initial ideal is the usual generic initial ideal. We show that Gin_0(I) is endowed with many interesting properties, some of which are easily seen, e.g., it is a strongly stable monomial ideal in any characteristic, and has the same Hilbert series as I; some other properties are less obvious: it shares with I the same Castelnuovo-Mumford regularity, projective dimension and extremal Betti numbers. Quite surprisingly, gin_0(I) also satisfies Green's Crystallization Principle, which is known to fail in positive characteristic. Thus, zero-generic initial ideals can be used as formal analogues of generic initial ideals computed in characteristic 0. We also prove the analogue for local cohomology of Pardue's Conjecture for Betti numbers: we show that the Hilbert functions of local cohomology modules of a quotient ring of a polynomial ring modulo a weakly stable ideal are independent of the characteristic of the coefficients field.

Review text

Let \(K\) be a field, \(I\) a homogeneous ideal in \(K[x_1, \ldots, x_n]\) and \(>\) a monomial ordering. Let \(\mathrm{gin}_>(I)\) be the generic initial ideal. If \(K\) is infinite, there exists a non-empty Zariski open set \(U\subseteq \mathrm{GL}_n(K)\) of coordinate changes such that \(\mathrm{gin}_>(I)=\mathrm{in}_>(\varphi(I))\) for all \(\varphi\in U\). In order to obtain the same properties in characteristic \(p\) as in characteristic zero for the generic initial ideal the definition is modified. The zero-generic initial ideal of \(I\) with respect to \(>\) is defined by \(\mathrm{gin}_0(I)=(\mathrm{gin}_>((\mathrm{gin}_>(I))_\mathbb{Q}))_K\). If \(K\) has characteristic \(0\) then obviously \(\mathrm{gin}_0(I)=\mathrm{gin}_>(I)\). It is proved that \(\mathrm{gin}_0(I)\) is endowed with many interesting properties. Especially it satisfies Green's Crystallization Principle.

Recommendations

Cites work

Cited in

(15)

This page was built for publication: Zero-generic initial ideals

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