[论文解读] Finite F-type and F-abundant modules

Hailong Dao, Tony Se|arXiv (Cornell University)|Mar 1, 2016

Commutative Algebra and Its Applications参考文献 14被引用 6

一句话总结

本文引入并研究了在正特征素数的诺特交换环上两类新的模：有限F-型模与F-丰富模。通过弗罗贝尼乌斯函子与可反射包，作者证明了在某些条件下，当M为有限F-型且N为F-丰富时，Hom_R(M,N)是极大科恩-麦克aul伊模，从而推广了关于F-正则奇点与F-贡献者科恩-麦克aul伊性的结果。

ABSTRACT

In this note we introduce and study basic properties of two types of modules over a commutative noetherian ring $R$ of positive prime characteristic. The first is the category of modules of finite $F$-type. These objects include reflexive ideals representing torsion elements in the divisor class group of $R$. The second class is what we call $F$-abundant modules. These include, for example, the ring $R$ itself and the canonical module when $R$ has positive splitting dimension. We prove various facts about these two categories and how they are related, for example that $\mathrm{Hom}_R(M,N)$ is maximal Cohen-Macaulay when $M$ is of finite $F$-type and $N$ is $F$-abundant, plus some extra (but necessary) conditions. Our methods allow us to extend previous results by Patakfalvi-Schwede, Yao and Watanabe. They also afford a deeper understanding of these objects, including complete classifications in many cases of interest, such as complete intersections and invariant subrings.

研究动机与目标

• 定义并研究两类新的模——有限F-型与F-丰富模，利用正特征环中的弗罗贝尼乌斯函子。
• 通过推广帕特克法利-施韦德、姚与渡边的定理，将已知关于F-正则奇点与除子类科恩-麦克aul伊性的结果进行推广。
• 在完整交与不变子环等关键情形下，对有限F-型与F-丰富模提供完整的分类。
• 建立当M为有限F-型且N为F-丰富时，Hom_R(M,N)为极大科恩-麦克aul伊模的条件。
• 深化对可反射模及其在除子类群与分裂维数背景下关于弗罗贝尼乌斯拉回行为的理解。

提出的方法

• 将有限F-型模定义为：其弗罗贝尼乌斯拉回的可反射包属于一个有限生成的加法范畴。
• 通过弗罗贝尼乌斯幂的分裂行为的渐近条件引入F-丰富模：liminf_{e→∞} p^{eα(R)} / b_e = 0，其中b_e为自由直和项的最大重数。
• 使用弗罗贝尼乌斯函子F^e(M) = M ⊗_R {}^e R及其可反射包M(e) = F^e_R(M)**，分析模在弗罗贝尼乌斯迭代下的稳定性。
• 应用塞尔的(S_k)条件与局部上同调，分析Hom模的深度与科恩-麦克aul伊性。
• 利用典范模ω_R与对偶M^∨ = Hom_R(M, ω_R)，在F-丰富模的背景下建立可反射性与对偶性的联系。
• 通过射影代数簇与层上同调的几何解释，将模理论性质与Proj(A)及Spec(R)\{m}上的向量丛联系起来。

实验结果

研究问题

• RQ1 当M为有限F-型且N为F-丰富时，在何种条件下Hom_R(M,N)为极大科恩-麦克aul伊模？
• RQ2 有限F-型模与正常域除子类群中的挠元之间有何关系？
• RQ3 F-丰富模在分裂维数与弗罗贝尼乌斯分裂行为方面有何特征？
• RQ4 是否可在不假设p与除子阶数互素的条件下，将F-正则奇点中除子类科恩-麦克aul伊性的结果进行推广？
• RQ5 在完整交环与不变子环中，能否对有限F-型与F-丰富模获得完整的分类？

主要发现

• 当M为有限F-型且N为F-丰富，并在附加技术条件下，Hom_R(M,N)为极大科恩-麦克aul伊模。
• 在正常域的除子类群中，代表挠元的可反射模即使在不假设其阶数有限时，仍为有限F-型。
• 对于F-有限正常域且剩余场为完美域的情形，若(X,Δ)为强F-正则，且存在0 ≤ Δ′ ≤ Δ使得rD ∼ rΔ′，则O_X(−D)为科恩-麦克aul伊模。
• 若弗罗贝尼乌斯幂中自由直和项的最大重数b_e满足条件liminf_{e→∞} p^{eα(R)} / b_e = 0，则(N,L)为丰富对。
• 在完整交环与不变子环中，有限F-型与F-丰富模的范畴具有完整的分类。
• Proj(A)上向量丛的弗罗贝尼乌斯周期性，精确对应于弗罗贝尼乌斯迭代下相应M(e)模的同构。