[論文レビュー] Cohomologically full rings

Hailong Dao, Alessandro De Stefani+1 more|arXiv (Cornell University)|Jun 1, 2018

Commutative Algebra and Its Applications参考文献 9被引用数 9

ひとこと要約

この論文は、コhen-Macaulay、F-純、Du Bois特異点を一般化する新しい可換ネーター環のクラス、コhomologically full環を導入する。著者らは、これらの環が強いコhomological性質を満たすことを確立し、特に局所コhomologyからExtモジュールへの自然な写像の上への性質を示し、特性0の体上の標準的次数付き代数に関して、コhomological fullnessが局所コhomologyモジュールの次数0部分が全モジュールを生成することと同値であることを証明する。

ABSTRACT

Inspired by a question raised by Eisenbud-Mustaţă-Stillman regarding the injectivity of maps from ${ m Ext}$ modules to local cohomology modules and the work by the third author with Pham, we introduce a class of rings which we call cohomologically full rings. This class of rings include many well-known singularities: Cohen-Macaulay rings, Stanley-Reisner rings, F-pure rings in positive characteristics, Du Bois singularities in characteristics $0$. We prove many basic properties of cohomologically full rings, including their behavior under flat base change. We show that ideals defining these rings satisfy many desirable properties, in particular they have small cohomological and projective dimension. When $R$ is a standard graded algebra over a field of characteristic $0$, we show under certain conditions that being cohomologically full is equivalent to the intermediate local cohomology modules being generated in degree $0$. Furthermore, we obtain Kodaira-type vanishing and strong bounds on the regularity of cohomologically full graded algebras.

研究の動機と目的

• コhomologically full環と呼ばれる、強いコhomological性質を満たす新しい環のクラスを定義し、それらを研究すること。
• Eisenbud-Mustaţă-Stillmanが提起したExtから局所コhomologyへの写像の単射性に関する問題を解決すること。
• F-純、Du Bois、Cohen-Macaulay特異点に関する既知の結果を、共通の枠組みで統一・拡張すること。
• 次数付きコhomologically full代数の正則性の上限と消滅定理を確立すること。
• コhomological fullnessが正標数の還元における弱通常性予想とどのように関係するかを明らかにすること。

提案手法

• すべての全射 $ T \twoheadrightarrow R $ に対して $ T_{\text{red}} = R_{\text{red}} $ を満たすとき、自然な写像 $ H^i_{\frak{n}}(T) \to H^i_{\frak{m}}(R) $ の上への性質によってコhomologically full環を定義する。
• 局所双対性および双対性定理の次数付き類似を用いて、コhomological fullnessが局所コhomologyモジュールの次数0部分による生成とどのように関係するかを関係づける。
• 正標数への還元技術を適用して、商がコhomologically fullであるような斉次イデアルの正則性を評価する。
• 平坦基底変換、貼り合わせ、正標数への還元の性質を用いて、低次元の環を分類する。
• Frobenius作用と半連続性の理論を用いて、次数0におけるFrobenius写像の局所コhomologyへの上への性質を分析する。
• Kollár-KovácsおよびConca-Vabaroのリフト可能な局所コhomologyと平方自由初期イデアルに関する結果を活用して、フレームワークを支援する。

実験結果

リサーチクエスチョン

• RQ1 多項式環 $ S $ に対して、自然な写像 $ \operatorname{Ext}^i_S(S/I, S) \to H^i_I(S) $ がいつ単射になるか。
• RQ2 局所コhomologyモジュールの次数0部分が全モジュールを生成するための条件は何か。
• RQ3 正標数還元において、コhomological fullnessは弱通常性予想とどのように関係するか。
• RQ4 次数付きの場合に、コhomological fullnessは局所コhomologyモジュールの構造によってどのように特徴づけられるか。
• RQ5 コhomological fullnessが次数付き代数の正則性および消滅定理に与える影響は何か。

主な発見

• コhomologically full環は、Cohen-Macaulay、F-純、Du Bois特異点を含み、正標数ではF-full環と一致する。
• 特性0の体上の標準的次数付き $ k $-代数 $ R $ に対して、$ R $ が $ i $-cohomologically fullであることと、$ R_P $ がすべての $ P \neq \frak{m} $ に対してDu Boisであることの下で、$ H^i_{\frak{m}}(R)_0 $ が $ H^i_{\frak{m}}(R) $ を生成することとは同値である。
• 多項式環 $ S $ 内の斉次イデアル $ I $ に対して、$ S/I $ がコhomologically fullであるとき、$ I $ の正則性は生成元の数に生成元の最大次数を乗じたもので上から抑えられる。
• 原点を除くスペクトルでCohen-Macaulayであるコhomologically full次数付き代数は、Kodaira型の消滅定理を満たす。
• Lyubeznik数は、コhomologically full環における局所コhomologyモジュールの $ 0 $-次成分として回復可能である。
• 予想5.5（$ \kappa $ の稠密な集合に対して $ H^i_{\frak{m}_\kappa}(R_\kappa)_0 $ におけるFrobenius写像の上への性質）は、Mustaţă-Srinivasの弱通常性予想と同値である。