Defining ideals of complete intersection monoid rings (Q1903384)

The author associates with a submodule \(V\) of \(\mathbb{Z}^N\) an ideal \(I(V)\) of the polynomial ring over a finite field \(k\), \(k[X_1,\dots, X_N]\), which is generated by all polynomials of the form \(F(v)= F_-(v)- F_+(v)\), where \(v=(a_1,\dots, a_N)\in V\) and \(F_+(v):= \prod_{a_i>0} X_i^{a_i}\), \(F_-(v):= \prod_{a_i<0} X_i^{-a_i}\). It is easily seen that \(\text{ht } I(V)=r\), \(r=\text{rank } V\), and that \(I(V)\) is a prime ideal if and only if \(V\) is the kernel of a surjective map \(\mathbb{Z}^n\to \mathbb{Z}^{N-r}\). The first main result of this paper is a criterion for \(I(V)\) to be a complete intersection ideal when \(V\) is contained in the kernel of a map \(\mathbb{Z}^N\to \mathbb{Z}^p\) consisting of positive integers. Using this criterion the author reproves a result of \textit{C. Delorme} [Ann. Sci. Éc. Norm. Supér., IV. Sér. 9, 145-154 (1976; Zbl 0325.20065)] which says that any complete intersection monomial curve in \(\mathbb{A}^r\) is induced by a complete intersection monomial curve in \(\mathbb{A}^{r-1}\). The second main result shows that if \(\text{rank } V<N-1\) and if \(I(V)\) is a complete intersection ideal then \(I(V)\) is generated by a part of a basis of a homogeneous complete intersection ideal of height \(N-1\) of the form \(I(V')\).