An indispensable classification of monomial curves in \(\mathbb{A}^4(k)\) (Q2510060)

Let \(J\) be an ideal of the polynomial ring \(\mathbb{K}[x_1,\dots,x_n]\), where \(\mathbb{K}\) is an arbitrary field. The ideal \(J\) is called pure difference binomial ideal if it is generated by differences of monic monomials. Firstly, the authors define the graph \(G_b(J)\) and provide on this basis a necessary and sufficient condition for a monomial to be indispensable in \(J\) and a sufficient condition for a binomial to be indispensable in the ideal \(J\). Secondly, they study the defining ideal of a monomial curve. Let \(A=\{a_1,\dots,a_n\}\) be a set of relatively prime positive integers and \(I_A\subset \mathbb{K}[x_1,\dots,x_n]\) the defining ideal of the monomial curve \(x_1=t^{a_1},\dots,x_n=t^{a_n}\) in the \(n\)-dimensional affine space over \(\mathbb{K}\). A binomial \(x_i^{c_i}-\prod_{j\neq i}x_j^{u_{ij}}\in I_A\) is called critical with respect to \(x_i\), if \(c_i\) is the least positive integer such that \(c_ia_i\in \sum_{j\neq i}\mathbb{N}a_j\). The set of all the critical binomials of \(I_A\), results in the critical ideal of \(A\) which is denoted by \(C_A\). The authors prove that a critical binomial of \(I_A\) is indispensable in \(I_A\), if and only if it is indispensable in \(C_A\). Furthermore, they provide a class of toric ideals generated by critical binomials that are also circuits. Also they give necessary and sufficient conditions for a circuit to be indispensable in the toric ideal. In the last part of this article, the authors study defining ideals of monomial curves in \(\mathbb{A}^4(\mathbb{K})\). Based on the minimal generating set of the corresponding critical ideal, they describe a minimal generating set for the corresponding defining ideal. They use it to give an indispensable classification of the monomial curves in \(\mathbb{A}^4(\mathbb{K})\).