[論文レビュー] Regularity, singularities and $h$-vector of graded algebras

Hailong Dao, Linquan Ma+1 more|arXiv (Cornell University)|Jan 4, 2019

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

ひとこと要約

この論文は、体上の標準的次数付き代数について、代数がSerreの条件$(S_r)$を満たし、特異性が比較的軽微—特性0ではDu Bois、正の特性では$F$-純—であるならば、$h$-ベクトルが$i = 0,\dots,r$に対して$h_i \geq 0$を満たすことを確立する。主な貢献は、Extモジュールの正則性に対する鋭い評価を得ることであり、これによりこれらの特異性に対してKodaira型の消失定理を導出し、多重度の境界における等号が成り立つと代数がCohen-Macaulayであることを示している。

ABSTRACT

Let $R$ be a standard graded algebra over a field. We investigate how the singularities of $R$ affect its $h$-vector, which is the coefficients of the numerator of its Hilbert series. The most concrete consequences of our work asserts that if $R$ satisfies Serre's condition $(S_r)$ and have reasonable singularities (Du Bois on the punctured spectrum or $F$-pure), then $h_0,\dots, h_r\geq 0$. Furthermore the multiplicity of $R$ is at least $h_0+h_1+\dots+h_{r-1}$. We also prove that equality in many cases forces $R$ to be Cohen-Macaulay. The main technical tools are sharp bounds on regularity of certain Ext modules, which can be viewed as Kodaira-type vanishing statements for Du Bois and $F$-singularities. Many corollaries are deduced, for instance that nice singularities of small codimension must be Cohen-Macaulay. Our results build on and extend previous work by de Fernex-Ein, Eisenbud-Goto, Huneke-Smith, Murai-Terai and others.

研究の動機と目的

• 標準的次数付き代数$R$の$\mathrm{Spec\;}R$または$\mathrm{Proj\;}R$の特異性が$h$-ベクトルに与える影響を理解すること。
• Serreの条件$(S_r)$のもとで、$h$-ベクトルの項$h_0, \dots, h_r$が非負となる条件を特定すること。
• Cohen-Macaulay性および$h$-ベクトルの非負性に関する古典的結果を、特異性が軽微な代数へと拡張すること。
• Murai-Teraiの研究を一般化するために、正則性の評価を通じてExtモジュールに対するKodaira型の消失定理を確立すること。
• 多重度の境界と初期の$h_i$の消失が、$R$がCohen-Macaulayであることを強制することを証明し、Bertram-Ein-Lazarsfeldの結果を拡張すること。

提案手法

• 不足モジュールに関連するExtモジュールの正則性制約である$(MT_r)$条件を導入し、分析すること。
• スペクトル系列の議論とSerre双対性を用いて、特異な多様体上の双対化複体のコホモロジーを評価すること。
• 低codimensionにおいて、Du Boisまたは$F$-純仮定のもとで、$j \leq d-k$に対して$H_{\mathfrak{m}}^j(R)_{<0}$の消失を確立すること。
• 定理3.2および3.3を適用して双対化複体を分解し、サポート次元を用いてコホモロジーを制御すること。
• 短完全系列$0 \to h^{-(d-1)}(\underline{\omega}_X^\bullet) \to h^{-(d-1)}(\omega_X^\bullet) \to C \to 0$（$\dim \operatorname{Supp} C \leq k-1$）を用いて消失を証明すること。
• $h$-ベクトルの定義$H_R(t) = \frac{h_0 + \cdots + h_s t^s}{(1-t)^d}$を用いて、コホモロジーの評価を$h$-ベクトルの非負性に翻訳すること。

実験結果

リサーチクエスチョン

• RQ1 特異性および深さに関するどのような条件下で、次数付き代数の$h$-ベクトルが$i = 0,\dots,r$に対して$h_i \geq 0$を満たすか？
• RQ2 Cohen-Macaulayの場合を超えて、$h$-ベクトルの非負性をDu Boisまたは$F$-純特異性をもつ代数へと拡張できるか？
• RQ3 $(S_r)$および軽微な特異性のもとで、$R$の多重度$e(R)$は$h_0 + \cdots + h_{r-1}$以上を満たすか？
• RQ4 $h_i = 0$（$i \leq r$）または正則性$< r$が成り立つと、$R$がCohen-Macaulayであることを示すにはどのような条件下か？
• RQ5 グローバルなDu Boisまたは$F$-純特異性の仮定を、局所的またはcodimension単位の条件に弱めることが可能か？その場合でも$h_i \geq 0$は保たれるか？

主な発見

• 代数$R$が$(S_r)$を満たし、特性0ではDu Bois、正の特性では$F$-純であるならば、すべての$i = 0,\dots,r$に対して$h_i \geq 0$が成り立つ。
• 代数$R$の多重度は$h_0 + h_1 + \cdots + h_{r-1}$以上であり、等号が成り立つと$R$はCohen-Macaulayである。
• 代数$R$のCastelnuovo-Mumford正則性が$r$未満、またはある$i \leq r$に対して$h_i = 0$ならば、$R$はCohen-Macaulayである。
• $h_r + h_{r+1} + \cdots + h_s \geq 0$が成り立ち、これは多重度の境界と同値である。
• 多重度の和$e + l \geq d_1 + \cdots + d_e$を満たし、MJ-対数正則特異性をもつ代数について、$R$が一様かつ同次元的ならばCohen-Macaulayである。
• この結果は、Murai-Teraiの単体的複体に関する定理を一般化し、Bertram-Ein-LazarsfeldのCohen-Macaulay判定法を軽微な特異性へと拡張している。