[論文レビュー] Characteristic Varieties of Hypersurface Complements

Yongqiang Liu, Laurenţiu Maxim|arXiv (Cornell University)|Nov 26, 2014

Algebraic Geometry and Number Theory参考文献 19被引用数 5

ひとこと要約

本稿は、複素射影空間内の超曲面補集合のグローバルおよびローカル特徴的多様体の間の可除性関係を確立し、特異点付近のローカル不変量によってグローバル多様体が制約されることを示している。主な結果として、補集合 $M^*$ の次数 $k$ までの特徴的多様体の和集合は、$
\prod t_i^{d_i} = 1$
で定義される多様体に含まれる。また、超平面配置の場合は、共振多様体が特異点のストラトムにおけるローカルデータによって制御される。

ABSTRACT

We give divisibility results for the (global) characteristic varieties of hypersurface complements expressed in terms of the local characteristic varieties at points along one of the irreducible components of the hypersurface. As an application, we recast old and obtain new finiteness and divisibility results for the classical (infinite cyclic) Alexander modules of complex hypersurface complements. Moreover, for the special case of hyperplane arrangements, we translate our divisibility results for characteristic varieties in terms of the corresponding resonance varieties.

研究の動機と目的

• 超曲面補集合のグローバル特徴的多様体を特異点におけるローカル不変量に関連付けること。
• リブゴーバーのアレクサンダー多項式の可除性定理を非孤立特異点および多変数不変量へ一般化すること。
• 特徴的多様体に関する結果を、超平面配置のための共振多様体に関する記述に翻訳すること。
• 特徴的多様体の接錐が共振多様体と一致する条件を特定し、特に局所的に直線的空間において考察すること。
• 特異点のストラトムにおけるローカルデータからグローバル不変量を計算するための枠組みを提供すること。

提案手法

• グローバルおよびローカルアレクサンダー加群を結びつけるためにサバの特化複体の使用。
• 点 $x$ で消えない成分を扱うために、一様ローカルアレクサンダー多様体 $\mathcal{W}^{\text{unif}}(M^*_x, \nu_x)$ の導入。
• Dwyer-Fried 不変量と接錐包含関係を用いて、特徴的多様体と共振多様体を関連付ける。
• 同型 $H^\bullet(M) \cong H^\bullet(M^*) \otimes H^\bullet(\mathbb{C}^*)$ を活用し、共振多様体の分解を導出する。
• 超平面配置の構造とその交差ラティスを用いて、共振多様体をストラトムにおけるローカルデータで表現する。
• グローバルおよびローカルの共振構造を関連付けるために、接錐包含関係 $TC_1(\mathcal{W}_i(M^*)) \subset \mathcal{R}(M^*)$ を利用する。

実験結果

リサーチクエスチョン

• RQ1 超曲面補集合のグローバル特徴的多様体は、特異点におけるローカル特徴的多様体とどのように関係するか？
• RQ2 グローバルアレクサンダー多様体の可除性結果は、非孤立特異点にまで、孤立特異点を超えて拡張可能か？
• RQ3 超曲面補集合の共振多様体とその特異ストラトムにおけるローカル不変量との正確な関係は何か？
• RQ4 特徴的多様体の接錐が共振多様体と一致する条件は何か？
• RQ5 超平面配置の補集合の共振多様体は、そのストラトムにおけるローカルデータを用いてどのように記述できるか？

主な発見

• 特徴的多様体 $\bigcup_{i=0}^k \mathcal{V}_i(M)$ および $\bigcup_{i=0}^k \mathcal{V}_i(M^*)$ は、多様体 $V(\prod_{i=1}^r t_i^{d_i} = 1)$ に含まれており、グローバルな制約が確立される。
• 任意の $k$ に対して、補集合 $M^*$ の共振多様体は $\mathcal{R}^i(M) = \mathcal{R}^i(M^*) \cup \mathcal{R}^{i-1}(M^*)$ を満たし、$M$ の共振と $M^*$ の共振を結びつける。
• もし $M^*$ が局所的に $j$-直線的であれば、グローバルな共振多様体 $\bigcup_{i=0}^k \mathcal{R}^i(M)$ は、$\dim_{\mathbb{C}} S \geq n-k-1$ を満たすストラトム $S$ における一様ローカル共振多様体の和集合に含まれる。
• 本質的超平面配置の場合、$\bigcup_{i=0}^k \mathcal{R}^i(M) \subset \bigcup_{S \subset V_1} \{ \mathcal{R}(M^*_x) \times V(\sum_{i \notin I_x} z_i = 0) \}$ が成り立ち、グローバルな共振をローカルデータで表現する。
• $\chi(M^*) \neq 0$ であれば、$\mathcal{R}(M^*) = L$ が成り立ち、ここで $L$ は特徴的多様体の接錐である。これは、接錐包含関係において等号が成立することを意味する。
• 一様ローカル共振多様体 $\mathcal{R}^{\text{unif}}(M^*_x, \nu_x)$ は $\mathcal{R}(M^*_x, \nu_x) \times \mathbb{C}^{r - r_x}$ として定義され、一貫したグローバル・ローカル比較を可能にする。