[논문 리뷰] Global generation of the direct images of relative pluricanonical systems

Hajime Tsuji|arXiv (Cornell University)|2010. 12. 04.

Geometry and complex manifolds참고 문헌 8인용 수 9

한 줄 요약

이 논문은 다중가속도 측도의 복소부분극도 및 몽주-암페르 분할 이론을 이용하여, 충분히 크고 나누어떨어지는 $ m $ 에 대해, 분할 위치의 여집합에서 직접 이미지 층 $ f_*\mathcal{O}_X(mK_{X/Y}) $ 가 전역적으로 생성됨을 증명한다. 그 결과, 카오다르 차원의 하위가환성에 대한 이타카의 추측을 증명한다.

ABSTRACT

We prove global generation of the direct images of relative pluricanonical systems of sufficiently large and divisible multiples over the complement of the discriminant locus.

연구 동기 및 목표

• 알제브라적 피복 공간 $ f: X \to Y $ 의 분할 위치 외부에서 직접 이미지 층 $ f_*\mathcal{O}_X(mK_{X/Y}) $ 의 전역 생성성을 확립하는 것.
• 직접 이미지 층이 약한 양성일 뿐 강한 양성은 아니므로, 몽주-암페르 분할을 통해 그 영방향을 분석함으로써 이 문제를 해결하는 것.
• 전역 생성성 결과를 바탕으로 이타카의 카오다르 차원 하위가환성 추측을 증명하는 것.
• 메트라이제이션된 캐논리컬 모델의 모듈리 공간을 구축하고, 직접 이미지를 모듈리 사상에 의한 강한 벡터(bundle)의 pullback으로 표현하는 것.
• 베르그만 커널 추정을 이용하여 캐논리컬 카일러 전류의 동적 구성법을 수립하고 그 변화를 분석하는 것.

제안 방법

• 직접 이미지의 양성도를 제어하기 위해 캐논리컬 측도의 복소부분극도 변화 성질을 활용한다.
• 약한 양성 직접 이미지의 영방향을 식별하고 제거하기 위해 몽주-암페르 분할 이론을 적용한다.
• 메트라이제이션된 캐논리컬 모델의 모듈리 공간 $ \mathcal{M} $ 을 구축하고, 복소 구조와 분리된 위상을 부여한다.
• 베르그만 투영과 그 점근적 행동을 통해 캐논리컬 카일러 전류의 동적 구성법을 활용한다.
• 공간 $ H^0(X, \mathcal{O}_X(A + mL) \otimes \mathcal{I}(h_L^m)) $ 에서의 베르그만 커널 $ K_m $ 을 사용하고, 그 성장률을 추정하여 엄격히 양성인 곡률을 갖는 특이 헤르미트 메트릭 $ h_L^+ $ 를 구성한다.
• 정규화된 베르그만 커널에 대해 파투의 보조정리와 상한극한 추론을 적용하여 극한이 0이 아니며 유한함을 보이고, 곡률 전류의 양성도를 보장한다.

실험 결과

연구 질문

• RQ1 충분히 크고 나누어떨어지는 $ m $ 에 대해, 직접 이미지 층 $ f_*\mathcal{O}_X(mK_{X/Y}) $ 가 분할 위치의 여집합에서 전역적으로 생성될 수 있는가? (약한 양성에도 불구하고).
• RQ2 약한 양성 직접 이미지의 영방향을 체계적으로 분석하고 제거하여 전역 생성성을 달성할 수 있는가?
• RQ3 다중칸온 시스템에 대한 해석적 기법을 통해 카오다르 차원의 하위가환성(이타카의 추측)을 증명할 수 있는가?
• RQ4 몽주-암페르 분할은 어떻게 직접 이미지를 어떤 모듈리 공간 $ \mathcal{M} $ 에서의 강한 벡터(bundle)의 pullback으로 실현하는가?
• RQ5 베르그만 커널과 그 점근적 행동은 어떤 방식으로 엄격히 양성 곡률을 갖는 특이 헤르미트 메트릭을 구성하는 데 기여하는가?

주요 결과

• 충분히 크고 나누어떨어지는 모든 $ m $ 에 대해, $ Y \setminus \text{Disc}(f) $ 에서 직접 이미지 층 $ f_*\mathcal{O}_X(mK_{X/Y}) $ 는 전역적으로 생성된다.
• 대칭 거듭제곱을 취한 후, 직접 이미지 층 $ f_*\mathcal{O}_X(mK_{X/Y}) $ 는 어떤 모듈리 공간 $ \mathcal{M} $ 으로의 모듈리 사상에 의한 강한 벡터(bundle)의 pullback으로 표현된다.
• 직접 구성된 특이 헤르미트 메트릭 $ h_L^+ $ 의 곡률 전류는 엄격히 양성이며, 이는 관련 선(bundle)의 강성(ample)을 보장한다.
• 극한 $ \limsup_{\ell \to \infty} \sqrt[m_0\ell]{K_{m_0\ell}^+} $ 는 식별적으로 0이 아니며 유한하며, 이는 비영인 단면의 존재와 양성도를 의미한다.
• 부등식 $ \limsup_{\ell \to \infty} \ell^{-n} \cdot \dim H^0(X, \mathcal{O}_X(\ell(m_0L - H)) \otimes \mathcal{I}(h_L^{m_0\ell})) > 0 $ 이 성립하여, 체적 형식의 양성도 확인된다.
• 전역 생성성 결과의 부산물로, 이타카의 카오다르 차원 하위가환성 추측이 확인된다.