[논문 리뷰] Lagrangian fibrations on generalized Kummer varieties

Martin G. Gulbrandsen|arXiv (Cornell University)|2005. 10. 07.

Algebraic Geometry and Number Theory인용 수 7

한 줄 요약

이 논문은 프리닉스 폴라라이제이션된 아벨 표면 $A$의 피카르 수가 1인 일반화된 쿠머 다양체 $K^nA$가 $ℝ^{n-1}$ 위에 유리 라그랑주 피브레이션을 가질 조건을 규명한다. 그 조건은 $n$이 완전 제곱수일 때에만 성립한다. 피브레이션은 랭크 1, 디그리 0인 층에 대한 푸리에-무카이 변환을 통해 유도되며, 이 존재성은 베이유일-보고몰로프 형식이 0인 디바이저의 존재성과 동치이며, 이는 정확히 $n$이 완전 제곱수일 때 발생한다.

ABSTRACT

We investigate the existence of Lagrangian fibrations on the generalized Kummer varieties of Beauville. For a principally polarized abelian surface A of Picard number one we find the following: The Kummer variety K^n(A) is birationally equivalent to another irreducible symplectic variety admitting a Lagrangian fibration, if and only if n is a perfect square. And this is the case if and only if K^n(A) carries a divisor with vanishing Beauville-Bogomolov square.

연구 동기 및 목표

• 피카르 수가 1인 프리닉스 폴라라이제이션된 아벨 표면 $A$에 관련된 일반화된 쿠머 다양체 $K^nA$가 $ℝ^{n-1}$ 위에 유리 라그랑주 피브레이션을 가질 조건을 규명하는 것.
• 그러한 피브레이션의 존재성과 $K^nA$ 위의 디바이저의 베이유일-보고몰로프 형식 사이의 관계를 조사하는 것.
• 피브레이션이 존재하는 정확한 조건—즉, $n$이 완전 제곱수일 때—를 확립하는 것.
• 아벨 표면 $A$와 그 이중 $ωhat{A}$ 위의 층의 모듈리 공간과 푸리에-무카이 변환을 이용한 피브레이션의 기하학적 구성 제공

제안 방법

• 랭크 1, 첫 번째 체른 클래스 $[C]$를 가진 층에 대한 푸리에-무카이 변환을 이용해 유리 피브레이션 $f: K^nA \dashrightarrow |\widehat{C}| \cong \mathbb{P}^{n-1}$ 을 구성한다. 여기서 $C$는 종수 $n+1$인 곡선이다.
• 기저 전환 정리와 약한 인덱스 정리를 사용하여, 아벨 표면 $A$ 위의 층 $\mathcal{E}$에 대한 푸리에-무카이 변환으로부터 $\widehat{A}$ 위의 층 $\widehat{\mathcal{E}}$를 얻을 수 있으며, 이는 잘 정의된 코homological 성질을 가진다.
• 각 층에 대해 그 피팅 아이디얼을 할당하는 사상 $F: M_{\widehat{A}}(0,[\widehat{C}],-1) \to P = \mathbb{P}(\widehat{\mathcal{O}_A(C)}^\vee)$ 를 정의한다. 이는 $|\widehat{C}|$ 안의 곡선을 정의하며, 쿠머 다양체 위의 피브레이션을 유도한다.
• 피브레이션이 정칙이며, 일반적인 섬유들이 $\widehat{A}$ 위의 합계 사상에 의해 사상되는 비특이 곡선 $D \in |\widehat{C}|$의 잰비안 $J^{n-1}(D)$ 와 일치함을 보여, 섬유가 연결되어 있음을 확인한다.
• 디바이저 $D = rH + s\epsilon$ 에 대한 $K^nA$ 위의 베이유일-보고몰로프 형식이 $q(D) = 2r^2 - 2s^2n = 0$ 인 식을 사용해, 이 형식이 0이 되는 것은 $n = m^2$ 인 것과 동치임을 증명한다.
• 푸리에-무카이 변환을 통해 $K^nA$ 와 다른 무비결리드 심플렉틱 다양체 사이의 비라시오널 동치를 확립하며, 이는 피브레이션 구조가 비라시오널 동치에 대해 보존됨을 보여준다.

실험 결과

연구 질문

• RQ1 피카르 수가 1인 프리닉스 폴라라이제이션된 아벨 표면 $A$에 관련된 일반화된 쿠머 다양체 $K^nA$가 $ℝ^{n-1}$ 위에 유리 라그랑주 피브레이션을 가질 조건은 무엇인가?
• RQ2 $K^nA$ 위의 디바이저가 베이유일-보고몰로프 제곱을 가질 때 그 존재성과 $n$의 산수적 성질 사이의 정확한 관계는 무엇인가?
• RQ3 모듈리 공간과 푸리에-무카이 변환을 이용해 $K^nA$ 위의 피브레이션 구조를 기하학적으로 구성할 수 있는가?
• RQ4 그러한 피브레이션의 존재성은 이러한 $A$에 대해 $n$이 완전 제곱수임과 동치인가?
• RQ5 푸리에-무카이 변환에 의해 유도되는 비라시오널 동치는 포함형 사상으로 확장되는가, 아니면 무카이 기본 변환인가?

주요 결과

• 일반화된 쿠머 다양체 $K^nA$는 $n$이 완전 제곱수일 때에만 $ℝ^{n-1}$ 위에 유리 라그랑주 피브레이션을 가진다.
• 피브레이션은 아벨 표면 $A$ 위의 랭크 1, 디그리 0인 층에 대한 푸리에-무카이 변환을 통해 유도되며, 이중 곡선 클래스 $\widehat{C}$ 가 피브레이션의 기저를 유도한다.
• $K^nA$ 위의 디바이저 $D$ 가 베이유일-보고몰로프 형식을 가질 때, 이는 $n$이 완전 제곱수일 때에만 성립한다.
• $n = m^2$ 일 때, 곡선 $C = mH \subset A$ 는 종수 $n+1$ 을 가지며, 이는 정리 1.3의 조건을 만족하여 피브레이션 구성이 가능하다.
• $K^nA$ 위의 디바이저 $D = rH + s\epsilon$ 의 베이유일-보고몰로프 형식이 정확히 $2r^2 = 2s^2n$ 일 때 0이 되며, 이는 $n = (r/s)^2$ 를 의미하므로 $n$은 완전 제곱수여야 한다.
• $K^nA$ 와 모듈리 공간 $M_{\widehat{A}}(0,[\widehat{C}],-1)$ 사이의 비라시오널 동치는 열린 밀도 부분집합에서의 동치이며, 피브레이션은 쿠머 다양체 위에서 정칙 피브레이션으로 제한된다.