中文

矩量矩阵、迹矩阵与理想的根

符号计算 2009-01-23 v1

摘要

f1,...,fsK[x1,...,xm]f_1,...,f_s \in \mathbb{K}[x_1,...,x_m] 为生成零维理想 \I\I 的多项式系统,其中 K\mathbb{K} 是任意代数闭域。假设商代数 \A=K[x1,...,xm]/\I\A=\mathbb{K}[x_1,...,x_m]/\I 是Gorenstein的,并且我们有一个界限 δ>0\delta>0,使得 \A\A 的基可以由次数至多为 δ\deltaf1,...,fsf_1,...,f_s 的倍数计算得到。我们提出了一种方法,使用 f1,...,fsf_1,...,f_sJJ 的Sylvester或Macaulay型结式矩阵(其中 JJ 是推广Jacobian的 δ\delta 次多项式),来计算矩量矩阵,特别是 \A\A 的迹矩阵。这些迹矩阵反过来允许我们遵循Janovitz-Freireich、R\'{o}nyai和Sz\'ant\'o在先前工作中的方法,计算根 \I\sqrt{\I} 的乘法矩阵系统 {Mxii=1,...,m}\{M_{x_i}|i=1,...,m\}。此外,对于 \I\IP\CCm\mathbb{P}^m_\CC 中有有限多个射影根的情况,我们给出了 δ\delta 的界限。

关键词

引用

@article{arxiv.0812.0088,
  title  = {Moment matrices, trace matrices and the radical of ideals},
  author = {Itnuit Janovitz-Freireich and Agnes Szanto and Bernard Mourrain and Lajos Ronyai},
  journal= {arXiv preprint arXiv:0812.0088},
  year   = {2009}
}