[논문 리뷰] A survey around the Hodge, Tate and Mumford-Tate conjectures for abelian varieties

Victoria Cantoral‐Farfán|arXiv (Cornell University)|2016. 02. 26.

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

한 줄 요약

이 종합적 서베이는 아벨 다양체에 대한 호지, 태트, 문프먼-테이트 추측에 대한 포괄적인 개요를 제공하며, 이들 간의 상호연결성을 규명하고 알려진 결과를 요약한다. 이 논문은 숫자체 위의 아벨 다양체에 대해 문프먼-테이트 추측과 호지 추측이 동시에 성립할 경우 태트 추측이 성립함을 보이며, 산술기하학과 대수기하학의 핵심 추측들을 통합하는 프레임워크를 제공한다.

ABSTRACT

This survey describe Hodge, Tate and Mumford-Tate conjectures for abelian varieties. After some preliminaries on endomorphism ring, polarization and algebraic cycles, we state the three conjectures and provide a list of know results. Finally, we explain some links between these conjectures.

연구 동기 및 목표

• 아벨 다양체에 특화된 호지, 태트, 문프먼-테이트 추측을 통합하고 명확히 하기.
• 특히 갈루아군과 호지군이 코homological 불변량에서 수행하는 역할을 통해 이 추측들 간의 깊은 유사성 설명하기.
• 특정 아벨 다양체(저차원 또는 특수 유형)에 대해 추측들이 성립하는 알려진 결과와 조건 요약하기.
• 숫자체 위의 아벨 다양체에 대해 태트 추측과 문프먼-테이트 추측 및 호지 추측의 결합이 논리적으로 동치임을 확립하기.
• 코homological 및 갈루아 이론적 구조를 통해 이 세 추측들이 어떻게 상호연결되어 있는지를 통합적인 시각 제공하기.

제안 방법

• 종속환, 극화, 로사티의 대칭변환, 앨버트의 아벨 다양체 유형 분류를 포함한 기초 개념을 체계적으로 도입.
• 호지 추측을 단순히 정수계수의 특이코homology에서 호지 클래스가 대수적 사이클의 유리계수 선형조합임을 주장하는 것으로 기술.
• 태트 추측을 ℓ-아디크 코homology에서 태트 클래스가 ℓ-아디크 선형조합으로서 대수적 사이클임을 주장하는 것으로 기술.
• 문프먼-테이트 추측을 ℓ-아디크 갈루아 모노드로미 군이 ℚℓ로의 기저변환된 호지군과 일치한다는 주장으로 기술.
• Hg(X)와 Hℓ이 각각 Hg(X)와 Hℓ에 의해 불변인 클래스로 간주되며, Hg(X) ⊗ ℚℓ와 Hℓ를 비교함으로써 호지와 태트 클래스 간의 유사성 활용.
• 시무라 다양체, 모티프 이론, 절대 호지 클래스 이론의 결과를 적용하여 추측들 간의 함의관계 유도.

실험 결과

연구 질문

• RQ1 숫자체 위의 아벨 다양체에 대해 호지 추측과 문프먼-테이트 추측이 태트 추측을 함의하는 조건은 무엇인가?
• RQ2 갈루아군과 호지군의 구조를 통해 호지, 태트, 문프먼-테이트 추측들이 코homology에서 어떻게 연관되어 있는가?
• RQ3 어떤 유형의 아벨 다양체(예: CM 유형, 단순, 저차원)에서 이 추측들이 알려진 바가 있는가?
• RQ4 로사티의 대칭변환과 앨버트의 분류가 추측들과 관련된 내부환의 구조 이해에 어떤 역할을 하는가?
• RQ5 절대 호지 클래스 이론이 (T) ⇒ (H) 함의관계를 뒷받침하는 방식은 무엇이며, 이는 (MT)+(H) ⇔ (T)의 완전한 동치성과 어떻게 연결되는가?

주요 결과

• 문프먼-테이트 추측과 호지 추측이 함께 성립할 경우 숫자체 위의 아벨 다양체에 대해 태트 추측이 성립함을 보이며, 이는 (MT)+(H) ⇔ (T)의 동치성에 의해 입증됨.
• 숫자체 위의 소수 차원을 가진 단순 아벨 다양체에 대해 문프먼-테이트 추측이 성립하며, 탄케예프의 호지 추측 결과와 결합하여 태트 추측이 도출됨.
• 복소수체 위의 CM 유형 아벨 다양체에서 문프먼-테이트 군이 차원 g+1인 토루스일 경우 호지 추측이 성립하며, 이에 따라 숫자체 위에서 태트 추측도 성립함.
• 유형 I 또는 II이며 상대 차원이 홀수인 아벨 다양체에 대해 문프먼-테이트 추측이 성립하며, 무르티와 하자마의 결과에 따라 호지 추측도 성립하므로 태트 추측이 도출됨.
• 함의관계 (T) ⇒ (H)는 피아테츠키-샤피로가 절대 호지 클래스를 통해 증명하였으며, 이와 (H)+(T) ⇒ (MT)를 결합하면 전체 동치성 (MT)+(H) ⇔ (T)를 확립함.
• 이 추측들은 코homological 불변량을 통해 깊이 연결되어 있으며, 호지 클래스는 H^2p(X_ℂ, ℚ)에서 Hg(X)-불변 클래스이며, 태트 클래스는 H^2p(X_k, ℚℓ)에서 Hℓ-불변 클래스이며, Hℓ ⊆ Hg(X) ⊗ ℚℓ임.