arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv math/0205275math.ACmath.AG
收藏

阶理想与广义Krull高度定理

Order Ideals and a Generalized Krull Height Theorem

David Eisenbud, Craig Huneke, Bernd Ulrich

摘要:

设N是Noether局部环(R,m)上的有限生成模.我们给出了元素x \in N的阶理想N^*(x)的高度以N的秩为界的准则. Bruns,Eisenbud和Evans的广义主理想定理说,如果x \in mN,这个不等式总是成立的,但如果x是一个极小生成元,这个问题就更微妙了;例如,当R是分次的,N表示投影R上的一个向量丛时,这个问题就与顶级Chern类的消失有关。我们发现,不等式成立,如果假设x \in mN成为真后,第一次扩展标量到一些局部域,然后因式分解扭转。我们也给出了它在剩余交和模的整闭包方面成立的条件。我们推导出阶理想的信息,导致模的迹理想的高度上的界限-即使在我们没有预期的界限的高度的阶理想的情况下。

英文摘要:

Let N be a finitely generated module over a Noetherian local ring (R,m). We give criteria for the height of the order ideal N^*(x) of an element x \in N to be bounded by the rank of N. The Generalized Principal Ideal Theorem of Bruns, Eisenbud and Evans says that this inequality always holds if x \in mN, but if x is a minimal generator the question is more subtle; for example, when R is graded and N represents a vector bundle on Proj R, the question is connected with the vanishing of the top chern class. We show that the inequality does hold if the hypothesis x \in mN becomes true after first extending scalars to some local domain and then factoring out torsion. We also give conditions under which it holds in terms of residual intersections and integral closures of modules. We derive information about order ideals that leads to bounds on the heights of trace ideals of modules--even in circumstances where we do not have the expected bounds for the heights of the order ideals.

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

↑