[논문 리뷰] The cone conjecture for abelian varieties

Artie Prendergast-Smith|arXiv (Cornell University)|2010. 08. 26.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 14

한 줄 요약

이 논문은 아벨 다양체에 대한 모리슨–카와마타 콘 예측을 완전한 증명으로 제시한다. 실수 내적 대수를 활용하여 네론–세버리 공간을 통합하고, 산술군의 환원 이론을 적용한다. 주요 결과는 모든 아벨 다양체의 자기동형군이 유효한 네프 콘 위에 유리 다면체 기본 영역을 갖는다는 것으로, 이 설정에서 예측을 확인한다.

ABSTRACT

We give a proof of the Morrison--Kawamata cone conjecture for abelian varieties. The proof is a straightforward deduction from well-known results on the real endomorphism algebra of an abelian variety and reduction theory for self-dual homogeneous convex cones.

연구 동기 및 목표

• 아벨 다양체에 대한 모리슨–카와마타 콘 예측을 확립하는 것. 이는 유효한 네프 콘 위에서 자기동형군의 작용이 유리 다면체 기본 영역을 갖는다는 것을 예측한다.
• 실수 내적 대수의 구조를 활용하여 네론–세버리 공간을 통합하고, 자기동형군의 네프 콘 위에서의 작용을 분석하는 것.
• 유효한 네프 콘과 앰플 콘의 유리 폐쇄가 일치함을 보여주어 산술군의 환원 이론을 적용할 수 있도록 하는 것.
• 자기동형군이 네론–세버리 공간 위에서 Q-산술 부분군을 통해 작용함을 보여주어 알려진 다면체 기본 영역 결과를 사용할 수 있도록 하는 것.

제안 방법

• 네론–세버리 공간 $N^1(X)$을 실수 내적 대수 $\operatorname{End}^0(X) \otimes \mathbb{R}$에 통합하여, 로사티 대칭에 대한 고정 부분공간으로 식별한다.
• 자기동형군의 $N^1(X)$ 위 작용을 공액션 $D \mapsto M^* D M$으로 표현한다. 여기서 $M \in (\operatorname{End}^0(X) \otimes \mathbb{R})^\times$이며, 선다발 위의 당김 작용을 확장한다.
• 암플 콘 $A(X)$를 $\operatorname{End}^0(X) \otimes \mathbb{R}$의 각 행렬 대수 합성부에서의 정의적 양성 콘 $P_r(k)$의 직합으로 식별하여, 자기쌍대성과 동차성을 확보한다.
• 암플 콘의 자리를 구성하는 자기동형군의 연결성은 $D \mapsto M^* D M$의 변환군과 동형이며, 이는 $GL(N^1(X))$의 Q-대수적 부분군이다.
• 자기동형군 $\operatorname{Aut}(X)$의 $GL(N^1(X))$에서의 상이 이 Q-대수적 군의 산술 부분군임을 증명하여, 환원 이론의 적용을 가능하게 한다.
• 환원 이론의 정리 2.4 및 2.5를 적용하여, $A(X)_+$의 작용에 대해 유리 다면체 기본 영역의 존재를 결론짓는다. 이는 $\overline{A(X)}^e$와 같다.

실험 결과

연구 질문

• RQ1 모리슨–카와마타 콘 예측이 예측하는 바와 같이, 아벨 다양체의 자기동형군은 유효한 네프 콘 위에 유리 다면체 기본 영역을 갖는가?
• RQ2 실수 내적 대수의 구조는 아벨 다양체의 네론–세버리 공간 위에서 자기동형의 작용을 분석하는 데 어떻게 활용될 수 있는가?
• RQ3 암플 콘과 유효한 네프 콘 사이의 정확한 관계는 무엇이며, 이는 콘 예측을 어떻게 단순화하는가?
• RQ4 산술군의 환원 이론은 아벨 다양체의 맥락에서 유리 다면체 기본 영역의 존재를 증명하는 데 적용될 수 있는가?
• RQ5 아벨 다양체에서의 등식 $\overline{A(X)}^e = \overline{M(X)}^e = \operatorname{Eff}(X)$는 전체 콘 예측을 어느 정도 단순화하는가?

주요 결과

• 자기동형군 $\operatorname{Aut}(X)$는 유효한 네프 콘 $\overline{A(X)}^e$ 위에 유리 다면체 기본 영역을 갖는다. 이는 정리 0.1을 확인한다.
• 네론–세버리 공간 $N^1(X)$는 $\operatorname{End}^0(X) \otimes \mathbb{R}$에서 로사티 대칭에 대한 고정 부분공간과 동형이며, 이는 대칭 행렬 또는 허미트 행렬 공간의 직합으로 분해된다.
• 암플 콘 $A(X)$는 각 행렬 대수 합성부에서의 정의적 양성 콘 $P_r(k)$의 직합으로서 구성되며, 자기쌍대성과 동차성을 갖는다.
• $\operatorname{Aut}(X)$의 $N^1(X)$ 위에서의 작용은 Q-산술 부분군의 상으로서 나타나며, 이는 환원 이론의 적용을 가능하게 한다.
• 암플 콘의 유리 폐쇄 $A(X)_+$는 $\overline{A(X)}^e$와 같으며, 이 콘은 $\operatorname{Aut}(X)$의 작용 아래에서 유리 다면체 기본 영역을 갖는다.
• 전체 콘 예측은 아벨 다양체에서 성립한다. 왜냐하면 $\overline{A(X)}^e = \overline{M(X)}^e = \operatorname{Eff}(X)$ 이며, 예측의 두 번째 부분은 첫 번째 부분에서 유도되기 때문이다.