[논문 리뷰] On the geometry of the Hilbert schemes of points in the projective plane

Weiping Li, Zhenbo Qin외 1명|ArXiv.org|2001. 05. 25.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 5

한 줄 요약

이 논문은 사영 평면 ℙ² 위의 n개 점의 하이버트 스킴의 기하학을 연구하여, 그 효과적 및 네프 콘의 구조를 규명하고, 최소 차수의 유리 곡선을 특성화하며, n ≥ 4일 때 소수 수축 사상에 대한 플립의 존재성을 증명한다. 주요 기여는 특정 극한 반사에 동치인 곡선의 완전한 기하적 기술과, βₗ − (n−1)βₙ가 생성하는 반사를 수축하는 사상 φ₁에 대한 플립의 구축이다.

ABSTRACT

We classify minimal-degree curves in the Hilbert schemes of points on algebraic surfaces. When the algebraic surface is the projective plane, the nef cone and a flip structure of these Hilbert schemes are determined.

연구 동기 및 목표

• X = ℙ²일 때 하이버트 스킴 X^{[n]}의 효과적 및 네프 콘을 규명하는 것.
• 매우 넓은 선다발에 대해 X^{[n]} 내의 모든 유리 곡선 중 차수 1인 곡선을 특성화하는 것.
• βₗ − (n−1)βₙ가 생성하는 극한 반사를 수축하는 것.
• n ≥ 4일 때 사상 φ₁에 대한 플립의 존재성을 증명하는 것.
• X^{[n]} 내의 곡선과 그라스만يان 및 프로젝티브 번들의 전지수 가속기의 섬유 사이의 기하학적 대응을 설정하는 것.

제안 방법

• X^{[n]}의 효과적 콘은 βₙ와 βₗ − (n−1)βₙ에 의해 생성됨을 보였다.
• 매우 넓은 다발 (nDₗ − Bₙ/2)을 구성하고, 이에 대해 차수 1인 곡선이 βₙ 또는 βₗ − (n−1)βₙ에 동치임을 보였다.
• βₙ에 동치인 곡선은 프로젝티브 번들의 사상 ψ_{n+1} : X^{[n,n+1]} → ℤ_{n+1}의 섬유 내 선의 f_{n+1}에 의한 상으로서 특성화된다.
• βₗ − (n−1)βₙ에 동치인 곡선은 ℙ² 내 선 C ⊂ ℙ² 위의 n개 점의 하이버트 스킴 내 선으로서 나타남을 보였다.
• 사상 φ₁ : X^{[n]} → Grass(H⁰(𝒪_X(n−1), n))는 k-매우 넓은 성질을 통해 정의되며, 극한 반사 R = ℝ⁺·(βₗ − (n−1)βₙ)를 수축함을 보였다.
• 특이점의 소수 해소를 통해 블로업을 이용해 플립을 구축하였고, 디바이저 클래스 군 계산과 기저점 없는 선형 계열을 통해 플립의 존재성을 검증하였다.

실험 결과

연구 질문

• RQ1 X = ℙ²일 때 하이버트 스킴 X^{[n]}의 효과적 및 네프 콘의 구조는 어떠한가?
• RQ2 매우 넓은 선다발에 대해 X^{[n]} 내의 어떤 유리 곡선이 최소 차수를 가지는가?
• RQ3 βₙ에 동치인 곡선은 전지수 가속기의 관점에서 어떻게 기하학적으로 특성화될 수 있는가?
• RQ4 βₗ − (n−1)βₙ에 동치인 곡선은 ℙ² 내 선 위의 점들의 하이버트 스킴 내 선으로 어떻게 묘사될 수 있는가?
• RQ5 n ≥ 4일 때 소수 수축 φ₁ : X^{[n]} → φ₁(X^{[n]})는 플립을 갖는가?

주요 결과

• X^{[n]}의 효과적 콘은 βₙ와 βₗ − (n−1)βₙ에 의해 생성된다.
• 매우 넓은 다발 (nDₗ − Bₙ/2)은 차수 1의 임bedding을 유도하며, 모든 차수 1 곡선은 βₙ 또는 βₗ − (n−1)βₙ에 동치이다.
• βₙ에 동치인 곡선은 ψ_{n+1} : X^{[n,n+1]} → ℤ_{n+1}의 섬유 내 선 C에 대해 f_{n+1}(C)의 형태이며, 이러한 곡선은 그 상과 기저점에 의해 유일하게 결정된다.
• βₗ − (n−1)βₙ에 동치인 곡선은 ℙ² 내 선 C ⊂ ℙ²에 대해 Hilbⁿ(C) ⊂ X^{[n]} 내의 선이며, 각 곡선은 유일한 선 C를 결정한다.
• 사상 φ₁는 극한 반사 ℝ⁺·(βₗ − (n−1)βₙ)의 수축이며, n ≥ 4일 때 소수 수축이면서 플립을 갖는다.
• φ₁에 대한 플립은 블로업과 동형사상이 포함된 교환도형을 통해 존재하며, 플립은 KMM의 플립 추측을 만족한다.