[논문 리뷰] An Explicit Shimura Tower of Function Fields over a Number Field: An Application of Takeuchi's List

Takehiro Hasegawa|arXiv (Cornell University)|2017. 01. 26.

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

한 줄 요약

이 논문은 에일키스의 모듈라르 타워를 위한 재귀적 절차를 적용하여, 수체수 ℚ(√3) 위에서 처음으로 명시적인 시무라 타워를 구성한다. 시무라 곡선 𝒳₀(𝔭₃²)가 유리곡선(종수 0)임을 증명하고, n > 1일 때 곡선 𝒳₀(𝔭₃ⁿ)가 ℚ(√3) 계수를 가진 삼차 관계를 통해 x_j와 x_{j+1}로 재귀적으로 정의됨을 보이며, 고전적 갈라프 코드 구성에 대해 점차적으로 최적의 타워를 제공한다.

ABSTRACT

Elkies proposed a procedure for constructing explicit towers of curves, and gave two towers of Shimura curves as relevant examples. In this paper, we present a new explicit tower of Shimura curves constructed by using this procedure.

연구 동기 및 목표

• 에일키스의 이전 작업에서 암시되었지만 구축되지 않은, 수체수 위의 시무라 함수체 타워에 대한 새로운 명시적 구성 방법을 제공함.
• 수체수 ℚ(√3) 위에서 시무라 곡선 𝒳₀(𝔭₃²)가 유리곡선, 즉 종수 0임을 명시적인 기하학적 및 군론적 분석을 통해 증명함.
• 아틴-레너 복소수의 변환과 모듈라 다항식 관계를 이용하여, 타워 {𝒳₀(𝔭₃ⁿ)}_{n>1}을 정의하는 재귀적 방정식계를 유도함.
• 이로 인해 유한체 𝔽_ℓ (ℓ ≠ 2,3) 위에서 점차적으로 최적임을 보이며, 부호 이론에의 적용 가능성을 제시함.
• 산술 삼각형 군과 명시적 시무라 타워 간의 관계를 명확히 하여, 이 구성의 근원이 (0;3,3,6)로 지정된 군임을 규명함.

제안 방법

• 전체 실수체 K = ℚ(√3) 위에서 허미션 대수의 구조를 이용하여, 에일키스의 재귀적 절차를 적용하여 명시적 곡선 타워를 구성함.
• 𝒳₀(𝔭₃²) 위의 아틴-레너 변환 ω_(𝔭₃²)을 사용하여 유리 매개변수화를 유도하고, 모비우스 유형 변환 ω^(2)(x) = -2(x-1)/(x+2)를 통해 그 작용을 규명함.
• 타워 내 연속된 좌표 x_j와 x_{j+1}를 연결하는 재귀적 삼차 방정식을 유도함: (-2(x_{j+1}-1)/(x_{j+1}+2))³ = 2((5-3√3)x_j³ + 4)/(x_j³ - 2(5-3√3)).
• 재귀 관계를 쿠머 유형 형태로 변환함: Y³ = [-8(5-3√3)(X+1)³ + 4(X-2)³] / [4(X+1)³ + (5-3√3)(X-2)³], 여기서 X = (2x-2)/(x+2), Y = (2y-2)/(y+2).
• 히르츠젠 종수 공식과 서명 (0;3,3,3,3,3,3)을 가진 관련 산술 삼각형 군 Γ₂의 타원점(순서 3) 분석을 통해 𝒳₀(𝔭₃²)의 종수가 0임을 증명함.
• 소수 이상수 𝔭_ℓ (ℓ ≠ 2,3) 모odulo로 타워를 축소하여, 𝔽_ℓ 위에서 점차적으로 최적임을 보임.

실험 결과

연구 질문

• RQ1 에일키스의 재귀적 방법을 사용하여, ℚ 이외의 수체수 위에서 명시적인 시무라 함수체 타워를 구성할 수 있는가?
• RQ2 수체수 ℚ(√3) 위에서 시무라 곡선 𝒳₀(𝔭₃²)는 유리곡선인가? 만약 그렇다면, 명시적인 유리 매개변수화는 무엇인가?
• RQ3 이 타워의 고차 수준 𝒳₀(𝔭₃ⁿ) (n > 2)를 정의하는 재귀적 방정식계는 무엇인가?
• RQ4 이 타워는 유한체 위에서 점차적으로 최적의 함수체를 제공하는가? 이는 부호 이론에의 적용 가능성을 뜻하는가?
• RQ5 산술 삼각형 군 (0;3,3,6)은 이 명시적 시무라 타워의 구성과 어떻게 관련되어 있는가?

주요 결과

• 산술 삼각형 군 Γ₂의 히르츠젠 종수 공식과 타원점 분석을 통해, 수체수 ℚ(√3) 위의 시무라 곡선 𝒳₀(𝔭₃²)는 종수 0인 유리곡선임을 확인함.
• 각 n > 1에 대해, 곡선 𝒳₀(𝔭₃ⁿ)는 x₁,…,x_{n−1}의 n−1개 좌표로 정의되며, n−2개의 재귀적 방정식 (-2(x_{j+1}−1)/(x_{j+1}+2))³ = 2((5−3√3)x_j³ + 4)/(x_j³ − 2(5−3√3))를 만족함.
• 모든 소수 ℓ ≠ 2,3에 대해, 𝔽_ℓ 위에서 타워는 점차적으로 최적임을 입증함. 이는 𝔭_ℓ 모odulo로의 축소가 최대 체계 확장 탑재 행동을 보임을 의미함.
• 𝒳₀(𝔭₃²) 위의 아틴-레너 변환 ω^(2)는 ω^(2)(x) = -2(x−1)/(x+2)로 작용하며, 커버링 사상에 대한 각 점의 세 개의 전이상을 순환시킴.
• 유도된 방정식에서 모듈라 다항식 Φ_{𝔭₃}(x,y) 및 Φ_{𝔭₃²}(x,y)를 명시적으로 계산할 수 있으며, 이는 타워가 고전적 모듈라 다항식 이론과 연결됨을 보여줌.
• 이 구성은 서명 (0;3,3,6)을 가진 산술 삼각형 군을 기반으로 하며, 타케우치의 목록에 포함된 나머지 73개의 군들에서는 유사한 명시적 타워를 구성할 수 없음.