[论文解读] Associated primes of local cohomology modules and of Frobenius powers

Anurag K. Singh, Irena Swanson|ArXiv.org|Jun 17, 2004

Commutative Algebra and Its Applications被引用 5

一句话总结

该论文构建了正常超曲面——具体而言，在特征零下为具有有理奇点的唯一分解整环，而在正特征下为F-正则整环——其局部上同调模具有无限多个关联素理想。通过广义多重对角矩阵构造与弗罗贝尼乌斯幂分析，作者解决了长期存在的问题，表明某些理想之弗罗贝尼乌斯幂的关联素理想集合可以是无限的，从而解决了紧闭包理论中局部化问题的一个关键难题。

ABSTRACT

We construct normal hypersurfaces whose local cohomology modules have infinitely many associated primes. These include unique factorization domains of characteristic zero with rational singularities, as well as F-regular unique factorization domains of positive characteristic. As a consequence, we answer a question on the associated primes of Frobenius powers of ideals, which arose from the localization problem in tight closure theory.

研究动机与目标

• 解决胡内克关于诺特环上局部上同调模是否总是具有有限多个关联素理想这一开放问题。
• 构造正常域的例子——具体而言，在特征零下为具有有理奇点的唯一分解整环，而在正特征下为F-正则整环——使得其局部上同调模具有无限多个关联素理想。
• 解决紧闭包理论中关于理想弗罗贝尼乌斯幂的关联素理想有限性的问题。
• 通过辅助环构造，建立局部上同调模的关联素理想与弗罗贝尼乌斯幂关联素理想之间的联系。
• 证明弗罗贝尼乌斯幂的关联素理想的并集可以有无限多个极大元素，从而解决紧闭包理论局部化问题中的一个关键开放问题。

提出的方法

• 构造一族具有特定递推关系的多重对角矩阵，以生成可分解为不同不可约多项式的行列式。
• 利用行列式序列的生成函数分析多项式 $ F_n(t) = \det M_n $ 的根与不可约因子，特别是当 $ n = q-2 $ 且 $ q = p^e $ 时的情况。
• 应用扩展Čech复形的结构，将局部上同调模计算为 $ R/(x_1^m, \dots, x_n^m) $ 的直接极限，将上同调类与可除性条件联系起来。
• 通过定理 2.6 中的辅助环构造，建立局部上同调模的关联素理想与弗罗贝尼乌斯幂关联素理想之间的对应关系。
• 分析 $ F_n(t) $ 在代数闭域及正特征域上的行为，证明 $ F_{q-2}(t) $ 具有 $ q-2 $ 个不同根，从而表明在 $ p $ 的幂次下存在无限多个不可约因子。
• 将结果应用于超曲面 $ A = K[t,x,y]/(x^4 + t x^2 y^2 + y^4) $，证明 $ \bigcup_e \mathrm{Ass}\, A/(x^{p^e}, y^{p^e}) $ 是无限的。

实验结果

研究问题

• RQ1 在正常诺特域上，即使环不是正则的，局部上同调模是否总是具有有限多个关联素理想？
• RQ2 能否构造一个在特征零下具有有理奇点的唯一分解整环，使其局部上同调模具有无限多个关联素理想？
• RQ3 在正特征下，是否存在一个F-正则唯一分解整环，使得某个理想之弗罗贝尼乌斯幂的关联素理想是无限的？
• RQ4 理想之紧闭包的弗罗贝尼乌斯幂的关联素理想集合是否总是有限的，或至少具有有限多个极大元素？
• RQ5 能否通过构造一个反例，使得弗罗贝尼乌斯幂的关联素理想的并集具有无限多个极大元素，从而解决紧闭包理论中的局部化问题？

主要发现

• 该论文在任意域 $ K $ 上构造了一个标准分次超曲面 $ R $，其为唯一分解整环，且其局部上同调模 $ H^n_\mathfrak{a}(R) $ 具有无限多个关联素理想。
• 在特征零下，此类例子存在，且 $ R $ 具有有理奇点，表明即使奇点程度较轻，也无法保证关联素理想的有限性。
• 在正特征下，作者构造了一个F-正则唯一分解整环 $ R $，其局部上同调模 $ H^n_\mathfrak{a}(R) $ 具有无限多个关联素理想。
• 集合 $ \bigcup_e \mathrm{Ass}\, R/\mathfrak{a}^{[p^e]} $ 具有无限多个极大元素，从而解决了紧闭包理论中的一个关键问题。
• 该构造依赖于多项式 $ F_{q-2}(t) $ 在 $ q = p^e $ 时的无限多个不可约因子，这些因子源于含 $ t $ 的多重对角矩阵的行列式，从而在弗罗贝尼乌斯幂中产生无限多个不同的关联素理想。
• 结果确认了弗罗贝尼乌斯幂的关联素理想的并集可以是无限的，特别是集合 $ \bigcup_e \mathrm{Ass}\, R/(\mathfrak{a}^{[p^e]})^* $ 具有无限多个极大元素，从而解决了长期存在的一个开放问题。