[論文レビュー] A note on the growth of regularity with respect to Frobenius

Wenliang Zhang|arXiv (Cornell University)|Nov 30, 2015

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

ひとこと要約

本稿は、正標数の体上の次数付き環 $ R = k[x_1,\dots,x_n]/I $ とその斉次イデアル $ J $ に対して、局所コホロジー加群 $ H^s_{\frak m}(R/J^{[p^e]}) $ の正則性が $ p^e $ に対して線形以下に成長することを確立する。主な結果として、$ s \geq \dim(Npd(R/J)) - 1 $ のとき、ある $ e $ に依存しない定数 $ C $ を用いて $ \operatorname{reg}(H^s_{\frak m}(R/J^{[p^e]})) \leq Cp^e $ が成り立つことが示され、Frobenius巾とタイト閉包理論に関連する成長に関する問題が解決される。

ABSTRACT

Let $R=k[x_1,\dots,x_n]/I$ be a standard graded $k$-algebra where $k$ is a field of prime characteristic and let $J$ be a homogeneous ideal in $R$. Denote $(x_1,\dots,x_n)$ by $\mathfrak{m}$. We prove that there is a constant $C$ (independent of $e$) such that the regularity of $H^s_{\mathfrak{m}}(R/J^{[p^e]})$ is bounded above by $Cp^e$ for all $e\geq 1$ and all integers $s$ such that $s+1$ is at least the dimension of the locus where $R/J$ doesn't have finite projective dimension.

研究の動機と目的

• 正標数の環においてFrobenius巾の下でのCastelnuovo-Mumford正則性の線形成長に関する予想を解決すること。
• $ e $ の増加に伴って局所コホロジー加群 $ H^s_{\frak m}(R/J^{[p^e]}) $ の次数に対する一様な境界を確立すること。
• これらの加群の正則性が $ p^e $ に対して線形以下に成長すること、かつその定数が $ e $ に依存しないことを示すこと。
• この正則性境界を $ F $-ジャンピング係数の離散性およびタイト閉包の性質と結びつけること。
• 有限射影次元を持たない部分集合の制御された領域における結果を一般化し、正則性成長の境界を拡張すること。

提案手法

• $ R/J^{[p^e]} $ の次数構造を分析するため、Frobenius引き戻し $ F^e_*R $ を用い、$ \deg(F^e_*r) = \frac{1}{p^e}\deg(r) $ を満たす。
• $ M $ が有限射影次元を持つとき、$ \operatorname{Tor}_i^R(F^e_*R, M) = 0 $（$ i \geq 1 $）を示すためにPeskine-Szpiroのアセイクリティーレムマを適用する。
• $ \mathcal{C}_{\bullet,\bullet} $ の項として $ \mathcal{F}_i \otimes_R \mathcal{C}_j \otimes_R F^e_*R $ を持つ、Čech複体と $ M $ の自由分解からなる二重複体を構成する。
• 二重複体のスペクトル系列を解析し、$ H^s_{\frak m}(M \otimes_R F^e_*R) $ が全複体のホモロジーの部分商であることを示す。
• $ \operatorname{Tor} $-加群の次数の境界を、$ a(H^j_{\frak m}(F^e_*R)) = \frac{1}{p^e}a(H^j_{\frak m}(R)) $ を用いて制御する。
• $ R/J \otimes_R F^e_*R \cong F^e_*R/J^{[p^e]} $ の同型を適用し、$ F^e_*R $-加群からの境界を $ R/J^{[p^e]} $-加群へと移す。

実験結果

リサーチクエスチョン

• RQ1 すべての $ e \geq 1 $ に対して、$ H^s_{\frak m}(R/J^{[p^e]}) $ の正則性は $ p^e $ に対して線形に成長するか？
• RQ2 $ e $ に依存しない一様な定数 $ C $ が存在し、$ \operatorname{reg}(H^s_{\frak m}(R/J^{[p^e]})) \leq Cp^e $ を満たすか？
• RQ3 $ R/J $ の有限射影次元を持たない部分集合 $ Npd(R/J) $ は、正則性が線形に成長する $ s $ の範囲を決定する上で果たす役割は何か？
• RQ4 局所コホロジー加群におけるFrobenius作用が、その最高次成分の次数に与える影響は何か？
• RQ5 この正則性境界は、正標数環における $ F $-ジャンピング係数の離散性を示唆するか？

主な発見

• $ e \geq 1 $ およびすべての $ s \geq \dim(Npd(M)) - 1 $ に対して、$ e $ に依存しない定数 $ C $ を用いて $ a(H^s_{\frak m}(M \otimes_R F^e_*R)) \leq C $ が成り立つ。
• $ s \geq \dim(Npd(R/J)) - 1 $ のとき、$ H^s_{\frak m}(R/J^{[p^e]}) $ の正則性は $ p^e $ に対して線形以下に成長し、具体的には $ a(H^s_{\frak m}(R/J^{[p^e]})) \leq Cp^e $ が成り立つ。
• すべての $ e \geq 1 $ に対して一様に成り立つ境界であり、定数 $ C $ は $ e $ に依存せず、$ R $ と $ J $ のみに依存する。
• この結果は、Katzmanの質問に対する肯定的解答を支持し、$ \operatorname{reg}(S/(I + J^{[p^e]})) \leq Cp^e $ がすべての $ e \geq 1 $ に対して成り立つことを示す。
• $ \dim(Npd(R/J)) \leq \dim(R/J) $ であるため、境界は $ s \geq \dim(R/J) - 1 $ に対しても成り立つ。
• 議論は、スペクトル系列の解析とPeskine-Szpiroのアセイクリティーレムマによる次数制御に依存している。