[论文解读] D-modules over rings with finite F-representation type

Shunsuke Takagi, Ryo Takahashi|ArXiv.org|Jun 26, 2007

Commutative Algebra and Its Applications参考文献 25被引用 3

一句话总结

该论文在正特征下，针对具有有限 F-表示型的诺特分次环上的 D-模，建立了两个有限性性质。首先，证明了在任意非零因子处的局部化作为 D-模由 1/x 生成，推广了多项式环上的已有结果。其次，对于具有有限 F-表示型的 Gorenstein 环，局部上同调模仅有有限多个关联素理想，扩展了正则环上的结果。此外，论文还证明了此类环中齐次理想 F-跳跃指数的离散性。

ABSTRACT

Smith and Van den Bergh introduced the notion of finite F-representation type as a characteristic $p$ analogue of the notion of finite representation type. In this paper, we prove two finiteness properties of rings with finite F-representation type. The first property states that if $R=\bigoplus_{n \ge 0}R_n$ is a Noetherian graded ring with finite (graded) F-representation type, then for every non-zerodivisor $x \in R$, $R_x$ is generated by $1/x$ as a $D_{R}$-module. The second one states that if $R$ is a Gorenstein ring with finite F-representation type, then $H_I^n(R)$ has only finitely many associated primes for any ideal $I$ of $R$ and any integer $n$. We also include a result on the discreteness of F-jumping exponents of ideals of rings with finite (graded) F-representation type as an appendix.

研究动机与目标

• 将 D-模的有限性结果推广至具有有限 F-表示型的环，即有限表示型在特征 p 下的类比。
• 解决长期存在的开放问题：在有限 F-表示型假设下，局部上同调模是否仅有有限多个关联素理想。
• 在具有有限 F-表示型的强 F-正则分次环中，建立齐次理想 F-跳跃指数的离散性。
• 将正特征下关于微分算子与测试理想的已知结果推广至更广泛的奇异环类。

提出的方法

• 利用 Frobenius 拉回及具有有限 F-表示型的分次环上 D-模的结构。
• 应用广义测试理想及其与 Frobenius 幂的相容性，以控制 D-模的生成。
• 利用 Frobenius 拉回下 R-模范畴中分次分量的有限生成性，以界定生成元的次数。
• 在有限维分次子空间上使用降链论证，证明广义测试理想的稳定化。
• 将问题约化为基域上的有限维向量空间，以利用有限生成性与稳定化性质。
• 利用如下事实：当 e 足够大时，广义测试理想 τ(𝔞^t) 与 I_e(𝔞^{⌈tp^e⌉}, R) 重合，从而可控制生成元的次数。

实验结果

研究问题

• RQ1 对于具有有限（分次）F-表示型的分次环 R 中的任意非零因子 x，其局部化 R_x 是否存在有限个 D_R/k-生成元？若存在，1/x 是否已足够？
• RQ2 当 R 具有有限 F-表示型时，局部上同调模 H^n_I(R) 在何种条件下仅有有限多个关联素理想？
• RQ3 在具有有限（分次）F-表示型的强 F-正则分次环 R 中，齐次理想 𝔞 的 F-跳跃指数是否离散？
• RQ4 在附加假设下，是否可由离散性与有限 F-表示型推出 F-跳跃指数的有理性？

主要发现

• 对于具有有限（分次）F-表示型的诺特分次环 R 中的任意非零因子 x，R_x 作为 D_R/k-模由 1/x 生成。
• 若 R 为具有有限 F-表示型的 Gorenstein 环，则对任意理想 I 与整数 n，H^n_I(R) 仅有有限多个关联素理想。
• 在具有有限（分次）F-表示型的强 F-正则分次环 R 中，齐次理想 𝔞 的 F-跳跃指数集合无聚点。
• 广义测试理想 τ(𝔞^t) 在足够大的 Frobenius 幂下由次数有界的元素生成，其界仅依赖于 R 与 𝔞 的次数。
• 广义测试理想 τ(𝔞^{α_m}) 的降链在固定次数上受限时趋于稳定，从而推出 F-跳跃指数的离散性。
• 离散性结果在 R 具有有限分次 F-表示型的假设下成立，推广了正则情形下的已有结果。