[논문 리뷰] The sign of an elliptic divisibility sequence

Joseph H. Silverman, N. M. Stephens|ArXiv.org|2004. 02. 25.

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

한 줄 요약

이 논문은 비유계 비특이 타원 나누기 수열(EDS)의 항의 부호에 대한 정확한 공식을 유도하며, 이 부호가 실수의 무리수 $ \beta $에 대해 $ n\beta $의 내림함수 $ \lfloor n\beta \rfloor $에 의해 결정되는 패턴을 따른다는 것을 보여준다. 또한 EDS 항의 절댓값이 어떤 추상적 동역계의 고정점 수세기로 실현될 수 없음을 증명하여, 이러한 수열의 실현 가능성에 관한 질문을 해결한다.

ABSTRACT

An elliptic divisibility sequence (EDS) is a sequence of integers W_0,W_1,W_2,... generated by the nonlinear recursion satisfied by the division polyomials of an elliptic curve. We give a formula for the sign of W_n for unbounded nonsingular elliptic divisibility sequences. A typical case is Sign(W_n) = (-1)^[n*b] for an irrational real number b, where [x] denotes the greatest integer in x. As an application, we show that the associated sequence of absolute values |W_1|,|W_2|,|W_3|,... cannot be realized as the sequence counting fixed points of any (abstract) dynamical system.

연구 동기 및 목표

• 비유계 비특이 타원 나누기 수열(EDS)의 항들에서의 부호 행동을 규명하는 것.
• 부호 패턴과 내림함수를 통한 무리수 회전 수를 연결하는 것.
• EDS 항의 절댓값이 어떤 추상적 동역계의 고정점 수세기로 실현될 수 있는지 여부를 해결하는 것.
• 수론적 및 동역계 이론적 접근을 사용하여 EDS와 관련된 수열 $ (|W_n|) $가 실현될 수 없음을 증명하는 것.

제안 방법

• 실수의 무리수 $ \beta $에 대해 $ W_n $의 부호에 대한 닫힌 표현식을 $ (-1)^{\lfloor n\beta \rfloor} $ 형태로 유도하는 것.
• 타원곡선을 실수 리군으로 매개변수화하여 $ \beta $를 특성화하고, 정확한 부호 공식을 도출하는 것.
• 부호 패턴을 정규화하고 분석을 단순화하기 위해 EDS의 역구성 $ (-1)^{n-1}W_n $를 적용하는 것.
• 특히 $ W_{2^k} $를 포함한 EDS의 재귀관계를 사용하여 2의 거듭제곱 모듈로에서 수열을 분석하는 것.
• 만약 $ (|W_n|) $가 실현 가능하다면, $ \lfloor 2^k\beta \rfloor $의 기수성은 최종적으로 주기적이게 되며, 이는 모순을 초래한다는 것을 증명하는 것.
• 최종적으로 주기적인 이진 전개는 유리수를 의미하므로, $ \beta $의 무리수 성질과 모순됨을 이용하여 실현 불가능성을 증명하는 것.

실험 결과

연구 질문

• RQ1 비유계 비특이 타원 나누기 수열의 항의 부호는 무엇에 의해 결정되는가?
• RQ2 EDS의 부호 패턴은 내림함수를 통해 단일한 무리수 $ \beta $로 표현될 수 있는가?
• RQ3 EDS의 절댓값 수열 $ (|W_n|) $은 어떤 추상적 동역계의 고정점 수세기로 실현될 수 있는가?
• RQ4 EDS 항의 부호 행동으로부터 유도되는 $ \beta $의 수론적 성질은 무엇인가?
• RQ5 모듈로 2에서 $ \lfloor 2^k\beta \rfloor $의 최종 주기성은 $ \beta $의 유리수 성질을 의미하는가?

주요 결과

• 비유계 비특이 EDS에서 $ W_n $의 부호는, $ W_n $을 $ (-1)^{n-1}W_n $로 대체할 수 있을 경우, 어떤 실수의 무리수 $ \beta \in \mathbb{R} $에 대해 $ (-1)^{\lfloor n\beta \rfloor} $로 주어진다.
• 부호 패턴은 $ n\beta $의 분수부에 의해 결정되며, $ \beta $의 무리수 성질은 비주기적인 부호 행동을 보장한다.
• 수열 $ (|W_n|) $는 어떤 추상적 동역계의 고정점 수세기로도 실현될 수 없다.
• 증명은 만약 $ (|W_n|) $가 실현 가능하다면 $ \lfloor 2^k\beta \rfloor $의 기수성이 최종적으로 주기적이게 되며, 이는 $ \beta \in \mathbb{Q} $를 의미함으로써 그의 무리수 성질과 모순됨을 보여준다.
• $ W_{2^k} \mod 2^e $의 분석은 부호 수열이 모듈로 4에서 최종적으로 주기적이게 되며, 이는 모순으로 이어진다.
• 핵심적인 수론적 통찰은, $ \beta $의 분수부의 최종 주기적인 이진 전개는 $ \beta \in \mathbb{Q} $를 의미함을 보여주며, 이는 EDS의 구조에서 요구하는 무리수 성질과 모순된다.