[논문 리뷰] Homotopy groups of complements to ample divisors

Anatoly Libgober|ArXiv.org|2004. 04. 19.

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

한 줄 요약

이 논문은 유티레스 쌍대성의 일반화를 통해 고립된 비정상 교차를 가진 약한 앰플 다발의 여부의 호모토피 군을 조사한다. 기본군의 가환성에 대한 퇄소 정리의 일반화와 아벨 코버의 호지 이론을 사용하여, 특정 범위 내에서 고차 호모토피 군이 퇴화하고, 이들의 지지집과 모티빅 제타 함수 및 준접합 다면체 사이의 연결 고리를 규명한다. 특히 초평면 배열의 경우에 대해 이와 같은 성질이 성립한다.

ABSTRACT

We study the homotopy groups of complements to reducible divisors on non-singular projective varieties with ample components and isolated non normal crossings. We prove a vanishing theorem generalizing conditions for commutativity of the fundamental groups. The calculation of supports of non vanishing homotopy groups as modules over the fundamental group in terms of the geometry of the locus of non-normal crossings is discussed. We review previous work on the local study of isolated non-normal crossings and relate the motivic zeta function to the local polytopes of quasiadjunction. As an application, we obtain information about the support loci of homotopy groups of arrangements of hyperplanes

연구 동기 및 목표

• 고립된 특이점의 경우를 초월하여, 환원 가능 다발의 여부에 대한 호모토피 군의 이해를 확장하기 위해.
• 기본군의 가환성에 대한 퇴소 정리를 고차 호모토피 군으로 일반화하기 위해.
• 비퇴화하는 호모토플리 그룹의 지지집을 기본군 위의 모듈로서 기하학적 자료(비정상 교차 위치)를 사용해 기술하기 위해.
• 데네프-로저의 모티빅 제타 함수와 아벨 코버의 호지 이론적 불변량을 통해 국소 준접합 다면체 간의 정확한 관계를 규명하기 위해.
• 특히 ℙ³ 내의 쿠머 구성에서 평면들의 조합에 대한 여부의 두 번째 호모토피 군을 명시적으로 계산하기 위해.

제안 방법

• 일부 범위 내에서 기본군이 고차 호모토플리 군에 작용하는 것이 자명하다는 것을 증명하여, 이러한 군들에 대한 호모로지적 통제를 가능하게 한다.
• 호모로지 대수학과 스펙트럴 시퀀스를 사용하여 호모토피 군을 계산하고, ℙⁿ⁺¹ 내에서 성분 수가 n+1개 이상이고 고립된 비정상 교차를 가진 다발에 대해 2 ≤ i ≤ n−1 범위에서 퇴화를 확립한다.
• 기본군의 군환에서 비퇴화하는 호모토플리 군의 지지집으로서 특성 다양체를 정의하고, 국소 시스템 호모로지의 점프 위치와 연결한다.
• 아벨 코버의 호지 이론을 적용하여, 모티빅 제타 함수의 호지 실현과 준접합 다면체 간의 관계를 규명한다.
• 특이점의 링크에 대한 특이점의 해소와 에퀴바리언트 호모로지를 사용하여 아벨 코버의 불변량을 계산한다.
• 그로텐디크 링 위에서 생성함수 형태로 표현된 모티빅 제타 함수를 활용하며, 베티 실현과 호지 실현이 특성 다양체와 준접합 자료를 결정한다.

실험 결과

연구 질문

• RQ1 고립된 비정상 교차를 가진 다발에 대해 기본군이 고차 호모토플리 군에 자명하게 작용하는 기하적 조건은 무엇인가?
• RQ2 비퇴화하는 호모토플리 군의 지지집은 π₁의 문자 다양체의 대수적 부분다양체로 어떻게 기술될 수 있는가?
• RQ3 아벨 경우에서 모티빅 제타 함수와 준접합 다면체 사이의 정확한 관계는 무엇인가?
• RQ4 성분 수가 n+1개 이상이고 고립된 비정상 교차를 가진 다발에 대해 ℙⁿ⁺¹ 내의 여부의 호모토플리 군이 퇴화하는 범위는 무엇인가?
• RQ5 모티빅 제타 함수의 호지 실현은 아벨 코버의 첫 번째 호모로지에서 F¹ 필터레이션의 차원을 어떻게 계산하는 데 사용될 수 있는가?

주요 결과

• ℙⁿ⁺¹ 내에서 고립된 비정상 교차를 가지며 성분 수가 n+1개 이상인 다발 D에 대해, 모든 i에 대해 2 ≤ i ≤ n−1 이면 πᵢ(ℙⁿ⁺¹ − D) = 0 이다.
• 지정된 범위 내에서 기본군이 고차 호모토플리 군에 작용하는 것이 자명하므로, 이러한 군의 연구는 호모로지 불변량으로 축소된다.
• 첫 번째 비자명한 호모토플리 군의 지지집은 π₁-모듈로 간주할 때 특성 다양체이며, 국소 시스템 호모로지의 점프 위치와 일치한다.
• 모티빅 제타 함수의 베티 실현은 Tᵢ → ∞의 극한을 통해 특성 다양체 V₁의 핵심 성분을 결정한다.
• n=1일 때, 모티빅 제타 함수의 호지 실현은 준접합 다면체를 결정하며, dim F¹H¹(Xₘ₁,…,ₘᵣ)ₚ ≥ 1이 되는 것은 호지 실현에서 예외적 집합의 기여가 비영이 되는 것과 동치이다.
• ℙ³ 내의 쿠머 구성에서 평면들의 조합에 대해 여부의 두 번째 호모토플리 군 π₂는 비자명하며, 개발된 방법을 통해 계산 가능하다.