[논문 리뷰] Geometry of polynomial mappings at infinity via intersection homology

Anna Valette, Guillaume Valette|arXiv (Cornell University)|2010. 07. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 6

한 줄 요약

이 논문은 비영인 야코비안을 가진 다항식 사상 $F: \mathbb{C}^2 \to \mathbb{C}^2$ 와 관련된 가상다양체 $N_F$ 를 도입하며, 교차호모로지와 $L^\infty$ 호모로지로 무한대에서의 특이점을 분석한다. $F$ 가 비준거니임과 동시에 $N_F$ 의 $L^\infty$ 호모로지 또는 교차호모로지가 비자명함과 동치임을 증명함으로써, 구성된 특이 공간의 위상적 불변량을 통해 야코비안 추측에 대한 새로운 미분기하학적 접근을 제시한다.

ABSTRACT

For given polynomial map $F:\C^2 o\C^2$ with nonvanishing jacobian we associate a variety whose homology or intersection homology describes the geometry of singularities at infinity of this map.

연구 동기 및 목표

• 비영인 야코비안을 가진 다항식 사상의 비준거니임을 탐지하기 위한 새로운 위상적 불변량을 개발하는 것.
• 다항식 사상 $F: \mathbb{C}^2 \to \mathbb{C}^2$ 의 무한대에서의 특이점 기하학을 구성된 가상다양체 $N_F$ 의 호모로지와 연결하는 것.
• 사상 $F$ 의 비준거니임과 $N_F$ 의 $L^\infty$ 호모로지 또는 교차호모로지의 비자명성 사이의 연결 고리를 설정하는 것.
• 특이 공간과 메트릭 불변량을 사용하여 야코비안 추측을 미분기하학적으로 재구성하는 것.

제안 방법

• 사상 $F$ 의 그래프와 $\mathbb{P}^2 \times \mathbb{C}^2$ 에서의 클로저로부터 가상다양체 $N_F$ 를 구성하고, 그래프를 제거하여 점 游행 성격을 분리한다.
• 일반적으로 유한한 사상에 대해 1차원 복소 유리다양체인 Jelonek 집합 $J_F$ 를 점근적 다양체로 사용한다.
• 정규점의 집합 $\mathrm{Reg}(N_F^R)$ 을 정의하고, 최대 펄서비티에서 $L^\infty$ 호모로지와 교차호모로지 사이의 de Rham 정리를 통해 $L^\infty$ 호모로지를 분석한다.
• 무한대에서의 탄성과 접선 원뿔을 사용하여 점근적 사이클과 그 경계 성질을 분석한다.
• 반대칭가족과 변형 재접속을 사용하여 무한대에서의 비자명 사이클이 $N_F^R$ 에서 비자명 호모로지를 유도함을 보인다.
• 모든 고리가 짝수 codimension을 가지므로, 교차호모로지에서 Poincaré 대칭이 성립하는, 분할된 가상다양체 $N_F$ 를 활용한다.

실험 결과

연구 질문

• RQ1 비영인 야코비안을 가진 다항식 사상 $F: \mathbb{C}^2 \to \mathbb{C}^2$ 는 언제 비준거니임이 되는가?
• RQ2 이러한 사상의 비준거니임은 $F$ 로부터 구성된 특이 공간의 위상적 불변량을 통해 탐지할 수 있는가?
• RQ3 $N_F^R$ 의 정규점의 $L^\infty$ 호모로지가 $F$ 의 점근적 기하학과 어떻게 관련되는가?
• RQ4 교차호모로지의 역할은 다항식 사상의 무한대에서의 특이점의 위상을 포착하는 데 무엇인가?
• RQ5 야코비안 추측은 가상다양체 $N_F$ 의 교차호모로지 또는 $L^\infty$ 호모로지의 소멸을 통해 재구성할 수 있는가?

주요 결과

• 비영인 야코비안을 가진 사상 $F: \mathbb{C}^2 \to \mathbb{C}^2$ 는 충분히 큰 $R$ 에 대해 $L^\infty$ 호모로지 $H^2_\infty(\mathrm{Reg}(N_F^R))$ 가 비자명할 때에만 비준거니임이 된다.
• 충분히 큰 $R$ 에 대해 $N_F^R := N_F \cap \overline{B}(0,R)$ 는 경계를 가진 분할된 가상다양체이다.
• 사상 $F$ 가 유계집합으로 보내는 집합 $A$ 의 무한대에서의 접선 원뿔 $C_\infty(A)$ 는 $F$ 의 초기형의 영점에 포함된다.
• 만약 $F$ 가 준거니이면, $N_F$ 는 $\mathbb{C}^2$ 와 위상동형이므로 $H_2(N_F) = IH^\overline{t}_2(N_F) = 0$ 이 되어 2차 호모로지가 자명하다.
• 사이클 $S^1 \cdot a$ 는 $E'_0 \subset V \cap S^3$ 에서 체인의 경계를 이룬다. 그러나 그 호모로지 클래스가 비자명하므로, 이는 비준거니임을 모순적으로 시사한다.
• 최대 펄서비티에서 $L^\infty$ 형식에 대한 de Rham 정리는 $L^\infty$ 호모로지와 교차호모로지 사이의 동형을 수립하여, 정리 3.4의 핵심 동치를 가능하게 한다.