[논문 리뷰] Torsion dans un produit de courbes elliptiques

Marc Hindry, Nicolas Ratazzi|ArXiv.org|2008. 04. 18.

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

한 줄 요약

이 논문은 수체 확장에서 아벨 다양체 위의 토르션 점의 성장률에 대한 추측을 해결하며, 타원곡선의 곱에 대해 다항식 유계에서 최적의 지수는 부분곱의 차원 합의 두 배를 그들의 머무드-테이트 군 차원으로 나눈 비율로 주어진다는 것을 증명한다. 저자들은 이러한 곱에 대해 γ(A) = α(A)를 확립하며, 마서의 일반적 유계를 개선하고, 복소수 곱승 여부에 따라 날카로운 지수를 제공한다.

ABSTRACT

Let $A$ be an abelian variety defined over a number field $K$, the number of torsion points rational over a finite extension $L$ is bounded polynomially in terms of the degree $[L:K]$. We formulate a question suggesting the optimal exponent for this bound in terms of the dimension of the Mumford-Tate groups of the abelian subvarieties of $A$; we study the behaviour under product and then give a positive answer to our question when $A$ is the product of elliptic curves.

연구 동기 및 목표

• 유한 수체 확장 위에서 아벨 다양체 A의 토르션 점 수에 대한 최적의 다항식 성장 지수 γ(A)를 결정하는 것.
• 부분곱의 머무드-테이트 군 차원을 통해 정의된 불변량 α(A)가 이 유계에서의 날카로운 지수를 주는지 조사하는 것.
• 특히 타원곡선의 곱의 경우에 α(A) = γ(A)라는 추측을 해결하는 것.
• 복소수 곱승 성질에 따라 명시적이고 최적의 지수를 제공함으로써 마서의 일반적 다항식 유계를 개선하는 것.

제안 방법

• 모든 유한 확장 F에 대해 |A(F) tors| ≪ [F:K₀]^x 를 만족하는 지수 x의 하한을 γ(A)로 정의한다.
• 모든 비어 있지 않은 인덱스 부분집합 I에 대해 (2∑_{i∈I} n_i dim A_i) / dim MT(∏_{i∈I} A_i) 의 최댓값을 α(A)로 정의한다.
• 갈루아 이론적 방법을 사용하여 A[ℓ^∞]의 유한부분군 크기를 H가 유한부분군일 때 [K(H):K]의 정도로 유계화한다.
• 문제를 ℓ-거듭제곱 토르션 점 위의 갈루아 작용으로 환원하고, 갈루아 이미지의 구조를 이용해 토르션의 성장률을 통제한다.
• 머무드-테이트 군 이론과 호지 이론의 결과를 적용하여 군론적 불변량을 토르션의 산술적 성장과 연결한다.
• 곱의 구조에 대한 조합적 분해를 사용하여 문제를 각 성분의 행동으로 환원하고, 개별 타원곡선에 대한 기존 유계를 활용한다.

실험 결과

연구 질문

• RQ1 머무드-테이트 군 차원을 바탕으로 한 불변량 α(A)는 수체 유한 확장에서 토르션 점 수의 다항식 유계에서 최적의 지수인가?
• RQ2 타원곡선의 곱에 대해 γ(A) = α(A)의 등식이 성립하는가?
• RQ3 A가 복소수 곱승이 있는지 없는지에 따라 γ(A)의 정확한 값은 무엇인가?
• RQ4 ℓ-아디크 타이트 모듈러스 위의 갈루아 표현의 구조로 타원곡선 곱에서의 토르션 점 성장률을 통제할 수 있는가?

주요 결과

• A = ∏_{i=1}^m E_i 가 타원곡선의 곱일 때, 논문은 γ(A) = α(A)를 증명하며, 이 경우 추측을 확인한다.
• 모든 E_i 가 비동형이면서 복소수 곱승이 없을 경우, α(A) = 2m / (1 + 3m) 이며, 이는 A의 차원보다 엄밀히 작다.
• r개의 E_i 가 복소수 곱승을 갖고 m−r개가 그렇지 않을 경우, α(A) = 2r / (1 + r) 이며, 이는 2 이하로 유계된다.
• 결과는 마서의 일반적 유계 γ(A) ≤ dim A 를 개선하여, 비-CM 곱의 경우 γ(A) ≤ 2/3, CM 곱의 경우 γ(A) ≤ 2 를 제공한다.
• 유계는 날카롭다: 이러한 곱에서 토르션 성장률보다 더 작은 지수는 존재하지 않는다.
• 증명은 최적의 지수가 부분곱의 총 차원의 두 배를 그 부분곱의 머무드-테이트 군 차원으로 나눈 최대 비율에 의해 결정됨을 밝힌다.