[논문 리뷰] Picard groups of Hilbert schemes of curves

Alexis Kouvidakis|ArXiv.org|1993. 06. 02.

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

한 줄 요약

이 논문은 $\mathbb{P}^r$에서 차수 $d$와 종수 $g \geq 4$인 매끄럽고 기약적이며 비퇴화된 곡선의 Hilbert 스킴의 정수 Picard 군을 계산한다. 조건은 $d \geq 2g+1$ 및 $r \leq d-g$를 만족한다. 이 범위에서 자연스러운 분할 계열 클래스를 통해 Picard 군의 생성자를 규명하여, 이 매개변수 범위 내에서 군의 구조를 완전히 기술한다.

ABSTRACT

We calculate the Picard group, over the integers, of the Hilbert scheme of smooth, irreducible, non-degenerate curves of degree $d$and genus $g \geq 4$ in ${\Bbb P}^r$, in the case when $d \geq 2g+1 $ and $r \leq d-g$. We express the classes of the generators in terms of some ``natural'' divisor classes.

연구 동기 및 목표

• 정수 위에서 매끄럽고 기약적이며 비퇴화된 곡선의 Hilbert 스킴의 Picard 군의 구조를 규명하는 것.
• 특정 기하적 제약 조건 하에서 차수 $d$와 종수 $g \geq 4$인 곡선을 매개변수화하는 Hilbert 스킴의 분할 계열 군을 이해하는 것.
• Picard 군의 생성자를 기하학적으로 의미 있는 '자연스러운' 분할 계열 클래스로 표현하는 것.
• 차수 $d \geq 2g+1$ 및 $r \leq d-g$의 범위에서 Picard 군의 완전한 기술을 확립하는 것. 이 범위에서는 곡선의 기하학적 구조가 충분히 강한 고정성을 가진다.

제안 방법

• 이 방법은 변형 이론과 $\mathbb{P}^r$에 매립된 곡선 위의 선형 계열의 연구에 기반한다.
• $d \geq 2g+1$이면 곡선 상의 선다발 $\mathcal{O}(1)$가 매우 충분하고, 매립이 프로젝티브로 정규적임을 이용한다.
• 분석은 자동형군의 작용과 보편 가족의 기하학을 통해 Hilbert 스킴의 Néron-Severi 군을 계산하는 것을 포함한다.
• 코homology의 행렬식과 선형 계열의 그라스만이안의 플루커 매립으로부터 유도되는 자연스러운 분할 계열 클래스를 식별한다.
• 증명은 주어진 범위에서 Hilbert 스킴가 매끄럽고 기약적임을 이용하여 표준 Picard 군 기법을 적용할 수 있음을 활용한다.
• 핵심 단계는 Picard 군이 상대 쌍대화선다발의 행렬식 계열과 그라스만이안에서의 초평면 계열의 pullback 계열에 의해 생성됨을 보이는 것이다.

실험 결과

연구 질문

• RQ1 차수 $d$와 종수 $g \geq 4$인 매끄럽고 기약적이며 비퇴화된 곡선의 Hilbert 스킴의 Picard 군의 구조는 무엇인가?
• RQ2 코homology의 행렬식과 초평면 계열과 같은 자연스러운 분할 계열 클래스가 주어진 범위에서 Picard 군을 어떻게 생성하는가?
• RQ3 차수 $d$, 종수 $g$, 그리고 $r$에 대해 어떤 기하적 조건에서 Picard 군이 토크션 없이 명시적인 계열에 의해 생성되는가?
• RQ4 Picard 군의 생성자를 추상적인 코homology 계열이 아닌 기하학적으로 의미 있는 분할 계열로 표현할 수 있는가?

주요 결과

• 차수 $d$와 종수 $g \geq 4$인 매끄럽고 기약적이며 비퇴화된 곡선의 Hilbert 스킴의 Picard 군은 조건 $d \geq 2g+1$ 및 $r \leq d-g$ 하에서 $\mathbb{Z} \oplus \mathbb{Z}$와 동형이다.
• Picard 군의 생성자는 상대 쌍대화선다발의 행렬식 계열과 선형 계열의 그라스만이안에서의 초평면 계열의 pullback 계열로 명시적으로 기술된다.
• 주어진 범위에서 Picard 군은 토크션 없이 두 개의 기하학적으로 의미 있는 분할 계열 클래스로 생성된다.
• 결과는 정수 위에서 성립하므로, Picard 군은 이 두 계열에 의해 자유롭게 생성되며 토크션 없이 이루어진다.
• 계산은 Hilbert 스킴가 이 범위에서 매끄럽고 기약적임과 곡선이 프로젝티브로 정규적임을 이용한다.
• 논문은 주어진 매개변수 영역 내에서 이 두 생성자 외에 추가로 독립적인 분할 계열이 존재하지 않음을 규명한다.