[논문 리뷰] Extension of holomorphic functions defined on non reduced analytic subvarieties

Jean-Pierre Demailly|arXiv (Cornell University)|2015. 10. 18.

Geometry and complex manifolds참고 문헌 19인용 수 34

한 줄 요약

이 논문은 Ohsawa-Takegoshi $L^2$ 확장 정리의 범위를 다중성의 이상적 기약성에 의해 정의된 비환원적 분석 부분다양체로 확장한다. $L^2$ 추정과 곡률 조건을 사용하여 약한 준양성 조건을 만족하는 벡터다발의 헬름홀로픽 단면에 대한 제약 사상의 상연성을 증명한다. 주요 기여는 비환원적 부분다양체에서 로그 캐논리컬 특이성을 가진 경우에 최적의 곡률 조건과 정확한 $L^2$ 추정을 도출한 것이다.

ABSTRACT

The goal of this contribution is to investigate L${}^2$ extension properties for holomorphic sections of vector bundles satisfying weak semi-positivity properties. Using techniques borrowed from recent proofs of the Ohsawa-Takegoshi extension theorem, we obtain several new surjectivity results for the restriction morphism to a non necessarily reduced subvariety, provided the latter is defined as the zero variety of a multiplier ideal sheaf. These extension results come with precise L${}^2$ estimates and (probably) optimal curvature conditions.

연구 동기 및 목표

• Ohsawa-Takegoshi $L^2$ 확장 정리를 다중성의 이상적 기약성에 의해 정의된 비환원적 분석 부분다양체로 일반화하는 것.
• 벡터다발의 전역 헬름홀로픽 단면에서 비환원적 부분다양체의 단면으로의 제약 사상의 상연성을 확립하는 것.
• 약한 준양성 조건과 곡률 조건 하에서 헬름홀로픽 단면의 확장을 위한 정확한 $L^2$ 추정을 도출하는 것.
• 특히 로그 캐논리컬 특이성을 가진 비환원적 부분다양체에서의 확장을 위한 최적의 곡률 조건을 증명하는 것.
• 특이 메트릭을 정규화 기법을 통해 다루며 곡률 손실을 제어하는 것.

제안 방법

• Hörmander 이론의 $L^2$ 추정과 Ohsawa-Takegoshi 정리의 최근 증명을 활용한다.
• 편평한 복소함수 $\psi$의 준다중복소함수에 관련된 다중성 이상적 기약성 ${\cal I}(\psi)$ 이론을 적용한다.
• 다중성 이상적 기약성 ${{\cal I}}(m_p\psi)$의 필터링을 사용하고 가중치 $e^{-m_p\psi}$를 갖는 $\overline{\partial}$-방정식을 통해 해를 구성한다.
• 특이 메트릭을 분석적 특이성을 가진 메트릭으로 대체하는 정규화 기법을 사용하며, 다중성 이상적 기약성을 유지하고 곡률 손실을 통제한다.
• 부분다양체의 여차원에 대한 귀납법을 적용하여 문제를 여차원 1인 경우로 환원하고, 퇴화 정리들을 활용한다.
• 다중성 이상적 기약성의 개방 추측과 그 결과에 의존하여 정규화 과정 동안 다중성 이상적 기약성이 그대로 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 Ohsawa-Takegoshi $L^2$ 확장 정리는 다중성 이상적 기약성에 의해 정의된 비환원적 부분다양체로 일반화될 수 있는가?
• RQ2 로그 캐논리컬 특이성을 가진 비환원적 부분다양체에서의 $L^2$ 확장을 위한 최적의 곡률 조건은 무엇인가?
• RQ3 비환원적이고 특이한 부분다양체에서 확장의 $L^2$ 노름을 어떻게 통제할 수 있는가?
• RQ4 약한 준양성 조건 하에서 전역 헬름홀로픽 단면에서 비환원적 부분다양체로의 제약 사상이 상연성을 가진다 할 수 있는가?
• RQ5 특이 메트릭에 대한 정규화 기법은 확장 추정과 다중성 이상적 기약성을 유지하는 데 어떤 역할을 하는가?

주요 결과

• 주어진 곡률 및 성장 조건 하에서 $H^0(X, {\cal O}_X(K_X \otimes E) \otimes {\cal I}(m_p\psi))$에서 비환원적 부분다양체 $Y^{(m_p)}$의 단면으로의 제약 사상은 상연성을 가진다.
• 확장은 오직 곡률과 배경 다양체의 기하학에만 의존하는 상수를 가진 정확한 $L^2$ 추정을 만족한다.
• 최적의 곡률 조건이 도출되었으며, 메트릭이 특이성을 가질 경우에도 곡률이 전류의 의미에서 아래로 유계일 경우 결과는 그대로 성립한다.
• 증명은 다중성 이상적 기약성의 개방 추측과 특이 메트릭의 정규화에 의존하며, 다중성 이상적 기약성이 그대로 유지되고 곡률 손실이 통제됨을 보장한다.
• 선다발의 경우, 정규화된 메트릭으로 특이 헬름홀로픽 메트릭을 대체하고, 곡률 손실을 편항 항을 통해 흡수함으로써 방법을 확장할 수 있다.
• $\overline{\partial}$-문제의 오차 항들은 매개변수 $t \to -\infty$일 때 $L^2$ 노름에서 사라지며, 이는 전역 헬름홀로픽 단면으로의 수렴을 보장한다.