[論文レビュー] Multi-variable Poincaré series associated with Newton diagrams

Wolfgang Ebeling, S. M. Gusein‐Zade|ArXiv.org|May 30, 2009

Algebraic Geometry and Number Theory参考文献 4被引用数 3

ひとこと要約

本稿では、超曲面特異点におけるニュートン図を用いて、その局所環における多指数フィルトレーションを定義し、準同次フィルトレーションの一般化を行う。曲線特異点および特定の高次元ケースについて、多変数ポアンカレ系列を計算し、これらのケースでは系列がA’Campo型であることを示すが、重み付けによる誘導とは限らない（例として一部の係数が負である例がある）。

ABSTRACT

We define a multi-index filtration on the ring of germs of functions on a hypersurface singularity associated with its Newton diagram and compute the multivariable Poincaré series of this filtration in some cases.

研究の動機と目的

• 特異点のニュートン図に基づいて、超曲面特異点の局所環における多指数フィルトレーションを定義すること。
• 特定の特異点クラスについて、このフィルトレーションの多変数ポアンカレ系列を計算すること。
• このポアンカレ系列がA’Campo型であるか、あるいは局所環の重み付け由来であるかを調査すること。
• 重み付け由来でない例（負の係数を示す例）を用いて、ポアンカレ系列が常に重み付け由来でないことを示すこと。

提案手法

• ニュートン図から導かれる順序関数を用いて、局所環内の各変数が対応する単項式に対応する多指数フィルトレーションを定義する。
• 商空間の次元 $ d(\underline{v}) = \dim J(\underline{v})/J(\underline{v}+\underline{1}) $ を用いた公式によりポアンカレ系列を計算し、$ \prod (t_i - 1) $ および $ t_1 \cdots t_s - 1 $ を含む標準的なポアンカレ系列の公式を適用する。
• 包含除算と射影的商空間のオイラー特性を用いて系列の係数を計算する。
• ニュートン多面体の境界上にある点に対応する単項式の構造と、そのフィルトレーション下での像を特に分析する。
• 射影空間の非消滅成分のオイラー特性を計算するために $ {\mathbb{C}}^* $-作用を適用する。
• ポアンカレ系列とニュートン図の面および頂点との関係を用いて、$ (1 - \underline{t}^{\underline{u}(f)}) \cdot P_{\{u_i\}}(\underline{t}) $ のような閉形式の式を導出する。

実験結果

リサーチクエスチョン

• RQ1 ニュートン図に関連する多指数フィルトレーションが、A’Campo型のポアンカレ系列をもたらすか。
• RQ2 このようなフィルトレーションのポアンカレ系列が常に局所環の重み付け由来であるか。
• RQ3 ニュートン図からの単項式を用いた商空間 $ J(\underline{v})/J(\underline{v}+\underline{1}) $ の構造はいかなるものか。
• RQ4 ポアンカレ系列の係数が負であることは、重み付け由来でない構造を示唆するか。

主な発見

• 曲線特異点および特定の高次元特異点において、ポアンカレ系列はA’Campo型であり、$ (1 - \underline{t}^{\underline{u}(f)}) \cdot \prod_{i=1}^s (1 - \underline{t}^{\underline{u}(x_i)})^{-1} $ の形で表される。
• 例として $ f(x,y,z) = x^5 + y^5 + z^5 + x^2yz + x y^2 z + x y z^2 $ を用い、$ \underline{t}^{\underline{v}(f)} $ の係数が $ -1 $ であることを示した。
• この例におけるニュートンフィルトレーションは重み付け由来ではない。なぜなら、ポアンカレ系列の係数が負であるため、重み付け由来の場合は非負であるはずである。
• 別の例 $ f(x,y,z) = x^{20} + y^{20} + z^{16} + \cdots $ では、$ \underline{t}^{\underline{v}(f)} $ の係数は $ 1 $ であるが、指数ベクトルが単項式の値の線形結合でないため、標準的なA’Campo形式ではない。
• $ \underline{t}^{\underline{v}} $ におけるポアンカレ系列の係数は、射影的商空間 $ \mathbb{P}F_{\underline{v}} $ のオイラー特性に等しく、これは $ \mathbb{C}^* $-作用の固定点を用いて計算可能である。
• 商空間 $ J(\underline{v})/J(\underline{v}+\underline{1}) $ の構造は、ニュートン多面体の境界上にあり、ニュートン図の頂点に支配されていない非負整数点に対応する単項式によって自由生成される。