Gröbner bases of contraction ideals
type: Item
instance of: scholarly article
title: Gröbner bases of contraction ideals
zbMATH Open document ID: 1250.13028
author: Takafumi Shibuta
published in: Journal of Algebraic Combinatorics
publication date: 2012-07-31T00:00:00Z
full work available at URL: https://arxiv.org/abs/1010.5768
review text: For any field \(K\) and any \(m \times n\) integer matrix \(\mathcal{A}=(\mathbf{a}_1,\ldots,\mathbf{a}_n)\), where \(\mathbf{a}_j = {}^t(a_{1j},\ldots,a_{mj})\), the author considers the \(K\)-algebra homomorphism \(\phi_{\mathcal{A}}:K[x_1,\ldots,x_n] \rightarrow K[y_1^{\pm 1},\ldots, y_m^{\pm 1}]\) sending \(x_j\) to \(\mathbf{y}^{\mathbf{a}_j}\). The ideal \(P_{\mathcal{A}} := \text{Ker}\, \phi_{\mathcal{A}}\) is called \textit{toric ideal} of \(\mathcal{A}\). The paper investigates toric ideals of the product of two matrices \(\mathcal{C}=\mathcal{B}\cdot\mathcal{A}\). As \(\phi_{\mathcal{C}} = \phi_{\mathcal{B}\cdot\mathcal{A}} = \phi_{\mathcal{B}}\circ\phi_{\mathcal{A}}\), we have that \(P_{\mathcal{C}} = P_{\mathcal{B}\cdot\mathcal{A}} = \phi_{\mathcal{A}}^{-1}(P_{\mathcal{B}})\), hence the author studies \textit{contraction ideals} under the monomial homomorphism \(\phi_{\mathcal{A}}\) and in particular their initial ideals. Consider a homomorphism \(\phi_{\mathcal A}\), associated to an integer matrix \(\mathcal{A}\) with non-negative entries, and a weight vector \(\mathbf{w} = (w_1,\ldots,w_m)\) giving a \(\mathbb{N}\)-graded structure on \(K[y_1,\ldots,y_m]\). The vector \(\phi_{\mathcal{A}}^{\ast}\mathbf{w} := \mathbf{w}\cdot\mathcal{A} = (\deg_{\mathbf w}\phi_{\mathcal{A}}(x_1),\ldots,\deg_{\mathbf{w}}\phi_{\mathcal{A}}(x_m))\) induces a \(\mathbb{N}\)-graded structure on \(K[x_1,\ldots,x_m]\). Firstly, in order to reduce to the case of monomial ideals, the author discusses under which conditions the computation of the initial ideal commutes with the contraction, i.e. when \[ \text{in}_{\phi_{\mathcal{A}}^{\ast}\mathbf{w}}\big( \phi_{\mathcal{A}}^{-1}(I)\big) = \phi_{\mathcal{A}}^{-1}\big(\text{in}_{\mathbf{w}}(I)\big). \] Then, the main result of the paper concerns \(\mathbb{Z}^d\)-graded polynomial rings \(K[y_1,\ldots,y_m]\), with \(\deg_{\mathbb{Z}^d}(y_i) = \mathbf{v}_i \in \mathbb{Z}^d\). For any finitely generated subsemigroup \(\mathfrak{H} \su…
reviewed by: Paolo Lella
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 13P05
zbMATH DE Number: 6062490
zbMATH Keywords: Gröbner bases
zbMATH Keywords: toric ideals
zbMATH Keywords: initial ideals
zbMATH Keywords: nested configuration
MaRDI profile type: Publication
OpenAlex ID: W1987953652
arXiv ID: 1010.5768
cites work: Gröbner bases of nested configurations
cites work: Q4038746
cites work: Q4023642
cites work: Q4209232
cites work: Toric rings generated by special stable sets of monomials
cites work: Algebraic algorithms for sampling from conditional distributions
cites work: Initial ideals, Veronese subrings, and rates of algebras
cites work: Toric rings and ideals of nested configurations
cites work: Q4861423
cites work: Toric fiber products
DOI: 10.1007/S10801-011-0320-6
description: scientific article; zbMATH DE number 6062490