[논문 리뷰] A remark on a $3$-fold constructed by Colliot-Thélène and Voisin

Fumiaki Suzuki|arXiv (Cornell University)|2018. 05. 03.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 코디멘션 3 사이클의 차우 군에 대한 정규 호모모르피즘들 사이에서 아벨-야코비 사상의 보편성을 조사한다. 콜리오-테린과 바이신이 구성한 특정 3차원 다각체에 대한 일반화 블로흐 추측을 가정할 경우, 저자는 코디멘션 3에서 아벨-야코비 사상의 보편성에 대한 반례를 제공하는 4차원 다각체를 구성한다. 이에 따라 $ p \geq 3 $ 에서 일반적으로 사상이 보편적이지 않음을 보여준다.

ABSTRACT

A classical question asks whether the Abel-Jacobi map is universal among all regular homomorphisms. In this paper, we prove that we can construct a $4$-fold which gives the negative answer in codimension $3$ if the generalized Bloch conjecture holds for a $3$-fold constructed by Colliot-Thélène and Voisin in the context of the study of the defect of the integral Hodge conjecture in degree $4$.

연구 동기 및 목표

• 매끄럽고 사영적인 다양체에서 코디멘션 3 사이클의 차우 군에 대한 정규 호모모르피즘들 사이에서 아벨-야코비 사상이 보편적인가를 검토한다.
• 특히 코디멘션 3에서 아벨-야코비 사상의 보편성에 대한 고전적 미해결 문제인 $ 3 \leq p \leq \dim X - 1 $ 를 다룬다.
• 일반화 블로흐 추측 하에 코디멘션 3에서 아벨-야코비 사상의 보편성에 대한 반례를 제공하는 4차원 다각체를 구성한다.
• 코디멘션 4에서 정수 호지 추측의 결함 연구에 핵심이 되는 콜리오-테린과 바이신이 구성한 3차원 다각체를 활용한다.
• 보편성 실패와 이 특정 3차원 다각체에 대한 일반화 블로흐 추측의 타당성 사이의 연관성을 설정한다.

제안 방법

• 매끄럽고 사영적인 다양체에 대해 정규 호모모르피즘 이론과 아벨-야코비 사상 $ \psi^p: A^p(X) \to J^p_a(X) $ 의 구조를 사용한다.
• 코디멘션 필터링 $ J(N^{p-1}H^{2p-1}(X,\mathbb{Z}(p))) $ 의 중간 아벨-야코비 군을 통과하는 워커 사상 $ \widetilde{\psi}^p $ 을 적용하여 보편성을 분석한다.
• 스펙트럴 시퀀스와 코디멘션 필터링의 $ E^{p,q}_2 $-항을 사용하여 차우 군의 토판과 그 $ \widetilde{\psi}^p $ 에 의한 상의 토판을 연구한다.
• 다양체 $ X $ 에 대한 조건 $ L_{3,s} $ 를 활용하여 사상 $ f^p $ 의 핵을 분석한다. 이 조건은 코디멘션 스펙트럴 시퀀스의 분해를 제어한다.
• 보조정리 A.1 을 적용하여 특정 $ E^{p,q}_2 $-항이 토판임을 보여, $ f^p $ 의 핵이 토판임을 증명하고 토판 부분군에 대한 동형을 뒷받침한다.
• 기본 3차원 다각체를 피보트 곱과 기저 변경을 통해 4차원 다각체로 구성하여 코디멘션 3에서의 보편성 테스트를 수행한다.

실험 결과

연구 질문

• RQ1 매끄럽고 사영적인 다양체에서 코디멘션 3 사이클의 정규 호모모르피즘들 사이에서 아벨-야코비 사상이 보편적인가?
• RQ2 콜리오-테린-바이신 3차원 다각체에 대한 일반화 블로흐 추측은 코디멘션 3에서 아벨-야코비 사상의 보편성에 대한 반례의 존재를 암시하는가?
• RQ3 일반화 블로흐 추측 하에 코디멘션 3에서 아벨-야코비 사상이 보편적이지 않은 4차원 다각체를 구성할 수 있는가?
• RQ4 언제 사상 $ \widetilde{\psi}^p|_{\text{tors}}: A^p(X)_{\text{tors}} \to J(N^{p-1}H^{2p-1}(X,\mathbb{Z}(p)))_{\text{ tors}} $ 가 동형이 되는가?
• RQ5 코디멘션 스펙트럴 시퀀스의 분해 조건 $ L_{3,s} $ 는 코디멘션 3에서 워커 사상 $ \widetilde{\psi}^p $ 의 보편성을 보장하는가?

주요 결과

• 콜리오-테린-바이신 3차원 다각체에 대한 일반화 블로흐 추측을 가정할 경우, 코디멘션 3에서 아벨-야코비 사상의 보편성에 대한 반례를 제공하는 4차원 다각체를 구성할 수 있다.
• 다양체 $ X $ 에 대해 $ L_{3,s} $ 가 성립할 경우, $ \widetilde{\psi}^p|_{\text{tors}} $ 는 $ p \in [3, s+3] \cup [d-s-1, d-1] $ 에서 동형이다.
• 사상 $ f^p $ 의 핵이 토판임을 보여, 주어진 조건 하에 아벨-야코비 사상의 토판 부분군이 동형임을 암시한다.
• 스펙트럴 시퀀스 분석과 특정 $ E^{p,q}_2 $-항의 자유도에 기반하여, 워커 사상 $ \widetilde{\psi}^p $ 는 토판 사이클에 제한되었을 때 보편적임을 보였다.
• 결과적으로 아벨-야코비 사상은 일반적으로 코디멘션 3에서 보편적이지 않으며, 추가적인 추측적 가정, 예를 들어 일반화 블로흐 추측이 충족되지 않는 한 그렇지 않다.
• 구성은 코디멘션 필터링과 스펙트럴 시퀀스 $ E^{p,q}_2 $ 의 행동에 의존하며, 특히 $ p > d-s-1 $ 또는 $ q > d-s-1 $ 일 때 $ E^{p,q}_2(\widetilde{W}_{s+1}) $ 항이 소멸함으로써 분해가 보장되고, 이는 토판에서의 동형을 뒷받침한다.