[논문 리뷰] Intersection Cohomology and Perverse Eigenspaces of the Monodromy

David B. Massey|arXiv (Cornell University)|2018. 01. 07.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 4

한 줄 요약

이 논문은 애니지프레드 초면에서의 미르니 단조니 모노드로미 연산자의 펄스적 고유공간과 날카로운 계수를 가진 교차 코homology 사이의 정확한 연결 고리를 설정한다. $\xi$가 단위근일 때, 배경 공간 위의 날카로운 교차 코호몰로지 복합체의 당김은 모노드로미 연산자의 펄스적 고유공간과 동형임을 증명하며, $\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.

연구 동기 및 목표

• 애니지프레드 초면에서의 교차 코호몰로지와 날카로운 층이 표현하는 모노드로미 연산자의 고유공간 사이의 관계를 명확히 하기.
• 기존에 알려진 $\xi = 1$에서의 단위근에 대한 $\mathbb{Z}_X[n]$에서의 코어와 모노드로미의 $\mathrm{id}$-고유공간 사이의 동형관계를 $\xi \neq 1$인 모든 단위근으로 일반화하기.
• 특히 $\mathbb{Z}$ 위와 해석적 범주에서의 교차 코호몰로지와 호환되는 방식으로 모노드로미 고유공간을 포괄하는 펄스적 층과 날카로운 계수를 사용한 프레임워크 제공하기.

제안 방법

• 기본 공간 $\mathcal{U}$ 위의 펄스적 층의 범주를 사용하고, 각 단위근 $\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$를 정의한다. 이는 $\mathbb{Z}_X[n] \twoheadrightarrow \mathbf{I}^\bullet_X$의 자연스러운 전성사상의 코어로, 상수 층이 교차 코호몰로지가 되지 못함을 기록한다.
• 모노드로미 작용의 $\mathrm{id}$-고유공간 $\ker(\mathrm{id} - T_f)$가 $\mathbb{Z}_X[n]$과 동형임을 증명하며, 전성사상의 코어 $\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$가 정규화가 매끄럽다면, 정규화 사상의 섬유에서의 점 수를 이용해 $H^1(F_{f,x}; \mathbb{Z})$에서의 $\mathrm{id}$-고유공간의 랭크를 계산한다.

실험 결과

연구 질문

• RQ1 모노드로미 연산자의 펄스적 고유공간은 날카로운 계수를 가진 교차 코호몰로지와 어떻게 관련되어 있는가?
• RQ2 자연스러운 전성사상 $\mathbb{Z}_X[n] \twoheadrightarrow \mathbf{I}^\bullet_X$의 코어와 $\xi = 1$에서의 $\mathrm{id}$-고유공간 사이의 정확한 관계는 무엇인가?
• RQ3 단위근 $\xi \neq 1$에 대해 $\mathrm{id}$-고유공간과 전성사상의 코어 사이의 동형관계를 일반화할 수 있는가?
• RQ4 날카로운 교차 코호몰로지 복합체 $\mathbf{I}^\bullet_{\mathcal{U}}(\xi)$는 초면 위의 모노드로미 고유공간과 어떻게 관련되어 있는가?
• RQ5 특정 기하 설정에서 이러한 동형관계를 통해 계산할 수 있는 위상수학적 불변량(예: 베티 수 또는 고유공간의 랭크)은 무엇인가?

주요 결과

• $\xi = 1$일 때, 자연스러운 동형관계 $\mathbb{Z}_X[n] \cong \ker(\mathrm{id} - T_f)$가 존재하며, 전성사상의 코어는 $\ker(\mathrm{id} - \widetilde{T}_f)$와 동형임을 보여, 교차 코호몰로지와 $\xi = 1$에서의 모노드로미 고유공간 사이의 직접적 연결 고리를 확립한다.
• $\xi \neq 1$일 때, 당김 $j^*[-1]\mathbf{I}^\bullet_{\mathcal{U}}(\xi)$는 펄스적 층 $\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$일 때, 상대 모노드로미의 $\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}$이다. 이는 교차 코호몰로지로의 전성사상의 코어에 대한 기하학적 해석을 제공한다.