[논문 리뷰] Elliptic Divisibility Sequences Associated to Elliptic Curves with Torsion Points

Betül Gezer, Osman Bızım|arXiv (Cornell University)|2011. 01. 20.

Advanced Mathematical Identities참고 문헌 2인용 수 1

한 줄 요약

이 논문은 타테 정규형과 마줄의 정리에 기반하여, 토퍼션점이 있는 타원곡선에서 영항을 가진 타원 나누기 수열(EDS)의 일반항과 주기를 명시적인 공식으로 유도한다. 이는 곡선의 매개수에 따라 어떤 항이 완전 제곱수 또는 완전 세제곱수일 수 있는지 정확히 규명하며, 곡선의 매개수에 기반한 완전한 특성화를 제공한다.

ABSTRACT

Elliptic divisibility sequences (EDSs) are generalizations of a class of integer divisibility sequences called Lucas sequences. There has been much interest in cases where the terms of Lucas sequences are squares or cubes. In this work, using the Tate normal form having one parameter of elliptic curves with torsion points, the general terms and periods of all elliptic divisibility sequences with a zero term are given in terms of this parameter by means of Mazur's theorem, and it is shown that which term of h_{n} of an EDS can be a square or a cube by using the general terms of these sequences.

연구 동기 및 목표

• 토퍼션점을 지닌 타원곡선에서 영항을 가진 타원 나누기 수열(EDS)을 특성화하는 것.
• 타테 정규형을 사용하여 단일 매개수로 이러한 EDS의 일반항과 주기를 결정하는 것.
• 수열 h_n에서 어떤 항이 완전 제곱수 또는 완전 세제곱수일 수 있는지 규명하는 것.
• 토퍼션 부분군에 대한 마줄의 정리를 적용하여 영항을 가진 EDS의 구조를 제약하고 분류하는 것.

제안 방법

• 단일 매개수를 사용한 타테 정규형을 이용해 토퍼션점을 가진 타원곡선을 매개수화하는 것.
• 마줄의 정리를 사용하여 가능한 토퍼션 부분군을 분류하고 매개수 공간을 제약하는 것.
• 곡선의 매개수로 표현된 EDS의 일반항 h_n에 대한 닫힌형 표현식을 유도하는 것.
• 유도된 일반항에 기반해 EDS 수열의 주기를 계산하는 것.
• h_n이 완전 제곱수 또는 완전 세제곱수가 되는 디오판틴 조건을 분석하는 것.
• 정수론 기법을 적용하여 h_n이 제곱수 또는 세제곱수가 되는 정확한 n의 값을 규명하는 것.

실험 결과

연구 질문

• RQ1 영항을 가진 EDS에서 h_n이 완전 제곱수가 되는 n의 값은 무엇인가?
• RQ2 영항을 가진 EDS에서 h_n이 완전 세제곱수가 되는 n의 값은 무엇인가?
• RQ3 이러한 EDS의 일반항과 주기는 타테 정규형의 매개수에 따라 어떻게 달라지는가?
• RQ4 마줄의 정리와 토퍼션점의 존재는 영항을 가진 EDS의 구조에 어떤 제약을 가하는가?
• RQ5 모든 영항을 가진 토퍼션점을 가진 EDS는 이 매개수화를 통해 완전히 분류될 수 있는가?

주요 결과

• 영항을 가진 EDS의 일반항 h_n은 타원곡선의 타테 정규형 매개수로 명시적으로 표현된다.
• 이러한 EDS의 주기는 매개수와 마줄의 정리에 의해 제약된 토퍼션 부분군의 구조에 따라 결정된다.
• 완전 제곱수 또는 완전 세제곱수가 될 수 있는 항 h_n은 유한히 존재하며, 그 인덱스 n은 매개수에 의해 완전히 특성화된다.
• 타테 정규형의 매개수는 수열의 성장과 주기성을 유일하게 결정한다.
• h_n이 제곱수 또는 세제곱수가 되는 조건은 수열의 닫힌형 표현식과 연결된 디오판틴 방정식에서 유도된다.
• 영항을 가진 토퍼션점을 가진 EDS의 분류는 타테 정규형의 단일 매개수에 의해 완전하고 매개수화되어 있다.