[논문 리뷰] Subharmonicity of direct images and applications

Frédéric Campana, Junyan Cao외 1명|arXiv (Cornell University)|2019. 06. 26.

Digital Image Processing Techniques참고 문헌 16인용 수 7

한 줄 요약

이 논문은 복소기하학에서 특이 메트릭과 곡률의 양성에 기반하여, 직접 이미지 층의 새로운 하모닉성 성질을 확립하며, 안정성과 첫 번째 체른 클래스의 영성 조건 하에서 컴acts Kähler 다양체 위의 헬모르픽 폴란레이션의 대수적 리브를 증명한다. 주요 기여는 Pereira-Touzet의 추측에 대한 부분적 증명으로, 곡률과 안정성 조건 하에서 리브의 대수성에 대해 제기된 것이다.

ABSTRACT

In this article we establish new positivity properties for direct images of twisted pluricanonical bundle of an algebraic fiber space. As a corollary we obtain an algebraicity criteria for holomorphic foliations which partly confirms a conjecture of Pereira-Touzet.

연구 동기 및 목표

• Kähler 피브레이션 위의 헬모르픽 선다발에 대한 특이 헤르미트 메트릭과 관련된 직접 이미지 층의 하모닉성에 대해 조사한다.
• 첫 번째 체른 클래스가 영이고 두 번째 체른 클래스가 영이 아닌 헬모르픽 폴란레이션의 리브의 대수성에 대해 Pereira-Touzet의 추측을 다룬다.
• 강한 곡률과 안정성 조건 하에서 직접 이미지의 결정식 다발에 대한 곡률의 양성 결과를 확립한다.
• 정상적인 교차 특이성을 가진 Kähler 피브레이션의 맥락에서 특이 메트릭에서의 양성 기법을 직접 이미지로 확장한다.
• 상대 Bergman 커널 메트릭과 곡률 추정을 통해 Viehweg-Tsuji 유형 정리에 대한 새로운 접근법을 제공한다.

제안 방법

• 특이 헤르미트 메트릭 $ h_L $ 가 비음성 곡률 전류를 지닌 $ L^2 $ 메트릭을 직접 이미지 $ \mathcal{E} = p_*((K_{Y/X}+L) \otimes \mathcal{I}(h_L)) $ 에 유도한다.
• Berndtsson와 Berman-Berndtsson의 기법을 적용하여 곡률 추정을 $ U \times V \to U $ 와 같은 국소적 곱 모델로 줄인다. 여기서 $ U $ 는 볼이고 $ V $ 는 슈타인이다.
• 조건 $ \Theta_{h_L}(L) \wedge p^*\omega_X^{n-1} \geqslant \varepsilon_0 p^*\omega_X^n $ 하에서 $ \Theta_{\det h_{Y/X}}(\det \mathcal{E}) \wedge \omega_X^{n-1} \geqslant r\varepsilon_0 \omega_X^n $ 의 곡률 부등식을 확립한다.
• 상대 Bergman 커널 메트릭 $ h_k $ 를 $ mK_{Y/X} + L $ 에 적용하여 $ \Theta_{h_k}(mK_{Y/X}+L) \wedge p^*\omega_X^{n-1} \geqslant -\delta_k p^*\omega_X^n $ 를 만족시키며, $ \delta_k \to 0 $ 이다. $ k \to \infty $ 일 때.
• 직접 이미지의 결정식에서 유도된 사상 $ \det \mathcal{E} \to \otimes^r \mathcal{E} $ 에서 유도된 절단 $ s $ 를 이용해, 피복 곱 $ Y^{(r)} $ 에 특이 메트릭 $ h_F $ 를 정의함으로써 곡률 비교를 가능하게 한다.
• 특이성과 코드미니멈 조건을 다루기 위해 분해 $ \varphi: Y^{(r)} \to Y^r $ 과 인자 수정 $ E_1, E_2 $ 를 사용하여 곡률 전류의 정수성을 보장한다.

실험 결과

연구 질문

• RQ1 직접 이미지 층 $ \mathcal{E} = p_*(K_{Y/X}+L) \otimes \mathcal{I}(h_L) $ 가 Griffiths의 의미에서 준양성 곡률을 가지는 조건은 무엇인가?
• RQ2 결정식 다발 $ \det \mathcal{E} $ 가 $ \Theta_{\det h_{Y/X}}(\det \mathcal{E}) \wedge \omega_X^{n-1} \geqslant r\varepsilon_0 \omega_X^n $ 를 만족하는 곡률 전류를 가지는 조건은 무엇인가?
• RQ3 안정성과 $ c_1(\mathcal{F}) = 0 $ 조건 하에서, 헬모르픽 폴란레이션 $ \mathcal{F} \subset T_X $ 의 리브의 대수성이 유도될 수 있는가?
• RQ4 상대 Bergman 커널 메트릭은 곡률 제약 조건 하에서 어떻게 행동하며, $ k \to \infty $ 일 때 어떤 극한을 달성하는가?
• RQ5 $ \Theta_{h_L}(L) \geqslant -C p^*\omega_X $ 와 $ \Theta_{h_L}(L) \wedge p^*\omega_X^{n-1} \geqslant 0 $ 조건 하에서 유도할 수 있는 곡률 추정은 무엇인가?

주요 결과

• 조건 $ \Theta_{h_L}(L) \geqslant 0 $ 를 만족할 경우, 직접 이미지 층 $ \mathcal{E} = p_*(K_{Y/X}+L) \otimes \mathcal{I}(h_L) $ 는 Griffiths의 의미에서 준양성 곡률을 가진다.
• 더 강한 조건 $ \Theta_{h_L}(L) \wedge p^*\omega_X^{n-1} \geqslant \varepsilon_0 p^*\omega_X^n $ 하에서, $ \mathcal{E} $ 의 결정식은 $ \Theta_{\det h_{Y/X}}(\det \mathcal{E}) \wedge \omega_X^{n-1} \geqslant r\varepsilon_0 \omega_X^n $ 를 만족한다.
• 반사적 층 $ \mathcal{F} $ 가 $ c_1(\mathcal{F}) = 0 $ 이고 $ k \geq r+1 $ 에 대해 $ \widehat{\mathrm{Sym}}^k \mathcal{F}^* $ 가 $ \omega_X $-안정일 경우, $ \mathbb{P}(E) $ 에서 타우토로지컬 다발 $ \mathcal{O}(1) $ 은 페시브 효과적이지 않거나 $ \mathcal{F} $ 는 헬모르픽 평탄하다.
• 만약 $ X $ 가 프로젝티브이고 $ k \geq r $ 에 대해 $ \widehat{\mathrm{Sym}}^k \mathcal{F}^* $ 가 $ \omega_X $-안정일 경우, 동일한 결론인 $ \mathcal{O}(1) $ 의 페시브 효과성 또는 헬모르픽 평탄성의 성립이 유지된다.
• $ m $-Bergman 메트릭 $ h_k $ 의 수열이 $ mK_{Y/X}+L $ 에 존재하며, $ \Theta_{h_k}(mK_{Y/X}+L) \wedge p^*\omega_X^{n-1} \geqslant -\delta_k p^*\omega_X^n $ 를 만족하고, $ \delta_k \to 0 $ 이다. $ k \to \infty $ 일 때.
• $ p:Y \to X $ 가 국소적으로 프로젝티브이고 정상적인 교차 특이성을 가지며, 일반적으로 $ \mathcal{I}(h_L|_{Y_x}) = \mathcal{O}_{Y_x} $ 라면, $ \mathrm{codim}_X p_*(F) \geq 2 $ 를 만족하는 인자 $ F $ 가 존재한다. 이때 $ \int_Y c_1((mr+r)(K_{Y/X}+L) - \pi^*\det\mathcal{E} + E_3 + F) \wedge p^*\omega_X^{n-1} \geqslant -\delta_k p^*\omega_X^n $ 이다. $ k \to \infty $ 일 때.