[論文レビュー] Motivic invariants of Arc-Symmetric sets and Blow-Nash Equivalence

Goulwen Fichou|ArXiv.org|Apr 15, 2003

Graph theory and applications参考文献 5被引用数 7

ひとこと要約

本稿は、実解析的関数芽に対して、ℤ[u,u⁻¹][[T]] に値をとるモチーフ的ゼータ関数を導入し、吹き替え＝代数的同値性の下での一般化された仮想ベッチ数を不変量として用いる。これらのゼータ関数が吹き替え＝代数的同値性に関して不変であることを、仮想ベッチ数を弧対称的集合へ拡張し、変数変換公式を用いたモチーフ的積分を適用することによって証明し、2変数のブリースコーン多項式の分類が可能になる。

ABSTRACT

We define invariants of the blow-Nash equivalence of real analytic function germs, in a similar way that the motivic zeta functions of Denef & Loeser. As a key ingredient, we extend the virtual Betti numbers, which were known for real algebraic sets, as a generalized Euler characteristics for projective constructible arc-symmetrics sets. Actually we prove more: the virtual Betti numbers are not only algebraic invariant, but also Nash-invariant of arc-symmetric sets. Our zeta functions enable to sketch the blow-Nash equivalence classes of Brieskorn polynomials of two variables.

研究の動機と目的

• 吹き替え＝代数的同値性（有限性と幾何的感度のバランスをとる）の下での実解析的関数芽の不変量を定義すること。
• 従来、実代数的集合に対して知られていた仮想ベッチ数の概念を、射影的構成可能弧対称的集合のより広いカテゴリーへ拡張すること。
• これらの仮想ベッチ数がナッシュ同型に関して不変であることを確立し、したがって吹き替え＝代数的同値性の不変量として適切であることを示すこと。
• ℤ[u,u⁻¹][[T]] における計算可能なモチーフ的ゼータ関数 Z(T) および Z±(T) を構成し、零点集合への弧の写像の幾何的および順序論的データを符号化すること。
• これらのゼータ関数を用いて、2変数のブリースコーン多項式の吹き替え＝代数的同値類を分類すること。

提案手法

• 仮想ベッチ数 β を用いて、弧対称的集合上のデネフ＝ローゼルのモチーフ的ゼータ関数を実ナッシュ設定に一般化することで、モチーフ的ゼータ関数 Z(T) および Z±(T) を定義する。
• コンパクトで非特異な実代数的集合における ℤ₂ 係数のベッチ数が、弧対称的集合の構成可能カテゴリーへ加法的に拡張されることを証明することで、仮想ベッチ数を弧対称的集合へ拡張する。
• モチーフ的積分における変数変換公式を用いて、関数芽の零点集合の変形（特にヤコビアン行列式と特異除因子）との関係を関係づける。
• 弧空間を注文 n とヤコビアン注文 e でインデックス付けされたストラトに分解し、変形 σ における前像上で β を計算することで、ゼータ関数を構成する。
• Z±(T) については、符号条件を扱うためにストラトの被覆 R_U^± を導入し、特異除因子の成分上でのグルーピング構成を用いる。
• 変形のナッシュ型不変量と弧対称的構造にのみ依存することを示すことにより、吹き替え＝代数的同値性に関して不変であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 複素数の場合のデネフ＝ローゼルのモチーフ的ゼータ関数に類似して、実解析的関数芽に対して吹き替え＝代数的同値関係の下でモチーフ的ゼータ関数を定義できるか？
• RQ2 ℤ₂ 係数のベッチ数に基づく仮想ベッチ数は、弧対称的集合上で加法的かつナッシュ同型に関して不変か？
• RQ3 これらのゼータ関数は、吹き替え＝代数的同値性の下で非同値な2変数のブリースコーン多項式を区別できるか？
• RQ4 特に関数 f∘γ(t) の零点の注文が、変形における特異除因子の位相とどのように作用し合うか？
• RQ5 ゼータ関数 Z(T) および Z±(T) の正確な代数的構造は何か？また、それらは関数芽の局所不変量をどのように反映するか？

主な発見

• 仮想ベッチ数 β_k(A) = dim H_k(A, ℤ₂) は弧対称的集合へ加法的に拡張され、ナッシュ同型に関して不変な一般化されたオイラー特徴量を形成する。
• 仮想ポincare多項式 β(A) = ∑_k β_k(A)u^k ∈ ℤ[u] は乗法的不変量であり、次元を尊重する。deg(β(A)) = dim(A) であり、位相同相だが同型ではない実代数的集合を区別できる。
• モチーフ的ゼータ関数 Z_f(T) および Z_f^±(T) は ℤ[u,u⁻¹][[T]] に定義され、吹き替え＝代数的同値性に関して不変であり、同値関係の完全な不変量集合を提供する。
• 変形 σ と特異除因子 E_I^0 に対して、ゼータ関数 Z_f(T) は ∑_{I≠∅} (u−1)^{|I|} β(E_I^0 ∩ σ⁻¹(0)) ∏_{i∈I} (u^{-ν_i}T^{N_i}/(1−u^{-ν_i}T^{N_i})) で与えられる。ここで N_i と ν_i はそれぞれ重複度と対数ヤコビアン注文である。
• Z_f^±(T) はストラトの被覆 R_U^± を用いて同様に表現され、β(W^±) = (u−1)^{|I|−1}β(R_U^±) となる。これにより、同じ積構造を持つが符号条件に応じて調整された式が得られる。
• ゼータ関数は2変数のブリースコーン多項式の吹き替え＝代数的同値類を効果的に分類でき、不変量としての有効性を示している。