[論文レビュー] The Weak Lefschetz Property and powers of linear forms in K[x,y,z]

Hal Schenck, Alexandra Seceleanu|arXiv (Cornell University)|Nov 4, 2009

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

ひとこと要約

この論文は、多項式環 𝕂[x,y,z] のアートィニアン商が、線形形式のべきで生成されるイデアルによって定まるものについて、そのシンジーギー bundle が半安定でない場合でさえも、弱レフシェッツ性質（WLP）を有することを証明している。これは、先行研究の主要な制限を克服するものである。証明は、一般の直線へのシンジーギー bundle の制限におけるコhomological 技法と分割型解析を用い、一般の線形形式による乗法写像が各次数で最大ランクをもつことを示している。

ABSTRACT

We show that an Artinian quotient of K[x, y, z] by an ideal I generated by powers of linear forms has the Weak Lefschetz property. If the syzygy bundle of I is semistable this follows from results of Brenner-Kaid; our proof works without this hypothesis, which typically does not hold.

研究の動機と目的

• 線形形式のべきによって生成されるイデアルによる 𝕂[x,y,z] のアートィニアン商に対して、弱レフシェッツ性質（WLP）を確立すること。
• 従来の WLP 結果がシンジーギー bundle の半安定性に依存していたのを、その条件が満たされない場合にも拡張すること。
• シンジーギー bundle が半安定でない場合を含めても動作するコhomological フレームワークを提供すること。
• 特に線形形式のべきのイデアルに対して、シンジーギー bundle が不安定な場合に WLP が成り立つかどうかを調査すること。
• WLP 結果を3変数を超える場合や、強レフシェッツ性質への一般化の可能性を検討すること。

提案手法

• A = S/I のアートィニアン代数を A ≅ ⨁_m H¹(𝒮(I)(m)) とコhomological に解釈し、𝒮(I) を I のシンジーギー bundle とする。
• シンジーギー列に 𝒪_L(m+1) をテンソルして得られるコhomology の長完全列を用いて、乗法写像 μ_ℓ: A_m → A_{m+1} を分析する。
• 一般の直線 L = V(ℓ) におけるシンジーギー bundle の制限 𝒮(I)|_L を研究し、L 上でのバンドルの分割型を特定する。
• 2変数における線形形式のべきによって生成されるイデアルのシンジーギーモジュールに関する既知の結果を応用し、𝒮(I)|_L の分割型を計算する。
• セール双対性と次元数え上げを用いて、写像 ψ_m: H¹(𝒮(I)|_L(m+1)) → H²(𝒮(I)(m)) が単射であることを示し、これにより μ_ℓ が全射であることを導く。
• dim(im ψ_m) = ∑_i max(d_i - m - 2, 0) であることを示し、H¹(𝒮(I)|_L(m+1)) の次元と一致させることで、μ_ℓ が全射であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 線形形式のべきによって生成されるイデアルによる 𝕂[x,y,z] のアートィニアン商は、そのシンジーギー bundle が半安定でない場合でも、常に弱レフシェッツ性質（WLP）を有するか？
• RQ2 シンジーギー bundle が不安定な場合に、半安定性に依存しないコhomological 方法によって WLP を確立できるか？
• RQ3 I が線形形式のべきによって生成されるとき、一般の直線 L へのシンジーギー bundle の制限 𝒮(I)|_L の分割型は何か？
• RQ4 4変数以上の多項式環では、線形形式のべきによって生成されるイデアルに対して WLP が成り立たない場合があるか？
• RQ5 3変数における線形形式のべきによって生成されるイデアルに対して、強レフシェッツ性質が成り立つか？

主な発見

• 線形形式のべきによって生成されるイデアルによる 𝕂[x,y,z] のアートィニアン商は、すべて弱レフシェッツ性質（WLP）を有する。
• このようなイデアルのシンジーギー bundle は不安定である可能性があるが、それでも WLP は成立する。これにより、半安定性を仮定する必要がなくなった既存の結果が拡張された。
• 一般の直線 L への制限 𝒮(I)|_L は、直線バンドルの直和 𝒪_L(-d_i) と 𝒪_L(-ω-1)^a ⊕ 𝒪_L(-ω-2)^b に分解され、a + b = k - 2 を満たす。
• m ≥ ω のとき、写像 ψ_m: H¹(𝒮(I)|_L(m+1)) → H²(𝒮(I)(m)) は単射であり、これにより乗法写像 μ_ℓ: A_m → A_{m+1} が全射であることが導かれる。
• ψ_m の像の次元は ∑_i max(d_i - m - 2, 0) に等しく、d_i ≥ m + 3 のとき H¹(𝒮(I)|_L(m+1)) の次元と一致する。
• 4変数以上では結果が成り立たない。ヒルベルト関数 (1,4,10,15,15,6) を持つ反例により、A_3 → A_4 がフルランクでないことが示された。