[논문 리뷰] Primes in the denominators of Igusa Class Polynomials

Kristin Lauter|ArXiv.org|2003. 01. 21.

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

한 줄 요약

이 논문은 복소 multiplication(CM)을 갖는 고도 2 곡선에 대한 Igusa 클래스 다항식의 분모에 나타나는 소수를 조사한다. 특히, 이러한 소수들이 어떤 정수 $ x $에 대해 $ x^2 \leq d $ 를 만족하면서 $ d - x^2 $ 를 나누게 되며, 여기서 $ d $ 는 CM 체의 절대 판별식임을 제안한다. 이 추측은 악성 및 초특수 곡선 감소 행동과 관련이 있으며, 실험적 증거를 통해 뒷받질린다.

ABSTRACT

The purpose of this note is to suggest an analogue for genus 2 curves of part of Gross and Zagier's work on elliptic curves. Experimentally, for genus 2 curves with CM by a quartic CM field K, it appears that primes dividing the denominators of the discriminants of the Igusa class polynomials all have the property 1) that they are bounded by d, the absolute value of the discriminant of K, and 2) that they divide d-x^2, for some integer x whose square is less than d. A slightly stronger condition is given in Section 3. Such primes are primes of bad reduction for the genus 2 curve and primes of supersingular reduction for the Jacobian of the genus 2 curve.

연구 동기 및 목표

• 고도 2 곡선에 대해 복소 multiplication을 갖는 Igusa 클래스 다항식의 분모의 구조를 이해하기 위해.
• 이 다항식의 분모에 나타날 수 있는 소수들을 특정하기 위해.
• CM 체의 판별식에 기반한 이러한 소수들의 추측적 특성화를 수립하기 위해.
• 이러한 클래스 다항식의 계수를 계산할 때 필요한 정밀도를 제한하는 프레임워크를 제공하기 위해.

제안 방법

• Shimura 이론을 사용하여 4차 CM 체의 정수환의 이상류를 주로 균형을 갖춘 양성의 아벨 다양체와 연관짓기 위해.
• CM 유형과 이상류의 정수 기저로부터 주기 행렬 $ \Omega_i $ 를 계산하기 위해.
• 각 주기 행렬에 대해 열 개의 짝수 테타 상수를 고정밀도로 평가하기 위해.
• 테타 상수의 조합으로부터 세 개의 절대 Igusa 불변량 $ j_1, j_2, j_3 $ 를 유도하기 위해.
• 모든 이상류를 통틀어 Igusa 클래스 다항식 $ h_1, h_2, h_3 $ 를 곱의 형태로 구성하기 위해.
• 이 다항식의 분모에 나타나는 소수들이 어떤 정수 $ x $ 에 대해 $ x^2 \leq d $ 를 만족하면서 $ d - x^2 $ 를 나누게 되는 추측을 내기 위해.

실험 결과

연구 질문

• RQ1 4차 체에 의해 복소 multiplication을 갖는 고도 2 곡선에 대한 Igusa 클래스 다항식의 분모에 나타날 수 있는 소수들은 무엇인가요?
• RQ2 이러한 소수들을 특성화하는 수론적 조건이 존재하는가요?
• RQ3 이 소수들은 곡선의 악성 감소 또는 그 양성의 야곱탄의 초특수 감소에 해당하는 소수와 일치하는가요?
• RQ4 CM 체의 판별식이 이러한 소수들의 집합을 예측할 수 있는가요?
• RQ5 이러한 특성화에 기반하여, 클래스 다항식의 계수를 계산할 때 필요한 정밀도에 상한이 존재하는가요?

주요 결과

• Igusa 클래스 다항식의 판별식의 분모에 나타나는 소수들은 절대 판별식 $ d $ 를 갖는 CM 체에 대해 어떤 정수 $ x $ 에 대해 $ x^2 \leq d $ 를 만족하면서 $ d - x^2 $ 를 나눈다.
• 모든 시험 케이스에서 이러한 소수들은 CM 체의 실 이차부분체에 대한 상대 판별식의 노름 $ d_0 $ 에 대해 $ d_0 - x^2 $ 를 나눈다.
• 이 소수들은 곡선의 악성 감소에 해당하는 소수들과 양성의 야곱탄이 초특수 감소를 보이는 소수들과 정확히 일치한다.
• 저자 및 협력자들이 시험한 여러 예시들에서 실험적 자료가 이 추측을 지지한다.
• 결과적으로, 가능한 분모들의 집합이 제약을 받기 때문에 Igusa 클래스 다항식을 계산할 때 필요한 정밀도를 제한할 수 있는 잠재적 방법이 제안된다.