[논문 리뷰] The Zariski-Lefschetz principle for higher homotopy groups of nongeneric pencils

Mihai Tibăr|arXiv (Cornell University)|2002. 07. 12.

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

한 줄 요약

이 논문은 고립 특이점을 가진 특이 복소 공간 위의 비일반적 피 pencil 에 대해 고차 호모토피 군에 대한 자르스키-레프셰츠 유형 정리를 수립한다. 자르스키-반캄펜 정리를 고차 호모토피 군으로 일반화하며, 전역 호모토피 변동 맵을 도입하여 πₖ₊₁(Xc) → πₖ₊₁(X) 의 핵을 기술한다. 이 핵은 연결성 및 깊이 조건 하에서 이러한 맵들의 이미지에 의해 생성됨을 보이며, 고전적인 레프셰츠 유형 결과를 특이적이고 비일반적인 설정으로 확장한다.

ABSTRACT

We prove a general Zariski-van Kampen-Lefschetz type theorem for higher homotopy groups of generic and nongeneric pencils on singular open complex spaces.

연구 동기 및 목표

• 비일반적 피 pencil 의 맥락에서 자르스키-반캄펜 정리를 기본군에서 고차 호모토피 군으로 일반화하기.
• 특이 열린 복소 공간에 대해 자르스키-레프셰츠 정리의 호모토피 이론적 유사체를 제공하기.
• '소멸 호모토피'의 생성자를 전역 변동 맵을 통해 규명하여 고전적 피카르드-레프셰츠 이론을 고차 호모토피 군으로 확장하기.
• 고립 특이점과 비일반적 피 pencil 이 존재하는 상황에서도 일반 섬유의 포함사상이 고차 호모토피 군에서 동형사상 또는 전성사상을 유도하는 조건을 규명하기.

제안 방법

• 특이점 주위의 밀너 볼을 사용하여 임계 섬유 내의 특이점들에 대해 정의된 πq(Xc, X∗a, *) → πq(Xc, *) (q ≥ 3) 인 전역 호모토피 변동 맵 hvara 를 도입한다.
• 블레이커스-메이시 정리(호모토피 제거)를 적용하여 변동 맵을 쌍 (X∗D, Xc) 의 장점 맵과 연결한다.
• 후레비치 동형사를 사용하여 호모토피 군과 호모로지 군을 비교하고, 호모로지에서의 결과를 호모토피로 이행할 수 있도록 한다.
• πk+1(Xc) → πk+1(X) 의 핵을 제어하기 위해 연결성 및 호모토피 깊이 조건 (hdX∩SingSpX ≥ k+2 또는 k+3) 을 도입한다.
• 기저 공간의 축을 따라 나시의 블로잉업을 통해 윌슨 스트라티피케이션을 정의하고 특이점을 분리한다.
• 표준 포함사상 Xc → X 를 XD 로 대체하며, 특정 조건 하에서 XD 는 X 와 호모토피 동치이므로 분석을 단순화한다.

실험 결과

연구 질문

• RQ1 비일반적 피 pencil 의 맥락에서 자르스키-반캄펜 정리는 기본군에서 고차 호모토피 군으로 어떻게 일반화될 수 있는가?
• RQ2 고립 특이점을 가진 피 pencil 의 고차 호모토피 군에서 '소멸 호모토피'를 생성하는 대수적-위상수학적 메커니즘은 무엇인가?
• RQ3 특이 복소 공간에서 일반 섬유의 포함사상이 고차 호모토피 군에서 동형사상 또는 전성사상을 유도하는 조건은 무엇인가?
• RQ4 축 상의 특이점(비일반적 피 pencil) 이 총공간의 호모토피 유형과 포함사상의 핵에 어떤 영향을 미치는가?
• RQ5 k ≥ 2 일 때, 호모토피 변동 맵이 πk+1(Xc) → πk+1(X) 의 핵을 생성함을 보일 수 있는가?

주요 결과

• k ≥ 2 이고 hdX∩SingSpX ≥ k+3 이면, πk+1(Xc) → πk+1(X) 의 전성사상의 핵은 hvara 의 이미지들에 의해 생성된다.
• k ≥ 0 이고 (Xc, Xc ∩ A) 및 (Xc, X∗a) 가 k-연결이며 hdX∩SingSpX ≥ k+2 이면, 모든 q ≤ k+1 에 대해 πq(X, Xc, *) = 0 이다. 이는 포함사상 Xc → X 가 (k+1)-동치임을 의미한다.
• 호모토피 변동 맵 hvara 는 π1(X∗a, *) 와 π1(Xc, *) 의 작용에 대해 자연스러운 전성사상 π1(X∗a, *) ։ π1(Xc, *) 하에서 교환된다. 이는 π1(Xc, X∗a, *) 가 자명할 때 성립한다.
• Pn 위의 일반적 피 pencil 의 고전적 경우에서 이 결과는 알려진 연결성 정리들을 복구하고 강화한다: dim V ≤ 2n − 5 이면 H ∩(Y \ V) → Y \ V 는 (n + codim V − 2)-동치이다.
• 이 정리는 차원 n ≥ k+2 (조건 (iii) 에 대해) 또는 n ≥ k+3 (조건 (iii’) 에 대해) 인 국소 완전교차 특이 공간에 적용 가능하며, 광범위한 적용 가능성을 보여준다.
• V 가 피 pencil 의 원소를 포함하는 경우는 별도로 다루며, 정리 5.2 는 (X, X \ Σ) 가 (k+1)-연결이고 (Xc, X∗ai) 가 k-연결이면 포함사상 Xc → X 가 (k+1)-동치임을 보여준다.