[논문 리뷰] A conjecture of Yves Andre

Andrei Yafaev|ArXiv.org|2003. 02. 11.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 6

한 줄 요약

이 논문은 CM 필드에 대한 일반화된 리만 가설(GRH)을 가정할 때, 1989년 앙드레가 제기한 추측을 증명한다: 특별점이 무한히 많은 특수한 Hodge 유형의 쌍대형으로서의 슈미라 다양체에 포함된 기약 대수적 곡선은 반드시 Hodge 유형이어야 한다. 증명은 GRH에 기반한 특별점의 갈로아 궤도에 대한 정밀한 하한과 효과적 체보타레프 밀도 정리의 응용을 통해 이루어지며, 이러한 곡선이 특정 헤케 대응에 관해 보존됨을 보이고, 이는 이전의 특성화에 의해 Hodge 유형임을 시사한다.

ABSTRACT

In this paper we prove, assuming the Generalised Riemann Hypothesis, a conjecture of Yves Andre that that asserts that a curve in a Shimura variety containing an infinite set of special points is of Hodge type.

연구 동기 및 목표

• CM 필드에 대한 일반화된 리만 가설(GRH)을 가정할 때, 1989년 앙드레가 제기한 추측을 증명한다: 특별점이 무한히 많은 슈미라 곡선은 반드시 Hodge 유형이어야 한다.
• GRH 하에서 슈미라 다양체의 특별점 갈로아 궤도 크기에 대한 효과적 하한을 확립하여 이전 결과를 개선한다.
• 문헌 [3]의 주요 결과를 일반화하여, Hodge 구조가 고정된 표현을 통해 동형이 되는 조건을, Q-토리로서의 무드포트-테이트 군이 동형이 되는 조건으로 약화시킨다.
• 무한히 많은 특별점을 포함하고, 그 무드포트-테이트 군이 서로 동형인 곡선이 Hodge 유형임을 헤케 대응 기법을 통해 보여준다.

제안 방법

• GRH 하에서 효과적 체보타레프 밀도 정리를 사용하여 슈미라 다양체의 특별점 갈로아 궤도 크기를 제어한다.
• 분할 체의 판별식과 소수 모듈로에서의 비토리형 축소를 고려한 갈로아 궤도에 대한 개선된 하한을 적용한다.
• 표준적 감소 기법을 통해 G가 애드조인트 유형의 단순형이고 곡선 C가 Hodge 일반적임을 가정하는 경우로 문제를 축소한다.
• 특별점의 전체 갈로아 궤도를 포함하는 C ∩ T_gC 를 갖는 헤케 대응 T_g 를 구성한다.
• 갈로아 궤도가 유한하지 않게 크다면, C 는 T_g 에 의해 보존되어야 하며, 이는 [3]의 특성화에 의해 C 가 Hodge 유형임을 시사한다.
• 역사성 사상과 무드포트-테이트 군의 구조를 활용하여 특별점의 표현론적 자료를 제어한다.

실험 결과

연구 질문

• RQ1 무한히 많은 특별점을 포함하는 슈미라 다양체 내의 대수적 곡선이 Hodge 유형이 되기 위한 조건은 무엇인가?
• RQ2 GRH 하에서 특별점의 갈로아 궤도 크기에 대한 효과적 하한을 확립할 수 있는가? 이를 통해 곡선 케이스의 앙드레-오텐 추측을 증명할 수 있는가?
• RQ3 무드포트-테이트 군 동형류는 곡선이 Hodge 유형임을 결정하는 데 어떤 역할을 하는가?
• RQ4 헤케 대응을 어떻게 활용하여 슈미라 다양체 내의 Hodge 유형 부분다양체를 탐지할 수 있는가?
• RQ5 GRH는 무드포트-테이트 군의 소수 모듈로에서의 분할 행동을 어느 정도 제어할 수 있는가?

주요 결과

• 논문은 GRH를 가정할 경우, 슈미라 다양체 내에 있는 기약 대수적 곡선이 무한히 많은 특별점을 포함한다면 반드시 Hodge 유형임을 증명한다.
• 특별점 갈로아 궤도 크기에 대한 하한을 확립한다: |Gal(𝑄̄/F)·s| > c₁ log(d_Ls)^5k c₂^i(s) i(s)! 여기서 i(s) 는 MT(V_s)𝔽_p 가 토리가 아닌 소수 p 의 개수를 세는 값이다.
• 갈로아 궤도가 충분히 크다면, C ∩ T_gC 가 유한이 될 수 없으며, 이는 C 가 헤케 대응 T_g 에 의해 보존되어야 함을 시사한다.
• C 가 Hodge 유형임을 보이기 위해 [3]의 정리 7.1을 적용한다. 이 정리는 헤케 대응 불변성에 의해 Hodge 유형 부분다양체를 특성화한다.
• 논문은 [3]의 주요 정리를 일반화하여, Hodge 구조가 동형이 되는 조건을 Q-토리로서의 무드포트-테이트 군이 동형이 되는 조건으로 약화시켰다.
• 논문은 에디크스벤의 개방 문제 14에 대한 부분적 해답을 제공하며, GRH 하에서 갈로아 궤도 크기에 대한 효과적 하한을 제시한다.