[논문 리뷰] Intersection Homology and Alexander Modules of Hypersurface Complements

Laurenţiu Maxim|arXiv (Cornell University)|2004. 09. 21.

Geometric and Algebraic Topology참고 문헌 19인용 수 7

한 줄 요약

이 논문은 복소 프로젝티브 공간 내 초표면의 보완에서 아르스레인 모듈러스를 연구하기 위해 새로운 교차 호모로지 프레임워크를 제안한다. $ i \leq n $ 인 경우, 이러한 모듈러스들이 유리 라우렌트 다항식의 링 위에서 토르션임을 보여준다. 주요 기여는 관련된 전역 아르스레인 다항식의 영점이 순서 $ d $ 의 단위근임을 보이며, 이는 국소적 특이성의 구조에 의해 완전히 결정되며, 리브고버의 결과를 비격리된 특이성으로 확장한 것이다. 이는 유도 범주 기법을 통해 달성되었다.

ABSTRACT

Let $V$ be a degree $d$, reduced hypersurface in $\mathbb{CP}^{n+1}$, $n \geq 1$, and fix a generic hyperplane, $H$. Denote by $\mathcal{U}$ the (affine) hypersurface complement, $\mathbb{CP}^{n+1}- V \cup H$, and let $\mathcal{U}^c$ be the infinite cyclic covering of $\mathcal{U}$ corresponding to the kernel of the linking number homomorphism. Using intersection homology theory, we give a new construction of the Alexander modules $H_i(\mathcal{U}^c;\mathbb{Q})$ of the hypersurface complement and show that, if $i \leq n$, these are torsion over the ring of rational Laurent polynomials. We also obtain obstructions on the associated global polynomials. Their zeros are roots of unity of order $d$ and are entirely determined by the local topological information encoded by the link pairs of singular strata of a stratification of the pair $(\mathbb{CP}^{n+1},V)$. As an application, we give obstructions on the eigenvalues of monodromy operators associated to the Milnor fibre of a projective hypersurface arrangement.

연구 동기 및 목표

• 격리된 특이성을 가진 초표면에 대해 리브고버의 아르스레인 모듈러스 결과를 비격리된 특이성을 가진 초표면으로 일반화하기.
• 계수를 $ \Gamma = \mathbb{Q}[t,t^{-1}] $ 로 가지는 국소계와 교차 호모로지, 그리고 유도 범주 기법을 사용하여 아르스레인 모듈러스의 새로운 호모로지적 구성 제공하기.
• $ i \leq n $ 인 경우 아르스레인 모듈러스 $ H_i(\mathcal{U}^c; \mathbb{Q}) $ 가 비격리된 특이성 존재하더라도 $ \Gamma $ 위에서 토르션임을 확립하기.
• 전역 아르스레인 다항식이 특이성의 국소 링크 불변량에 의해 완전히 결정되며, 그 영점이 순서 $ d $ 의 단위근임을 보여주기.

제안 방법

• 링킹 수 호모모르피즘을 사용하여 보완 $ \mathcal{U} = \mathbb{CP}^{n+1} \setminus (V \cup H) $ 상에 붕괴가 $ \Gamma = \mathbb{Q}[t,t^{-1}] $ 인 국소계 $ \mathcal{L}_H $ 정의하기.
• 웨이블리-스트라이프 공간에 대한 델리뉴의 축약적 방법을 사용하여 교차 호모로지 복합체 $ IC_{\bar{m}}^\bullet(\mathbb{CP}^{n+1}, \mathcal{L}_H) $ 구성하기.
• $ IC_{\bar{m}}^\bullet $ 이 $ V \cup H $ 에 제한되었을 때의 준동치가 0임을 증명하여, 교차 호모로지와 고전적 아르스레인 모듈러스 사이의 동형관계 확립하기.
• 유도 범주 프레임워크를 사용하여 아르스레인 모듈러스를 초콜로지 그룹 $ \mathbb{H}^{-i}(\mathbb{CP}^{n+1}; IC_{\bar{m}}^\bullet) $ 로 표현하고, $ i \leq n $ 인 경우 이들이 토르션임을 보이기.
• 특이성의 링크 쌍의 국소 불변량을 분석하여 전역 아르스레인 다항식을 국소 불변량과 연결하고, 그 영점이 순서 $ d $ 의 단위근임을 보여주기.
• 프로젝티브 배열의 밀너 피브레이션 이론에 이 이론을 적용하여 전역 모듈러스 구조와 단형 동역학 고유값을 연결하기.

실험 결과

연구 질문

• RQ1 교차 호모로지 기법을 사용하여 비격리된 특이성을 가진 초표면 보완의 아르스레인 모듈러스를 어떻게 구성하고 기술할 수 있는가?
• RQ2 전역 아르스레인 모듈러스와 특이성의 국소 위상수학 사이의 정확한 관계는 무엇인가?
• RQ3 전역 아르스레인 다항식의 영점이 왜 순서 $ d $ 의 단위근이며, 국소 링크 불변량에 의해 어떻게 결정되는가?
• RQ4 특이성이 비격리된 경우 아르스레인 모듈러스가 $ \Gamma $ 위에서 여전히 토르션인가?
• RQ5 이 교차 호모로지 프레임워크를 통해 밀너 피브리의 단형 동역학 고유값을 제약할 수 있는가?

주요 결과

• $ i \leq n $ 인 경우, 비격리된 특이성을 가질 수 있는 $ V $ 에 대해서도 아르스레인 모듈러스 $ H_i(\mathcal{U}^c; \mathbb{Q}) $ 는 링 $ \Gamma = \mathbb{Q}[t,t^{-1}] $ 위에서 토르션임을 보였다.
• 전역 아르스레인 다항식 $ \delta_i(t) $ 의 영점은 순서 $ d $ 의 단위근이며, 이는 특이성의 국소 링크 쌍의 위상수학적 성질에 의해 완전히 결정된다.
• 만약 $ V $ 가 유리 호모로지 다양체이고 $ H $ 가 일반적이라면, $ i \leq n $ 인 경우 $ \delta_i(t) $ 는 $ t-1 $ 의 인수를 포함하지 않으며, 이는 2.1조에서 보였다.
• $ \mathbb{CP}^3 $ 내에서 $ x^3 + y^3 + z^3 + z^2 = 0 $ 인 초표면의 경우, 아르스레인 모듈러스 $ H_2(\mathcal{U}^c; \mathbb{Q}) $ 는 자명하며, 즉 $ \delta_2(t) \sim 1 $ 이다. 이는 $ t-1 $ 과 비단위근 인수의 부재로 인해 발생한다.
• $ f(x,y,z,t) = x^{d-1}z + x t^{d-1} + y^d + x y t^{d-2} $ 의 경우, 전역 아르스레인 다항식은 $ \delta_2(t) = t^{d-1} + \cdots + 1 $ 이며, 밀너 단형 동역학의 특성다항식과 일치한다.
• 교차 호모로지 구성은 $ IH_i^{\bar{m}}(\mathbb{CP}^{n+1}; \mathcal{L}_H) $ 와 고전적 아르스레인 모듈러스 $ H_i(\mathcal{U}^c; \mathbb{Q}) $ 사이의 표준적 동형관계를 제공하며, 새로운 쌍대성 프레임워크를 수립한다.