[논문 리뷰] Tits alternative in hypekähler manifolds

Keiji Oguiso|ArXiv.org|2005. 04. 06.

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

한 줄 요약

이 논문은 사영 hyperkähler 다양체의 순열 자동형사상 군에 대해 Tits 대안를 수립한다: 이러한 군들은 비가환 자유군을 포함하거나 유한 랭크의 거의 아벨 군이 된다. 핵심 결과는 특이 K3 표면과 그 Hilbert 스킴의 자동형사상 군으로까지 확장되며, 양의 Mordell-Weil 랭크를 가진 Jacobian fibration의 존재를 통해 비가환 자유부군을 포함함을 증명한다.

ABSTRACT

We show an analogous result of the famous Tits alternative for a group G of birational automorphisms of a projective hyperkäher manifold: Either G contains a non-commutative free group or G is an almost abelian group of finite rank. As an application, we show that the automorphism groups of the so-called singular K3 surfaces contain non-commutative free groups.

연구 동기 및 목표

• 사영 hyperkähler 다양체의 순열 자동형사상 군에 대해 Tits 대안를 수립하기.
• 특이 K3 표면과 그 Hilbert 스킴의 자동형사상 군의 구조를 조사하기.
• 그러한 군들이 비가환 자유부군을 포함하거나 거의 아벨임을 판단하기.
• 격자 이론적 및 군론적 방법을 사용하여 K3 표면에 대한 기존 결과를 고차원 hyperkähler 다양체로 확장하기.

제안 방법

• Néron–Severi 표현에 의한 순열 자동형사상 군의 상에 선형 대수적 군의 Tits 대안를 적용하기.
• Néron–Severi 준동형사상의 핵이 유한하기 때문에 군의 성질이 상으로 옮겨진다는 사실을 활용하기.
• 사영 hyperkähler 다양체에서 Néron–Severi 격자의 쌍곡성 덕분에 비퇴화된 교차 형식을 확보하기.
• 양의 Mordell–Weil 랭크를 가진 Jacobian fibration의 존재를 활용하여 비아벨 자유군을 생성하는 원소를 구성하기.
• 테이블 테니스 보조정리와 쌍곡기하학을 적용하여 비가환 자유부군의 존재를 명시적으로 검증하기.
• Hilbert 스킴의 보편성을 이용하여 K3 표면의 자동형사상을 그 Hilbert 스킴으로 옮기기.

실험 결과

연구 질문

• RQ1 사영 hyperkähler 다양체의 순열 자동형사상 군은 Tits 대안를 만족하는가?
• RQ2 특이 K3 표면의 자동형사상 군이 비가환 자유부군을 포함하는 조건은 무엇인가?
• RQ3 Tits 대안는 K3 표면에서 고차원 hyperkähler 다양체로 확장될 수 있는가?
• RQ4 특이 K3 표면의 Hilbert 스킴의 자동형사상 군은 비가환 의미에서 비아벨인가?
• RQ5 Jacobian fibration의 Mordell–Weil 군과 순열 자동형사상 군의 구조 사이의 관계는 무엇인가?

주요 결과

• 모든 사영 hyperkähler 다양체의 순열 자동형사상 군은 Tits 대안를 만족한다: 군은 유한 랭크의 거의 아벨 군이거나 비가환 자유부군을 포함한다.
• 만약 hyperkähler 다양체가 양의 Mordell–Weil 랭크를 가진 두 개의 Jacobian fibration를 지닌다면, 그 순열 자동형사상 군은 비가환 자유부군을 포함한다.
• Picard 수가 20인 특이 K3 표면의 자동형사상 군은 비가환 자유부군을 포함한다.
• 특이 K3 표면 $S$의 Hilbert 스킴 $\mathrm{Hilb}^n(S)$의 자동형사상 군 역시 비가환 자유부군을 포함한다.
• 결과는 Hilbert 스킴을 통한 특이 K3 표면의 비가환 자유부군의 실현이 모든 차원에서 이루어짐을 보여준다.
• 증명은 선형 대수적 군론과 Salem 다항식의 깊은 결과에 의존하며, Néron–Severi 격자의 구조가 중심적인 역할을 한다.