[论文解读] On the homogeneous ideal of a projective nonsingular toric variety

Rikard Bøgvad|ArXiv.org|Jan 20, 1995

Polynomial and algebraic computation参考文献 5被引用 5

一句话总结

本文利用除子理论与有理截面研究了射影非奇异环道曲面的齐次理想。关键有理截面的除子计算中存在严重错误，导致主要论证失效，因此论文被撤回，未能提供所提议的齐次理想特征化之有效证明。

ABSTRACT

Reason for withdrawal: There is a serious mistake in the calculation of the divisor of the rational section used in the proof of Prop. 2.2.1., and with the correct value the argument does not work.

研究动机与目标

• 利用代数几何方法表征射影非奇异环道曲面的齐次理想。
• 建立环道曲面几何与其定义的齐次理想的联系。
• 运用有理截面与除子理论，推导出理想的显式描述。
• 提供一种从环道曲面的扇形数据计算齐次理想的构造性方法。
• 将已知的环道理想结果推广至非奇异射影情形。

提出的方法

• 利用扇形的组合数据定义环道曲面及其齐次坐标环。
• 应用除子理论分析环道曲面上的有理截面。
• 构造一个有理截面，其除子本意用于生成齐次理想。
• 利用与该有理截面相关的卡蒂埃除子推导理想关系。
• 运用层论与上同调工具，将除子与理想生成元关联。
• 对有理截面的除子进行显式计算，以推导理想关系。

实验结果

研究问题

• RQ1 能否利用除子理论显式描述射影非奇异环道曲面的齐次理想？
• RQ2 有理截面在生成环道曲面定义理想的过程中起什么作用？
• RQ3 扇形的组合数据如何决定齐次理想的结构？
• RQ4 是否存在一种系统方法，可从环道曲面的扇形数据计算齐次理想？
• RQ5 在何种条件下，有理截面的除子可生成完整的齐次理想？

主要发现

• 本文声称通过某一有理截面的除子表征齐次理想。
• 所提方法依赖于一个特定有理截面，其除子本意用于生成理想。
• 在该有理截面的除子计算中发现严重错误。
• 在更正除子值后，原论证无法建立所期望的理想描述。
• 因此，本文主要结果被证伪，论文被撤回。
• 撤回说明明确指出，命题 2.2.1 的证明存在无法修复的缺陷。