[論文レビュー] Recent results on cohomology jump loci

Nero Budur, Botong Wang|arXiv (Cornell University)|Jul 24, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用数 6

ひとこと要約

本調査論文は、コhomologyジャンプ・ローカスに関する最近の進展を提示し、コhomological制約付きの変形、ランク1の局所系、基本群、およびBernstein-Satoイデアルとの関連に焦点を当てる。Bernstein-Satoイデアルの零点集合の指数関数が、小さな球の補集合上の局所系の均一コhomologyサポート・ローカスを含むことが確立されており、モノドロミー定理と特異点論を統一する予想される等式が提示されている。

ABSTRACT

This is a survey of recent results related to cohomology jump loci. It emphasizes connections with deformations with cohomology constraints, global structural results for rank one local systems and line bundles, some connections with restrictions on fundamental groups and homotopy types, and connections with classical singularity theory and Bernstein-Sato ideals.

研究の動機と目的

• コhomologyジャンプ・ローカスにおける最近の発展を調査し、変形理論、局所系、特異点論との関連に重点を置く。
• 複素代数的多様体上のランク1の局所系およびラインバンドルに関する構造的結果を明確化する。
• コhomologyジャンプ・ローカスが空間の基本群およびホモトピー型に課す制約を調査する。
• 均一コhomologyサポート・ローカスを通じて、ミルナーのモノドロミーに関する古典的結果とBernstein-Satoイデアルを統一する。
• Bernstein-Satoイデアルの零点集合の指数関数が、小さな球の補集合上の局所系の均一コhomologyサポート・ローカスに等しいと予想する。

提案手法

• 自由分解からの行列式イデアルを用いてFittingイデアルを複体へ一般化し、noetherian環上の有上境界複体に対するコhomologyジャンプイデアルを定義する。
• 擬同型自由分解を用いて、モジュライ空間内の閉部分スキームとしてコhomologyジャンプ・ローカスを定義する。
• 変形理論を用いて、コhomological制約付きの正則ベクトルバンドルおよび表現のモジュライを研究する。
• 孤立した超曲面特異点の穿孔近傍におけるランク1の局所系を、モノドロミーおよびミルナーのファイブレーションを用いて分析する。
• トーラス $(\mathbb{C}^*)^r$ 上の座標を固定することで、近接する点間の局所系を比較する均一コhomologyサポート・ローカスを導入する。
• 多変数Bernstein-Satoイデアル $B_{F,x}$ を、ある微分作用素 $P$ に対して $b\prod f_i^{s_i} = P\prod f_i^{s_i+1}$ を満たす多項式 $b(s_1,\dots,s_r)$ のイデアルとして定義する。

実験結果

リサーチクエスチョン

• RQ1 コhomologyジャンプ・ローカスは、正則ベクトルバンドルおよび表現の変形理論とどのように関係するか？
• RQ2 コhomologyジャンプ・ローカスは、空間の基本群およびホモトピー型にどのような構造的制約を課えるか？
• RQ3 小さな球の補集合上のランク1の局所系のコhomologyサポート・ローカスは、モノドロミー固有値とどのように関係するか？
• RQ4 均一サポート・ローカスを通じて、Bernstein-Sato多項式に関する古典的Malgrange-Kashiwara定理を多変数設定に一般化できるか？
• RQ5 多変数Bernstein-Satoイデアルの零点集合の指数関数は、局所系の均一コhomologyサポート・ローカスに等しいか？

主な発見

• noetherian環上の有上境界複体のコhomologyジャンプ・ローカスは、自由分解からの行列式イデアルを用いて定義され、Fittingイデアルの一般化である。
• $r$ 個の異なる、非特異な分岐を持つ超曲面特異点に対して、穿孔近傍上のランク1局所系のBettiモジュライ空間は $(\mathbb{C}^*)^r$ に同型であり、モノドロミーは $\lambda \in (\mathbb{C}^*)^r$ でパラメータ化される。
• コhomologyサポート・ローカス $\bigcup_i \Sigma^i_1(U_{f,x})$ と対角埋め込み $\mathbb{C}^* \to (\mathbb{C}^*)^r$ の交わりは、ミルナー・ファイバーのコhomology上のミルナー・モノドロミーの固有値を与える。
• 多変数Bernstein-Satoイデアル $B_{F,x} \subset \mathbb{C}[s_1,\dots,s_r]$ は、ある微分作用素 $P$ に対して $b(s)\prod f_i^{s_i} = P\prod f_i^{s_i+1}$ を満たす条件によって定義され、古典的一変数の場合の一般化である。
• Bernstein-Satoイデアル $B_{F,x}$ の零点集合の指数関数は、$x$ の近傍の $y$ に対して、均一コhomologyサポート・ローカス $\Sigma^i_1(U_{f,y})^{\text{unif}}$ を含む。予想される等式は $\text{Exp}(Z(B_{F,x})) = \bigcup_{i,y} \Sigma^i_1(U_{f,y})^{\text{unif}}$ である。
• この結果はMalgrange-Kashiwara定理を一般化し、多変数Bernstein-Sato多項式の根が指数関数を用いてモノドロミー固有値を符号化することを示している。