[論文レビュー] $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-不変量を用いて分析すること。
• スターリング＝ライスナー環における reg(R/J[pe])/pe の極限を表す公式を提示し、それが整数であることを示すこと。
• 局所化およびカルティエコアによる商を用いて、カルティエ閾値の計算を単項式イデアルの状況に還元すること。

提案手法

• 局所化および完備化を用いて、ctJ(a) の計算を正則な設定に還元する。
• カルティエコア構成を適用して特異性を除き、閾値がより容易に計算できる正則環に還元する。
• q = p^e に対して R^{1/q} ≅ ⊕_{α∈A} S/J_α (x^α)^{1/q} の同型を活用してフォーブルス巾を分析する。
• F-閾値の定義を lim_{e→∞} ν_J^a(p^e)/p^e として用い、ここで ν_J^a(p^e) = max{m | a^m ⊄ J^{[p^e]}} である。
• 局層コホモロジーを用いて、reg(M) = max_i {a_i(M) + i} により R/J^{[p^e]} の正則性をa-不変量で表現する。
• R^{1/p^e} の分解における単項式の台と次数の分析を通じて、lim_{e→∞} reg(R/J^{[p^e]})/p^e の極限を計算する。

実験結果

リサーチクエスチョン

• RQ1 定義イデアルが単項式で、閾値が根号的イデアルに関してとられる場合、スターリング＝ライスナー環におけるF-閾値は有理数か？
• RQ2 スターリング＝ライスナー環において、根号的イデアルに関してイデアルaのカルティエ閾値は有理数か？
• RQ3 R/J^{[p^e]} の正規化されたカステルヌオヴォ＝マウンド正則性の極限は、単項式成分における有限最大値として表現可能か？
• RQ4 正則環におけるF-閾値の有理化は、正則商への還元によってスターリング＝ライスナー環へ拡張可能か？
• RQ5 スターリング＝ライスナー環における lim_{e→∞} reg(R/J^{[p^e]})/p^e の明確な公式は何か？

主な発見

• 任意のイデアルa, Jがスターリング＝ライスナー環Rに属するとき、Jが根号的イデアルで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)は有理数である。