Toric fiber products
type: Item
instance of: scholarly article
title: Toric fiber products
zbMATH Open document ID: 1129.13030
author: Seth Sullivant
published in: Journal of Algebra
publication date: 2007-12-21T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0602052
review text: Let \(s_1, \ldots, s_r, t_1, \ldots, t_r\) be positive integers and consider two sets of variables \[ \{x_{ij}\}_{1\leq i\leq r, 1\leq j\leq s_i} = :x,\;\{y_{ij}\}_{1\leq i\leq r, 1\leq j\leq t_i} = :y. \] Define a multigraduation by \(\deg(x_{ij})=\deg (y_{ik})=a^{(i)}\in\mathbb Z^d\) and assume there exist \(\omega\in\mathbb Q^d\) such that \({}^t\omega\cdot a^{(i)}=1\) for all \(i\). Let \(\mathcal A=\{a^{(1)}, \ldots, a^{(r)}\}\) and \(I, J\) be homogeneous ideals in \(K[x]\) and \(K[y]\) respectively. Let \(R=K[x]/I\) and \(S=K[y]/J\) and \(\Phi_{I,J}:K[z]\to R\otimes_K S\) be defined by \(\Phi_{I,J}(z_{ijk})=x_{ij}\otimes y_{ik}\) with \(z=(z_{ijk})_{1\leq i\leq r, 1\leq j\leq s_i, 1\leq k\leq t_i}\). The kernel of \(\Phi_{I,J}\) is called the toric fibre product \(I\times_\mathcal A J\) of \(I\) and \(J\). A Gröbner basis of \(I\times_\mathcal A J\) is explicitly constructed in terms of a Gröbner basis of \(I\) and a Gröbner basis of \(J\) under the assumption that \(\mathcal A\) is a linearly independent set. The result is applied to algebraic statistics.
reviewed by: Gerhard Pfister
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 14M25
Mathematics Subject Classification ID: 14Q99
zbMATH DE Number: 5222079
zbMATH Keywords: Gröbner basis
zbMATH Keywords: algebraic statistics
zbMATH Keywords: hierarchical model
zbMATH Keywords: phylogenetic invariants
MaRDI profile type: Publication
OpenAlex ID: W2167242722
arXiv ID: math/0602052
cites work: Minimal Basis for a Connected Markov Chain over 3 x 3 x K Contingency Tables with Fixed Two-Dimensional Marginals
cites work: Integer Programming and Combinatorial Optimization
cites work: Algebraic algorithms for sampling from conditional distributions
cites work: A divide-and-conquer algorithm for generating Markov bases of multi-way tables
cites work: Algebraic geometry of Bayesian networks
cites work: Box-shaped matrices and the defining ideal of certain blowup surfaces.
cites work: Gröbner bases and polyhedral geometry of reducible and cyclic models.
cites work: Q5462454
cites work: Q4861423
cites work: Toric Ideals of Phylogenetic Invariants
cites work: Fourier calculus on evolutionary trees
DOI: 10.1016/J.JALGEBRA.2006.10.004
description: scientific article