The paper introduces a new family of configurations of monomials whose corresponding toric ideals have quadratic Gröbner bases. An important problem in commutative algebra is to determine when the polynomial ring \(K[A]\), when \(A\) is a configuration of monomials, is \textit{Koszul} (has a linear minimal resolution). Since a sufficient condition for this is that the toric ideal corresponding to \(A\) has a quadratic Gröbner basis it is important to be able to construct large families of such configurations. The authors approach this by defining a \textit{nested configuration} \(A(B_1, \ldots, B_d)\) given configurations \(A, B_1, \ldots, B_d\). The main theorem of the paper states that the resulting toric ideal will have a quadratic Gröbner basis if separately those of \(A, B_1, \ldots, B_d\) do. The construction is efficient and results in a large family of configurations whose toric ideals with quadratic Gröbner bases. The algorithm generalizes Segre/Veronese type configurations. Several useful and enlightening examples are used throughout. A brief section also details how the problem can be motivated in the field of statistics.
- Toric initial ideals of \(\Delta\)-normal configurations: Cohen-Macaulayness and degree bounds
- Toric ideals of Minkowski sums of unit simplices
- Lexicographic and reverse lexicographic quadratic Gröbner bases of cut ideals
- On connectivity of fibers with positive marginals in multiple logistic regression
- Markov-chain Monte Carlo methods for the Box-Behnken designs and centrally symmetric configurations
- Existence of unimodular triangulations -- positive results
- Structure of Gröbner bases with respect to block orders
- Toric rings and ideals of nested configurations
- Gröbner bases of contraction ideals
This page was built for publication: Gröbner bases of nested configurations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q952559)
