English
Related papers

Related papers: Splittings of Toric Ideals

200 papers

Describing families of ideals that are minimally generated by at least one, or by all, of their reduced Gr\"obner bases is a central topic in commutative algebra. In this paper, we address this problem in the context of toric ideals of…

Commutative Algebra · Mathematics 2025-04-09 Ignacio García-Marco , Irene Márquez-Corbella , Christos Tatakis

We characterize the graphs $G$ for which their toric ideals $I_G$ are complete intersections. In particular we prove that for a connected graph $G$ such that $I_G$ is complete intersection all of its blocks are bipartite except of at most…

Commutative Algebra · Mathematics 2011-10-06 Christos Tatakis , Apostolos Thoma

In this note we consider monoidal complexes and their associated algebras, called toric face rings. These rings generalize Stanley-Reisner rings and affine monoid algebras. We compute initial ideals of the presentation ideal of a toric face…

Commutative Algebra · Mathematics 2021-05-18 Winfried Bruns , Robert Koch , Tim Roemer

For an arbitrary field K, let I be an ideal in the ring K[[x,y]] expressible as a polynomial in either the pair of ideals (x, y^4) and (x,y) or the pair (x,y^3) and (x^2, y). Let G be the group of automorphisms of K[[x,y]] sending the ideal…

Algebraic Geometry · Mathematics 2007-05-23 Heather Russell

Assume that $X$ is an affine toric variety of characteristic $p > 0$. Let $\Delta$ be an effective toric $Q$-divisor such that $K_X+\Delta$ is $Q$-Cartier with index not divisible by $p$ and let $\phi_{\Delta}:F^e_* O_X \to O_X$ be the…

Algebraic Geometry · Mathematics 2012-04-16 Jen-Chieh Hsiao , Karl Schwede , Wenliang Zhang

There are two seemingly unrelated ideals associated with a simplicial complex \Delta. One is the Stanley-Reisner ideal I_\Delta, the monomial ideal generated by minimal non-faces of \Delta, well-known in combinatorial commutative algebra.…

Commutative Algebra · Mathematics 2013-05-07 Sonja Petrović , Erik Stokes

Associated to any hypergraph is a toric ideal encoding the algebraic relations among its edges. We study these ideals and the combinatorics of their minimal generators, and derive general degree bounds for both uniform and non-uniform…

Commutative Algebra · Mathematics 2012-12-24 Elizabeth Gross , Sonja Petrović

Let $R=\mathbb{K}[x_1,\dots,x_n]$, a graded algebra $S=R/I$ satisfies $N_{k,p}$ if $I$ is generated in degree $k$, and the graded minimal resolution is linear the first $p$ steps, and the $k$-index of $S$ is the largest $p$ such that $S$…

Commutative Algebra · Mathematics 2025-10-14 Chwas Ahmed , Ralf Fröberg , Mohammed Rafiq Namiq

We investigate the relationship between ideal membership of an operator and its pieces relative to several canonical types of partitions of the entries of its matrix representation with respect to a given orthonormal basis. Our main…

Functional Analysis · Mathematics 2021-03-17 Jireh Loreaux , Gary Weiss

Let X be an algebraic toric set in a projective space over a finite field. We study the vanishing ideal, I(X), of X and show some useful degree bounds for a minimal set of generators of I(X). We give an explicit description of a set of…

Commutative Algebra · Mathematics 2015-01-12 Jorge Neves , Maria Vaz Pinto , Rafael H. Villarreal

In this paper, we study a class of toric ideals obtained by using some geometric data of ADE trees which are the minimal resolution graphs of rational surface singularities. We compute explicit Gr\"obner bases for these toric ideals that…

Commutative Algebra · Mathematics 2015-12-09 Gülay Kaya , Pınar Mete , Mesut Şahin

In the present paper, we investigate the maximal degree of minimal generators of the toric ideal of the matching polytope of a graph. It is known that the toric ideal associated to a bipartite graph is generated by binomials of degree at…

Commutative Algebra · Mathematics 2026-05-20 Kenta Mori , Ryo Motomura , Hidefumi Ohsugi , Akiyoshi Tsuchiya

Let $A=\{{\bf a}_1,...,{\bf a}_m\} \subset \mathbb{Z}^n$ be a vector configuration and $I_A \subset K[x_1,...,x_m]$ its corresponding toric ideal. The paper consists of two parts. In the first part we completely determine the number of…

Commutative Algebra · Mathematics 2007-05-23 Hara Charalambous , Anargyros Katsabekis , Apostolos Thoma

In this paper we study the Alexander dual of a vertex decomposable simplicial complex. We define the concept of a vertex splittable ideal and show that a simplicial complex $\Delta$ is vertex decomposable if and only if $I_{\Delta^{\vee}}$…

Commutative Algebra · Mathematics 2016-08-24 Somayeh Moradi , Fahimeh Khosh-Ahang

Let $G$ be a finite connected simple graph and $I_{G}$ the toric ideal of the edge ring $K[G]$ of $G$. In the present paper, we study finite graphs $G$ with the property that $I_{G}$ is generated by quadratic binomials and $I_{G}$ possesses…

Commutative Algebra · Mathematics 2014-05-15 Takayuki Hibi , Kenta Nishiyama , Hidefumi Ohsugi , Akihiro Shikama

In this paper, we study toric ideals generated by circuits. For toric ideals which have squarefree quadratic initial ideals, a sufficient condition to be generated by circuits is given. In particular, squarefree Veronese subrings, the…

Commutative Algebra · Mathematics 2014-05-15 Hidefumi Ohsugi , Takayuki Hibi

We give a necessary and sufficient graph-theoretic characterization of toric ideals of graphs that are unimodular. As a direct consequence, we provide the structure of unimodular graphs by proving that the incidence matrix of a graph $G$ is…

Commutative Algebra · Mathematics 2025-10-15 Christos Tatakis

We examine the ideal $I=(x_1^2, \dots, x_n^2, (x_1+\dots+x_n)^2)$ in the polynomial ring $Q=k[x_1, \dots, x_n]$, where $k$ is a field of characteristic zero or greater than $n$. We also study the Gorenstein ideal $G$ linked to $I$ via the…

Commutative Algebra · Mathematics 2026-02-11 Rachel Diethorn , Sema Güntürkün , Alexis Hardesty , Pinar Mete , Liana Şega , Aleksandra Sobieska , Oana Veliche

We introduce and study the toric fiber product of two ideals in polynomial rings that are homogeneous with respect to the same multigrading. Under the assumption that the set of degrees of the variables form a linearly independent set, we…

Commutative Algebra · Mathematics 2007-05-23 Seth Sullivant

Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I \subset S$ a monomial ideal. Given a vector $\mathfrak{c}\in\mathbb{N}^n$, the ideal $I_{\mathfrak{c}}$ is the ideal generated by those monomials…

Commutative Algebra · Mathematics 2025-06-03 Takayuki Hibi , Seyed Amin Seyed Fakhari