[論文レビュー] Intersection Cohomology and Perverse Eigenspaces of the Monodromy

David B. Massey|arXiv (Cornell University)|Jan 7, 2018

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

ひとこと要約

本稿は、アフィン超曲面におけるミルナー単調回頭作用素の perverse 固有空間と、ねじれ係数をもつ交差コホモロジーとの間の明確な関係を確立する。$\xi$ を単位根とするとき、環境空間上のねじれ係数をもつ交差コホモロジー複体の引き戻しは、単調回頭作用素の perverse 固有空間に同型であることを証明し、既知の $\xi = 1$ の場合の関係をすべての単位根へ一般化する。

ABSTRACT

We describe the relationship between intersection cohomology with twisted coefficients and the perverse sheaves which play the role of the eigenspaces for the Milnor monodromy of an affine hypersurface.

研究の動機と目的

• アフィン超曲面におけるミルナー単調回頭作用素の固有空間を表す perverse 契約と、ねじれ係数をもつ交差コホモロジーとの関係を明確化すること。
• 既知の同型 $\mathbb{Z}_X[n] \twoheadrightarrow \mathbf{I}^\bullet_X$ の核と $\mathrm{id}$-固有空間との関係を、$\xi = 1$ の場合に限らず、すべての単位根 $\xi \neq 1$ へ拡張すること。
• 単調回頭固有空間を、交差コホモロジーと整合性を持つように、 perverse 契約とねじれ係数を用いた枠組みを提供すること。特に $\mathbb{Z}$ 上および解析的カテゴリーにおいて。

提案手法

• 環境空間 $\mathcal{U}$ 上の perverse 契約の圏を用い、各単位根 $\xi$ に対して、超曲面 $X = V(f)$ のまわりでモノドロミー $\xi$ をもつ局所系統を用いて構成されるねじれ係数をもつ交差コホモロジー複体 $\mathbf{I}^\bullet_{\mathcal{U}}(\xi)$ を定義する。
• 移行および消失サイクル函手 $\psi_f[-1]$ と $\phi_f[-1]$ を、シフトされた定数層 $\mathbb{C}^\bullet_{\mathcal{U}}[n+1]$ に適用し、ミルナーのファイバーのコホモロジーを計算するストークコホモロジーをもつ複体を得る。
• 比較複体 $\mathbf{N}^\bullet_X$ を、 canonical surjection $\mathbb{Z}_X[n] \twoheadrightarrow \mathbf{I}^\bullet_X$ の核として構成し、定数層が交差コホモロジーでないことを捉える。
• $\xi = 1$ のとき、単調回頭作用素の作用の核 $\ker(\mathrm{id} - T_f)$ は $\mathbb{Z}_X[n]$ に同型であり、surjection $\mathbb{Z}_X[n] \twoheadrightarrow \mathbf{I}^\bullet_X$ の核は $\ker(\mathrm{id} - \widetilde{T}_f)$ に同型であることを証明し、単調回頭固有空間と交差コホモロジーとの間の直接的な関係を確立する。
• $\xi \neq 1$ のとき、同型 $j^*[-1]\mathbf{I}^\bullet_{\mathcal{U}}(\xi) \cong \ker(\xi^{-1}\mathrm{id} - T_f) \cong \ker(\xi^{-1}\mathrm{id} - \widetilde{T}_f)$ を確立し、ねじれ係数をもつ交差コホモロジーが単調回頭固有空間へ引き戻されることを示す。
• 具体的な設定、たとえば $X$ が滑らかな正規化 $M$ を持つ場合に結果を適用し、正規化写像のファイバー内の点の数を用いて、$H^1(F_{f,x}; \mathbb{Z})$ の $\mathrm{id}$-固有空間のランクを計算する。

実験結果

リサーチクエスチョン

• RQ1 ミルナー単調回頭作用素の perverse 固有空間と、ねじれ係数をもつ交差コホモロジーとの関係は何か？
• RQ2 $\mathbb{Z}_X[n] \twoheadrightarrow \mathbf{I}^\bullet_X$ の canonical surjection の核と、$\xi = 1$ のときの $\mathrm{id}$-固有空間との明確な関係は何か？
• RQ3 $\mathrm{id}$-固有空間と surjection の核との同型関係を、$\xi \neq 1$ の他の単位根へ一般化できるか？
• RQ4 ねじれ係数をもつ交差コホモロジー複体 $\mathbf{I}^\bullet_{\mathcal{U}}(\xi)$ は、超曲面上の単調回頭固有空間とどのように関係するか？
• RQ5 特定の幾何的設定において、これらの同型関係を通じて計算可能なトポロジカル不変量（たとえばベッチ数や固有空間のランク）は何か？

主な発見

• $\xi = 1$ のとき、自然な同型 $\mathbb{Z}_X[n] \cong \ker(\mathrm{id} - T_f)$ が存在し、surjection $\mathbb{Z}_X[n] \twoheadrightarrow \mathbf{I}^\bullet_X$ の核は $\ker(\mathrm{id} - \widetilde{T}_f)$ に同型である。これは、交差コホモロジーと $\xi = 1$ における単調回頭固有空間との直接的な関係を確立する。
• $\xi \neq 1$ のとき、引き戻し $j^*[-1]\mathbf{I}^\bullet_{\mathcal{U}}(\xi)$ は perverse 契約 $\ker(\xi^{-1}\mathrm{id} - T_f)$ に同型であり、$\ker(\xi^{-1}\mathrm{id} - \widetilde{T}_f)$ とも同型である。これは、$\xi = 1$ の場合の結果をすべての単位根へ一般化する。
• $X = V(f)$ が滑らかな正規化 $M$ を持つ場合、$H^1(F_{f,x}; \mathbb{Z})$ の $\mathrm{id}$-固有空間のランクは $m(x) - 1$ であり、ここで $m(x)$ は正規化写像のファイバー $F^{-1}(x)$ 内の点の数を表す。このランクは $\widetilde{IH}^0(B^\circ_\epsilon(x) \cap X; \mathbb{Z})$ に同型である。
• 孤立特異点 $x$ の場合、近傍サイクルの $0$-次コホモロジーにおける $\xi^{-1}$-固有空間の次元は、$\dim H^0(\phi_L[-1]\mathbf{I}^\bullet_{\mathcal{U}}(\xi))_x = (\Gamma_{f,L}^1 \cdot V(L))_x - \dim \ker(\xi^{-1}\mathrm{id} - (\phi_L[-1]\widetilde{T}_f)^0_x)$ を満たし、固有空間のランクに対する公式を提供する。
• $\dim_x \Sigma(f|_{V(L)}) = 0$ のとき、相対単調回頭作用素の $H^2(F_{f,x}, \bigcup_i F_{f,x_i}; \mathbb{Z})$ における $\mathrm{id}$-固有空間のランクは、$\big{(}\Gamma_{f,L}^1 \cdot V(L)\big{)}_x - \operatorname{rank} \operatorname{coker}\{r_{X,x}\} = -m(x) + \sum_i m(x_i)$ で与えられ、トポロジカル不変量と単調回頭データを結びつける。
• 比較複体 $\mathbf{N}^\bullet_X$ は正規化写像 $F: M \to X$ の多重点複体として特定され、点 $x \in \Sigma$ において、$-n+1$ 次元でコホモロジーが $\mathbb{Z}^{m(x)-1}$ である。これは、交差コホモロジーへの surjection の核に対する幾何的解釈を提供する。