[논문 리뷰] The Tate conjecture over finite fields (AIM talk)

J. S. Milne|ArXiv.org|2007. 09. 19.

Algebraic Geometry and Number Theory참고 문헌 43인용 수 19

한 줄 요약

이 논문은 유한체 위에서 타테 추측에 대한 종합적인 리뷰와 연구 전망을 제시하며, 엘라르 코homology 내 타테 클래스의 구조와 그들이 대수적 사이클과 어떻게 관련되어 있는지에 중점을 둔다. 논문은 모든 프로베니우스 사상에 대해 고정된 유리 타테 클래스—즉, 유리 타테 클래스—가 대수적임을 제안하고, 이들이 CM 아벨 다양체에서 참임을 증명할 경우 약한 유리성 추측이 성립함을 보이며, 타테 추측이 호지 추측과 표준 추측과 어떻게 연결되는지를 밝힌다.

ABSTRACT

These are my notes for a talk at the The Tate Conjecture workshop at the American Institute of Mathematics in Palo Alto, CA, July 23--July 27, 2007, somewhat revised and expanded. The intent of the talk was to review what is known and to suggest directions for research. v2: Revised expanded (24 pages).

연구 동기 및 목표

• 유한체 위에서의 타테 추측의 현재 상태를 검토하고 향후 연구를 위한 열린 문제를 특정화하는 것.
• 특히 CM 아벨 다양체와 윌 클래스의 맥락에서 타테 클래스의 유리성에 대한 연구.
• 타테 추측이 호지 표준 추측과 호지 추측에 끼치는 함의를 탐색하는 것.
• 코homological 구조에서 프로베니우스 작용과 단순성의 역할을 검토하는 것.
• 유리 타테 클래스를 통해 타테 추측, 호지 추측, 표준 추측 간의 연결 고리를 설정하는 것.

제안 방법

• ℓ-진 계수를 갖는 엘라르 코homology의 프레임워크를 사용하여, H^{2r}(X, ℚ_ℓ(r))′ 내에서 갈루아 불변 코homology 클래스로 타테 클래스를 정의한다.
• 사이클 클래스 사상(기호 c^r)을 적용하여 대수적 사이클과 코homology 클래스를 연결하며, Z^r(X)의 이미지에 집중한다.
• 모든 프로베니우스 사상에 대해 고정된 클래스로 유리 타테 클래스를 도입하고, 그들의 대수성 여부를 조사한다.
• codimension에 대한 귀납법과 리프슈츠 분해를 활용하여, 유리성 추측을 낮은 차원의 경우로 환원한다.
• CM 아벨 다양체에 대한 델리뉴와 앤드레의 결과를 활용하여, 호지 클래스를 분해 가능한 윌 클래스의 역상으로 환원한다.
• 특히 헤르미트 형식이 분해 가능하게 만드는 양극화 조건 하에서, 윌 유형의 아벨 다양체에서 윌 클래스의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 특히 CM 아벨 다양체에서, 유리 타테 클래스가 언제 대수적일 수 있는가?
• RQ2 델리뉴(1982)와 앤드레(2006)의 아벨 다양체 가족을 이용하여, 분해 가능한 윌 클래스에 대한 약한 유리성 추측을 증명할 수 있는가?
• RQ3 좋은 유리 타테 클래스 이론의 존재가 모든 다양체에 대해 타테 추측을 암시하는가?
• RQ4 코homology에서 프로베니우스 작용의 단순성은 타테 추측을 얼마나 지지하는가?
• RQ5 유한체 위에서 타테 추측, 호지 추측, 표준 추측은 어떻게 상호 연관되어 있으며, 한 가지가 다른 것을 암시할 수 있는가?

주요 결과

• 유한체 위에서의 타테 추측은 H^{2r}(X, ℚ_ℓ(r))′ 내 모든 갈루아 불변 코homology 클래스가 대수적이라는 문장과 동치이다.
• 유한체 위의 아벨 다양체에서는 프로베니우스 작용이 모든 코homology 군에서 단순하게 작용하므로, 추측 S(X)를 지지한다.
• CM 아벨 다양체에 대한 유리성 추측은 특정 사이클에 대한 업그레이드 문제(질문 10.4)의 양의 해답이 존재할 경우에 따라 성립한다.
• CM 아벨 다양체에서 분해 가능한 윌 클래스에 대한 약한 유리성 추측은 질문 10.6의 양의 답변에 의해 암시된다.
• 유한체 위의 아벨 다양체에 대한 호지 표준 추측은 CM 다양체에 대한 호지 추측과 타테 추측에 의해 암시된다.
• 세 추측—호지, 타테, 표준—은 CM 다양체에 대한 호지 추측을 가정할 경우, 논문에서 제시된 함의관계를 통해 하나로 환원된다.