[논문 리뷰] Canonical singular hermitian metrics on relative logcanonical bundles

Hajime Tsuji|arXiv (Cornell University)|2010. 08. 09.

Advanced Algebra and Geometry참고 문헌 23인용 수 10

한 줄 요약

이 논문은 KLT 쌍에서 비효율적 로그 캐논칼 분할을 가진 상대 로그 캐논칼 번들의 슈퍼카노니컬 분석 Zariski 분해(Supercanonical analytic Zariski decomposition, AZD) — 최소한의 특이성과 비음성 곡률을 가진 카노니컬 특이 헤르미트 메트릭 — 를 도입한다. 섹션과 승수 이상의 아이디얼 층을 이용한 귀납적 확장에 의해, 저자들은 KLT 쌍의 프로젝티브 변형 하에서 로그 플루지너의 불변성을 확립하고, 플루지너 시스템의 직접 이미지의 준양성(semipositivity)을 증명하며, 기존 캐논칼 케이스의 결과를 로그 케이스로 확장한다.

ABSTRACT

This supersedes 0704.0566. We prove the invariance of logarithmic plurigenera for a projective family of KLT pairs and the adjoint line bundle of KLT line bundles. The proof uses the canonical singular hermitian metrics on relative logcanonical bundles.

연구 동기 및 목표

• 비효율적 로그 캐논칼 분할을 가진 KLT 쌍의 상대 로그 캐논칼 번들에 대해 최소한의 특이성과 비음성 곡률을 가진 카노니컬 특이 헤르미트 메트릭을 정의한다.
• 상대 로그 캐논칼 번들에 대해 비음성 곡률과 최소한의 특이성을 가진 슈퍼카노니컬 AZD(분석 Zariski 분해)를 구성한다.
• KLT 쌍의 프로젝티브 변형 하에서 로그 플루지너의 불변성을 증명한다.
• 기존 캐논칼 케이스에서의 카노니컬 AZD 이론을 캐논칼 케이스에서 로그 캐논칼 케이스로 일반화하며, 조정 선다발까지 포함한다.
• 구축된 메트릭을 통해 플루지너 로그 캐논칼 시스템의 직접 이미지의 준양성과 국소 자유성(локальная свобода)을 확립한다.

제안 방법

• 비효율적 캐논칼 분할을 가진 매끄러운 프로젝티브 다양체에 대해, 하한 연속적 셸드와 특이 섹션을 통한 확장을 이용하여 $K_X$ 위에 특이 헤르미트 메트릭 $\hat{h}_{\text{can}}$ 을 구성한다.
• 승수 이상의 아이디얼 층 $\mathcal{I}(h^m)$ 이론을 적용하여 모든 $m \geq 0$ 에 대해 $H^0(X, \mathcal{O}_X(mK_X) \otimes \mathcal{I}(\hat{h}_{\text{can}}^m)) \simeq H^0(X, \mathcal{O}_X(mK_X))$ 를 확보하고, AZD 조건을 만족시킨다.
• 섹션을 섹션에서 전체 공간으로 확장하기 위해 $m$ 과 $\ell$ 에 대한 귀납법을 사용하며, 전역 생성성과 점근적 조정 공식을 활용한다.
• L^2-추정과 확장 정리에 의해, 대수적 특이성과 비음성 곡률을 가진 메트릭 $h_{m,\ell}$ 을 $mM + H + \ell K_X + \Delta_1 + \cdots + \Delta_\ell$ 에 구성한다.
• 횔더 부등식과 $\epsilon \to 0$ 에 대한 극한을 적용하여 $\hat{h}_{\text{can},D}(A,h_A)|X_s = O(\hat{h}_{\text{can},D,s}((A,h_A)|X_s))$ 를 보이며, 붕괴 하에서의 호환성을 확보한다.
• KLT 쌍에 대해 $kD = \Delta_1 + \cdots + \Delta_{k-1}$ 로 분해하고, 감소된 단순 정규교차 분할을 사용하며, 승수 이상의 아이디얼에 대한 조정 이론을 적용한다.

실험 결과

연구 질문

• RQ1 비효율적 로그 캐논칼 분할을 가진 KLT 쌍의 상대 로그 캐논칼 번들에 대해 최소한의 특이성과 비음성 곡률을 가진 카노니컬 특이 헤르미트 메트릭을 구성할 수 있는가?
• RQ2 이 슈퍼카노니컬 AZD 가 프로젝티브 변형 하에서 변할 때, 로그 플루지너의 불변성이 유도되는가?
• RQ3 카노니컬 AZD 이론은 기존 캐논칼 케이스에서 어떻게 로그 캐논칼 케이스로 일반화될 수 있는가? (조정 선다발 포함)
• RQ4 플루지너 로그 캐논칼 시스템의 직접 이미지가 국소 자유롭고, 그 위에 그리피스 준양성 메트릭을 지닌다. 이러한 조건은 무엇인가?
• RQ5 이러한 구성은 $\mathbb{C}^n$ 의 유계 도메인과 같은 비콤팩트 복소다양체로 확장될 수 있는가?

주요 결과

• 비효율적 캐논칼 분할을 가진 매끄러운 프로젝티브 다양체에 대해, $K_X$ 위의 슈퍼카노니컬 AZD $\hat{h}_{\text{can}}$ 는 유일하게 결정되며, 비음성 곡률을 가지며, 모든 $m \geq 0$ 에 대해 $H^0(X, \mathcal{O}_X(mK_X) \otimes \mathcal{I}(\hat{h}_{\text{can}}^m)) \simeq H^0(X, \mathcal{O}_X(mK_X))$ 를 만족한다.
• 비효율적 캐논칼 분할을 가진 매끄러운 다양체의 프로젝티브 변형 하에서 $\hat{h}_{\text{can}}$ 의 변형은 플루지너의 불변성을 새롭게 증명한다.
• 비효율적 로그 캐논칼 분할을 가진 KLT 쌍 $(X_s, D_s)$ 에 대해, $K_{X/S} + A + D$ 위의 슈퍼카노니컬 AZD $\hat{h}_{\text{can},D}$ 는 각 섹션에 대해 최소한의 특이성과 비음성 곡률을 가진 카노니컬 메트릭을 유도한다.
• 상대 로그 캐논칼 번들의 슈퍼카노니컬 AZD 구축을 통해 로그 플루지너의 불변성이 확립되며, 이는 캐논칼 케이스를 일반화한다.
• 직접 이미지 층 $\mu_* \mathcal{O}_X(m(K_{X/S} + A + D))$ 는 국소 자유롭고, Demailly의 의미에서 곡률 코어가 준양성인 그리피스 준양성 메트릭을 지닌다.
• 이러한 구성은 $\mathbb{C}^n$ 의 유계 도메인과 같은 비콤팩트 복소다양체로 확장되며, 비콤팩트 켈러 다양체 위의 캐논칼 메트릭 연구에 응용 가능성을 시사한다.