[论文解读] Cohomologically full rings

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

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

一句话总结

本文引入了上同调完备环——一类新的交换诺特环，其推广了科恩-麦克aul伊、F-纯及杜博伊斯奇点。作者证明这些环具有强上同调性质，包括从局部上同调到Ext模的自然映射的满射性，并证明在特征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.

研究动机与目标

• 定义并研究一类新环——上同调完备环，其满足强上同调性质。
• 解决艾森斯坦-穆斯塔察-斯蒂尔曼提出的问题：关于Ext到局部上同调映射的单射性。
• 在统一框架下整合并推广已知关于F-纯、杜博伊斯及科恩-麦克aul伊奇点的结果。
• 为分次上同调完备代数建立正则性界与消去定理。
• 将上同调完备性与弱正则性猜想及正特征约化下的弗罗贝尼乌斯作用联系起来。

提出的方法

• 通过所有满足 $ T_{\text{red}} = R_{\text{red}} $ 的满同态 $ T \twoheadrightarrow R $，定义上同调完备环，即要求自然映射 $ H^i_{\frak{n}}(T) \to H^i_{\frak{m}}(R) $ 的满射性。
• 利用局部对偶性及对偶定理的分次类比，将上同调完备性与局部上同调模由其零次部分生成的性质联系起来。
• 应用正特征约化技术，界定商为上同调完备的齐次理想之正则性。
• 通过平坦基变换、黏合性及正特征约化，研究低维环的分类行为。
• 利用弗罗贝尼乌斯作用与半连续性理论，分析零次局部上同调中弗罗贝尼乌斯映射的满射性。
• 借助科拉-科瓦奇与孔卡-瓦巴罗关于可提升局部上同调与平方自由首项理想的成果，支持该理论框架。

实验结果

研究问题

• RQ1 对于多项式环 $ S $，何时自然映射 $ \operatorname{Ext}^i_S(S/I, S) \to H^i_I(S) $ 是单射的？
• RQ2 在何种条件下，局部上同调模的零次部分能生成整个模？
• RQ3 上同调完备性如何与正特征约化下的弱正则性猜想相关联？
• RQ4 在分次情形下，上同调完备性能否以局部上同调模的结构来刻画？
• RQ5 上同调完备性对分次代数的正则性与消去定理有何影响？

主要发现

• 上同调完备环包含科恩-麦克aul伊、F-纯及杜博伊斯奇点，且在正特征下，它们与F-完备环重合。
• 对于特征0域上标准分次 $ k $-代数 $ R $，若对所有 $ P \neq \frak{m} $ 有 $ R_P $ 为杜博伊斯，则 $ R $ 是 $ i $-上同调完备当且仅当 $ H^i_{\frak{m}}(R)_0 $ 生成 $ H^i_{\frak{m}}(R) $。
• 当 $ S/I $ 为上同调完备时，多项式环 $ S $ 中齐次理想 $ I $ 的正则性上界为 $ I $ 的生成元个数乘以其生成元的最大次数。
• 在去心谱上为科恩-麦克aul伊的上同调完备分次代数满足类似科达伊的消去定理。
• 在上同调完备环中，Lyubeznik数可作为局部上同调模的零次分量恢复。
• 猜想5.5（即对稠密集 $ \kappa $，有 $ H^i_{\frak{m}_\kappa}(R_\kappa)_0 $ 上弗罗贝尼乌斯映射的满射性）等价于穆斯塔察-斯里尼瓦斯的弱正则性猜想。