相关论文: Bounding the degrees of generators of a homogeneou…
We study a class of double determinantal ideals denoted $I_{mn}^r$, which are generated by minors of size 2, and show that they are equal to the Hibi rings of certain finite distributive lattices. We compute the number of minimal generators…
We consider the phylogenetic tree model in which every node of the tree is observed and binary and the transitions are given by the same matrix on each edge of the tree. We are able to compute the Grobner basis and Markov basis of the toric…
The polarizations of one relation of degree five and two relations of degree six minimally generate the ideal of relations among a minimal generating system of the algebra of multisymmetric polynomials in an arbitrary number of…
We obtain tight bounds for the minimal number of generators of an ideal with bounded-degree generators in a polynomial ring $K[X_1,\dots,X_n],$ as well as a sharp quantification of the maximum possible size of a minimal generating set of…
In $1980$ White conjectured that every element of the toric ideal of a matroid is generated by quadratic binomials corresponding to symmetric exchanges. We prove White's conjecture for high degrees with respect to the rank. This extends our…
Let $\mathbb K$ be a field of characteristic 0. Given $n$ linear forms in $R=\mathbb K[x_1,\ldots,x_k]$, with no two proportional, in one of our main results we show that the ideal $I\subset R$ generated by all $(n-2)$-fold products of…
We show that the toric ideal of a lattice path polymatroid is generated by quadrics corresponding to symmetric exchanges, and give a monomial order under which these quadrics form a Gr\"obner basis. We then obtain an analogous result for…
We introduce a construction, called linearization, that associates to any monomial ideal $I$ an ideal $\mathrm{Lin}(I)$ in a larger polynomial ring. The main feature of this construction is that the new ideal $\mathrm{Lin}(I)$ has linear…
Let $I_G$ be the toric ideal of a graph $G$. We characterize in graph theoretical terms the primitive, the minimal, the indispensable and the fundamental binomials of the toric ideal $I_G$.
We show that any two homogeneous affine semigroups can be glued by embedding them suitably in a higher dimensional space. As a consequence, we show that the sum of their homogeneous toric ideals is again a homogeneous toric ideal, and that…
Recent results of Kahle and Miller give a method of constructing primary decompositions of binomial ideals by first constructing "mesoprimary decompositions" determined by their underlying monoid congruences. Monoid congruences (and…
Let $R = k[w, x_1,..., x_n]/I$ be a graded Gorenstein Artin algebra . Then $I = \ann F$ for some $F$ in the divided power algebra $k_{DP}[W, X_1,..., X_n]$. If $RI_2$ is a height one idealgenerated by $n$ quadrics, then $I_2 \subset (w)$…
In this paper we study primality and primary decomposition of certain ideals which are generated by homogeneous degree $2$ polynomials and occur naturally from determinantal conditions. Normality is derived from these results.
Two classical results of Stafford say that every (left) ideal of the $n$-th Weyl algebra $A_n$ can be generated by two elements, and every holonomic $A_n$-module is cyclic, i.e. generated by one element. We modify Stafford's original proofs…
We say that an ideal I is homogeneous, if its restriction to any I-positive subset is isomorphic to I. The paper investigates basic properties of this notion -- we give examples of homogeneous ideals and present some applications to…
Let $A$ be a $K$-subalgebra of the polynomial ring $S=K[x_1,\ldots,x_d]$ of dimension $d$, generated by finitely many monomials of degree $r$. Then the Gauss algebra $\GG(A)$ of $A$ is generated by monomials of degree $(r-1)d$ in $S$. We…
A set A of positive integers is called a perfect difference set if every nonzero integer has an unique representation as the difference of two elements of A. We construct dense perfect difference sets from dense Sidon sets. As a consequence…
In this paper, we consider homological properties of so-called graph ideals. Consider $\Gamma$ is a graph with vertices $t_1$, ..., $t_s$, without self-loops and multiple adjacencies. We can associate with such a graph an ideal…
Associated to any vector configuration A is a toric ideal encoded by vectors in the kernel of A. Each toric ideal has two special generating sets: the universal Gr\"obner basis and the Graver basis. While the former is generally a proper…
Let $\mathcal{C} \subset \mathbb{P}^r$ be a linearly normal curve of arithmetic genus $g$ and degree $d$. In \cite{SD}, B. Saint-Donat proved that the homogeneous ideal $I(\mathcal{C})$ of $\mathcal{C}$ is generated by quadratic equations…