[논문 리뷰] Relative Bertini type theorem for multiplier ideal sheaves

Osamu Fujino|arXiv (Cornell University)|2017. 09. 04.

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

한 줄 요약

이 논문은 복소다양체가 기저 공간 위에 섬유화된 경우에 대해 승수 이상의 이상층에 대한 상대 베르티니 유형 정리들을 수립한다. 일반적인 성분에 대해 승수 이상층의 제약이 원래 이상층의 제약과 일치함을 증명한다. 응용으로, 고전적인 퇴화 결과들을 특이 계량을 가진 복소다양체의 가중치로 확장하는 상대 콜라르–네델 퇴화 정리를 증명한다.

ABSTRACT

We establish a relative Bertini type theorem for multiplier ideal sheaves. Then we prove a relative version of the Kollár--Nadel type vanishing theorem as an application.

연구 동기 및 목표

• 기저 복소해석적 공간 위에서 고전적인 승수 이상층에 대한 베르티니 유형 정리를 상대적 설정으로 일반화하는 것.
• 특이 계량이 존재할 경우 일반적인 초평면 절단에서 $\mathscr{J}(\varphi|_H) = \mathscr{J}(\varphi)|_H$의 등식이 성립하지 않을 수 있음을 다루는 것.
• 승수 이상층이 적절하게 제약되고 관련된 짧은 정확한 수열이 성립하는 초평면 절단의 자리지-밀도 집합이 존재함을 확립하는 것.
• 핵심 응용으로 상대 콜라르–네델 퇴화 정리의 상대적 형태를 증명하여 분석적 퇴화 정리를 가중치로 확장하는 것.
• 특히 보조적 소수의 존재가 제약된 승수 이상층의 행동에 미치는 영향을 조사하는 것.

제안 방법

• 복소다양체 $X$, 기저 $S$, 그리고 사영공간 $\mathbb{P}^N$을 포함하는 피복의 곱 다이어그램을 통해 상대적 설정을 구성한다.
• 사영공간 $\mathbb{P}^N$의 초평면의 역상 $h$를 통해 $X$에로의 초평면 절단의 가중치 $H^\dagger = (h^\dagger)^*H^\prime$를 정의한다.
• 승수 이상층의 제약을 제어하기 위해 오사와–타케구치의 $L^2$ 확장 정리를 적용한다.
• 다양한 분석적 기법, 특히 다변수 하모닉 함수와 특이 헤르미트 계량을 사용하여 $\mathscr{J}(\varphi|_{H^\dagger})$와 $\mathscr{J}(\varphi)|_{H^\dagger}$를 비교한다.
• 스코다의 정리와 $L^2$ 적분 가능성을 활용하여, 작은 $\varepsilon > 0$에 대해 $\mathscr{J}(\varphi) = \mathscr{J}(\varphi + \varepsilon\psi)$임을 보여, 소용돌이에 대한 안정성을 확보한다.
• 상대 엔키 타입의 단사성 정리인 정리 1.3을 적용하여 상대 콜라르–네델 퇴화 정리의 증명에서 고차원 직접 이미지의 퇴화를 유도한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 승수 이상층 $\mathscr{J}(\varphi)$의 일반적인 초평면 절단 $H^\dagger$에 대한 제약이 $\mathscr{J}(\varphi|_{H^\dagger})$와 일치하는가?
• RQ2 기저 $\mathbb{P}^N$에 대해 자연스러운 짧은 정확한 수열 $0 \to \mathscr{J}(\varphi) \otimes \mathcal{O}_X(-H^\dagger) \to \mathscr{J}(\varphi) \to \mathscr{J}(\varphi|_{H^\dagger}) \to 0$이 성립하는 초평면 절단의 자리지-밀도 집합이 존재하는가를 보장할 수 있는가?
• RQ3 승수 이상층 제약이 실패하는 초평면 절단의 집합이 분석적으로 미세한가, 또는 더 강한 의미에서 더 작을 수 있는가?
• RQ4 분석적 방법과 $L^2$ 확장을 사용하여 상대 콜라르–네델 퇴화 정리를 가중치에서 증명할 수 있는가?
• RQ5 분해체의 소수들이 $\mathcal{O}_X / \mathscr{J}(\varphi)$에 존재할 경우, 승수 이상층의 제약 행동에 어떤 영향을 미치는가?

주요 결과

• 등식 $\mathscr{J}(\varphi|_{H^\dagger}) = \mathscr{J}(\varphi)|_{H^\dagger}$가 성립하는 초평면 절단 $H^\prime \in \Lambda \simeq \mathbb{P}^N$의 집합 $\mathcal{G}$는 고전적 위상에서 $\Lambda$에 대해 밀도가 있다.
• 승수 이상층의 제약이 성립하고 분해체의 소수를 피하는 초평면 절단의 집합 $\mathcal{H} \subset \mathcal{G}$ 역시 $\Lambda$에 대해 밀도가 있다.
• 모든 분석적으로 미세한 부분집합 $\mathcal{S} \subset \Lambda$에 대해, $\mathcal{G} \setminus \mathcal{S}$와 $\mathcal{H} \setminus \mathcal{S}$는 여전히 $\Lambda$에 대해 밀도가 있다.
• 모든 $H^\prime \in \mathcal{H}$에 대해 자연스러운 짧은 정확한 수열 $0 \to \mathscr{J}(\varphi|_{X^\dagger}) \otimes \mathcal{O}_{X^\dagger}(-H^\dagger) \to \mathscr{J}(\varphi|_{X^\dagger}) \to \mathscr{J}(\varphi|_{H^\dagger}) \to 0$이 성립한다.
• 상대 콜라르–네델 퇴화 정리가 성립한다: 주어진 곡률과 계량 조건 하에서 $R^i\pi_*(M \otimes R^j f_*(\omega_X \otimes F \otimes \mathscr{J}(h))) = 0$ 이다. 모든 $i > 0$과 모든 $j$에 대해 성립한다.
• 소작한 $\varepsilon > 0$에 대해, $\Delta^n$의 근처에서 $\mathscr{J}(\varphi) = \mathscr{J}(\varphi + \varepsilon\psi)$의 등식이 성립하여, 승수 이상층이 소작에 대해 안정적임을 보장한다.