[論文レビュー] The Weak and Strong Lefschetz Properties for Artinian K-Algebras

Tadahito Harima, Juan Migliore+2 more|ArXiv.org|Aug 26, 2002

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

ひとこと要約

この論文は、標数0の体上の標準的順序付きArtinian $K$-代数における弱Lefschetz性質と強Lefschetz性質が、同一のヒルベルト関数のクラスによって特徴付けられることを確立し、両性質に共通する勾配Betti数の鋭い上界が成り立つことを示している。また、すべての高さ3の完全交差と、$K[x,y]$ 内のすべてのArtinianイデアルが強Lefschetz性質を持つことを証明し、与えられたヒルベルト関数に対して最大のBetti数を達成する代数の構成を行っている。

ABSTRACT

Let A = bigoplus_{i >= 0} A_i be a standard graded Artinian K-algebra, where char K = 0. Then A has the Weak Lefschetz property if there is an element ell of degree 1 such that the multiplication times ell : A_i --> A_{i+1} has maximal rank, for every i, and A has the Strong Lefschetz property if times ell^d : A_i --> A_{i+d} has maximal rank for every i and d. The main results obtained in this paper are the following. 1) EVERY height three complete intersection has the Weak Lefschetz property. (Our method, surprisingly, uses rank two vector bundles on P^2 and the Grauert-Mulich theorem.) 2) We give a complete characterization (including a concrete construction) of the Hilbert functions that can occur for K-algebras with the Weak or Strong Lefschetz property (and the characterization is the same one). 3) We give a sharp bound on the graded Betti numbers (achieved by our construction) of Artinian K-algebras with the Weak or Strong Lefschetz property and fixed Hilbert function. This bound is again the same for both properties. Some Hilbert functions in fact FORCE the algebra to have the maximal Betti numbers. 4) EVERY Artinian ideal in K[x,y] possesses the Strong Lefschetz property. This is false in higher codimension.

研究の動機と目的

• Artinian $K$-代数が弱Lefschetz性質または強Lefschetz性質をもつ場合に、どのヒルベルト関数が現れるかを特定すること。
• 固定されたヒルベルト関数に対して、そのような代数の勾配Betti数の鋭い上界を確立すること。
• 強Lefschetz性質が、ヒルベルト関数またはBetti数に関して、弱Lefschetz性質よりも厳しい制約を課すかどうかを調査すること。
• 高さ3の完全交差が、標数0の体上では弱Lefschetz性質をもつことを、ベクトル束とGrauert-Mülicher定理を用いて証明すること。
• $K[x,y]$ 内のすべてのArtinianイデアルが強Lefschetz性質をもつことを示すこと。この結果は、より高い余次元では成り立たない。

提案手法

• 高さ3の完全交差の弱Lefschetz性質を証明するために、$\mathbb{P}^2$ 上のランク2のベクトル束とGrauert-Mülicher定理を用いる。
• 反復イデアル化を用いて代数を構成し、lex-セグメントイデアルを用いて最大のBetti数を達成するとともに、強Lefschetz性質を満たすようにする。
• 一般初期イデアルの理論とBorel固定イデアルを用いて、強Lefschetz性質を単項式イデアルに関する問題に還元する。
• 乗法写像 $\times x_0^d$ の可換図式を $A_i$ と $A_{i+d}$ の間で用い、それらを商代数 $B^{(j)}_i$ 上の写像と比較することで、単射性と全射性を分析する。
• $\text{gin}(I)$ がBorel固定であることと、強Lefschetz性質が $A/(y^d)$ のヒルベルト関数が $y^d$ による乗法写像で最大ランクをもつことと同値であることを利用する。
• 特殊な場合（例えば単項式完全交差）におけるLefschetz性質の検証に、$\mathfrak{sl}(2)$ の表現論とコhomological手法を用いる。

実験結果

リサーチクエスチョン

• RQ1 Artinian $K$-代数が弱Lefschetz性質または強Lefschetz性質をもつ場合に、どのヒルベルト関数が現れるか？
• RQ2 強Lefschetz性質と弱Lefschetz性質は、Artinian $K$-代数の可能なヒルベルト関数に異なる制約を課すか？
• RQ3 弱Lefschetz性質をもつ代数の勾配Betti数の鋭い上界が、強Lefschetz性質をもつ代数によって達成可能か？
• RQ4 弱Lefschetz性質をもつが強Lefschetz性質をもたない代数に実現可能な勾配Betti数の集合は存在するか？
• RQ5 $K[x,y]$ 内のすべてのArtinianイデアルが強Lefschetz性質をもつのか。この性質は、より高い余次元でも成り立つか？

主な発見

• 標数0の体上のArtinian $K$-代数において、弱Lefschetz性質と強Lefschetz性質は、同一のヒルベルト関数のクラスによって特徴付けられる。
• $K[x_1,x_2,x_3]$ 内のすべての高さ3の完全交差は、弱Lefschetz性質をもつ。これは $\mathbb{P}^2$ 上のランク2のベクトル束とGrauert-Mülicher定理を用いて証明された。
• $K[x,y]$ 内のすべてのArtinianイデアルは強Lefschetz性質をもつ。この結果は、より高い余次元では成り立たない。
• 弱Lefschetz性質または強Lefschetz性質をもつArtinian $K$-代数の勾配Betti数の鋭い上界は、強Lefschetz性質をもつ構成によって達成される。
• $A/(y^d)$ のヒルベルト関数が $y^d$ による乗法写像で最大ランクをもつことは、強Lefschetz性質を特徴付ける条件であり、この条件は一般初期イデアル操作によっても保たれる。
• すべての勾配Betti数の集合が弱Lefschetz性質をもつが強Lefschetz性質をもたない代数に実現可能であるという予想は、支持されている。