Pierre Dueck, Serkan Hosten, Bernd Sturmfels
Every normal toric ideal of codimension two is minimally generated by a Grobner basis with squarefree initial monomials. A polynomial time algorithm is presented for checking whether a toric ideal of fixed codimension is normal.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We describe classes of toric varieties of codimension 2 which are either minimally defined by 3 binomial equations over any algebraically closed field, or are set-theoretic complete intersections in exactly one positive characteristic.
Let X be a complete toric variety with homogeneous coordinate ring S. In this article, we compute upper and lower bounds for the codimension in the critical degree of ideals of S generated by dim(X)+1 homogeneous polynomials that don't vanish simultaneously on X.
A homogeneous ideal is robust if its universal Gröbner basis is also a minimal generating set. For toric ideals, one has the stronger definition: A toric ideal is strongly robust if its Graver basis equals the set of indispensable binomials. We characterize the codimension 2 strongly robust toric ideals by their Gale diagrams. This gives a positive answer to a question of Petrovic, Thoma, and Vladoiu in the case of codimension 2 toric ideals.
The Eisenbud--Goto conjecture states that $\operatorname{reg} X\le\operatorname{deg} X -\operatorname{codim} X+1$ for a nondegenerate irreducible projective variety $X$ over an algebraically closed field. While this conjecture is known to be false in general, it has been proven in several special cases, including when $X$ is a projective toric variety of codimension $2$. We classify the projective toric varieties of codimension $2$ having maximal regularity, that is, for which equality holds in the Eisenbud--Goto bound. We also give combinatorial characterizations of the arithmetically Cohen--…
Demushkin's Theorem says that any two toric structures on an affine variety X are conjugate in the automorphism group of X. We provide the following extension: Let an (n-1)-dimensional torus T act effectively on an n-dimensional affine toric variety X. Then T is conjugate in the automorphism group of X to a subtorus of the big torus of X.
Given two toric ideals $I_1,I_2\subset\si$, it is not always true that $I_1+I_2$ is a toric ideal. Given $I_1,...,I_k\subset\si$ a familly of toric ideals we give necessary conditions in order to have that $I_1+...+I_k$ is a toric ideal.
We study how to lift Markov bases and Gröbner bases along linear maps of lattices. We give a lifting algorithm that allows to compute such bases iteratively provided a certain associated semigroup is normal. Our main application is the toric fiber product of toric ideals, where lifting gives Markov bases of the factor ideals that satisfy the compatible projection property. We illustrate the technique by computing Markov bases of various infinite families of hierarchical models. The methodology also implies new finiteness results for iterated toric fiber products.
Symbolic Powers of Toric Ideals
本文研究toric理想的符号幂，利用格结构导出的线性映射的核加以刻画，并证明其可表示为普通幂关于全体变量乘积单项式的饱和，给出具有计算价值的结果。
A simple formula computing the multiplier ideal of a monomial ideal on an arbitrary affine toric variety is given. Variants for the multiplier module and test ideals are also treated.
We use cellular resolutions of monomial ideals to prove an analog of Hilbert's syzygy theorem for virtual resolutions of monomial ideals on smooth toric varieties.
Directed Gaussian graphical models are statistical models that use a directed acyclic graph (DAG) to represent the conditional independence structures between a set of jointly normal random variables. The DAG specifies the model through recursive factorization of the parametrization, via restricted conditional distributions. In this paper, we make an attempt to characterize the DAGs whose vanishing ideals are toric ideals. In particular, we give some combinatorial criteria to construct such DAGs from smaller DAGs which have toric vanishing ideals. An associated monomial map called the shortest…
We prove that the defining ideal of a sufficiently high Veronese subring of a toric algebra admits a quadratic Gröbner basis consisting of binomials. More generally, we prove that the defining ideal of a sufficiently high Veronese subring of a standard graded ring admits a quadratic Gröbner basis. We give a lower bound on $d$ such that the defining ideal of $d$-th Veronese subring admits a quadratic Gröbner basis. Eisenbud--Reeves--Totaro stated the same theorem without a proof with some lower bound on $d$. In many cases, our lower bound is less than Eisenbud--Reeves--Totaro's lower bound.
We provide a formula to compute the big Cohen-Macaulay test ideal for triples $((R,Δ),\mathfrak{a}^{t})$ where $R$ is a mixed characteristic toric ring and $\mathfrak{a}$ is a monomial ideal. Of particular interest is that this result is consistent with the formulas for test ideals in positive characteristic and multiplier ideals in characteristic zero.
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öbner bases for these toric ideals that are also minimal generating sets consisting of large number of binomials of degree $\leq 4$. In particular, they give rise to squarefree initial ideals as well.
We construct a 3-dimensional complete intersection toric variety on which the subadditivity formula doesn't hold, answering negatively a question by Takagi and Watanabe. A combinatorial proof of the subadditivity formula on 2-dimensional normal toric varieties is also provided.
The toric ideal of a $d$-dimensional flow polytope has an initial ideal generated by square-free monomials of degree at most $d$. The toric ideal of a flow polytope of dimension at most four has an initial ideal generated by square-free monomials of degree at most two, with the only exception of the four-dimensional Birkhoff polytope, whose toric ideal has an initial ideal generated by a square-free cubic monomial. The proof is based on a method to classify certain compressed flow polytopes, and a construction of a quadratic pulling triangulation of them. Along the way compressed flow polytope…
For all integers $4 \leq r \leq d$, we show that there exists a finite simple graph $G= G_{r,d}$ with toric ideal $I_G \subset R$ such that $R/I_G$ has (Castelnuovo-Mumford) regularity $r$ and $h$-polynomial of degree $d$. To achieve this goal, we identify a family of graphs such that the graded Betti numbers of the associated toric ideal agree with its initial ideal, and furthermore, this initial ideal has linear quotients. As a corollary, we can recover a result of Hibi, Higashitani, Kimura, and O'Keefe that compares the depth and dimension of toric ideals of graphs.
We present examples which show that in dimension higher than one or codimension higher than two, there exist toric ideals I_A such that no binomial ideal contained in I_A and of the same dimension is a complete intersection. This result has important implications in sparse elimination theory and in the study of the Horn system of partial differential equations.
Generic linkage is used to compute a prime ideal such that the radical of the initial ideal of the prime ideal is equal to the radical of a given codimension two monomial ideal that has a Cohen-Macaulay quotient ring.
An Early History of Toric Ideals
本文回顾环面理想及其Gröbner基在1990年代初期的发展历程，强调Bernd Sturmfels及其团队在推动该领域应用中的核心作用。
In this paper we study some algebraic and combinatorial behaviors of expansion functor. We show that on monomial ideals some properties like polymatroidalness, weakly polymatroidalness and having linear quotients are preserved under taking the expansion functor. The main part of the paper is devoted to study of toric ideals associated to the expansion of subsets of monomials which are minimal with respect to divisibility. It is shown that, for a given discrete polymatroid $P$, if toric ideal of $P$ is generated by double swaps then toric ideal of any expansion of $P$ has such a property. This …
In this paper, we introduce a notion of adjoint ideal sheaves along closed subvarieties of higher codimension and study its local properties using characteristic $p$ methods. When $X$ is a normal Gorenstein closed subvariety of a smooth complex variety $A$, we formulate a restriction property of the adjoint ideal sheaf $\adj_X(A)$ of $A$ along $X$ involving the l.c.i. ideal sheaf $\mathcal{D}_X$ of $X$. The proof relies on a modification of generalized test ideals of Hara and Yoshida.
In this paper we present a version of the general polynomial involutive algorithm for computing Janet bases specialized to toric ideals. The relevant data structures are Janet trees which provide a very fast search for a Janet divisor. We broach also efficiency issues in view of application of the algorithm presented to computation of toric ideals.
We introduce the notion of Betti category for graded modules over suitably graded polynomial rings, and more generally for modules over certain small categories. Our categorical approach allows us to treat simultaneously many important cases, such as monomial ideals and toric rings. We prove that in these cases the Betti category is a finite combinatorial object that completely determines the structure of the minimal free resolution. For monomial ideals, the Betti category is the same as the Betti poset that we studied in a previous article. We describe in detail and with examples how the theo…
Cellular free resolutions for normalizations of toric ideals
本文提出了一种基于细胞自由解析理论的方法，用于计算托克理想规范化的自由解析，并应用于托克簇对角嵌入的解析构造与比较。
Previously, Ohsugi and Hibi gave a combinatorial description of bipartite graphs $G$ whose toric edge ideal $I_G$ is generated by quadrics, showing that every cycle of $G$ of length at least $6$ must have a chord. This corresponds to the Green-Lazarsfeld condition $\mathbf{N}_1$. In this paper, we investigate the higher syzygies of $I_G$ and give combinatorial descriptions of the Green-Lazarsfeld conditions $\mathbf{N}_p$ of toric edge ideals of bipartite graphs for all $p \ge 1$. In particular, we show that $I_G$ is linearly presented (i.e. satisfies condition $\mathbf{N}_2$) if and only if t…
Let $I_{G} \subset K[x_{1},...,x_{m}]$ be the toric ideal associated to a finite graph $G$. In this paper we study the binomial arithmetical rank and the $G$-homogeneous arithmetical rank of $I_G$ in 2 cases: $G$ is bipartite, $I_G$ is generated by quadratic binomials. In both cases we prove that the binomial arithmetical rank and the $G$-arithmetical rank coincide with the minimal number of generators of $I_G$.
This article concerns monomial ideals fixed by differential operators of affine semi-group rings over $\mathbb{C}$. We give a complete characterization of when this happens. Perhaps surprisingly, every monomial ideal is fixed by an infinite set of homogeneous differential operators and is in fact determined by them. This opens up a new tool for studying monomial ideals. We explore applications of this to (mixed) multiplier ideals and other variants as well as give examples of detecting ideal membership in integrally closed powers and symbolic powers of squarefree monomial ideals.
Radical splittings of toric ideals
本文研究了典范理想极小分解数的计算及其与二项式算术秩的关系，特别针对完全二分图的典范理想证明了极小分解数为 3。
Let I be the toric ideal defined by a 2 x n matrix of integers, A = ((1 1 ... 1)(a_1 a_2 ... a_n)) with a_1<a_2<...<a_n. We give a combinatorial proof that I is generated by elements of degree at most the sum of the two largest differences a_i - a_(i-1). The novelty is in the method of proof: the result has already been shown by L'vovsky using cohomological arguments.
Assume that $X$ is an affine toric variety of characteristic $p > 0$. Let $Δ$ be an effective toric $Q$-divisor such that $K_X+Δ$ is $Q$-Cartier with index not divisible by $p$ and let $ϕ_Δ:F^e_* O_X \to O_X$ be the toric map corresponding to $Δ$. We identify all ideals $I$ of $O_X$ with $ϕ_Δ(F^e_* I)=I$ combinatorially and also in terms of a log resolution (giving us a version of these ideals which can be defined in characteristic zero). Moreover, given a toric ideal $\ba$, we identify all ideals $I$ fixed by the Cartier algebra generated by $ϕ_Δ$ and $\ba$; this answers a question by Manuel …
Let X be a set of smooth points in P^2, and I = \oplus_{t >= d} I_t the defining ideal of X. In this paper, we give a set of defining equations for the Rees algebra R(I_{d+1}) of the ideal generated by I_{d+1}. This study give information to completely answer questions on the defining ideals of projective embeddings of the blowup of P^2 along the points in X, which has been studied by many authors. In this paper, we also study the asymptotic behaviour of the Rees algebras R(I_t) of the ideal generated by I_t, as t gets large.
We provide explicit combinatorial descriptions of the primary components of codimension two lattice basis ideals. As an application, we compute the set of parameters for which a bivariate Horn system of hypergeometric differential equations is holonomic.
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 two. We prove that toric ideals of graphs which are complete intersections are circuit ideals. The generators of the toric ideal correspond to even cycles of $G$ except of at most one generator, which corresponds to two edge disjoint odd cycles joint at a vertex or with a path. We prove that the blocks of the graph satisfy the odd cycle condition. Finally we …
The famous structure theorem of Buchsbaum and Eisenbud gives a complete characterization of Gorenstein ideals of codimension 3 and their minimal free resolutions. We generalize the ideas of Buchsbaum and Eisenbud from Gorenstein ideals to Gorenstein algebras and present a description of Gorenstein algebras of any odd codimension. As an application we study the canonical ring of a numerical Godeaux surface.
A central question in liaison theory asks whether every Cohen-Macaulay, graded ideal of a standard graded K-algebra belongs to the same G-liaison class of a complete intersection. In this paper we answer this question positively for toric ideals defining edge subrings of bipartite graphs.
To every toric ideal one can associate an oriented matroid structure, consisting of a graph and another toric ideal, called bouquet ideal. The connected components of this graph are called bouquets. Bouquets are of three types; free, mixed and non mixed. We prove that the cardinality of the following sets - the set of indispensable elements, minimal Markov bases, the Universal Markov basis and the Universal Gröbner basis of a toric ideal - depends only on the type of the bouquets and the bouquet ideal. These results enable us to introduce the strongly robustness simplicial complex and show tha…
Associated to any graph is a toric ideal whose generators record relations among the cuts of the graph. We study these ideals and the geometry of the corresponding toric varieties. Our theorems and conjectures relate the combinatorial structure of the graph and the corresponding cut polytope to algebraic properties of the ideal. Cut ideals generalize toric ideals arising in phylogenetics and the study of contingency tables.
In this paper, we discuss the toric ideals of Minkowski sums of unit simplices. More precisely, we prove that the toric ideal of Minkowski sum of unit simplices has a squarefree initial ideal and is generated by quadratic binomials. Moreover, we also prove that Minkowski sums of unit simplices have the integer decomposition property. Those results are a partial contribution to Oda conjecture and Bøgvad conjecture.
Describing minimal generating set of a toric ideal is a well-studied and difficult problem. In 1980 White conjectured that the toric ideal associated to a matroid is equal to the ideal generated by quadratic binomials corresponding to symmetric exchanges. We prove White's conjecture up to saturation, that is that the saturations of both ideals are equal. In the language of algebraic geometry this means that both ideals define the same projective scheme. Additionally we prove the full conjecture for strongly base orderable matroids.
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 second Veronese subrings and configurations arising from root systems satisfy the condition. In addition, we study toric ideals of finite graphs and characterize the graphs whose toric ideals are generated by circuits u -v such that either u or v is squarefree. There exists several classes of graphs whose toric ideals satisfy this condition and whose toric rings …
We call an ideal in a polynomial ring robust if it can be minimally generated by a universal Gröbner basis. In this paper we show that robust toric ideals generated by quadrics are essentially determinantal. We then discuss two possible generalizations to higher degree, providing a tight classification for determinantal ideals, and a counterexample to a natural extension for Lawrence ideals. We close with a discussion of robustness of higher Betti numbers.
Some results on the Cohen-Macaulayness of the canonical module. We study the $S_2$-fication of rings which are quotients by lattices ideals. Given a simplicial lattice ideal of codimension two $I,$ its Macaulayfication is given explicitly from a system of generators of $I$.
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 result arXiv:1302.5236 confirming White's conjecture `up to saturation'. Furthermore, we study degrees of Gröbner bases and Betti tables of the toric ideals of matroids of a fixed rank.
The slack ideal of a polytope is a saturated determinantal ideal that gives rise to a new model for the realization space of the polytope. The simplest slack ideals are toric and have connections to projectively unique polytopes. We prove that if a projectively unique polytope has a toric slack ideal, then it is the toric ideal of the bipartite graph of vertex-facet non-incidences of the polytope. The slack ideal of a polytope is contained in this toric ideal if and only if the polytope is morally 2-level, a generalization of the 2-level property in polytopes. We show that polytopes that do no…
Let G be a finite simple graph. In this paper we will show that the binomial edge ideal of G, JG is toric if and only if each connected component of G is complete and in this case it is the sum of toric ideal associated to bipartite complete graphs.
The toric ring together with the toric ideal arising from a nested configuration is studied, with particular attention given to the algebraic study of normality of the toric ring as well as the Gröbner bases of the toric ideal. One of the combinatorial applications of these algebraic findings leads to insights on smooth $3 \times 3$ transportation polytopes.
We study the problem when an ideal generated by adjacent 2-minors is the toric ideal of a finite graph.
Let $G$ be a finite simple graph. We give a lower bound for the Castelnuovo-Mumford regularity of the toric ideal $I_G$ associated to $G$ in terms of the sizes and number of induced complete bipartite graphs in $G$. When $G$ is a chordal bipartite graph, we find an upper bound for the regularity of $I_G$ in terms of the size of the bipartition of $G$. We also give a new proof for the graded Betti numbers of the toric ideal associated to the complete bipartite graph $K_{2,n}$.
Bounds for the maximal degree of certain Gröbner bases of simplicial toric ideals are given. These bounds are close to the bound stated in Eisenbud-Goto's Conjecture on the Castelnuovo-Mumford regularity.
Structure theorems for Gorenstein ideals of codimension four with small number of generators
本文用表示论方法研究余维数为四的Gorenstein理想的极小自由消解，引入高阶结构映射族，并证明由六个元素极小生成的该类理想必为余维数为三的Gorenstein理想的超平面截面，同时提出七、八个生成元情形的猜想。
Strongly robustness of toric ideals of weighted oriented graphs
本文研究了加权有向图toric理想强鲁棒性，证明了此类理想在特定条件下具有强鲁棒性质。
In this note, we calculate the Koszul homology of the codimension 3 Gorenstein ideals. We find filtrations for the Koszul homology in terms of modules with pure free resolutions and completely describe these resolutions. We also consider the Huneke-Ulrich deviation 2 ideals.
Gluing And Splitting of Homogeneous Toric Ideals
本文研究齐次仿射半群的粘合，证明其环面理想之和仍为齐次环面理想且极小分次自由分解为张量积，并用于刻画图与超图环面理想的分裂。
We give a structure theorem for Cohen Macaulay monomial ideals of codimension 2, and describe all possible relation matrices of such ideals. In case that the ideal has a linear resolution, the relation matrices can be identified with the spanning trees of a connected chordal graph with the property that each distinct pair of maximal cliques of the graph has at most one vertex in common.
Restricted Chip-Firing: Toric Toppling Ideals, Picard Groups, and Cellular Resolutions
本文研究了pargraphs上的芯片翻转游戏所产生的一类群和理想，探讨了其拓扑理想性质，并构建了格罗布纳基、最小细胞自由解析及皮卡群的自由性条件。
A cut ideal of a graph was introduced by Sturmfels and Sullivant. In this paper, we give a necessary and sufficient condition for toric rings associated to the cut ideal to be Strongly Koszul.
In this paper we define an interesting family of perfect ideals of codimension three, with five generators, of Cohen-Macaulay type two with trivial multiplication on the Tor algebra. This family is likely to play a key role in classifying perfect ideals with five generators of type two.
Herzog and Srinivasan have conjectured that for any homogeneous k-algebra, the degree is bounded above by a function of the maximal degrees of the syzygies. Combining the syzygy quadrangle decomposition of Peeva and Sturmfels and a delicate case analysis, we prove that this conjectured bound holds for codimension 2 lattice ideals.
Let K be a field and S = K[x1,...,xn] be a polynomial ring. A single spot ideal I =< S is a graded ideal whose local cohomology H^i_\mm(S/I), i< dim S/I and \mm = (x1,...,xn), only has non-trivial value N, a finite length module, at i = depth S/I. We consider characterization of single spot ideals in terms of (long) Bourbaki sequences. The codimension 2 case has been fairly well investigated. In this paper, we focus on the codimension 3 case.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。