[논문 리뷰] Theta-duality on Prym varieties and a Torelli Theorem

Martí Lahoz, Juan Carlos Naranjo|arXiv (Cornell University)|2010. 10. 03.

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

한 줄 요약

이 논문은 비분기 이중 쌍대화를 가진 비초타원 곡선(성질 $ g \geq 4 $)에 대응하는 프림 다양체에 대해 체계 이론적 θ-쌍대성 등식을 수립한다. $ T(\widetilde{C}) = V^2 $ 및 $ T(V^2) = \widetilde{C} $ 를 증명하며, 여기서 $ V^2 $ 는 인덱스 2의 브릴-노에터 다양체이다. 푸리에-무카이 변환과 코homological 기법을 사용하여, 일반성 가정 없이도 원래의 이중 쌍대화를 결정하는 토렐리 유형 정리도 증명한다.

ABSTRACT

Let p:C' -> C be an unramified double covering of irreducible smooth curves and let P be the attached Prym variety. We prove the schematic theta-dual equalities in the Prym variety T(C')=V^2 and T(V^2)=C', where V^2 is the Brill-Noether locus of P associated to p considered by Welters. As an application we prove a Torelli Theorem analogous to the fact that the g-th symmetric product of a curve D of genus g determines the curve.

연구 동기 및 목표

• 비분기 이중 쌍대화를 가진 곡선에 대응하는 프림 다양체에서 체계 이론적 θ-쌍대성 등식 $ T(\widetilde{C}) = V^2 $ 과 $ T(V^2) = \widetilde{C} $ 를 수립한다.
• 프림 상의 차수 $ g-1 $의 효과적 교차를 매개하는 다양체 $ X^{-} $ 가 원래의 이중 쌍대화 $ \widetilde{C} \to C $ 를 결정함을 보이는 토렐리 유형 정리를 증명한다.
• 브릴-노에터 다양체 $ V^2 $ 와 주성분 극화 $ \Xi $ 가 일반성 또는 성질 제약 없이도 쌍대화를 유일하게 결정함을 보인다.
• 프림 곡선 $ \widetilde{C} $ 상의 선다발의 상사상에 대한 푸리에-무카이 변환의 코homology 층이 $ \mathcal{I}_{V^2}(\Xi_\lambda) $ 를 실현함을 보여, 이는 쌍대성 증명에 기여한다.
• 차원 5인 매끄러운 입체삼차곡면의 중간 아르키메데스 다양체의 맥락에서 주요 정리를 설명한다. 이 경우 프림 다양체와 동일시된다.

제안 방법

• 포함사상 $ j: \widetilde{C} \to P $ 과 선다발 $ L \in \operatorname{Pic}^{2g-2}(\widetilde{C}) $ 에 대해 $ j_*L $ 에 대한 푸리에-무카이 변환을 사용하여, $ X^{-} $ 와 $ V^2 $ 의 기하학적 성질을 분석한다. 여기서 $ L $ 의 노름은 $ \omega_C $ 와 같다.
• 만약 $ h^0(L) $ 가 홀수이면, 푸리에-무카이 변환 $ \mathbf{R}\mathscr{S}_P(j_*L) $ 는 두 개의 비영인 코homology 층 $ \mathcal{R}^0 $ 과 $ \mathcal{R}^1 $ 을 가지며, $ \mathcal{R}^1 \cong \mathcal{I}_{V^2}(\Xi_\lambda) $ 라는 동형이 성립한다.
• 푸리에-무카이 변환의 쌍대성 성질을 적용하여, 동형 $ \mathcal{R}^1 \cong \mathcal{I}_{V^2}(\Xi_\lambda) $ 에 기반해 $ T(V^2) = \widetilde{C} $ 를 유도한다. 여기서 $ T(Y) $ 는 $ a \in P $ 의 집합으로, $ a + Y \subset \Xi $ 를 만족한다.
• 피팅 지지부와 코homological 기법을 사용하여, 집합론적으로는 쉽게 알 수 있지만 체계 이론적으로는 섬세한 대수기하학이 필요한 등식 $ T(\widetilde{C}) = V^2 $ 를 증명한다.
• [B1], [CG], [H1] 의 결과를 조합하여, 삼차곡면의 Fano 곡면 $ F $ 가 프림 다양체에 매립되어 있음을 해석하고, $ V^2 $ 가 $ F $ 와 $ \sigma F $ 의 전이들의 합집합임을 밝힌다.
• 선다발의 성질 $ \mathcal{O}_{C_t}(D(r) + D(\sigma r)) \cong L^\otimes 2 $ 를 이용하여, $ r \mapsto L^{-1}(D(r)) $ 는 $ C_t $ 를 $ T(V^2) $ 에 매립함을 보이고, 주요 정리에 의해 등식을 도출한다.

실험 결과

연구 질문

• RQ1 프림 다양체 $ P $ 에서 곡선 $ \widetilde{C} $ 의 체계 이론적 θ-쌍대는 브릴-노에터 다양체 $ V^2 $ 와 같은가?
• RQ2 프림 상의 차수 $ g-1 $ 의 효과적 교차를 매개하는 다양체 $ X^{-} $ 는 원래의 비분기 이중 쌍대화 $ \widetilde{C} \to C $ 를 결정하는가?
• RQ3 $ T(V^2) = \widetilde{C} $ 는 체계 이론적으로 성립하며, 곡선이나 그 성질에 대한 일반성 가정 없이도 성립하는가?
• RQ4 $ j_*L $ 의 푸리에-무카이 변환은 이상층 $ \mathcal{I}_{V^2}(\Xi_\lambda) $ 와 어떻게 관련되어 있으며, 이 동형은 쌍대성 증명에 사용될 수 있는가?
• RQ5 입체삼차곡면의 중간 아르키메데스 다양체의 경우, 주요 정리는 알려진 기하학적 구조인 $ V^2 $ 와 $ T(V^2) $ 를 회복하는가?

주요 결과

• 비초타원 곡선이며 성질 $ g \geq 4 $ 를 만족할 경우, 프림 다양체 $ P $ 에서 곡선 $ \widetilde{C} $ 의 체계 이론적 θ-쌍대는 정확히 브릴-노에터 다양체 $ V^2 $ 와 같으며, 즉 $ T(\widetilde{C}) = V^2 $ 이다.
• 브릴-노에터 다양체 $ V^2 $ 의 체계 이론적 θ-쌍대는 곡선 $ \widetilde{C} $ 와 같으며, 즉 $ T(V^2) = \widetilde{C} $ 이다. 이는 프림 다양체 내에서 $ \widetilde{C} $ 와 $ V^2 $ 간의 완벽한 쌍대성을 수립한다.
• 프림 상의 차수 $ g-1 $ 의 효과적 교차를 매개하는 다양체 $ X^{-} $ 는 일반성 또는 성질 제약 없이도 원래의 이중 쌍대화 $ \widetilde{C} \to C $ 를 결정한다.
• 푸리에-무카이 변환의 코homology 층 $ \mathcal{R}^1 $ 은 이상층 $ \mathcal{I}_{V^2}(\Xi_\lambda) $ 와 동형이며, 이는 쌍대성 결과를 증명하는 데 핵심적이다.
• 매끄러운 입체삼차곡면의 중간 아르키메데스 다양체의 경우, $ V^2 $ 는 Fano 곡면 $ F $ 와 $ \sigma F $ 의 두 전이들의 합집합이며, $ T(V^2) $ 는 고정된 직선 $ t $ 와 교차하는 직선의 곡선 $ C_t $ 와 동형이다. 이는 주요 정리를 고전적 맥락에서 확인한다.
• $ T(V^2) = \widetilde{C} $ 는 교차 $ F_{L^{-2}} \cap (-1)^*F_{L^{-2}} $ 를 통해 증명되며, 이는 $ C_t $ 와 같다. 이는 삼차곡면 기하학적 맥락에서 쌍대성이 성립함을 보여준다.