M. Hellus, J. Stueckrad, L. T. Hoa
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Bounds for the maximum degree of a minimal Gröbner basis of simplicial toric ideals with respect to the reverse lexicographic order are given. These bounds are close to the bound stated in Eisenbud-Goto's Conjecture on the Castelnuovo-Mumford regularity.
Generators of the initial ideal of simplicial toric ideals
本文提出了一种通过不可约元素求和来生成简单赋值初理想的方法，并展示了如何从该生成集获得约简格式基，同时比较了格式基的最大次数与正则性。
Let $G$ be a simple graph on the vertex set $\{1,\ldots,n\}$ with $m$ edges. An algebraic object attached to $G$ is the ideal $P_{G}$ generated by diagonal 2-minors of an $n \times n$ matrix of variables. In this paper we prove that if $G$ is bipartite, then every initial ideal of $P_{G}$ is generated by squarefree monomials of degree at most $\left \lfloor{\frac{m+n+1}{2}} \right \rfloor$. Furthermore, we completely characterize all connected graphs $G$ for which $P_{G}$ is the toric ideal associated to a finite simple graph. Finally we compute in certain cases the universal Gr{ö}bner basis o…
Sortable simplicial complexes and their associated toric rings
该研究针对d-flag可排序单纯复形，证明其关联环面环及纯骨架面理想的Rees代数为Koszul正规Cohen-Macaulay整环，分析了环面环的Gorenstein性质等，并证明这类复形顶点可分解以刻画其Cohen-Macaulay性质。
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.
Given a set $\mathcal A = \{a_1,\ldots,a_n\} \subset \mathbb{N}^m$ of nonzero vectors defining a simplicial toric ideal $I_{\mathcal A} \subset k[x_1,...,x_n]$, where $k$ is an arbitrary field, we provide an algorithm for checking whether $I_{\mathcal A}$ is a complete intersection. This algorithm does not require the explicit computation of a minimal set of generators of $I_{\mathcal A}$. The algorithm is based on the application of some new results concerning toric ideals to the simplicial case. For homogenous simplicial toric ideals, we provide a simpler version of this algorithm. Moreover,…
We show that for all $n\geq 3$ and all primes $p$ there are infinitely many simplicial toric varieties of codimension $n$ in the $2n$-dimensional affine space whose minimum number of defining equations is equal to $n$ in characteristic $p$, and lies between $2n-2$ and $2n$ in all other characteristics. In particular, these are new examples of varieties which are set-theoretic complete intersections only in one positive characteristic.\newline Moreover, we show that the minimum number of binomial equations which define these varieties in all characteristics is 4 for $n=3$ and $2n-2+{n-2\choose …
Toric rings attached to simplicial complexes
该文研究对应单纯复形面的标准分次toric环，证明正规时除子类群自由，给出完美图flag复形对应环的类群与典范模的组合描述，还构造拟森林复形对应环定义理想的二次Gröbner基，并借此刻画其a-不变量与Gorenstein性质。
In this paper, we study the well-know $g$-conjecture for rational homology spheres in a topological way. To do this, we construct a class of topological spaces with torus actions, which can be viewed as topological generalizations of toric varieties. Along this way we prove that after doing stellar subdivision operations at some middle dimensional faces of an arbitrary rational homology sphere, the $g$-conjecture is valid. Furthermore, we give topological proofs of several fundamental algebraic results about Buchsbaum complexes and simplicial manifolds. In this process, we also get a few inter…
The toric ring of one dimensional simplicial complexes
本文研究一维单纯复形（即有限简单图）的环面环，分类正规情形并刻画其 Gorenstein 与伪 Gorenstein 性质。
We introduce toric complexes as polyhedral complexes consisting of rational cones together with a set of integral generators for each cone, and we define their associated face rings. Abstract simplicial complexes and rational fans can be considered as toric complexes, and the face ring for toric complexes extend Stanley and Reisner's face ring for abstract simplicial complexes and Stanley's face ring for rational fans. Given a toric complex with defining ideal I for the face ring we give a geometrical interpretation of the initial ideals of I with respect to weight orders in terms of subdivisi…
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$.
We give a rigorous mathematical proof for the validity of the toric sheaf cohomology algorithm conjectured in the recent paper by R. Blumenhagen, B. Jurke, T. Rahn, and H. Roschy (arXiv:1003.5217). We actually prove not only the original algorithm but also a speed-up version of it. Our proof is independent from (in fact appeared earlier on the arXiv than) the proof by H. Roschy and T. Rahn (arXiv:1006.2392), and has several advantages such as being shorter and cleaner and can also settle the additional conjecture on "Serre duality for Betti numbers" which was raised but unresolved in arXiv:100…
Let $X$ be a complete $n$-dimensional simplicial toric variety with homogeneous coordinate ring $S$. We study the multigraded Hilbert function $H_Y$ of reduced $0$-dimensional subschemes $Y$ in $X$. We provide explicit formulas and prove non-decreasing and stabilization properties of $H_Y$ when $Y$ is a $0$-dimensional complete intersection in $X$. We apply our results to computing the dimension of some evaluation codes on $0$-dimensional complete intersection in simplicial toric varieties.
Relevant maps and the algebraic skeleton of simplicial toric prevarieties
本文通过引入相关子集的概念，建立了多分量格Proj方案之间有理映射的框架，并证明了三元组类别与单纯仿射预概型类别的反等价关系。
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…
The strongly robust simplicial complex of monomial curves
本文研究了单项式曲线的强鲁棒单纯复形 $Δ_T$ 的结构，证明了其在 $\mathbb{A}^{s}$ 中仅含空集或一个0维面，给出了 $\mathbb{A}^{3}$ 中的完全交等价条件，并提供了生成无穷多强鲁棒理想的构造方法。
Conic modules, secondary fans and non-commutative resolutions
本文研究锥模与二次扇的关系，提出非交换解析的构造方法，并探讨了锥模在非交换解析中的应用条件。
We present two algorithms determining all the complete and simplicial fans admitting a fixed non-degenerate set of vectors $V$ as generators of their 1-skeleton. The interplay of the two algorithms allows us to discerning if the associated toric varieties admit a projective embedding, in principle for any values of dimension and Picard number. The first algorithm is slower than the second one, but it computes all complete and simplicial fans supported by $V$ and lead us to formulate a topological-combinatoric conjecture about the definition of a fan. On the other hand, we adapt the Sturmfels' …
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 different minimal systems of binomial generators of $I_A$. We also prove that generic toric ideals are generated by indispensable binomials. In the second part we associate to $A$ a simplicial complex $Δ_{\ind(A)}$. We show that the vertices of $Δ_{\ind(A)}$ correspond to the indispensable monomials of the toric ideal $I_A$, while one dimensional facets of $Δ_{\…
F-thresholds are defined by Mustata, Takagi and Watanabe in [F-thresholds and Bernstein-Sato polynomials], which are invariants of the pair of ideals on rings of characteristic $p$. In their paper, it is proved F-thresholds equal to jumping numbers for the test ideal on regular local rings. In this note, we give an formula of F-thresholds on toric rings. This formula is a generalization of the example in [Huneke, Mustata, Takagi and Watanabe:F-thresholds, tight closure, integral closure, and multiplicity bounds]. We prove that there exists an inequality between F-jumping coefficients and F-thr…
On the dimension of the strongly robust complex for configurations in general position
本研究针对一般位置构型，证明了简单环面理想的强稳健单纯复形维数小于其秩，部分解答了Sullivant提出的相关问题，为强稳健环面理想的性质研究提供了新结论。
In the first part of this paper we study scrollers and linearly joined varieties. A particular class of varieties, of important interest in classical Geometry are Cohen--Macaulay varieties of minimal degree. They appear naturally studying the fiber cone of of a codimension two toric ideals. Let $I\subset S$ be an ideal defining a linearly joined arrangement of varieties: - We compute the depth, and the cohomological dimension. is the connectedness dimension. - We characterize sets of generators of $I$, and give an effective algorithm to find equations, as an application we compute arithmetical…
Using aritmethic conditions on affine semigroups we prove that for a simplicial toric variety of codimension 2 the property of being a set-theoretic complete intersection on binomials in characteristic $p$ holds either for all primes $p$, or for no prime $p$, or for exactly one prime $p$.
Castelnuovo-Mumford regularity of toric varieties with at most one singular point
研究了至多一个奇点的简单投影托里克品种的拟正则性上界，结合组合与同调方法证明了Eisenbud-Goto界在光滑和单奇点情况下均成立。
Let $X$ be a complete simplicial toric variety over a finite field $\mathbb{F}_q$ with homogeneous coordinate ring $S=\mathbb{F}_q[x_1,\dots,x_r]$ and split torus $T_X\cong (\mathbb{F}^*_q)^n$. We prove that vanishing ideal of a subset $Y$ of the torus $T_X$ is a lattice ideal if and only if $Y$ is a subgroup. We show that these subgroups are exactly those subsets that are parameterized by Laurents monomials. We give an algorithm for determining this parametrization if the subgroup is the zero locus of a lattice ideal in the torus. We also show that vanishing ideals of subgroups of $T_X$ are r…
In 1971, McMullen and Walkup posed the following conjecture, which is called the generalized lower bound conjecture: If $P$ is a simplicial $d$-polytope then its $h$-vector $(h_0,h_1,...,h_d)$ satisfies $h_0 \leq h_1 \leq ... \leq h_{\lfloor \frac d 2 \rfloor}$. Moreover, if $h_{r-1}=h_r$ for some $r \leq \frac d 2$ then $P$ can be triangulated without introducing simplices of dimension $\leq d-r$. The first part of the conjecture was solved by Stanley in 1980 using the hard Lefschetz theorem for projective toric varieties. In this paper, we give a proof of the remaining part of the conjecture…
Geometric vertex decomposition and liaison for toric ideals of graphs
本文研究图的 toric 理想的几何顶点可分解性，通过张量积性质限制至连通图，提出保持该性质的图操作，证明二部图的 toric 理想满足该性质，并提出相关猜想及部分验证。
Computing Vanishing Ideals for Toric Codes
本文提出了计算有限域上单纯完全toric簇特定子集及有理点集消失理想的方法，并给出了加权射影空间情形下利用数值半群环定义理想生成元的构造，为纠错码理论提供了有效工具。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。