[論文レビュー] The Spectrum of Hypersurface Singularities

Duco van Straten|arXiv (Cornell University)|Mar 1, 2020

Commutative Algebra and Its Applications被引用数 30

ひとこと要約

本論文は孤立型 hypersurface のスペクトルの範囲を概観し、Varchenko による semicontinuity bound を証明し、スペクトルデータを Milnor fibration、monodromy、そして投影 hypersurface 上の特異点に関する半古典的境界へ結びつける。

ABSTRACT

This text is the write-up of a series of lectures on the asymptotic mixed Hodge theory of isolated hypersurface singularities, held at the Third Latin American school on Algebraic Geometry and its applications (ELGA 3) in Guanajuato, Mexico, in august 2017. Its focus is on the classical application of the semi-continuity of the spectrum due to Varchenko and Steenbrink to the problem of bounding the possible singularities on a projective hypersurface.

研究の動機と目的

• 古典的な問いを動機づけ、投影 hypersurface 上でどのような特異点が生じうるかを枠組みづける。
• 孤立型 hypersurface のスペクトルとその重要な性質を導入・展開する。
• スペクトルデータが semicontinuity bound（Arnol'd/Stevenbrink–Varchenko）を介して特異点の数と型をどう制限するかを説明する。

提案手法

• sp(f) を有理スペクトル数の多重集合として定義し、対称性と Thom–Sebastiani 振る舞いを持つことを示す。
• Milnor ファイバ、Milnor fibration、monodromy を記述し、スペクトルデータと位相を関連づける。
• Brieskorn–Pham 型の特異点の例と準同型重みにより、Milnor モジュールと重み付き Poincaré 系列を用いてスペクトルを計算する。
• Varchenko の不等式が局所スペクトルデータを用いて全体の singularities を有界化することを述べ、例示する。
• 残ストークスの積分と漸近挙動を用いてスペクトル数を monodromy 固有値へ結びつける。

実験結果

リサーチクエスチョン

• RQ1 スペクトルデータを通じて次数-d の hypersurface における A1 singularities の数の上界を得ることは可能か。
• RQ2 hypersurface の singularity のスペクトルは Milnor fiber の monodromy および固有値をどのように反映するか。
• RQ3 スペクトルとその計算を支配する形式的性質（対称性、 Thom–Sebastiani、準同型重み）は何か。
• RQ4 Brieskorn–Pham 型の特異点を利用して複素 hypersurface の一般的なスペクトル境界を決定するにはどうすればよいか。

主な発見

• Varchenko は投影 n-空間内の次数-d hypersurface 上の A1 singularities の数についてスペクトルデータを通じて explicit な上界 μ_n(d) ≤ A_n(d) を証明した。
• spectrum sp(f) は right/contact 同値不変であり、区間 (0, n+1) にあり、対称性 α_i + α_{μ−i} = n+1 を満たす。
• Thom–Sebastiani 原理により sp(f ⊕ g) は sp(f) と sp(g) の和集合となり、スペクトル多項式は Thom–Sebastiani の下で乗算される。
• Brieskorn–Pham 型の特異点について、スペクトルは Milnor alamgebra の基底と対応する重み付き次数から計算でき、明示的なスペクトルを得る。
• Differential forms の vanishing cycles 上の周期積分は t^α (log t)^k の展開を持ち、α ∈ Q で e^{2πiα} が monodromy の固有値である。
• Monodromy は必ずしも有限次数ではなく、A’Campo と Malgrange による例はジョルダンブロックと対数項を示し、高次モノドロミーを反映している。