[논문 리뷰] On the complement of a positive normal crossing divisor with no triple intersection in a projective variety

Khoa Lu Nguyen|arXiv (Cornell University)|2015. 12. 28.

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

한 줄 요약

이 논문은 복소다양체에서 삼중 교차가 없는 양의 정규교차 분할의 보완의 심플렉틱 위상수학을 연구하며, 분할이 매끄럽기에서 정규교차로 변형될 때 보완의 Weinstein 구조가 통제된 방식으로 변화함을 보여준다. 핵심 결과는 특이 보완을 매끄러운 보완에 대한 Weinstein 호모토피 임베딩으로 포함시키며, 그 차이가 임의의 임계점이 특이점 집합의 것과 대응되는 기본적인 코버디즘으로 분해됨을 밝히며, 이는 라그랑주 심플렉틱 쐐기와 분해를 통해 심플렉틱 불변량을 계산할 수 있도록 한다.

ABSTRACT

We describe how the Weinstein structure of the complement is modified when a positive divisor degenerates to a normal crossing divisor with no triple intersection.

연구 동기 및 목표

• 매끄러운 선다발의 절편의 보완의 Weinstein 구조가 영점 분할이 삼중교차가 없는 정규교차 분할로 변형될 때 어떻게 변화하는지 이해하는 것.
• Weinstein 코버디즘과 임계점의 언어로 매끄럽고 특이한 보완 간의 위상수학적 및 심플렉틱적 변화를 묘사하는 것.
• 매끄럽고 특이한 보완의 심플렉틱 호모로지 사이의 Viterbo 전달 사상 수립.
• 매끄러운 경우의 라그랑주 불안정 부분다양체가 분해와 특이점 집합과 어떻게 관련되는지 밝히는 것.
• 정규교차 분할로의 컴actification을 통해 아핀 다양체의 심플렉틱 불변량을 계산할 수 있는 프레임워크 제공.

제안 방법

• 분할이 정규교차 분할을 이루고 $ \epsilon \neq 0 $ 일 때는 매끄럽게 되는 $ s_\epsilon = s_0 + \epsilon h $ 형태의 절편의 가 Families 를 구성하여 변형을 모델링한다.
• Liouville 형식 $ \lambda_\epsilon = -d^c \phi_\epsilon $ 를 통해 보완 $ W_\epsilon = X \setminus D_\epsilon $ 에서 Weinstein 구조를 정의하며, $ \phi_\epsilon = -\log \|s_\epsilon\|^2 $ 이다.
• 심플렉틱 이웃 정리와 $ D_\epsilon $ 의 정규(bundle)에 대한 연결 1-form $ \alpha $ 를 사용하여 $ X $ 내부의 $ D_\epsilon $ 근방으로의 심플렉틱 동형사상을 구성하며, 심플렉틱 형식을 유지한다.
• 원래의 구조가 임계점 $ p \in \bar{S} $ 의 불안정 부분다양체가 $ D_\epsilon(K) \cap \{ \tilde{\phi}_\epsilon \leq C \} $ 형태의 쐐기로 표현되는 방식으로 $ W_\epsilon $ 상에서 Weinstein 호모토피를 구성한다.
• 복소수 분해 $ \pi = s_0/h: X \setminus h^{-1}(0) \to \mathbb{C} $ 를 사용하여 매끄러운 경우의 라그랑주 불안정 부분다양체를 묘사한다.
• 심플렉틱 이웃 정리와 반경 스케일링을 적용하여 리우빌 벡터장이 경계 $ Y $ 와 외부로 교차하도록 보장하며, 리브 동역학이 원환면 배럴을 따라 분할하는 접촉 경계를 구성할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 매끄러운 분할이 삼중교차가 없는 정규교차 분할로 변형될 때 보완의 Weinstein 구조는 어떻게 변화하는가?
• RQ2 매끄럽고 특이한 보완 간의 차이의 위상수학적 및 심플렉틱적 성격은 무엇인가?
• RQ3 특이 보완의 심플렉틱 호모로지가 전달 사상을 통해 매끄러운 보완의 것과 어떻게 연결되는가?
• RQ4 매끄러운 경우의 라그랑주 불안정 부분다양체의 기하학적 기원은 무엇이며, 특이점 집합과 어떻게 관련되는가?
• RQ5 정규교차 분할로의 컴 pactification과 그로 유도되는 심플렉틱 위상수학을 통해 아핀 다양체의 심플렉틱 불변량을 계산할 수 있는가?

주요 결과

• 특이 보완 $ (W_0, \lambda_0, \phi_0) $ 가 매끄러운 보완 $ (W_\epsilon, \lambda_\epsilon, \phi_\epsilon) $ 에 대한 Weinstein 호모토피 임베딩을 갖는다. 이는 특이 보완이 심플렉틱적으로 매끄러운 보완에 포함됨을 보여준다.
• 보완 $ W_\epsilon \setminus i(W_0) $ 는 기본적인 Weinstein 코버디즘으로 분해되며, 임계점은 특이점 집합 $ \bar{S} $ 의 것과 대응되며, 인덱스가 두 단위만큼 이동된다.
• 적절한 Weinstein 호모토피 하에, $ W_\epsilon $ 의 임계점의 라그랑주 불안정 부분다양체는 하위레벨 $ K \subset \bar{S} $ 에 대해 $ D_\epsilon(K) \cap \{ \tilde{\phi}_\epsilon \leq C \} $ 형태의 쐐기로 표현될 수 있다.
• 복소수 차원 2의 경우, 불안정 부분다양체는 쐐기 $ D_\epsilon(p) $ 이며, 이와 분할 $ D\_\epsilon $ 과의 교차는 임베드된 라그랑주 원 $ L_0 $ 이다.
• $ \Gamma = D_\epsilon(p) \cap Y $ 는 접촉 경계 $ Y $ 상의 레지오니언 코어니언이 되며, 벡터장 호모토피를 따라 흐르는 라그랑주 원들의 가중족 $ \{L_t\} $ 을 통해 단위 정규 원환면 배럴 $ L_0 $ 과 해밀턴적 동형이다.
• $ W_\epsilon $ 의 심플렉틱 호모로지가 Viterbo 전달 사상 $ \Phi $ 를 통해 $ W_0 $ 의 심플렉틱 호모로지로 사상되며, 그 사영의 컨피그레인트는 라그랑주 불안정 부분다양체로 구성된 체인 복합체 $ LH_* $ 와 quasi-isomorphic하며, 랩드 푸카야 분류의 호크시드 복합체와 유사하다.