On Lawrence semigroups (Q2517808)

Fix a subset \(\mathcal{A} = \{{\mathbf a}_1, \ldots, {\mathbf a}_r\}\) of \(\mathbb{Z}^d \oplus T,\) where \(T\) is a torsion group. The Lawrence ideal of \(\mathcal{A}\) is the homogeneous prime ideal \(I_{\Lambda(\mathcal{A})}\) generated by \[ \Big\{{\mathbf X}^{\mathbf u} {\mathbf Y}^{\mathbf v} - {\mathbf X}^{\mathbf v} {\mathbf Y}^{\mathbf u} : \sum_{i=1}^r u_i {\mathbf a}_i = \sum_{i=1}^r v_i {\mathbf a}_i \Big \} \] in the polynomial ring \(k[{\mathbf X}, {\mathbf Y}] := k[X_1, \ldots, X_r, Y_1,\) \(\ldots,\) \(Y_r].\) Notice that \(I_{\Lambda(\mathcal{A})}\) is the ideal of \(k[{\mathbf X}, {\mathbf Y}]\) associated to the semigroup generated by \(({\mathbf a}_1, {\mathbf e}_1), \ldots, ({\mathbf a}_r, {\mathbf e}_r), (0, {\mathbf e}_1), \ldots, (0, {\mathbf e}_r)\) in \(\mathbb{Z}^d \oplus T \oplus \mathbb{Z}^r,\) where \({\mathbf e}_i\) denotes the \(i-\)th canonical basis vector of \(\mathbb{Z}^r.\) The authors of the paper call these semigroups Lawrence semigroups. In the paper under review, minimal systems of binomial generators of Lawrence ideals and their syzygies are studied. Using the techniques developed by the authors in [\textit{P. Pisón-Casares} and \textit{A. Vigneron-Tenorio}, Commun. Algebra 29, No. 4, 1445--1466 (2001; Zbl 1082.13510)], a complete combinatorial characterization of the minimal first syzygies of Lawrence ideals is given.