The inverse Gröbner basis problem in codimension two. (Q1599545): Difference between revisions

The author considers the inverse Gröbner basis problem, that is, the problem of finding an ideal that has a given monomial ideal as its initial ideal. Main result: Theorem. Let \(R = k[X_1, ,\ldots, X_r]\) be a polynomial ring over a field \(k\) and let \(I\) be an ideal of \(R\). Let \(>\) be a monomial order that respects total degree. Assume that \(I\) is a monomial ideal of codimension 2 and that \(R/I\) is Cohen-Macaulay. Then there exists an extension field \(K\) of \(k\) and a prime ideal \(P\) contained in the polynomial ring \(S = K[X_1,\ldots, X_r]\) such that \(\sqrt{\text{in}(P)} = \sqrt{I} S\). As a scholium one gets that if \(I\) is a square-free monomial ideal and has minimal generators of the same degree then in\((P) = I S\). Also, if \(I\) is only square-free then \(\sqrt{ \text{in}(P)} = I S\). In the construction of the ideal \(P\) several results from generic linkage [see \textit{C. Huneke} and \textit{B. Ulrich}, Am. J. Math. 107, 1265--1303 (1985; Zbl 0587.13006)] are used.