[논문 리뷰] The l-adic support problem for abelian varieties

Antonella Perucca|arXiv (Cornell University)|2007. 12. 17.

Algebraic Geometry and Number Theory인용 수 6

한 줄 요약

이 논문은 수체 K 위의 아벨 다양체와 토루스의 곱인 군 G에서 거의 모든 소수 p에 대해 K-유리점 Q의 모듈로 p 순서가 다른 K-유리점 P의 모듈로 p 순서를 나누면, Q는 G의 K-환형사상에 의한 P의 상의 유리수배임을 증명한다. 이 결과는 순서의 루트나 l-진 순서의 l-진 값에 대한 비교와 같은 더 약한 조건으로도 확장되며, 수체 위의 산술동역학에서 강력한 유한성 및 유리수 조건을 입증한다.

ABSTRACT

Let G be the product of an abelian variety and a torus defined over a number field K. Let P and Q be K-rational points on G. Suppose that for all but finitely many primes p of K the order of (Q mod p) divides the order of (P mod p). Then there exist a K-endomorphism f of G and a non-zero integer c such that f(P)=cQ. Furthermore, we are able to prove the above result with weaker assumptions: instead of comparing the order of the points we only compare the radical of the order (radical support problem) or the l-adic valuation of the order for some fixed rational prime l (l-adic support problem).

연구 동기 및 목표

• 수체 위의 아벨 다양체와 토루스에 대한 지지 문제를 설정하여, 소수 모듈로에서 점의 순서에 관한 고전 결과를 일반화한다.
• 점의 순서를 비교하는 조건을 전체 순서 비교에서 순서의 루트나 l-진 순서의 l-진 값 비교로 약화시킨다.
• 약화된 조건 하에서도 여전히 점 P와 Q 사이에 유리수환형사상과 스칼라배가 존재함을 증명한다.
• 고전적 지지 문제를 l-진 설정으로 확장하여, 수체 위 산술기하학에서 점 간 관계의 더 강력한 산술적 특성화를 제공한다.

제안 방법

• 군 G에서 소수 모듈로에서 점의 구조를 분석하기 위해 l-진 갈루아 표현을 사용한다.
• 문제를 G의 l-진 타이트 모듈의 순서 나눗셈 문제로 환원한다.
• 거의 모든 소수에서 국소적 나눗셈 조건을 통해 전역적 관계를 도출하기 위해 체보타레프 밀도 정리를 적용한다.
• 수체 위에서의 환형사상환 기법을 활용해 필요한 K-환형사상 f를 구성한다.
• 순서의 루트를 비교하여 문제를 더 약한, 그러나 충분한 조건으로 환원한다.
• 수체 위에서 아벨 다양체와 토루스의 구조 이론을 활용해 점의 환원에 따른 행동을 제어한다.

실험 결과

연구 질문

• RQ1 거의 모든 소수 p에 대해 Q mod p 의 순서가 P mod p 의 순서를 나누면, G 내에서 P와 Q 사이에 어떤 전역 대수적 관계가 성립하는가?
• RQ2 고전적 지지 문제는 l-진 설정으로 확장될 수 있는가? 즉, 오직 l-진 순서의 l-진 값만 비교하는가?
• RQ3 거의 모든 p에 대해 Q mod p 의 순서의 루트가 P mod p 의 순서의 루트를 나누면, 여전히 P와 Q 사이에 유리수환형사상 관계가 성립하는가?
• RQ4 점의 소수 모듈로 환원에 대한 최소한의 산술 조건은 무엇이며, 여전히 G 내에서 전역 환형사상 관계를 유도하는가?
• RQ5 전체 순서 비교에서부터 순서의 루트나 l-진 순서의 l-진 값과 같은 더 약한 불변량으로 결과를 일반화할 수 있는가?

주요 결과

• 거의 유한한 소수 p를 제외한 모든 p에 대해 Q mod p 의 순서가 P mod p 의 순서를 나누면, G의 K-환형사상 f와 0이 아닌 정수 c가 존재하여 f(P) = cQ 를 만족한다.
• 이 결과는 Q mod p 의 순서의 루트가 P mod p 의 순서의 루트를 거의 모든 p에 대해 나누는 더 약한 조건 하에서도 성립한다.
• 고정된 유리소수 l에 대해 l-진 순서의 l-진 값 비교를 할 경우에도 동일한 결론이 성립한다.
• l-진 정보만을 사용해도 이러한 f와 c의 존재가 보장되며, 이는 l-진 방법의 강력함을 보여준다.
• 이 결과는 수체 위 산술기하학에서 국소적 나눗셈 조건이 전역 대수적 관계를 유도할 조건을 완전히 특성화한다.
• 증명은 갈루아 표현과 환형사상환의 구조 이론과 같은 깊이 있는 도구에 의존하며, 이러한 유리수 관계의 존재를 위한 조건이 필수적이고 충분함을 보여준다.