Noncoherent initial ideals in exterior algebras (Q747595)

The paper under review answers the question of D. M. Maclagan [Structures on sets of monomial ideals. Berkeley (CA: University of California (PhD Thesis) (2000)] on the existence of non-coherent initial ideals in the exterior algebra. For any \(n\)-dimensional vector space \(V\) over a field \(\mathbb{F}\) with basis \(\{x_1, \dots , x_n\}\), there can be defined the exterior algebra \(\Lambda(V)\) which contains an \(\mathbb{F}\)-linear combination of squarefree monomials on \(\{x_1, \dots , x_n\}\). The set of monomials of \(\Lambda(V)\) is denoted by \(M_{\Lambda(V)}\). Using the notation \(\underline{x}^{\underline{a}}= x_1^{a_1}\cdots x_n^{a_n}\), we call \(\prec\) a term order on \(M_{\Lambda(V)}\) if \(\prec\) is a total order with \(1 = \underline{x}^{\underline{0}}\) as a minimal element and the inequality \(\underline{x}^{\underline{a}}\prec \underline{x}^{\underline{b}}\) implies \(\underline{x}^{\underline{a}+\underline{c}}\prec\underline{x}^{\underline{b}+\underline{c}}\), whenever \(\underline{x}^{\underline{a}+\underline{c}}, \underline{x}^{\underline{b}+\underline{c}} \in M_{\Lambda(V)}\) and \(\underline{a},\underline{b},\underline{c}\in \mathbb{N}^n\). A term order \(\prec\) is called coherent if it can be extended to a term order on the monomials of the polynomial algebra \(\mathbb{F}[x_1, \dots , x_n]\). For any \(f = \sum_i c_i\underline{x}^{\underline{a}_i} \in \Lambda(V)\), the initial monomial \(in_{\prec}(f)\) of \(f\) is \(\max\{\underline{x}^{\underline{a}_i} : c_i \neq 0\}\) with respect to \(\prec\). For any (homogeneous) left-ideal \(I \subset \Lambda(V)\), the initial ideal \(in_{\prec}(I)\) of \(I\) is left-generated by \(\{in_{\prec}(f) : f \in I\}\). The authors give a condition for the existence of non-coherent initial ideals. For \(n\geq 6\), using this condition, a non-coherent initial ideal in the exterior algebra is constructed.