[논문 리뷰] Divisibility sequences of polynomials and heights estimates

Bartosz Naskręcki|arXiv (Cornell University)|2016. 09. 15.

Vietnamese History and Culture Studies인용 수 7

한 줄 요약

이 논문은 임의의 특성수를 가진 함수체 위에서 타원 나누기 수열의 비기본 나눗셈자 수에 대해 명시적이고 균일한 상계를 확립한다. Shioda의 높이 공식과 [9] 및 [19]에서의 최소 높이에 대한 경계를 활용하여, 특성 0 또는 p ≥ 5인 함수체 위의 타원곡선에 대해, 조건이 순수성과 정상성일 경우, 수열의 거의 모든 항이 기본적인 값매김을 가지며, 이 상계는 곡선의 종수, 오일러 특성수 또는 비분리도와 체 크기와 같은 추가적인 불변량에만 의존한다.

ABSTRACT

In this note we compute a constant $N$ that bounds the number of non--primitive divisors in elliptic divisibility sequences over function fields of any characteristic. We improve a result of Ingram--Mah{\'e}--Silverman--Stange--Streng, 2012, and we show that the constant can be chosen independently of the specific point and to some extent of the specific curve, as predicted in loc. cit.

연구 동기 및 목표

• 논문 [11]의 추측을 해결하기 위해, 함수체 위의 타원 나누기 수열에서 비기본 나눗셈자의 수에 대해 명시적이고 균일한 상계를 제공한다.
• 적절한 조건 하에서, 임의의 특성수를 가진 함수체로 비기본 나눗셈자의 유한성 결과를 확장한다.
• 특정 점 P에 의존하지 않는 경계를 도출하며, 많은 경우에서 곡선 E에 의존하지 않는 경계를 도출한다. 이는 이전 연구에서 예측된 바이다.
• 야생 또는 비정상적 곡선의 경우 균일한 경계가 실패하는 이유를 분석하며, 특히 [p]-사상의 비분리도가 p²일 때의 구조적 특징을 규명한다.

제안 방법

• 타원 표면 위의 표준 높이에 대한 Shioda의 명시적 공식을 활용하여 점의 높이를 표면의 기하학적 성질과 연결한다.
• [9] 및 [19]에서의 비토르션 점에 대한 최소 표준 높이에 대한 효과적 하한을 적용하여 나누기 수열에서의 높이 성장률을 제어한다.
• Shioda-Tate 공식을 활용하여 타원 표면 S의 오일러 특성수 χ(S)를 표면의 특이 섬유로 표현한다.
• 타원 표면 S 위에서의 교차 이론을 활용하여 DnP의 차수를 계산하고, m < n 인 DmP의 차수 합과 비교한다.
• 다중점의 x좌표의 값매김을 분석하여 기본적인 값매김을 탐지하며, 특히 예시에서 이를 활용한다.
• 나쁜 섬유에서의 성분군의 구조를 활용하여 높이 쌍화의 국소 기여를 계산한다.

실험 결과

연구 질문

• RQ1 함수체 위의 타원 나누기 수열에서 비기본 나눗셈자의 수에 대해, 특정 점 P에 의존하지 않는 균일한 상계를 제공할 수 있는가?
• RQ2 이러한 상계의 존재는 특히 양의 특성수일 경우 기저 체의 특성수에 따라 어떻게 달라지는가?
• RQ3 타원곡선의 조건(예: 순수성, 정상성, [p]-사상의 비분리도 등)이 이러한 상계의 존재에 대해 필수적이고 충분한 조건는 무엇인가?
• RQ4 [p]-사상의 비분리도가 p²일 경우 균일한 상계가 실패하는 이유는 무엇이며, 이러한 경우에 무한히 많은 비기본 나눗셈자가 존재하게 되는 곡선의 구조적 특징은 무엇인가?
• RQ5 종수, 오일러 특성수, 체 크기 등의 불변량을 바탕으로 비기본 나눗셈자의 수에 대한 효과적 경계를 도출할 수 있는가?

주요 결과

• 특성 0일 경우, 기저 곡선 C의 종수에만 의존하는 균일한 상계 N = N(g(C))가 존재하여, 모든 n ≥ N에 대해 DnP가 기본적인 값매김을 가진다.
• 특성 0일 경우, 타원 표면 S의 오일러 특성수에만 의존하는 상계 N = N(χ(S))도 존재하여, 모든 n ≥ N에 대해 DnP가 기본적인 값매김을 가진다.
• 특성 p ≥ 5일 경우, 정상성과 순수성 조건 하에서, 종수 g(C), p, r(제이-불변량 사상의 비분리도)에만 의존하는 명시적 상계 N = N(g(C), p, r)가 존재한다.
• 야생 경우(p ≥ 5, 정상성은 유지되나 비분리도가 p), 종수 g(C), 오일러 특성수 χ(S), p, r, s(상수체 F_q의 지수, q = p^s)에 의존하는 상계 N = N(g(C), χ(S), p, r, s)가 존재한다.
• 만약 [p]-사상의 비분리도가 p²일 경우 상계는 실패하며, 이 경우 무한히 많은 비기본 나눗셈자를 가진 예시가 구성된다.
• 초특이 E₀를 가진 F_p(t) 위의 곡선 y² = x³ + αx + β에 대해, 수열 {D_{p^k P}}의 지지부는 ∞ 이외에 없으며, 모든 k ≥ 1에 대해 비기본적이다. 이는 무한히 많은 비기본 항을 가짐을 보여준다.