[논문 리뷰] Detecting linear dependence on a simple abelian variety

Peter Jossen|arXiv (Cornell University)|2010. 01. 01.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 4

한 줄 요약

이 논문은 수체 위의 기하학적으로 단순한 아벨 다양체에 대해 선형 종속성에 대한 국소-글로벌 원칙을 확립한다: 거의 모든 소수 모odulo에서 유리 점이 부분군에 속한다면, 그 점은 글로벌하게도 해당 부분군에 속한다. 증명은 $\alpha$-adic Galois 표현, 1-모티브, 그리고 Serre-Gabber와 Chebotarev 유형의 추론을 통한 코homological 장벽을 사용하며, 장벽 군의 비순환성은 기하학적 단순성 하에 원하는 글로벌 포함성을 보장함을 보여준다.

ABSTRACT

Let A be a geometrically simple abelian variety over a number field k, let X be a subgroup of A(k) and let P be an element of A(k). We prove that if P belongs to X modulo almost all primes of k then P already belongs to X.

연구 동기 및 목표

• 2002년 워예흐 카 잭다가 제기한 질문, 즉 국소적 감소 조건이 아벨 다양체에서 글로벌 선형 종속성을 감지할 수 있는지 여부를 해결하기 위해.
• 거의 모든 소수 모odulo에서의 행동에 기반하여, 유리 점이 모듈러 군의 부분군에 속할 충분조건을 설정하기 위해.
• 슐린젤, 웨스턴, 코와르스키 등의 이전 연구 결과를 기하학적으로 단순한 가정 하에 확장하여, 글로벌 포함성을 증명하기 위해.
• 1-모티브와 Galois 표현을 사용한 코homological 프레임워크를 제공하여 국소-글로벌 원칙의 장벽을 분석하기 위해.

제안 방법

• 유리수환 $\mathcal{O}_k$ 위에서 $Y$를 상수 층으로 하고 $u(Y) = X$ (관심 있는 부분군)인 1-모티브 $[u: Y \to A]$를 구성한다.
• 이 1-모티브에 대해 $\ell$-adic Galois 표현 $\textup{T}_\ell M$을 정의하며, $k$의 절대 Galois 군의 연속적 작용을 갖는다.
• 조밀도 1인 소수에서의 국소 제약 사상의 곱의 핵으로서 코homology 군 $H^1_S(U, \textup{T}_\ell M)$을 정의한다.
• Serre-Gabber의 동형을 사용하여 $H^1_S(U, \textup{T}_\ell M)$을 $H^1_*(L^M, \textup{T}_\ell M)$과 연결하며, 여기서 $L^M$은 Galois 군이 $\textup{Aut}(\textup{T}_\ell M)$에 임베드된 이미지이다.
• Mumford–Tate 추측과 Galois 이미지 제어를 통해 기하학적 단순성 하에서 $H^1_*(L^M, \textup{T}_\ell M)$이 비순환임을 증명한다.
• 장애군의 비순환성이 $X = \overline{X}$임을 의미함을 보여주며, 여기서 $\overline{X}$는 거의 모든 소수 모odulo에서 $X$에 감소하는 점들의 집합이다.

실험 결과

연구 질문

• RQ1 유리 점이 거의 모든 소수 모odulo에서 부분군에 속한다는 조건은 그 점이 글로벌하게도 해당 부분군에 속한다는 것을 의미하는가?
• RQ2 아벨 다양체에서 선형 종속성에 대한 국소-글로벌 원칙의 코homological 장애는 무엇인가?
• RQ3 아벨 다양체가 기하학적으로 단순할 경우, 국소 감소 조건이 글로벌 선형 종속성을 감지할 수 있는가?
• RQ4 Galois 이미지의 $\ell$-adic 타이트 모듈러스에서의 구조는 국소-글로벌 원칙을 어떻게 제약하는가?

주요 결과

• 주요 결과는, 유리 점 $P$가 자연 조밀도 1인 소수의 집합 모odulo에서 부분군 $X \subseteq A(k)$에 속한다면, $P \in X$가 글로벌하게 성립함을 보여준다.
• 기하학적으로 단순할 경우, 코homological 장애 군 $H^1_*(L^M, \textup{T}_\ell M)$은 비순환임을 보여주며, 이는 국소-글로벌 원칙의 타당성을 보장한다.
• 증명은 $H^1_S(U, \textup{T}_\ell M)$이 $H^1_*(L^M, \textup{T}_\ell M)$에 임베딩되며, 후자의 군이 Galois 표현 제어를 통해 비순환임을 보여줌에 기반한다.
• 이 결과는 타원곡선의 경우에도 새로움을 보이며, 웨스턴, 코와르스키 등 이전 연구의 부분 결과를 더 강한 가정 하에 일반화한 것이다.
• 논증은 감소 기법을 사용한다: $X$가 $\overline{X}$에서 유한 차수일 것이라 가정하면, $\overline{X}/X$의 비순환성은 $X = \overline{X}$임을 암시한다.
• 논문은 기하학적으로 단순한 아벨 다양체에 대해 국소-글로벌 원칙이 성립함을 확인하였으며, 이 경우에 반례가 없음에도 불구하고 오랫동안 남아있던 질문을 해결하였다.