No label defined (Q4948286)

This article is based on the a joint paper [see \textit{E. Miller} and \textit{B. Sturmfels} and \textit{K. Yanagawa}, J. Symb. Comput. 29, No. 4-5, 691-708 (2000; Zbl 0955.13008)], but also contains some new results on initial ideals of lattice ideals. A monomial ideal \(M=\langle m_1,\dots, m_r\rangle\), in \(S=k [x_1, \dots,x_n]\), \(k\) a field, is generic if for any distinct generators \(m_i\), \(m_j\) of \(M\) which have the same positive degree in some variable \(x_s\), there exists a third monomial generator \(m_l\) which divides \(m_{\{i,j\}}= \text{lcm} (m_i,m_j)\) and satisfies \(\text{supp} (m_{\{i,j\}}/m_l)=\text{supp} (m_{\{i,j,\}})\), where supp denotes the support of the monomial. Note that this definition of ``generic'' is more general than some given previously, but is consistent with the notion of genericity for lattice ideals. A monomial ideal \(M\) can be written uniquely as a finite irredundant intersection \(M= \bigcap^r_{i=1} M_i\) of irreducible monomial ideals (i.e., ideals generated by powers of variables). Then \(M\) is said to be cogeneric if whenever distinct \(M_i\) and \(M_j\) have a minimal generator in common, then there is an \(M_l\subset M_i+M_j\) such that \(M_l\) and \(M_i+M_j\) do not have a minimal generator in common. Here are some of the results given: The ideal \(M\) is generic if and only if the algebraic Scarf complex \(F_{\Delta_M}\) equals the minimal free resolution of \(S/M\) and no variable \(x_s\) appears with the same non-zero exponent in \(m_i\) and \(m_j\) for any edge \(\{i,j\}\) of the Scarf complex \(\Delta_M\). If a generic monomial ideal has no embedded associated primes, then \(M\) is Cohen-Macaulay. It is shown that if \(I_{\mathcal L}\) is a generic lattice ideal, and \(M\) is the initial ideal of \(I_{\mathcal L}\) with respect to the reverse lexicographic term order, then \(M\) is a generic monomial ideal. Finally, a number of equivalent conditions are given for \(S/M\) to be Cohen-Macaulay where \(M\) is a cogeneric ideal of \(S\).