[논문 리뷰] Higher Abel-Jacobi Maps

Jishnu Biswas, Gautham Dayal외 2명|ArXiv.org|2000. 10. 03.

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

한 줄 요약

이 논문은 블로흐의 차우 군의 필터링에 대한 추측을 다루기 위해 절대 델 레인-베일리슨 코homology와 모리후코 사이토의 호드 모듈 이론을 사용하여 그린의 높은 아벨-자코비 맵에 대한 대체를 제안한다. 이는 수체 위에 정의된 다양체에서 모티프 표준 추측이 성립할 경우 블로흐의 추측이 유도됨을 보여주며, 특이 코homology와 아벨-자코비 맵을 통합하는 코homology 이론으로서의 사이클 클래스 맵을 구축한다.

ABSTRACT

This paper forms the major portion of a talk given at the International Colloquium on Arithmetic, Algebra and Geometry at TIFR, Mumbai in Jan 2000. We look at the problem of detecting cycles with trivial Abel-Jacobi invariant. M. Green proposed a Hodge-theoretic method to which C. Voisin found a counter-example. We present an easier example. We also propose another possible invariant to detect these classes using Hodge Theory. Similar methods have been proposed earlier by M. Asakura and M. Saito.

연구 동기 및 목표

• 복소수의 부분체 위에 정의된 매끄럽고 사영인 다양체에서 대수적 사이클에 대한 차우 군의 필터링에 관한 블로흐의 추측을 다루는 것.
• 그린의 높은 아벨-자코비 맵이 특정한 비 torsion 원소를 탐지하지 못함을 보여주는 반례로 인해 발생하는 한계를 극복하는 것.
• 블로흐와 비엘린슨이 추측한 고차 확장군 Ext^k(ℚ(−p), H^{2p−k}(V))을 실현하는, 델 레인-베일리슨 코homology와 호드 모듈에 기반한 코homological 프레임워크를 구축하는 것.
• 절대 델 레인-베일리슨 코homology로의 사이클 클래스 맵을 수립하여, 차우 군에 대한 올바른 필터링을 유도하고 호드 이론적 기대와 호환되게 하는 것.
• 제안된 코homological 프레임워크가 타당하다면, 수체 위에 정의된 다양체에서 F²CHᵖ(V) = 0인 블로흐의 추측이 모티프에 대한 표준 추측으로부터 유도됨을 보이는 것.

제안 방법

• ℚ̄ ⊂ ℂ 위에 정의된 다양체에 대한 호드 모듈 프레임워크를 사용하여, 기저 S 위의 가속 𝒱 → S 에 대해 상대 de Rham 코homology R^i_dR(𝒱/S) 에 혼합 호드 구조를 구성하는 것.
• 스펙트럴 시퀀스 Ext^b_MHM(S)(ℚ(c), R^a_dR(𝒱/S)) ⇒ Ext^{a+b}_MHM(𝒱)(ℚ(c), ℚ) 을 적용하여 혼합 호드 모듈의 범주 내에서 Ext 군을 통해 델 레인-베일리슨 코homology 를 정의하는 것.
• V 를 ℚ̄ 위에서의 모든 모델 𝒱 → S 에 대해 고려하여, 절대 델 레인-베일리슨 코homology H^n_ADb(V, ℚ(c)) 를 Ext^n_MHM(𝒱)(ℚ(c), ℚ) 의 직접극한으로 정의하는 것.
• 특이 사이클 클래스 맵과 아벨-자코비 맵을 통합하는 사이클 클래스 맵 cl^p_ADb: CH^p(V) → H^{2p}_ADb(V, ℚ(p)) 를 구성하는 것.
• 스펙트럴 시퀀스를 통해 CH^p(V) 에 필터링을 유도하며, 이는 블로흐의 필터링 F^kCH^p(V) 와 일치할 것이라 추측되는 것.
• dim S ≥ 1 일 때 MHM(S) 내의 Ext^2 군이 비자명하므로, 고차 확장들을 통한 고차 아벨-자코비 맵을 구성할 수 있음을 이용하는 것.

실험 결과

연구 질문

• RQ1 혼합 모티브의 범주에서 Ext^k(ℚ(−p), H^{2p−k}(V)) 의 고차 확장군을 실현하는 고차 아벨-자코비 맵을 구성할 수 있는가?
• RQ2 복소수 위에 정의된 매끄럽고 사영인 표면 S 에 대해 그린의 고차 아벨-자코비 맵이 F²CH²(S) 의 원소를 올바르게 탐지하는가?
• RQ3 수체 위에 정의된 다양체에서 F²CH^p(V) = 0 인 블로흐의 추측은 코homological 프레임워크를 통해 표준 추측으로부터 유도될 수 있는가?
• RQ4 절대 델 레인-베일리슨 코homology 로 유도된 CH^p(V) 의 필터링은 블로흐의 추측적 필터링과 호환되는가?
• RQ5 절대 델 레인-베일리슨 코homology H^n_ADb(V, ℚ(c)) 는 사이클 클래스 맵과 아벨-자코비 맵을 통합하여 차우 군 필터링의 전체적인 구조를 포괄할 수 있는가?

주요 결과

• 그린의 고차 아벨-자코비 맵는 복소수 위에 정의된 특정한 매끄럽고 사영인 표면 S 에 대해 F²CH²(S) 내의 비 torsion 원소를 탐지하지 못함을 반례로 보여줌.
• 제안된 절대 델 레인-베일리슨 코homology H^{2p}_ADb(V, ℚ(p)) 는 특이 코homology 로의 사이클 클래스 맵과 아벨-자코비 맵을 통합하는 코homological 프레임워크를 제공함.
• 스펙트럴 시퀀스 Ext^b_MHM(S)(ℚ(−p), R^a_dR(𝒱/S)) ⇒ Ext^{a+b}_MHM(𝒱)(ℚ(−p), ℚ) 은 블로흐와 비엘린슨이 추측한 고차 확장군을 실현함.
• 사이클 클래스 맵 cl^p_ADb: CH^p(V) → H^{2p}_ADb(V, ℚ(p)) 는 CH^p(V) 에 필터링을 유도하며, 이는 블로흐의 필터링 F^kCH^p(V) 와 일치할 것이라 추측됨.
• 제안된 코homological 프레임워크가 타당하다면, 수체 위에 정의된 다양체에서 F²CH^p(V) = 0 인 블로흐의 추측은 표준 추측으로부터 유도됨.
• 구성 과정은 중간 임베디드 양자 J²₂(S) 가 탐지하지 못하는 F²CH²(S) 내의 원소들이 절대 델 레인-베일리슨 코homology 를 통해 여전히 탐지될 수 있음을 보여주며, 고전적 접근의 핵심적 한계를 해결함.