[論文レビュー] The strong Lefschetz property and simple extensions

Juergen Herzog, Dorin Popescu|ArXiv.org|Jun 27, 2005

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

ひとこと要約

本稿では、特性0の体上のアーティン的ゴレンシュタイン代数が強いリーマン特性を有する場合、その単純な拡張である代数もまた強いリーマン特性を有することを確立している。線形代数的手法を用いて、$ A $ がこのような代数であり、$ f \in A[x] $ がモニックで斉次な多項式であるとき、$ B = A[x]/(f) $ が強いリーマン特性を有することを証明しており、これはスターリングの単項完全交差に関する結果を一般化している。

ABSTRACT

Stanley showed that monomial complete intersections have the strong Lefschetz property. Extending this result we show that a simple extension of an Artinian Gorenstein algebra with the strong Lefschetz property has again the strong Lefschetz property.

研究の動機と目的

• 単項完全交差に強いリーマン特性を有するスターリングの結果を、より一般の代数への単純な拡張を用いて拡張すること。
• アーティン的ゴレンシュタイン代数 $ A $ が強いリーマン特性を有する場合、商代数 $ A[x]/(f) $ が強いリーマン特性を有するための条件を確立すること。
• 表現論やハード・リーマン定理のような高度な道具を用いずに、線形代数に基づく強いリーマン特性の証明を提供すること。
• 順次的なモニック斉次拡張が、次数付き設定において強いリーマン特性を保つかどうかを調査すること。
• 特性に依存する条件が、正の特性における強いリーマン特性が成立するためのものであるかどうかを特定すること。

提案手法

• Koszulホモロジーの完全系列を用いて、斉次元 $ f, g \in A $ に対して $ A/(f) $ と $ A/(g) $ のリーマン特性を関連付けること。
• 補題1.1の適用：非零因子の条件のもとで、$ f $ が $ A/(g) $ に対してリーマン的であることと、$ g $ が $ A/(f) $ に対してリーマン的であることとは同値である。
• 補題1.2の活用：強力なリーマン的元 $ a \in A_1 $ に対して、$ c \in K^* $ が存在して $ f(a/c) $ が $ A $ でリーマン的になること。これは、無限体上での多項式の最小因子の非消滅に依存する。
• 主要定理を、$ B = A[x]/(f) $ が強力なリーマン的元を有することに還元すること。これは、有限個の非空開集合 $ U_r $ の有限交差として、そのような元のザリスキ開集合が空でないことを示すことにより行う。
• $ B_{1} $ に $ b_r $ が存在し、$ b_r^r $ がリーマン的であることを示すことにより、有限個のザリスキ開集合の交わりとして強力なリーマン的元の存在を保証すること。
• 正の特性への拡張は、二項係数と体のサイズの上限を用いて行う。$ \operatorname{char}K \geq \max\{e(A), 2q + \sigma - 1\} $ が成り立つ。ここで $ e(A) $ は多重度、$ \sigma $ はソクル次数である。

実験結果

リサーチクエスチョン

• RQ1 アーティン的ゴレンシュタイン代数 $ A $ が強いリーマン特性を有する場合、その単純な拡張 $ A[x]/(f) $ もまた強いリーマン特性を有するか？
• RQ2 次数付き代数の設定において、順次的なモニック斉次拡張が強いリーマン特性を保つことができるか？
• RQ3 特に正の特性において、そのような拡張における強いリーマン特性が成立するための必要十分条件として、基本体にどのような条件が課されるか？
• RQ4 元の代数が強いリーマン特性を有する場合でも、一般の形式による商への写像によって強いリーマン特性が保たれるか？
• RQ5 表現論やハード・リーマン定理に依存せずに、線形代数的手法のみを用いて強いリーマン特性を確立できるか？

主な発見

• 特性 $ \operatorname{char}K = 0 $ である標準的次数付きアーティン的ゴレンシュタイン $ K $-代数 $ A $ が強いリーマン特性を有するならば、任意のモニック斉次多項式 $ f \in A[x] $ に対して、代数 $ B = A[x]/(f) $ は強いリーマン特性を有する。
• この結果は、スターリングの単項完全交差に関する定理を含むほか、$ f_i \in K[x_1,\ldots,x_i] $ を満たす $ K[x_1,\ldots,x_n]/(f_1,\ldots,f_n) $ のより広いクラスの完全交差を含む。
• 正の特性では、$ \operatorname{char}K \geq \max\{e(A), 2q + \sigma - 1\} $ が成り立つ場合、強いリーマン特性が成立する。ここで $ q = \deg f $、$ e(A) $ は多重度、$ \sigma $ は $ A $ のソクル次数である。
• 証明は線形代数にのみ依拠しており、特に乗法写像を表す行列の最大小行列式の非消滅に依存し、無限体の性質により強力なリーマン的元の存在を保証している。
• 反例として、$ A = K[x_1,\ldots,x_5]/(x_1^4,\ldots,x_5^2) $ は強いリーマン特性を有するが、一般の8次形式 $ f $ による商 $ B = A/(f) $ は強いリーマン特性を有しないことが示された。
• 強いリーマン特性を有しないにもかかわらず、商 $ B $ は最大ランク性質を満たしており、最大ランク性が強いリーマン特性を意味するわけではないことが示された。