[論文レビュー] Additive Splittings of Homogeneous Polynomials

Johannes Kleppe|arXiv (Cornell University)|Jul 12, 2013

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

ひとこと要約

本稿では、$f = g + h$ で $g$ と $h$ が独立な変数を持つと仮定したとき、同次多項式の加法的分解を研究するための行列代数 $M_f$ を導入する。$M_f$ が $f$ の正則および退化的分解の挙動を決定することを証明し、$f$ が正則または退化的分解をもつための必要十分条件として、$ \operatorname{ann}f$ がそのソクル次数に生成元をもつことであることを示している。さらに、$M_f$ を用いて解体のリゾリューション、パラメータ空間の次元、および退化を計算し、特定の条件下で関連する代数 $M_{f,D}$ へ一般化している。

ABSTRACT

In this thesis we study when a homogeneous polynomial $f$ decomposes or "splits" additively. Up to base change this means that it is possible to write $f = g + h$ where $g$ and $h$ are polynomials in independent sets of variables. This simple idea leads us to define a set $M_f$ of matrices associated to $f$. Surprisingly, $M_f$ turns out to be a commutative matrix algebra when $deg f \ge 3$. We show how all (regular) splittings $f = g_1 + ... + g_n$ can be computed from $M_f$. Next we show how to find the minimal free resolution of the graded Artinian Gorenstein quotient $R/\ann f$, assuming the minimal free resolutions of its additive components $R/\ann g_i$ are known. From this we get simple formulas for the Hilbert function $H$ and the graded Betti numbers of $R/\ann f$. We may use this to compute the dimension of a "splitting subfamily" of the parameter space $\PGor (H)$. Its closure is quite often an irreducible component of $\PGor (H)$. We will also study degenerations of polynomials that split and see how they relate to $M_f$. This situation is more difficult, but we are able to prove several partial results that together cover many interesting cases. In particular, we prove that $f$ has a regular or degenerate splitting if and only if the ideal $\ann f$ has at least one generator in its socle degree. Finally, we look at some generalizations of $M_f$.

研究の動機と目的

• 同次多項式 $f$ が、独立な変数の集合に属する多項式の和として $f = g + h$ と書ける条件を理解すること。
• 加法的分解の性質を研究するための中心的ツールとして、行列代数 $M_f$ を定義し、分析すること。
• 多項式 $f$ が正則分解をもつ場合に、Gorenstein 商 $R/\operatorname{ann}f$ の最小自由リゾリューションを計算すること。
• $M_f$ を用いて、$f$ に対応する点における $\operatorname{PGor}(H)$ の接空間およびパラメータ空間の次元を決定すること。
• 分解の退化を調査し、$M_f$ をより広範な適用性を持つ $M_{f,D}$ へ一般化すること。

提案手法

• 同次多項式 $f$ に対して、双対環 $R = k[\partial_1,\dots,\partial_r]$ の作用を用いて、除法的代数 $\mathcal{R}$ に付随する行列代数 $M_f$ を定義する。
• $\operatorname{ann}_R f$ を用いて、$f$ の分解挙動を $M_f$ の構造、特に $ \operatorname{ann}f$ がそのソクル次数に生成元をもつという条件を通じて関連付ける。
• 微分作用素が $f$ に作用する様子を模倣する乗法 $\star$ を持つ可換 $k$-代数 $\widetilde{G} = \bigoplus_{e=0}^{d-3} G_e$ を構成し、リゾリューションの計算を可能にする。
• $M_f$ が分解型を完全に決定することを証明する：$f$ が正則または退化的分解をもつための必要十分条件は、$ \operatorname{ann}f$ がそのソクル次数に生成元をもつことである。
• $e \geq 1$ を固定し、$D$ を $R_e$ の基底とするとき、$M_f$ を $M_{f,D}$ に一般化し、$d \geq 3e$ のとき $M_{f,D}$ が乗法に関して閉じていることを示す。
• $G_0 \times G_e \to G_e$ のモジュール作用および $\widetilde{G}$ の代数構造を用いて、リゾリューションおよび退化に関する結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 同次多項式 $f$ が、$g$ と $h$ が独立な変数集合に属する多項式の和として $f = g + h$ と分解可能であるのはいつか？
• RQ2 行列代数 $M_f$ は、$f$ の分解挙動、特に正則および退化的分解をどのように制御するか？
• RQ3 多項式 $f$ が加法的分解をもつ場合、$R/\operatorname{ann}f$ の最小自由リゾリューションは何か？ そして、$M_f$ によってどのように特定されるか？
• RQ4 $f$ に対応する点における $\operatorname{PGor}(H)$ の接空間の次元は何か？ そして、$M_f$ とどのように関係するか？
• RQ5 $M_f$ は $M_{f,D}$ へ一般化可能か？ また、$M_{f,D}$ が可換 $k$-代数の構造を有するための条件は何か？

主な発見

• 行列代数 $M_f$ は、$f$ の（正則）分解性質を完全に決定し、加法的分解の研究における中心的不変量として機能する。
• 同次多項式 $f$ が正則または退化的分解をもつための必要十分条件は、 annihilator 理想 $ \operatorname{ann}f$ がそのソクル次数に生成元をもつことである。
• 多項式 $f$ が正則分解をもつ場合、$M_f$ 及び関連する冪等元の構造を用いて、$R/\operatorname{ann}f$ の最小自由リゾリューションが有効に計算できる。
• $f$ における $\operatorname{PGor}(H)$ の接空間の次元は $M_f$ によって決定され、分解部分ファミリーの次元についても $M_f$ を用いて計算される。
• $d \geq 3e$ のとき、一般化 $M_{f,D}$ は乗法に関して閉じており、$ \operatorname{ann}(f)_e = 0$ ならば可換 $k$-代数となる。これにより、$M_f$ を超える枠組みが拡張される。
• 反例により、$1 + \beta_{r-1,r}$ が常に退化的分解の最大長を数えるわけではないことが示され、初期の予想を拡張する際の制限が明らかになった。