[论文解读] $F$-Invariants of Stanley-Reisner Rings

Wágner Badilla-Céspedes|arXiv (Cornell University)|Mar 30, 2020

Advanced Topics in Algebra参考文献 31被引用 5

一句话总结

该论文在特定条件下（特别是当定义理想为根式或单项式时）证明了斯坦利-雷伊纳德环中理想之卡蒂埃阈值与F-阈值为有理数。通过局部化、完备化以及利用卡蒂埃核心将问题约化为正则商环，作者通过分析分次分量与a-不变量，证明了有理性的结论，并将其应用于F-纯阈值与弗罗贝尼乌斯幂设定下的卡斯特尔努奥夫-墨菲德正则性。

ABSTRACT

In prime characteristic there are important invariants that allow us to measure singularities. For certain cases, it is known that they are rational numbers. In this article, we show this property for Stanley-Reisner rings in several cases.

研究动机与目标

• 在具有轻微奇点的组合交换环类——斯坦利-雷伊纳德环中，建立F-阈值与卡蒂埃阈值的有理性。
• 将正则环中已知的F-纯阈值有理性结果推广至更一般的斯坦利-雷伊纳德环设定。
• 通过a-不变量分析，研究弗罗贝尼乌斯幂下理想J^{[p^e]}的卡斯特尔努奥夫-墨菲德正则性的渐近行为。
• 为斯坦利-雷伊纳德环中 reg(R/J[pe])/pe 的极限提供一个公式，表明其为整数。
• 通过局部化与卡蒂埃核心的商，将卡蒂埃阈值的计算归约为单项式理想的情形。

提出的方法

• 使用局部化与完备化，将 ctJ(a) 的计算约化为正则设定。
• 应用卡蒂埃核心构造，商去奇点，从而约化至正则环，使阈值更易计算。
• 利用同构 R^{1/q} ≅ ⊕_{α∈A} S/J_α (x^α)^{1/q}（其中 q = p^e）来分析弗罗贝尼乌斯幂。
• 利用F-阈值的定义：lim_{e→∞} ν_J^a(p^e)/p^e，其中 ν_J^a(p^e) = max{m | a^m ⊄ J^{[p^e]}}。
• 通过局部上同调将 R/J^{[p^e]} 的正则性表达为a-不变量：reg(M) = max_i {a_i(M) + i}。
• 通过分析 R^{1/p^e} 分解中单项式的支撑与次数，计算极限 lim_{e→∞} reg(R/J^{[p^e]})/p^e。

实验结果

研究问题

• RQ1 当定义理想为单项式且阈值关于根式理想取值时，斯坦利-雷伊纳德环中的F-阈值是否为有理数？
• RQ2 在斯坦利-雷伊纳德环中，理想a关于根式理想J的卡蒂埃阈值是否为有理数？
• RQ3 R/J^{[p^e]} 的归一化卡斯特尔努奥夫-墨菲德正则性的极限能否表示为单项式分量上的有限最大值？
• RQ4 正则环中F-阈值的有理性是否可通过约化至正则商环的方式推广至斯坦利-雷伊纳德环？
• RQ5 在斯坦利-雷伊纳德环中，lim_{e→∞} reg(R/J^{[p^e]})/p^e 的精确公式为何？

主要发现

• 当J为根式理想且a ⊆ J时，斯坦利-雷伊纳德环R中任意理想a、J的卡蒂埃阈值 ct_J(a) 为有理数。
• 当a ⊆ √J 且J为斯坦利-雷伊纳德环中的单项式理想时，F-阈值 c_J(a) 为有理数。
• 极限 lim_{e→∞} reg(R/J^{[p^e]})/p^e 存在，且等于 max_{1≤i≤d, α∈A'} {a_i(S/(J_α + J)) + |α|}，该值为整数。
• 卡蒂埃阈值 ct_J(a) 在局部化与完备化下保持不变，从而可约化至局部情形。
• 在斯坦利-雷伊纳德环的适当完备化中，若q为单项式素理想，则 ct_q(a) = c_q(a)，且二者均为有理数。
• 特别地，当R为F-纯且局部时，fpt(a) = c_m(a)，因此任意理想a在斯坦利-雷伊纳德环中的F-纯阈值 fpt(a) 为有理数。