[논문 리뷰] A transcendental approach to Kollár's injectivity theorem II

Osamu Fujino|arXiv (Cornell University)|2007. 05. 09.

Geometry and complex manifolds참고 문헌 21인용 수 17

한 줄 요약

이 논문은 곡률 조건과 오사와-타케구치의 왜곡된 나카노 항등식을 기반으로 한 전이적 접근을 통해 콜라르의 단사성 정리의 상대적 형태를 수립한다. 나카노 준양성과 선다발의 곡률 상한 조건 하에서, 정칙 섹션에 의한 곱셈이 승수 이상의 직접 이미지에 대한 단사 사상으로 이어진다. 이는 승수 이상의 직접 이미지에 대한 단사성 정리를 증명한다.

ABSTRACT

We treat a relative version of the main theorem in my previous paper: A transcendental approach to Kollár's injectivity theorem. More explicitly, we give a curvature condition that implies Kollár type cohomology injectivity theorems in the relative setting. To carry out this generalization, we use the Ohsawa-Takegoshi twisted version of Nakano's identity.

연구 동기 및 목표

• 분석적 방법을 사용하여 콜라르의 단사성 정리를 상대적 설정으로 일반화하는 것.
• 특이 계량을 가진 복소 다발의 곡률 조건 하에서 코homological 단사성 정리를 수립하는 것.
• 곡률 기반 기준을 통한 복소기하학에서의 토포로지 자유성과 소멸 정리의 프레임워크를 제공하는 것.
• 승수 이상의 이상을 이용하여 에노키의 단사성 정리와 카와마타–비에흐베그–나델 소멸 정리를 상대적 사상으로 확장하는 것.
• 대수기하학에서 소멸 정리에 대한 기하학적 접근과 분석적 접근 간의 관계를 명확히 하는 것.

제안 방법

• 벡터 다발 위의 $\bar{\partial}$-방정식을 분석하기 위해 오사와-타케구치의 나카노 항등식의 왜곡된 형태를 사용한다.
• 곡률 조건을 적용한다: $\Theta(E) + \mathrm{Id}_E \otimes \Theta(F)$ 의 나카노 준양성과 $\Theta(F) \geq -\widetilde{\gamma}$ 를 통의 의미에서의 곡률 조건.
• 단사성을 보장하기 위해 $\varepsilon_0 \mathrm{Id}_E \otimes \Theta(L)$ 를 포함하는 엄격한 양성 조건을 도입한다.
• 특이 헤르미트 계량을 가진 선다발에 관련된 승수 이상의 이상 $\mathcal{J}(h_F)$ 를 사용한다.
• 정칙 섹션 $s$ 에 대해 유도된 사상 $\times s: R^q f_*(K_X \otimes E \otimes F \otimes \mathcal{J}(h_F)) \to R^q f_*(K_X \otimes E \otimes F \otimes \mathcal{J}(h_F) \otimes L)$ 을 분석한다.
• 복소다양체와 켈러 다양체 사이의 전순사 사상 $f: X \to Y$ 를 통한 상대적 설정을 사용한다.

실험 결과

연구 질문

• RQ1 상대적 설정에서 정칙 섹션에 의한 곱셈이 고차 직접 이미지에 대해 단사성을 유도하는 곡률 조건은 무엇인가?
• RQ2 나카노 준양성과 특이 계량 곡률 상한 조건을 어떻게 조합하여 직접 이미지의 이상이 자유임을 보장할 수 있는가?
• RQ3 상대적 경우에서 콜라르의 기하학적 단사성 정리와 에노키의 분석적 정리 간의 정확한 관계는 무엇인가?
• RQ4 오사와-타케구치의 왜곡된 나카노 항등식을 사용하여 승수 이상의 이상을 위한 새로운 소멸 정리를 유도할 수 있는가?
• RQ5 선다발이 네프이자 크고도 양성적이지만 준표준적이지 않은 예가 존재하는가? 이러한 경우 코homological 단사성에 어떤 영향을 미치는가?

주요 결과

• 주요 정리는 곡률 및 계량 조건 하에서 $R^q f_*(K_X \otimes E \otimes F \otimes \mathcal{J}(h_F))$ 에서의 곱셈 사상 $\times s$ 의 단사성을 수립한다.
• 모든 $q \geq 0$ 에 대해 $R^q f_*(K_X \otimes E \otimes F \otimes \mathcal{J}(h_F))$ 의 이상 자유성은 증명되었으며, 그 결과 이 층은 $q > \dim X - \dim Y$ 일 때 소멸함을 유도한다.
• 카와마타–비에흐베그–나델 유형의 소멸 정리가 도출된다: $f$-네프-빅이고 나카노 준양성 조건을 만족할 경우 $R^q f_*(K_X \otimes E \otimes \mathcal{L} \otimes \mathcal{J}) = 0$ 이다. $q > 0$ 일 때.
• 콜라르 유형의 소멸 정리가 유도된다: $\mathcal{L}^\otimes m \simeq f^*\mathcal{N} \otimes \mathcal{O}_X(D)$ 이고 $\mathcal{N}$ 이 $g$-네프-빅일 경우 $R^p g_* R^q f_*(K_X \otimes E \otimes \mathcal{L} \otimes \mathcal{J}) = 0$ 이다. $p > 0$, $q \geq 0$ 일 때.
• 특이 계량 곡률이 준양성임에도 불구하고 준표준적이지 않은 선다발의 예가 구성되었으며, 이 경우 단사성이 실패할 수 있음을 보여준다. 특히 모든 곡선 $C'$ 에 대해 $\mathcal{M} \cdot C' > 0$ 이지만 단사성이 성립하지 않는 경우가 존재한다.
• 논문은 일부 선다발이 양성의 교차수를 가지지만 절댓값이 없는 경우(예: 5.9 예시)에 부드러운 헤르미트 계량을 가진 곡률이 준양성임을 보장할 수 있는지 여부를 열어두고 있다.