[논문 리뷰] Cohomology and Obstructions II: Curves on K-trivial threefolds

Herbert Clemens|ArXiv.org|2002. 06. 20.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 30

한 줄 요약

이 논문은 K-자명한 3차원 다양체 위의 곡선의 국소 해석적 힐베르트 스킴에 대해 쿠라시의 이론을 이용하여 기울기 체계 공식을 수립한다. 이를 통해 이 스킴이 복소 함수의 외적 미분의 영점으로 나타남을 보이며, 벡터 복합체와 브릴-노이만 위치에 대해 유사한 기울기 체계를 구성하고, 가우스-민 연결과 상대 코homology를 이용해 아벨-야코비 사상의 재해석을 제공한다. 이는 변형 이론과 중간 아벨-야코비 다양체 사이의 연결고리를 제공한다.

ABSTRACT

On a threefold with trivial canonical bundle, Kuranishi theory gives an algebro-geometry construction of the (local analytic) Hilbert scheme of curves at a smooth holomorphic curve as a gradient scheme, that is, the zero-scheme of the exterior derivative of a holomorphic function on a (finite-dimensional) polydisk. (The corresponding fact in an infinite dimensional setting was long ago discovered by physicists.) An analogous algebro-geometric construction for the holomorphic Chern-Simons functional is presented giving the local analytic moduli scheme of a vector bundle. An analogous gradient scheme construction for Brill-Noether loci on ample divisors is also given. Finally, using a structure theorem of Donagi-Markman, we present a new formulation of the Abel-Jacobi mapping into the intermediate Jacobian of a threefold with trivial canonical bundle.

연구 동기 및 목표

• 쿠라시의 이론을 이용해 K-자명한 3차원 다양체 위 곡선의 국소 해석적 힐베르트 스킴에 대해 복소 기울기 체계 기술을 개발한다.
• 이 기울기 체계 구성 방식을 이러한 3차원 다양체 위의 헬름홀로픽 벡터 복합체 모듈리로 확장한다.
• K-자명한 3차원 다양체의 충분히 넓은 배면에서의 브릴-노이만 위치에 대해 유사한 기울기 체계를 기술한다.
• 가우스-민 연결과 상대 코homology를 이용해 중간 아벨-야코비 다양체로의 아벨-야코비 사상을 재해석한다.
• K-자명한 3차원 다양체에서 세르 쌍대성에 의해 변형 이론적 장애와 코homological 쌍대성을 통합한다.

제안 방법

• 유한 차원 다이스크 위의 복소 함수의 외적 미분의 영점으로서 곡선의 국소 힐베르트 스킴을 실현하기 위해 쿠라시의 이론을 적용한다.
• K-자명한 3차원 다양체에서의 세르 쌍대성을 이용해 일阶 변형 $\operatorname{Ext}^1(A,A)$ 와 장애 $\operatorname{Ext}^2(A,A)$ 를 $H^3(\mathcal{O}_{X_0}) = \mathbb{C}$ 로 가는 추적 사상에 의해 연결한다.
• 헬름홀로픽 초전기스미스 기능을 구성하여, 그 기울기가 벡터 복합체의 모듈리 공간을 주는 방식으로 구성한다.
• 브릴-노이만 위치의 경우, 국소-글로벌 스펙트럴 시퀀스와 가우스-민 연결을 이용해 아벨-야코비 사상의 미분을 정의한다.
• 선다발 위의 첫 번째 코호몰로지 클래스에 가우스-민 연결을 적용한 결과로 아벨-야코비 사상의 미분을 식별한다.
• 도나기-마크먼 구조 정리의 활용을 통해 아벨-야코비 사상을 상대 코hom로와 가우스-민 연결의 관점에서 재구성한다.

실험 결과

연구 질문

• RQ1 K-자명한 3차원 다양체 위의 곡선에 대한 국소 해석적 힐베르트 스킴은 어떻게 기울기 체계로 기술될 수 있는가?
• RQ2 이러한 3차원 다양체 위의 헬름홀로픽 벡터 복합체 모듈리 공간에 대해 유사한 기울기 체계 구성은 어떻게 이루어지는가?
• RQ3 충분히 넓은 배면 위의 선다발의 변형 이론은 가우스-민 연결과 코homology와 어떻게 관련되는가?
• RQ4 노에터-레프슈체츠 다양체 위에서의 아벨-야코비 사상의 미분은 중간 아벨-야코비 다양체로의 사상과 어떤 방식으로 관련되는가?
• RQ5 도나기-마크먼의 구조 정리는 이 맥락에서 아벨-야코비 사상의 기술을 어떻게 정교하게 만드는가?

주요 결과

• K-자명한 3차원 다양체 $X_0$ 위의 매끄러운 곡선 $Y_0$ 에 대한 국소 해석적 힐베르트 스킴은 유한 차원 다이스크 위의 복소 함수의 외적 미분의 영점과 동형이다.
• K-자명한 3차원 다양체 $X_0$ 위의 헬름홀로픽 벡터 복합체 모듈리 공간 역시 헬름홀로픽 초전기스미스 기능의 기울기 체계로 유사하게 기술된다.
• 매우 넓은 배면 $S_0$ 와 그 위의 선다발 $L_0$ 에 대해, $L_0$ 의 코호몰로지 클래스가 $H_2(X_0;\mathbb{Z})$ 에서 영이면, 쌍 $(S_0, L_0)$ 의 변형 이론은 가우스-민 연결을 포함하는 기울기 체계 구성에 의해 지배된다.
• 노에터-레프슈체츠 다양체를 따라 아벨-야코비 사상의 미분은 상대 코호몰로지 클래스에 가우스-민 연결을 적용한 결과로 식별되며, 이는 동치 1차원 사이클의 아벨-야코비 불변량과 대응된다.
• 중간 아벨-야코비 다양체로의 아벨-야코비 사상은 등사 $\nabla\tau: T_{\tilde{X}'} \cong F^2H^3(\tilde{X}/\tilde{X}')$ 을 통해 재기술되며, 이에 따라 $d\Phi_{BN}$ 이 아벨-야코비 불변량을 올리게 된다.
• 이 구성은 상대 3차원 체인 $\Gamma_{u'}$ 에 대한 적분을 통해 아벨-야코비 사상의 미분과 가족의 코homological 자료 사이의 정확한 연결고리를 확립한다.