[論文レビュー] Homology of Homogeneous Divisors

Aron Simis, Ştefan Tohǎneanu|arXiv (Cornell University)|Jul 25, 2012

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

ひとこと要約

本稿は、標数0の体上の多項式環における同次的除因子のホモロジー的およびイデアル的性質を調査し、特に削約可能で重み付き同次的または同次的な多項式によって定義される自由除因子に注目する。勾配イデアルのcodimension-2構造、サイジーギ、および対称代数を分析することで、超平面配置や古典的判別式を超えた新しい自由除因子の族を確立する。完全性や飽和といったホモロジー的基準を用いて自由性を特徴づける。

ABSTRACT

One deals with arbitrary reduced free divisors in a polynomial ring over a field of characteristic zero, by stressing the ideal theoretic and homological behavior of the corresponding singular locus. A particular emphasis is given to both weighted homogeneous and homogeneous polynomials, allowing to introduce new families of free divisors which do not come from hyperplane arrangements nor as explicit discriminants from singularity theory.

研究の動機と目的

• 標数0の体上の多項式環における削減可能で自由な除因子の特異点集合のホモロジー的およびイデアル的性質を理解すること。
• 超平面配置や判別式を超えて、同次的および重み付き同次的多項式を用いて新しい自由除因子の族を構成することで、自由除因子の理論を拡張すること。
• 勾配イデアルの完全性とその対称代数およびリース代数の構造を用いて、同次的除因子の自由性を特徴づけること。
• 特に非同次化および同次化の下で、自由性とホモロイダルティの関係を調査すること。
• サイジーギモジュール、飽和、およびcodimension-2設定におけるクラーマーイデアルを用いた自由性の基準を提供すること。

提案手法

• 同次多項式 $F$ の勾配イデアル $J_F$ を分析し、$F$ が自由除因子であるための必要十分条件として、$J_F$ がcodimension-2の完全イデアルであること、すなわちSaitoの基準によるものであることを示す。
• Saitoの基準を $×2$ に適用し、$R/J_F$ のCohen–Macaulay性に帰着することで自由性を簡略化する。
• 対称代数 $\mathcal{S}_R(J_F)$ とそのリース代数 $\mathcal{R}_R(J_F)$ との関係を用い、オイラー関係 $e$ を用いた飽和によりリース代数を回復する。
• 計算代数（例：[14] を通して）を用いて、特に非線形かつ非重み付き同次的な例に対して、サイジーギ行列と $J_F$ の構造行列を計算する。
• 弱ヤコビ行列双対行列基準を適用し、$F$ の偏導関数によって定義される有理写像が $\mathbb{P}^3$ 上のクレモナ変換であることを確認する。
• オイラー関係 $e = \frac{1}{4}(xT + yU)$ が $\mathcal{S}_R(J_F)$ 内のゼロ因子として果たす役割を検討し、非サイジーギ的構造および非線形型の検出に寄与する。

実験結果

リサーチクエスチョン

• RQ1 勾配イデアルが完全交差でない場合を含め、削減可能で同次の多項式 $F$ が自由除因子であるための条件は何か？
• RQ2 同次的または重み付き同次的多項式を用いて、配置や判別式とは異なる源から新しい自由除因子の族を構成可能か？
• RQ3 非線形多項式 $f$ の非同次化とその同次化 $F$ の自由性の関係は何か？特に高次元射影空間における関係を明らかにすること。
• RQ4 オイラー関係による対称代数の飽和が、リース代数および $J_F$ の自由性の特徴づけに果たす役割は何か？
• RQ5 ホモロイダルな同次多項式がどれほど自由除因子を生成可能か？また、そのような場合を特徴付ける構造的特徴（例：サイジーギ型、次数）は何か？

主な発見

• Saitoの基準に従い、同次多項式 $F$ が自由除因子を定義するための必要十分条件は、その勾配イデアル $J_F$ がcodimension-2の完全イデアルであることである。
• 対称代数 $\mathcal{S}_R(J_F)$ は完全交差ではなく、オイラー関係 $e$ は $\mathcal{S}_R(J_F)$ 内のゼロ因子である。これは非サイジーギ的構造を示唆する。
• 対称代数 $\mathcal{S}_R(J_F)$ の定義イデアルをオイラー関係で飽和させることで、リース代数 $\mathcal{R}_R(J_F)$ が得られ、さらにbidegree $(1,2)$ の生成元が追加される。
• $J_F$ の弱ヤコビ行列双対行列のランクは3であり、$F$ の偏導関数によって定義される有理写像が $\mathbb{P}^3$ 上のクレモナ変換であることが確認された。
• 例として $f = x^2y + 4xyz + y^2z + 4xy^2z$ は、非線形的かつ非サイジーギ的勾配イデアルを持つ自由除因子であり、その対称代数は非特異的だがCohen–Macaulayではない。
• $f$ が既約でなくても、$J_F$ が完全でかつ対称代数の構造が飽和により制御される限り、$F$ の自由性は保存される。