[논문 리뷰] On the canonical line bundle and negative holomorphic sectional curvature

Gordon Heier, Steven Lu외 1명|ArXiv.org|2009. 09. 01.

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

한 줄 요약

이 논문은 음의 복소 해석적 섹션 곡률을 갖는 켈러 메트릭을 지닌 매끄러운 복소 프로젝티브 3차원 다양체의 캐논리컬 선다발이 충분히 양의 성질을 지닌다는 것을 증명한다. 복소 미분기하학과代수기하학의 조합—특히 유리곡선 또는 타원곡선의 부재와 나카이-모이셰존 기준—을 통해 3차원에서는 충분성, 더 높은 차원에서는 추가적인 기하적 조건 하에 최대 네프 차원을 증명한다.

ABSTRACT

We prove that a smooth complex projective threefold with a Kähler metric of negative holomorphic sectional curvature has ample canonical line bundle. In dimensions greater than three, we prove that, under equal assumptions, the nef dimension of the canonical line bundle is maximal. With certain additional assumptions, ampleness is again obtained. The methods used come from both complex differential geometry and complex algebraic geometry.

연구 동기 및 목표

• 음의 복소 해석적 섹션 곡률을 갖는 컴acts Kähler 다양체에서 캐논리컬 선다발의 양의 성질을 규명하는 것.
• 특히 복소 차원 3에서 이러한 다양체가 반드시 충분한 캐논리컬 다발을 가져야 하는지 여부를 해결하는 것.
• 알바네제 또는 본질적 차원이 높은 조건을 추가하여 결과를 더 높은 차원으로 확장하는 것.
• 피브레이션이나 부존재 추측에 의존하지 않고, 두 차원의 경우 직접적으로 대수기하학적 증명을 제공하는 것.
• 음의 복소 해석적 섹션 곡률이 브로디 초월성(즉, 유리곡선 또는 타원곡선의 부재)을 유도함을 증명하여 핵심적인 논증 기반을 확립하는 것.

제안 방법

• 고유곡면에서 해석적 섹션 곡률 감소를 보이기 위해 가우스–코다찌 식을 사용하여, 임의의 부분다양체가 곡률 유계를 그대로 물려받음을 증명한다.
• 아흐르포스의 일반화된 슈바르츠 보조정리를 적용하여 브로디 초월성을 증명함으로써, C에서의 비상수 정칙 사상이 존재하지 않음을 보이고, 따라서 유리곡선 또는 타원곡선의 부재를 배제한다.
• 리만–로흐 정리와 세르 쌍대성을 활용하여 캐논리컬 다발의 배수의 절단 공간을 분석하며, 특히 표면에서 $2K_S$의 경우를 중심으로 다룬다.
• 나카이–모이셰존–클라이먼 기준을 적용하여 $K_S^2 > 0$ 를 보임으로써 표면의 경우 충분성을 증명한다.
• 호지 지수 정리를 사용하여, 엄밀한 네프성 조건 하에 $K_S^2 = 0$ 인 경우 모순을 이끌어내는 방법을 사용한다.
• 베르거의 점별 공식을 활용하여 스칼라 곡률가 평균 복소 해석적 섹션 곡률과 관련되어 있음을 보이고, 스칼라 곡률가 음수임을 증명한다.

실험 결과

연구 질문

• RQ1 음의 복소 해석적 섹션 곡률을 갖는 매끄러운 복소 프로젝티브 3차원 다양체는 반드시 충분한 캐논리컬 선다발을 가져야 하는가?
• RQ2 부존재 추측을 가정하지 않고도, 더 높은 차원에서 캐논리컬 다발의 충분성을 확립할 수 있는가?
• RQ3 음의 복소 해석적 섹션 곡률과 캐논리컬 다발의 네프 차원 사이의 관계는 무엇인가?
• RQ4 피브레이션 기법 없이, 기존의 곡률 부등식만을 사용하여 두 차원의 경우를 직접적으로 대수기하학적으로 증명할 수 있는가?
• RQ5 음의 복소 해석적 섹션 곡률은 브로디 초월성과 유리곡선 또는 타원곡선의 부재를 어느 정도 유도하는가?

주요 결과

• 복소 차원 3에서, 음의 복소 해석적 섹션 곡률을 갖는 매끄러운 프로젝티브 3차원 다양체는 충분한 캐논리컬 선다발을 갖는다.
• 3보다 큰 차원에서는, 알바네제 또는 본질적 차원이 $\dim M - 4$를 초과하는 조건 하에 캐논리컬 다발 역시 충분하다.
• 높은 차원에서 추가 조건 없이도 캐논리컬 다발의 네프 차원은 최대이며, 즉 다양체의 차원과 동일하다.
• 음의 복소 해석적 섹션 곡률을 갖는 표면에서는 캐논리컬 다발이 엄밀히 네프적이며, 모든 곡선 $C$에 대해 $K_S \cdot C > 0$ 를 만족한다.
• 표면의 경우, 리만–로흐 정리와 정확한 해석적 섹션 곡률을 갖는 표면가 양의 오일러 지표를 가짐을 이용하여 모순을 통해 $K_S^2 > 0$ 를 증명한다.
• 만약 $K_S^2 = 0$ 이라면 캐논리컬 다발이 자명해지며, 이는 정리 2.3(스칼라 곡률의 양성)와 모순된다. 따라서 $K_S^2 > 0$ 가 증명된다.