[논문 리뷰] Curvature of higher direct images and applications (Curvature of $R^{n-p}f_*\Omega^p_{X/S}(K_{X/S}^{\otimes m})$ and applications)

Georg Schumacher|arXiv (Cornell University)|2010. 02. 25.

Geometry and complex manifolds참고 문헌 22인용 수 7

한 줄 요약

이 논문은 캐논리컬로 극화된 다성분만의 가속도에 대해 직접 이미지 층 $ R^{n-p}f_*\Omega^p_{X/S}(K_{X/S}^{\otimes m}) $ 의 명시적 곡률 공식을 유도한다. 이는 전역 타원 방정식과 해석적 핵 추정치를 사용하며, $ f_*K^{\otimes(m+1)}_{X/S} $ 가 명시적 하한을 가진 나카노 양성임을 증명한다. 이는 캐논리컬로 극화된 다양체의 모듈리 공간의 초구형성에 대한 미분기하학적 증명을 가능하게 한다.

ABSTRACT

Given an effectively parameterized family $f:X o S$ of canonically polarized manifolds, the K\"ahler-Einstein metrics on the fibers induce a hermitian metric on the relative canonical bundle $K_{X/S}$. We use a global elliptic equation to show that this metric is strictly positive everywhere and give estimates. The direct images $R^{n-p}f_*\Omega^p_{X/S}(K_{X/S}^{\otimes m})$, $m > 0$, carry induced natural hermitian metrics. We prove an explicit formula for the curvature tensor of these direct images with estimates, which implies Nakano-positivity for $p=n$. The Kodaira-Spencer map induces morphisms $S^p\mathcal T_S o R^p f_*\Lambda^p T_{X/S}$. For a suitable value of $p$ (and $\dim S=1$) a natural hermitian metric on $T_S$ of negative curvature is induced. A differential geometric proof for hyperbolicity properties of the moduli space follows.

연구 동기 및 목표

• 캐논리컬로 극화된 다성분만의 가속도에 관련된 직접 이미지 층 $ R^{n-p}f_*\Omega^p_{X/S}(K_{X/S}^{\otimes m}) $ 의 명시적 곡률 공식을 유도하는 것.
• 곡률 추정치를 사용하여 $ f_*K^{\otimes(m+1)}_{X/S} $ 의 나카노 양성과 효과적인 하한을 확립하는 것.
• 곡률 양성성을 통한 캐논리컬로 극화된 다양체의 모듈리 공간, 특히 $ M_{\text{can}} $ 의 초구형성 성질에 대한 미분기하학적 증명을 제공하는 것.
• 웨일-피터슨 계량 곡률 공식을 고차 직접 이미지로 일반화하고, 코다이라-스펜서 사상과 조화 형식과의 관계를 밝히는 것.
• 극화된 리치-평면 다성분만의 가속도로 곡률 양성 결과를 확장하고, 초구형성과 모듈리 이론에의 응용을 제시하는 것.

제안 방법

• 섬의 카플러-아인슈타인 계량을 사용하여 상대 캐논리컬 번들의 헤르미트 계량을 유도하고, 전역 타원 방정식을 통해 곡률을 분석한다.
• 복소 라플라스 연산자 $ \Box $ 의 복합체 $ (0,n-p) $-형식에 대한 해석적 핵 $ (\Box + m)^{-1} $ 을 적용하여, 곡률 성분을 조화 코다이라-스펜서 형식과 조화 $ \Omega^p(K^{\otimes m}) $-값을 가진 형식의 표현으로 나타낸다.
• 조화 텐서와 그 코프 곱의 점별 $ L^2 $ 내적을 통한 적분을 통해 곡률 텐서 공식을 유도한다.
• 그린 연산자 $ G_\partial $ 와 $ G_{\bar\partial} $ 를 사용하며, $ p+q = n $ 인 $ (p,q) $-형식에서 이들이 일치함을 보이고, 고유함수 전개를 통해 $ (\Box - m)^{-1} $ 의 가역성을 다룬다.
• 체거-요의 열핵 추정치를 사용하여 해석적 핵 $ (\Box + m)^{-1} $ 를 유계화하고, 곡률 성분의 양성 보장한다.
• 특히 $ (\Box + 1)^{-1} $ 이 엄격히 양성임과 동시에 $ m > 0 $ 일 때 $ (\Box - m)^{-1} $ 가 존재하고 양성임을 보장하는 스펙트럼 갭의 성질에 기반한다.

실험 결과

연구 질문

• RQ1 캐논리컬로 극화된 다성분만의 가속도에서 직접 이미지 층 $ R^{n-p}f_*\Omega^p_{X/S}(K_{X/S}^{\otimes m}) $ 의 명시적 곡률 텐서 공식은 무엇인가?
• RQ2 곡률 추정치를 통해 $ f_*K^{\otimes(m+1)}_{X/S} $ 의 곡률을 평가하여 나카노 양성과 명시적 하한을 확립할 수 있는가?
• RQ3 타원 PDE를 통해 일반화된 웨일-피터슨 계량 곡률은 조화 코다이라-스펜서 형식과 코프 곱과 관련이 있는가?
• RQ4 직접 이미지 층 $ f_*K^{\otimes(m+1)}_{X/S} $ 의 곡률 양성이 모듈리 공간 $ M_{\text{can}} $ 의 초구형성과 관련이 있는가?
• RQ5 특히 $ (\Box - m)^{-1} $ 와 같은 잠재적으로 음수인 항이 존재할 경우, 해석적 핵 $ (\Box + m)^{-1} $ 이 곡률 양성 제어에 어떤 역할을 하는가?

주요 결과

• $ R^{n-p}f_*\Omega^p_{X/S}(K_{X/S}^{\otimes m}) $ 의 곡률 텐서는 조화 코다이라-스펜서 형식과 $ \Omega^p(K^{\otimes m}) $-값을 가진 형식의 코프 곱에 대해 $ (\Box + 1)^{-1} $, $ (\Box + m)^{-1} $, $ (\Box - m)^{-1} $ 를 적용한 세 적분의 합으로 주어진다.
• 특히 $ p = n $ 일 경우 $ (\Box - m)^{-1} $ 항이 소멸하고, $ f_*K^{\otimes(m+1)}_{X/S} $ 는 나카노 양성이며, 곡률이 아래로 $ P_n(d(X_s)) \cdot \|A\|^2 \cdot \|\psi\|^2 $ 로 유계화된다. 여기서 $ P_n(d) > 0 $ 은 차원 $ n $ 과 섬의 직경 $ d $ 에 대한 명시적 함수이다.
• $ R^p f_*\Lambda^p T_{X/S} $ 의 곡률은 $ (\Box + 1)^{-1} $ 과 $ (\Box - 1)^{-1} $ 을 포함하는 세 적분으로 표현되며, $ p = 1 $ 일 경우 후자 항이 소멸하여 고전적 웨일-피터슨 곡률 공식을 복원한다.
• 예이시다 추정치와 체거-요의 열핵 추정치를 통해 해석적 핵 $ (\Box + m)^{-1} $ 의 양성이 입증되며, 이는 가속도가 비등지형일 경우 곡률이 엄격히 양성임을 보장한다.
• 곡률 추정치 $ R(A, A, \psi, \psi) \geq P_n(d(X_s)) \cdot \|A\|^2 \cdot \|\psi\|^2 $ 는 섬의 차원과 직경에만 의존하는 균일한 하한을 제공한다.
• 결과적으로 이는 모듈리 공간의 초구형성에 대한 미분기하학적 증명을 제공한다: 곡선 $ C $ 위에 정의된 캐논리컬로 극화된 다성분만의 비등지형 가속도 $ X \to C $ 는 항상 $ g(C) > 1 $ 을 만족하며, 샤파레비치의 추측의 한 경우를 확인한다.