×

在强稳定理想上有效计算标记方案的升级方法。 (英语) Zbl 1314.14008号

小结:设(J\subset S=K[x_0,\dots,x_n]\)是单项式强稳定理想。齐次多项式理想(I)的集合({mathcal M}f(J)),使得(J)外的单项式形成(S/I)的(K)-向量基,称为(J)-标记族。它可以被赋予仿射格式的结构,称为(J)标记格式。对于特殊理想(J),(J)标记方案提供了Hilbert方案({mathcal H}\text{ilb}^n_{p(t)})的开盖,其中(p(t,)是(S/J)的Hilbert多项式。更适合这个目的的理想是由饱和强稳定单项式理想(下划线J)中的次单项式(geqm)生成的截断理想(下线J{geqm})。
利用({mathcal M}f(\underline J{geq M})中理想的Buchberger-like准则刻画,通过一种称为超最小约简的新约简关系,计算了定义(underline J{geq M})标记格式的方程,得到了({mathcal M}f(\enderline J_{geq m2})的嵌入\)在低维仿射空间中。
在这种情况下,在许多重要的情况下都可以实现显式计算。此外,对于每一个\(m\),我们给出了一个闭嵌入\(\phi_m:{mathcal m}f(\underlineJ_{geqm})\hookrightarrow{mathcalM}f是每个\(m\geq m0\)的同构。

MSC公司:

14二氧化碳 参数化(Chow和Hilbert方案)
14-04 代数几何相关问题的软件、源代码等
13页第10页 Gröbner碱;理想和模块的其他基础(例如Janet和border基础)

软件:

JMB测试
PDF格式BibTeX公司 XML格式引用