首页/论文/math/0012044

arXiv math/00120442000-12-07math.ACmath.AG

余维2上的Grobner基逆问题

Inverse Grobner Basis Problem in Codimension Two

Amelia Taylor

备注：: 18 pages, AMSLaTeX
发表信息：: J. Symbolic Computation (2002) 33, p. 221-238

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

一般的联系是用来计算一个素理想，使得素理想的初始理想的根等于一个给定的余维2单项式理想的根，该理想具有一个Cohen-Macaulay商环。

英文摘要：

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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

低余维正规环面理想

Normal Toric Ideals of Low Codimension

余维为2的正规环面理想都是由具有无平方初始单项式的Grobner基极小生成的。给出了一个多项式时间算法，用于检验一个具有固定余维的复曲面理想是否正规。

2008-01-30math.ACmath.AG

余维2中的强鲁棒环面理想

Strongly robust toric ideals in codimension 2

一个齐次理想是鲁棒的，如果它的泛Gröbner基也是一个极小生成集。对于复曲面理想，我们有更强的定义：复曲面理想是强鲁棒的，如果它的Graver基等于必不可少的二项式的集合。利用Gale图刻画了余维2强鲁棒环面理想.这对Petrovic、Thoma和Vladoiu在余维2复曲面理想的情况下提出的问题给出了肯定的答案。

2017-03-30math.ACmath.CO

基于 Comprehensive Gröbner Systems（综合 Gröbner 系统）的实量词消去在机器人逆运动学计算中的设计与实现

A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gröbner Systems

University of Tsukuba（筑波大学）；Tokiwa Senior High School（常盘高等学校）

提出一种结合 CGS 的实量词消去方法，用于三自由度机械臂逆运动学求解，可预先验证参数可行性并复用预计算结果以避免重复计算 Gröbner 基。

2023-04-21cs.ROcs.SCmath.AC

使用综合Gröbner系统求解六自由度机器人机械臂的逆运动学

Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems

University of Tsukuba, Tsukuba, Japan（茨口大学）

提出用综合Gröbner系统求解六自由度机械臂逆运动学，推广至相邻关节轴相交情形，实验验证有效性。

2025-09-06cs.ROcs.SCmath.AC

提升马尔可夫基与高余维复曲面纤维积

Lifting Markov Bases and Higher Codimension Toric Fiber Products

我们研究如何提升马尔可夫基和Gröbner基沿线性映射的格。我们给出了一个提升算法，允许计算这样的基地迭代提供了一定的相关半群是正常的。我们的主要应用是复曲面理想的复曲面纤维积，其中提升给出了满足相容投影性质的因子理想的马尔可夫基。我们说明了技术计算马尔可夫基的各种无限家族的层次模型。该方法也意味着新的有限性迭代复曲面纤维积的结果。

2015-07-24math.ACmath.OCmath.ST

余维数为2的完全理想与双有理映射的符号幂

Symbolic powers of perfect ideals of codimension 2 and birational maps

本文研究域上标准多项式环中余维数为2的完全理想的符号幂，其中相应的表示矩阵的元素是一般的线性型。本方法的主要贡献是使用的双有理理论的基本性质的理想和细节的深交织的发电机之间的符号权力和反演因素所产生的逆映射到双有理映射所定义的线性系跨越的发电机这个理想。在某些情况下给出了相应的符号Rees代数的完整描述。

2013-10-28math.AC

更多相关论文收起更多论文

$\mathbb{P}^n$和Gorenstein环中的Calabi-Yau三重性

Calabi-Yau threefolds in $\mathbb{P}^n$ and Gorenstein rings

一个射影正规的Calabi-Yau三重$X \subseteq \mathbb{P}^n$有一个理想$I_X$，它是算术Gorenstein，具有Castelnuovo-Mumford正则性4。当$I_X$是一个完全交时，以及当$X$是余维3时，这样的理想已经被深入研究。在后一种情况下，Buchsbaum-Eisenbud定理表明，$I_X$是由反对称矩阵的Pfweans给出的。最近的一些论文研究了当$I_X$具有余维4时的情况。我们证明有16个可能的贝蒂表的算术Gorenstein理想$I$与$\mathrm{codim}(I)=4=\mathrm{reg}(I)$，而正是8这些发生光滑不可约非退化三倍。我们调查的情况在余维5或更多，获得的例子$X$与$h^{p,q}(X)$不属于那些出现为$I_X$较低的余维或作为完整的交叉复曲面法诺品种。在我们的方法中的一个关键工具是使用逆系统，以确定可能的贝蒂表$X$。

2021-08-10math.ACmath.AG

余维3的等生成Gorenstein理想

Equigenerated Gorenstein ideals of codimension three

我们专注于结构的齐次Gorenstein理想$I$的余维3在一个标准的多项式环$R=\kk[x_1,\ldots,x_n]$在一个字段$\kk$，假设$I$是产生在一个固定的程度$d$。对于这样一个理想的$I$，这个度伴随着$I$的生成元的最小数量和相关反对称矩阵的条目的度在一个简单的公式中。我们给出了一个基本的无特征参数的效果，任何这样的数据由这个公式，存在一个Gorenstein理想$I$的余维3填充它们。我们猜想，对于任意的$n\geq 2$，由一般的$r\geq n+2$形式的次数$d\geq 2$生成的理想$I\subset \kk[x_1,\ldots,x_n]$是Gorenstein当且仅当$d=2$和$r= {{n+1}\choose 2}-1$ .我们证明了这个猜想的“只有当”的含义时，$n=3$。对于任意的$n\geq 2$，我们证明了如果$d=2$和$r\geq (n+2)(n+1)/6$，则理想是Gorenstein当且仅当$r={{n+1}\choose 2}-1$，从而解决了$n\leq 5$猜想的“如果”断言.最后，我们围绕弗勒贝格-伦德奎斯特的问题之一进行阐述。在另一个方向，我们揭示了麦考利逆和所谓的牛顿对偶之间的联系，这是一个迄今为止我们所知的问题。最后，我们考虑了链$(\ell_1^m,\ldots,\ell_n^m):\mathfrak{f}$…

2021-07-11math.AC

数值半群环的逆多项式

Inverse polynomials of numerical semigroup rings

令H = <n_1，.，n_e>是由e个元素生成的数值半群。令k[H]= k[x_1，.，x_e]/I_H = S/I_H是k上H的半群环.定义了H中h的逆多项式J_{H,h}，并用Ann_S（J_{H,h}）表示I_H的定义理想.特别地，如果k[H]是Gorenstein，则I_H +（t^h）的定义理想是Ann_S（J_{H, F(H)+h}），其中F（H）是H的Frobenius数（= a（k[H]），k[H]的a -不变量）。本文应用这一结果（1）计算I_H的生成元个数，（2）刻划k[H]是否几乎Gorenstein（H几乎对称），（3）刻划小重数对称半群。利用逆多项式给出余维为3的Gorenstein半群环上Bresinsky定理的一个新证明。

2021-08-10math.ACmath.NT

一种矢量构形的电路理想

The Circuit Ideal of a Vector Configuration

当$\cc = \cc^+ - \cc^- \in \Z^n$在$\A$的电路上变化时，配置$\A = \{\a_1, ..., \a_n\} \subset \Z^d$的电路理想$\ica$是由二项式${\x}^{\cc^+} - {\x}^{\cc^-} \in \k[x_1, ..., x_n]$生成的理想。这个理想包含在$\A$的复曲面理想$\ia$中，它有许多应用并且计算起来很重要。由于电路可以用线性代数计算，而且这两个理想经常重合，因此有必要了解等式何时出现。在本文中，我们研究$\ica$的关系，$\ia$从各种代数和组合的角度。证明了理想相等的障碍是某些多面体的存在。这一结果是基于$\ica$的单项初始理想的标准对/相关素数的完整表征及其与相应的复曲面初始理想的差异。Eisenbud和Sturmfels证明了$\ia$是$\ica$的唯一极小素数，并且$\ica$的嵌入素数由$\A$所张锥的某些面所索引.我们提供了一个必要条件，为一个特定的面，以指数嵌入素数和部分逆。最后，我们比较了与$\ia$和$\ica$相关的各种多面体风扇。Gröbner风扇的$\ica$示出细化时，$\ia$的余维的理想是最多为2。

2005-08-31math.ACmath.CO