[논문 리뷰] On maximal Albanese dimensional varieties

Osamu Fujino|ArXiv.org|2009. 11. 15.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 7

한 줄 요약

이 논문은 아벨 다양체 위에 유리 곡선이 존재하지 않음을 이용하고 최소 모델 프로그램의 결과를 활용하여, 최대 알바네제 차원을 가진 모든 매끄럽고 사영적인 다양체가 양호한 최소 모델을 갖는다는 것을 증명한다. 주요 기여는 이 다양체들의 특수한 경우에 대해, 반연속적 모델이 존재함을 보여주는 것으로, 그 모델은 반약가환성(divisor)을 가진다. 이는 이 클래스의 다양체에 대한 양호한 최소 모델 추측의 특수한 경우를 해결한다.

ABSTRACT

We prove that every smooth projective variety with maximal Albanese dimension has a good minimal model. We also treat Ueno's problem on subvarieties of Abelian varieties.

연구 동기 및 목표

• 최대 알바네제 차원을 가진 매끄럽고 사영적인 다양체에 대해 양호한 최소 모델의 존재를 확립하기.
• 아벨 다양체의 부분다양체와 캐논리컬 딜라이저의 앰플리스성에 관한 우에노의 문제를 다루기.
• 아벨 다양체 위에 유리 곡선이 존재하지 않음을 이용하여, 적절한 조건 하에서 로그 캐논리컬 딜라이저의 네파성과 앰플리스성을 유도하기.
• 복소 토리의 부분다양체로서 최대 코다이라 차원을 가진 경우, 캐논리컬 번들의 앰플리스성에 관한 [U, Remark 10.13]의 보조 결과 제공하기.

제안 방법

• 비근형 로그 캐논리컬 딜라이저가 반드시 유리 곡선을 포함해야 한다는 점을 증명하기 위해, 코네 정리와 유리 곡선의 부정성(positivity)을 활용한다.
• 기저점 자유 정리( base point free theorem )를 적용하여, klt 쌍에서 큰 네프 딜라이저의 반약가환성을 유도한다.
• 아벨 다양체는 유리 곡선을 포함하지 않기 때문에, 어떤 다양체가 유리 곡선이 없고, 아벨 다양체로의 사상이 비라시오널이며 캐논리컬 딜라이저가 크다면, 그 사상은 반드시 동형사상이어야 한다는 사실을 이용한다.
• 스테인 인수분해와 특이점의 해소를 통해 문제를 매끄럽고 최대 알바네제 차원을 가진 다양체의 경우로 축소한다.
• BCHM에 의해 제공된 최소 모델 프로그램(MMP) 기법을 적용하여 양호한 최소 모델을 구성한다.
• 유리 곡선이 존재하지 않는다는 가정 하에, 캐논리컬 링의 유한 생성성과 수치적 차원의 등식을 활용한다.

실험 결과

연구 질문

• RQ1 최대 알바네제 차원을 가진 모든 매끄럽고 사영적인 다양체는 양호한 최소 모델을 갖는가?
• RQ2 아벨 다양체의 부분다양체에서 캐논리컬 딜라이저가 앰플리스티가 되는 조건은 무엇인가?
• RQ3 어떤 다양체에서 유리 곡선이 존재하지 않으면, 로그 캐논리컬 딜라이저의 네파성 또는 앰플리스성이 강제로 성립하는가?
• RQ4 최대 알바네제 차원을 가진 다양체의 맥락에서, 수치적 차원과 이타카 차원이 일치하면 반약가환성도 성립하는가?
• RQ5 최대 알바네제 차원을 가진 다양체에서, 코다이라 차원과 캐논리컬 딜라이저의 수치적 차원 간의 관계는 무엇인가?

주요 결과

• 최대 알바네제 차원을 가진 모든 매끄럽고 사영적인 다양체는 양호한 최소 모델을 갖는다. 즉, Q-팩터링 타원 특이점을 가지며 반약가환성 캐논리컬 딜라이저를 갖는 비라시오널 모델이 존재한다.
• 유리 곡선이 없고, 로그 캐논리컬 딜라이저가 크고 klt인 프로젝티브 다양체의 경우, 그 딜라이저는 앰플리스티이다.
• 최대 코다이라 차원을 가진 복소 토리의 부분다양체는 앰플리스티 캐논리컬 번들을 갖는다. 이는 우에노의 추측의 특수한 경우를 확인한 것이다.
• 최대 알바네제 차원을 가진 다양체의 캐논리컬 링은 유한 생성되며, 이는 주어진 조건 하에서 캐논리컬 딜라이저의 반약가환성을 암시한다.
• 최대 알바네제 차원을 가진 다양체에서 캐논리컬 딜라이저의 수치적 차원은 그 이타카 차원과 일치한다. 이는 캐논리컬 딜라이저가 네파일 경우에 성립한다.
• 최대 알바네제 차원을 가진 다양체에서 캐논리컬 특이점을 갖는 경우, 수치적 차원과 이타카 차원이 일치하면 부존재 정리(abelian variety)가 성립한다.