[논문 리뷰] Scalar curvature and uniruledness on projective manifolds

Gordon Heier, Bun Wong|arXiv (Cornell University)|2012. 06. 12.

Geometry and complex manifolds참고 문헌 11인용 수 5

한 줄 요약

이 논문은 전체 스칼라 곡률이 양인 켈러 매니볼드는 유르레드임을 증명한다. 즉, 모든 점이 유리 곡선 위에 있다. 또한 전체 스칼라 곡률이 0일 경우, 매니볼드는 유르레드거나 캘라비-야우 캐논리컬 번들의 토르션을 가진다. 이는 스칼라 곡률 제약 조건을 통해 미분기하학적 통찰을 비유적 기하학으로 확장한다.

ABSTRACT

It is a basic tenet in complex geometry that {\it negative} curvature corresponds, in a suitable sense, to the absence of rational curves on, say, a complex projective manifold, while {\it positive} curvature corresponds to the abundance of rational curves. In this spirit, we prove in this note that a projective manifold $M$ with a Kähler metric with positive total scalar curvature is uniruled, which is equivalent to every point of $M$ being contained in a rational curve. We also prove that if $M$ possesses a Kähler metric of total scalar curvature equal to zero, then either $M$ is uniruled or its canonical line bundle is torsion. The proof of the latter theorem is partially based on the observation that if $M$ is not uniruled, then the total scalar curvatures of all Kähler metrics on $M$ must have the same sign, which is either zero or negative.

연구 동기 및 목표

• 프로젝티브 매니볼드에서 스칼라 곡률을 기반으로 한 유르레드성의 미분기하학적 기준을 확립하는 것.
• 양의 리치 곡률이 코다이라 차원 −∞를 암시한다는 영의 결과를 더 약한 조건인 전체 스칼라 곡률의 양성으로 확장하는 것.
• 전체 스칼라 곡률이 0인 프로젝티브 매니볼드를 특성화하여, 이는 유르레드거나 캘라비-야우임을 보여주는 것.
• 곡률 불변량을 통해 대수기하학(유르레드성, 캐논리컬 번들 성질)과 켈러 기하학(스칼라 곡률의 부호) 간의 격차를 메우는 것.
• 모리의 벤드-앤드-브레이크와 BDPP 쌍대정리에 기반하여 스칼라 곡률의 양성에 따른 유리 곡선 존재성의 함의를 탐색하는 것.

제안 방법

• 전체 스칼라 곡률을 첫 번째 체르니 클래스와 연결하는 전역 불변량으로 사용하며, 리치 형식과 켈러 형식의 적분을 통해 수행한다.
• 포인카레-룰로 공식을 적용하여 선다발의 절단의 비영성과 곡률 적분 간의 관계를 분석한다.
• BDPP04의 가짜효과적 및 강력이동 가능한 쌍대성 원뿔 간의 대칭성을 활용하여 캐논리컬 번들 행동을 분석한다.
• 버거의 국소 부등식을 사용하여 양의 복소기하 섹션 곡률이 양의 스칼라 곡률을 암시함을 보여준다.
• 모순에 의한 증명: 전체 스칼라 곡률이 0일 때 비자명한 캐논리컬 디바이저가 존재한다고 가정하면, 곡률 적분이 0이 되어 모순이 발생한다.
• 모든 켈러 메트릭에 걸쳐 분석을 통합하기 위해 $ T(\omega) = \int_M c_1(M) \wedge \omega^{n-1} $ 라는 코homological 불변량을 정의한다. 이는 전체 스칼라 곡률에 비례한다.

실험 결과

연구 질문

• RQ1 전체 스칼라 곡률이 양인 켈러 메트릭을 가진 프로젝티브 매니볼드는 유르레드인가?
• RQ2 전체 스칼라 곡률이 0인 켈러 메트릭을 가진 프로젝티브 매니볼드는 유르레드이거나 토르션 캐논리컬 번들인가?
• RQ3 비유르레드 매니볼드에서 모든 켈러 메트릭에 대해 전체 스칼라 곡률의 부호는 동일한가?
• RQ4 리치 곡률이나 이중곡률의 양성 조건 없이도 전체 스칼라 곡률의 양성만으로도 유리 곡선의 존재를 보장할 수 있는가?
• RQ5 주어진 매니볼드에서 모든 켈러 메트릭에 걸쳐 전체 스칼라 곡률의 부호 행동을 캐치하는 코homological 불변량이 존재하는가?

주요 결과

• 전체 스칼라 곡률이 양인 켈러 메트릭을 가진 프로젝티브 매니볼드는 유르레드이며, 영의 결과를 리치 곡률 양성에서 스칼라 곡률 양성으로 확장한다.
• 어떤 켈러 메트릭에 대해 전체 스칼라 곡률이 0인 프로젝티브 매니볼드는 유르레드거나 그 캐논리컬 선다발이 토르션임을 보여준다.
• 비유르레드 매니볼드의 경우, 모든 켈러 메트릭에서 전체 스칼라 곡률의 부호는 동일하다—즉, 0이거나 음수이며, 이는 이 경우 전체 스칼라 곡률이 전역 불변량임을 의미한다.
• $ T(\omega) $ 라는 코homological 불변량은 전체 스칼라 곡률에 비례하며, 이 값이 정확히 0이면 매니볼드가 캘라비-야우이거나 $ T $ 가 0일 때 매니볼드가 유르레드임을 의미한다.
• 양의 복소기하 섹션 곡률은 양의 스칼라 곡률을 암시하므로, 이러한 매니볼드 역시 유르레드이며, 새로운 미분기하학적 기준을 제공한다.
• 캐논리컬 번들에 대해 토르션이 존재하는 것은 $ T(\omega) = 0 $ 이고 매니볼드가 유르레드가 아닐 때에만 성립하며, 이는 곡률 불변량과 비유적 기하학을 연결한다.