[논문 리뷰] On the geometry of the compactification of the universal Picard variety

Claudio Fontanari|ArXiv.org|2002. 02. 18.

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

한 줄 요약

이 논문은 Caporaso에 의해 기하학적 불변량 이론을 통해 구성된 컴 pactified universal Picard 다양체 $\overline{P}_{d,g}$의 기하학을 조사한다. Cornalba의 스핀 곡선 모듈리 공간 $\overline{S}_g$에서 $\overline{P}_{d,g}$로의 자연스러운 단사형 사상이 존재함을 입증하고, $\overline{P}_{d,g}$의 유리수 디바이저 계급군에 대한 완전한 기술을 제공한다. 이는 타우토로지컬 라인 번들의 $\mathcal{L}_{d,g}$, 히오지 클래스 $\phi_d^*(\lambda)$의 역상, 그리고 경계 디바이저 $\mathcal{D}_i$에 의해 생성되며, 특정 조건 하에서는 비자명한 관계가 존재하지 않음을 보여준다.

ABSTRACT

Here we focus on the geometry of $\pdgbar$, the compactification of the universal Picard variety constructed by L. Caporaso. In particular, we show that the moduli space of spin curves constructed by M. Cornalba naturally injects into $\pdgbar$ and we give generators and relations of the rational divisor class group of $\pdgbar$, extending previous work by A. Kouvidakis.

연구 동기 및 목표

• Caporaso에 의해 기하학적 불변량 이론을 통해 구성된 컴 pactified universal Picard 다양체 $\overline{P}_{d,g}$의 기하학적 구조를 연구하는 것.
• $\overline{P}_{d,g}$와 스핀 곡선의 모듈리 공간 $\overline{S}_g$ 간의 관계를 조사하여, $\overline{S}_g$가 자연스럽게 $\overline{P}_{d,g}$에 통합되는지 여부를 밝혀내는 것.
• Kouvidakis의 비컴 pactified $P_{d,g}$의 Picard 군에 대한 작업을 확장하여, $\overline{P}_{d,g}$의 유리수 디바이저 계급군을 계산하는 것.
• 유리수 Picard 군이 명시적인 클래스들에 의해 자유롭게 생성되는 조건을 규명하는 것.

제안 방법

• Caporaso의 기하학적 불변량 이론을 통한 $\overline{P}_{d,g}$의 구성에 기반하여, 그 경계 성분과 그 코드리만을 분석한다.
• 각 스핀 곡선에 대해 준안정 곡선 위의 degree $d$ 선다발을 부여하여, $\overline{S}_g$에서 $\overline{P}_{d,g}$로의 자연스러운 사상 수립.
• Kouvidakis가 확립한 $P_{d,g}$의 알려진 Picard 군을 활용하여, $\overline{P}_{d,g}$의 유리수 디바이저 계급군의 생성자를 유도한다.
• Arbarello와 Cornalba의 곡선 가닥을 이용한 리프팅 추론을 적용하여, 디바이저 계급군 내 비자명한 관계가 존재하지 않음을 보인다.
• $\overline{P}_{d,g}$가 기하학적 몫이며, $\gcd(d-g+1,2g-2)=1$ 조건 하에서 유한 몫 특이점을 가진다는 사실을 활용하여, Weil 디바이저와 Cartier 디바이저를 연결한다.
• 유리수 차우 군에서의 pullback 사상 $\phi_d^*$의 단사성을 증명하여 생성자들 간의 선형 독립성을 확보한다.

실험 결과

연구 질문

• RQ1 스핀 곡선의 모듈리 공간 $\overline{S}_g$는 컴 pactified universal Picard 다양체 $\overline{P}_{d,g}$에 자연스럽게 통합되는가?
• RQ2 $\overline{P}_{d,g}$의 유리수 디바이저 계급군의 생성자는 무엇이며, 이들 사이에 어떤 관계가 존재하는가?
• RQ3 유리수 Picard 군이 명시적인 클래스들에 의해 자유롭게 생성되는 조건은 무엇인가?
• RQ4 $\overline{P}_{d,g}$의 유리수 디바이저 계급군은 $\overline{\mathcal{M}}_g$의 타우토로지컬 클래스와 어떻게 관련되어 있는가?

주요 결과

• 스핀 곡선의 모듈리 공간 $\overline{S}_g$에서 컴 pactified universal Picard 다양체 $\overline{P}_{d,g}$로의 자연스러운 단사형 사상이 존재하여, 두 공간 간의 정확한 기하학적 연결 고리를 확립한다.
• $\overline{P}_{d,g}$의 유리수 디바이저 계급군은 타우토로지컬 라인 번들 $\mathcal{L}_{d,g}$, 히오지 클래스의 역상 $\phi_d^*(\lambda)$, 그리고 $i=0,\ldots,\lfloor g/2\rfloor$에 대해 정의된 경계 디바이저 $\mathcal{D}_i$에 의해 생성된다.
• $g \geq 4$일 경우, 이들 클래스에 의해 유리수 디바이저 계급군이 생성되며, 관계는 자명하여 비자명한 선형 관계가 존재하지 않는다.
• $g=3$일 경우, $\mathcal{M}_3$ 내의 초타원곡선 국소 $H$는 $[H] = 18\lambda$를 만족하므로, $[\phi_d^{-1}(H)] = 18\phi_d^*(\lambda)$가 되며, 이는 생성자 집합과 일관된다.
• 만일 $d \geq 20(g-1)$ 이고 $(d-g+1,2g-2)=1$ 이면, $\phi_d^*:\mathrm{Pic}(\overline{\mathcal{M}}_g) \otimes \mathbb{Q} \to \mathrm{Pic}(\overline{P}_{d,g}) \otimes \mathbb{Q}$ 는 단사적이며, 생성자들이 선형 독립임을 보장한다.
• $(d-g+1,2g-2)=1$ 조건 하에서, $\overline{P}_{d,g}$의 유리수 Picard 군은 $\mathcal{L}_{d,g}$, $\phi_d^*(\lambda)$, 그리고 $\mathcal{D}_i$ 클래스에 의해 자유롭게 생성된다.