[논문 리뷰] Intersection numbers of extremal rays on holomorphic symplectic varieties

Brendan Hassett, Yuri Tschinkel|arXiv (Cornell University)|2009. 09. 25.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 4

한 줄 요약

이 논문은 비가역적 헬름홀트릭 심플렉틱 다양체에서 극단선의 교차수를 지배하는 일반적인 유리수 상수 $ c_X $ 를 제안하며, K3 표면의 경우를 일반화한다. 이는 허위효과적 곡선의 면 $ \overline{\mathrm{NE}}_1(X) $ 가 $ (R,R) \geq -c_X $ 이고, 극화와의 교차수가 양수인 $ R \in \mathrm{N}_1(X,\mathbb{Z}) $ 들에 의해 생성됨을 증명하며, 이는 점형 Hilbert 스킴 $ S^{[n]} $ 과 Kummer 다양체 $ K_n(A) $ 에서 성립한다. 여기서 각각 $ c_X = (n+3)/2 $ 과 $ c_X = 2/(g+1) $ 이다.

ABSTRACT

We propose a general framework governing the intersection properties of extremal rays of irreducible holomorphic symplectic manifolds under the Beauville-Bogomolov form. Our main thesis is that extremal rays associated to Lagrangian projective subspaces control the behavior of the cone of curves. We explore implications of this philosophy for examples like Hilbert schemes of points on K3 surfaces and generalized Kummer varieties. We also collect evidence supporting our conjectures in specific cases.

연구 동기 및 목표

• K3 표면에서 앰플 및 허위효과적 면의 명시적 기술을 고차원 비가역적 헬름홀트릭 심플렉틱 다양체로 확장하기 위해.
• 변형 유형에만 의존하는 일반적인 유리수 상수 $ c_X $ 를 식별하여, 극단선 클래스의 자기교차수를 경계짓기 위해.
• 극도의 곡선 면 $ \mathrm{NE}_1(X) $ 를 교차론적 조건으로 특성화하기 위해: $ (R,R) \geq -c_X $ 와 극화 $ g $ 에 대해 $ R \cdot g > 0 $.
• 특정 변형 유형에 대해 추측을 검증하기 위해: 점형 Hilbert 스킴 $ S^{[n]} $, Kummer 다양체 $ K_n(A) $, 그리고 라그랑주 $ \mathbb{P}^n $-포장.
• 극단선 기하학을 비록성 수축, 특히 표면 수축과 연관지워 효과적 표면 면의 구조를 규명하기 위해.

제안 방법

• H^2(X,\mathbb{Z}) 에서의 Beauville-Bogomolov 형식을 사용하여 $ H_2(X,\mathbb{Z}) $ 에 유리수 값의 교차형식을 정의하고, 이는 곡선과 표면의 교차수를 지배한다.
• Hilbert 스킴 $ S^{[n]} $ 에서는 $ H^2(X,\mathbb{Z}) $ 를 $ H^2(S,\mathbb{Z}) \oplus_\perp \mathbb{Z}\delta $ 로 분해하며, $ (\delta,\delta) = -2(n-1) $ 이고, 이에 대해 쌍대를 취해 $ \delta^\vee $ 를 얻으며, $ (\delta^\vee,\delta^\vee) = -1/2(n-1) $ 이다.
• Kummer 다양체 $ K_n(A) $ 에서는 $ \Theta $ 와 $ e $ 로 생성되는 Néron-Severi 군을 사용하며, $ (\Theta,\Theta) = 2g-2 $, $ (e,e) = -2(g+1) $ 이고, 상대 Jacobian의 면에서의 룰링을 분석한다.
• 극단선 $ R $ 을 곡선 위의 선다발 모듈리공간 위의 $ \mathbb{P}^k $-_bundle에서의 룰링 클래스로 구성하며, $ \Theta $ 와 $ e $ 와의 교차를 통해 $ (R,R) $ 을 계산한다.
• $ \rho = kR $ 를 $ \mathrm{H}^2(X,\mathbb{Z}) $ 에서의 최소 양의 배수로 정의하고, $ (\rho,\rho) = (e,e) $ 를 검증하여 일반 상수 $ c_X $ 와 연결한다.
• 변형 이론과 곡선의 모듈리공간을 사용하여 고정 길이의 부분스키마 $ Z \subset A $ 의 가닥을 Jacobian 위에 올려, 극단선을 $ \mathbb{P}^1 $-bundle의 올로 실현한다.

실험 결과

연구 질문

• RQ1 홀로모르픽 심플렉틱 다양체 $ X $ 에 대해 모든 극단선 클래스 $ R \in \overline{\mathrm{NE}}_1(X) $ 가 $ (R,R) \geq -c_X $ 를 만족하는 일반적인 유리수 상수 $ c_X $ 는 무엇인가요?
• RQ2 극화 $ g $ 를 포함하는 교차론적 조건을 사용하여 허위효과적 면 $ \overline{\mathrm{NE}}_1(X) $ 는 어떻게 기술할 수 있나요?
• RQ3 Hilbert 스킴 $ S^{[n]} $ 과 Kummer 다양체 $ K_n(A) $ 와 같은 변형 유형에 대해 추측 $ \mathrm{NE}_1(X) = \langle R \in \mathrm{N}_1(X,\mathbb{Z}) : (R,R) \geq -c_X, R \cdot g > 0 \rangle $ 이 성립합니까?
• RQ4 자기교차수가 음수인 극단선의 기하학적 의미는 무엇이며, 이는 비록성 수축과 어떻게 관련이 있나요?
• RQ5 극단선 $ R $ 의 교차수 $ (R,R) $ 는 관련된 수축의 기하학으로부터 명시적으로 계산할 수 있나요?

주요 결과

• X 가 $ S^{[n]} $ 와 변형 동치인 경우, 곡선의 허위효과적 면은 $ \mathrm{NE}_1(X) = \langle R \in \mathrm{N}_1(X,\mathbb{Z}) : (R,R) \geq -(n+3)/2, R \cdot g > 0 \rangle $ 이며, $ c_X = (n+3)/2 $ 이다.
• X = K_n(A) 인 경우, 상수 $ c_X = 2/(g+1) $ 이고, Jacobian 위의 $ \mathbb{P}^1 $-bundle에서 유래한 극단선 $ R $ 은 $ (R,R) = -2/(g+1) $ 를 만족하며, 이는 $ c_X $ 와 일치한다.
• $ (1,g) $-극화를 가진 $ K_n(A) $ 의 경우, 극단선 $ R = \Theta - \frac{g}{g+1}e $ 는 $ (R,R) = -2/(g+1) $ 를 만족하고, $ \rho = (g+1)R $ 는 $ (\rho,\rho) = -2(g+1) = (e,e) $ 를 만족한다.
• $ X = K_n(A) $ 이고 $ A = E_1 \times E_2 $ 인 경우, $ \mathbb{P}^n $-포장 내의 직선 $ \ell $ 은 $ R = E_1 - \frac{1}{2}e $ 를 만족하며, $ (R,R) = -(n+1)/2 $ 이므로 $ c_X = (n+1)/2 $ 이고, $ \rho = 2R $ 는 $ (\rho,\rho) = -2(n+1) = (e,e) $ 를 만족한다.
• 모든 연구된 경우에서 극단선 $ R $ 의 최소 양의 배수 $ \rho $ 는 $ (\rho,\rho) = (e,e) $ 를 만족하며, 이는 상수 $ c_X $ 의 일반성에 대한 지지를 제공한다.
• $ (2g-2) $ 차원의 모듈리공간 위의 $ \mathbb{P}^1 $-bundle에서 유래한 극단선 $ R $ 은 $ R = \Theta - \frac{g}{g+1}e $ 이고, $ (R,R) = -2/(g+1) $ 이며, 이는 $ K_g(A) $ 에서의 추측을 확인한다.