[论文解读] Ulrich ideals and modules over two-dimensional rational singularities

Shirô Gotô, Kazuho Ozeki+3 more|arXiv (Cornell University)|Jul 8, 2013

Commutative Algebra and Its Applications参考文献 10被引用 4

一句话总结

本文通过引入弱特殊与特殊柯尼希-麦克aul伊模，对二维哥罗温斯坦有理奇点（有理双重点）上的乌尔里希理想与模进行了分类，证明了乌尔里希理想恰好对应于存在乌尔里希模的那些理想。关键结果是基于解析图中的特殊循环，对乌尔里奇理想给出了完整分类，表明在非哥罗温斯坦循环商奇点中，仅有极大理想是乌尔里希理想。

ABSTRACT

The main aim of this paper is to classify Ulrich ideals and Ulrich modules over two-dimensional Gorenstein rational singularities (rational double points) from a geometric point of view. To achieve this purpose, we introduce the notion of (weakly) special Cohen-Macaulay modules with respect to ideals, and study the relationship between those modules and Ulrich modules with respect to good ideals.

研究动机与目标

• 从几何角度对二维哥罗温斯坦有理奇点上的乌尔里希理想与乌尔里希模进行分类。
• 引入并研究相对于理想定义的弱特殊与特殊柯尼希-麦克aul伊模，作为表征乌尔里奇模的工具。
• 确定理想为乌尔里希的条件，特别是与乌尔里希模存在性的关系。
• 将乌尔里希理想的分类从哥罗温斯坦情形推广至非哥罗温斯坦有理奇点。
• 通过奇点最小解析的对偶图与特殊循环，提供乌尔里奇理想的几何判别准则。

提出的方法

• 引入相对于理想 I 的弱特殊柯尼希-麦克aul伊模的概念，其定义为 μ(M) = 2·rank(M) 且 M/IM 在 A/I 上自由。
• 证明在哥罗温斯坦局部整环中，理想 I 是乌尔里希的当且仅当存在相对于 I 的弱特殊柯尼希-麦克aul伊模。
• 通过 Ext 范性与 M/IM 的自由性来定义特殊柯尼希-麦克aul伊模，推广 Wunram 的概念。
• 利用奇点最小解析的对偶图来刻画特殊循环，并将其与乌尔里希理想关联。
• 应用有限柯尼希-麦克aul伊表示型与挠模理论，分析有理双重点上的乌尔里希模。
• 通过显式例子（包括循环商奇点与有理三重点）验证分类结果，并阐明理论。

实验结果

研究问题

• RQ1 在二维哥罗温斯坦有理奇点中，哪些理想是乌尔里希理想？
• RQ2 乌尔里希理想在解析图与特殊循环方面的几何表征是什么？
• RQ3 特殊柯尼希-麦克aul伊模与乌尔里希模及乌尔里希理想之间有何关系？
• RQ4 在非哥罗温斯坦有理奇点中，是否存在除极大理想外的乌尔里希理想？
• RQ5 能否通过相对于理想 I 的乌尔里希模的存在性来表征 I 为乌尔里希理想？

主要发现

• 二维哥罗温斯坦有理奇点中的乌尔里希理想与解析图中的特殊循环之间存在一一对应关系。
• 对于 A_n 型有理双重点，存在长度为 ⌈n/2⌉ 的乌尔里希理想链，从 (x,y^m,z) 开始，到 (x,y,z) 结束。
• 在类型为 1/n(1,q) 的非哥罗温斯坦循环商奇点中，若 q+1 不被 n 整除，则极大理想是唯一的乌尔里希理想。
• 在有理三重点 A = k[[T, sT^a, s^{-1}T^b, (s+1)^{-1}T^c]] 中，理想 I_k = (t^k, x, y, z) 是余长度为 k 的乌尔里希理想，其中 1 ≤ k ≤ c。
• 在 A = k[[s^7, s^4t, st^2, t^7]] 的例子中，相对于 I 的特殊柯尼希-麦克aul伊模是 M_2 的直和，但并非所有乌尔里希模都以这种方式出现。
• 在同一例子中，循环 Z_1 = E_1 + 2E_2 + E_3 不是乌尔里希循环，表明并非所有特殊循环都是乌尔里希循环。