[论文解读] Global Frobenius Betti numbers and F-splitting ratio

Alessandro De Stefani, Thomas Polstra+1 more|arXiv (Cornell University)|Nov 27, 2018

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

一句话总结

该论文将弗罗贝尼乌斯贝蒂数和F-分裂比推广至特征为素数的非局部F-有限域，证明了其存在性，并建立了可检测正则性和F-纯性的全局不变量。通过证明全局F-符号的正性当且仅当配对$(R,\mathscr{D})$为强F-正则，无需对Cartier代数$\mathscr{D}$施加额外假设，从而解决了[ DSPY16, 问题4.24]。

ABSTRACT

We extend the notion of Frobenius Betti numbers and F-splitting ratio to large classes of finitely generated modules over rings of prime characteristic, which are not assumed to be local. We also prove that the strong F-regularity of a pair $(R,\mathscr{D})$, where $\mathscr{D}$ is a Cartier algebra, is equivalent to the positivity of the global F-signature ${ m s}(R,\mathscr{D})$ of the pair. This extends a result previously proved by these authors, by removing an extra assumption on the Cartier algebra.

研究动机与目标

• 将弗罗贝尼乌斯贝蒂数和F-分裂比从局部情形推广至特征为素数的环的全局设定。
• 消除先前工作中为通过F-符号刻画强F-正则性而对Cartier代数$\mathscr{D}$所施加的额外假设。
• 在非局部域中建立可检测正则性和F-纯性的全局不变量。
• 通过局部化和渐近极限，定义并分析非局部环的分裂率和F-分裂比。

提出的方法

• 通过$F^e_*R$上归一化Tor长度的极限，定义全局弗罗贝尼乌斯贝蒂数$\beta_i^F(R)$和弗罗贝尼乌斯欧拉特征$\chi_i^F(R)$。
• 通过syzygy的极小生成元定义分裂率$\operatorname{sr}(R)$，作为分裂维数的全局推广。
• 利用渐近分析和F-有限环的有限性，证明极限$\beta_i^F(R)$、$\chi_i^F(R)$和$r_F(R)$的存在性。
• 使用局部化技术将全局不变量与局部不变量关联，证明$\chi_i^F(R) = \max\{\chi_i^F(R_P)\}$和$\operatorname{sr}(R) = \min\{\operatorname{sr}(R_P)\}$。
• 建立$r_F(R)$的正性等价于F-纯性，且$\operatorname{s}(R,\mathscr{D}) > 0$等价于$(R,\mathscr{D})$的强F-正则性。
• 应用一个关键引理，证明存在统一的下界$\varepsilon > 0$，使得$F^e_*R$的自由秩满足$a_e(R) \geq \varepsilon \cdot \operatorname{rank}(F^e_*R)$，从而保证强F-正则环中F-符号极限的正性。

实验结果

研究问题

• RQ1 弗罗贝尼乌斯贝蒂数和F-分裂比能否在特征为素数的非局部环中，有意义地推广至一般的F-有限域？
• RQ2 当且仅当配对$(R,\mathscr{D})$为强F-正则时，全局F-符号$\operatorname{s}(R,\mathscr{D})$是否为正，且无需对$\mathscr{D}$施加额外假设？
• RQ3 在局部化下，全局不变量如$\beta_i^F(R)$和$r_F(R)$如何与它们的局部对应量相关联？
• RQ4 分裂率$\operatorname{sr}(R)$是否在局部化下满足最小值性质？$r_F(R)$的正性是否继承自局部行为？
• RQ5 当环为强F-正则时，全局F-符号是否存在统一的下界，从而保证定义$\operatorname{s}(R,\mathscr{D})$的极限收敛？

主要发现

• 对于任意特征为素数的F-有限域$R$，全局弗罗贝尼乌斯贝蒂数$\beta_i^F(R)$和弗罗贝尼乌斯欧拉特征$\chi_i^F(R)$均存在。
• 全局弗罗贝尼乌斯欧拉特征满足$\chi_i^F(R) = \max\{\chi_i^F(R_P) \mid P \in \operatorname{Spec}(R)\}$，将全局不变量与局部不变量联系起来。
• 当且仅当存在$i > 0$使得$\beta_i^F(R) = 0$时，环$R$为正则环，这将局部结果推广至全局设定。
• F-分裂比$r_F(R)$为正当且仅当$R$为F-纯，且$r_F(R) = \min\{r_F(R_P) \mid \operatorname{sr}(R) = \operatorname{sr}(R_P)\}$，确立了该比值的最小值性质。
• 全局F-符号$\operatorname{s}(R,\mathscr{D})$为正当且仅当配对$(R,\mathscr{D})$为强F-正则，从而在无需对$\mathscr{D}$施加额外假设的条件下，解决了[ DSPY16, 问题4.24]。
• 存在统一的下界$\varepsilon > 0$，使得对所有$e$有$a_e(R) \geq \varepsilon \cdot \operatorname{rank}(F^e_*R)$，从而确保强F-正则环中F-符号极限的正性。