[論文レビュー] Hodge spectrum of hyperplane arrangements

Nero Budur|ArXiv.org|Sep 19, 2008

Algebraic Geometry and Number Theory参考文献 27被引用数 6

ひとこと要約

本稿では、超平面配置のホッジスペクトルの組合せ的公式を、標準的対数解体上の交線論理を用いて提示する。これは、ランク1ユニタリ局所系のホッジフィルトレーションに関する新しい公式に裏付けられ、その主な貢献は、スペクトルの完全で組合せ的に明示的な計算を可能にし、Saitoによるその組合せ的不変性の証明以降長年の空白を埋めるものである。

ABSTRACT

In this article there are two main results. The first result gives a formula, in terms of a log resolution, for the graded pieces of the Hodge filtration on the cohomology of a unitary local system of rank one on the complement of an arbitrary divisor in a smooth projective complex variety. The second result is an application of the first. We give a combinatorial formula for the spectrum of a hyperplane arrangement. M. Saito recently proved that the spectrum of a hyperplane arrangement depends only on combinatorics. However, a combinatorial formula was missing. The formula is achieved by a different method.

研究の動機と目的

• 超平面配置のホッジスペクトルの組合せ的公式を提供すること。これは、以前は組合せ論的依存性のみが知られていたが、明示的表現が欠けていた。
• 滑らかで射影的な多様体内の任意の除数に対して、ランク1ユニタリ局所系のコホロジーにおけるホッジフィルトレーションの公式を、対数解体を用いて拡張すること。
• この公式を超平面配置に適用し、標準的対数解体上の交線論理を用いて、スペクトルの明示的で計算可能な表現を導出すること。
• Saitoの以前の手法とは異なる、組合せ論的で新たなアプローチにより、スペクトルの組合せ的不変性を再証明すること。

提案手法

• 滑らかで射影的な多様体内の除数の補集合上に存在するランク1ユニタリ局所系のコホロジーにおけるホッジフィルトレーションの各成分数についての公式を、対 (X,D) の対数解体を用いて導出する。
• Budur (2006) が提示したユニタリ局所系の幾何的解釈を用い、ホッジフィルトレーションを乗数イデアルおよび相対正則被覆と関連付ける。
• ミルナー・ファイバーのコホロジーにホッジフィルトレーションの公式を適用し、スペクトル計算を対数解体上の交線論理に還元する。
• 超平面配置の標準的対数解体を構成し、配置の交線格子からの関係を含む、関連する等変性チャウ環上の交線数を計算する。
• 等変性チャウ環において、生成関数 F, G, H, K, P, および R_α を、配置の組合せ論的構造を符号化するイデアル I を法として定義する。
• 各 α に対して、R_α · G の −c₀ の係数を計算することでスペクトルを抽出し、次数 n−1 項を ℚ·(−c₀)^{n−1} と同一視する。

実験結果

リサーチクエスチョン

• RQ1 超平面配置のホッジスペクトルは、純粋に組合せ論的公式として表現可能か？
• RQ2 ランク1ユニタリ局所系のコホロジーにおけるホッジフィルトレーションは、対数解体の観点から公式化可能か？
• RQ3 同次多項式のスペクトルは、対数解体上の交線論理によって計算可能か？
• RQ4 b関数や乗数イデアルに依存しない、新しい組合せ論的メソッドでスペクトルを計算可能か？

主な発見

• 超平面配置のホッジスペクトルは、その組合せ型によって完全に決定され、標準的対数解体上の交線論理を用いて明示的な公式が与えられる。
• f = xy(x+y) で定義される ℂ² 上の配置に対して、スペクトルは t²/³ + 2t + t⁴/³ として計算され、既知の結果と一致する。
• 同型な交線格子を持つ ℂ³ 上の2つの4次中心配置に対して、スペクトルは同一である：t³/⁴ + 3t + t³/² - 3t² + t⁹/⁴。
• スペクトルの公式は、R_α · G の −c₀ の係数として得られ、R_α および G は配置の組合せ論的構造を符号化するイデアルを法とする等変性チャウ環の元である。
• 本手法により、Saito (2007a) の解析的アプローチとは異なる、スペクトルの組合せ的不変性の別証明が得られる。
• 計算は Macaulay 2 を用いて実装され、Saito (1987) や他の出典からの既知の公式と整合的である。