[논문 리뷰] Singular Moduli of Shimura Curves

Eric Errthum|ArXiv.org|2007. 11. 27.

Advanced Algebra and Geometry참고 문헌 11인용 수 5

한 줄 요약

이 논문은 분석적 차수 6 및 10를 가진 시무라 곡선의 좌표 매핑이 벡터 값 모듈라 형식의 보르처스 상승임을 입증하며, 이는 CM 점에서 특이 모듈러스의 유리수 노름을 명시적으로 대수적으로 계산할 수 있게 한다. 이는 엘키스(2006)가 제시한 추측값을 보다 넓은 범위의 음의 차수에 대해 정확한 유리수 노름을 도출함으로써 검증하고 확장한다. 보르처스의 특이 곱의 공식을 활용하여 임의로 큰 음의 차수를 가진 CM 점에 대해 정확한 유리수 노름을 도출한다.

ABSTRACT

The $j$-function acts as a parametrization of the classical modular curve. Its values at complex multiplication (CM) points are called singular moduli and are algebraic integers. A Shimura curve is a generalization of the modular curve and, if the Shimura curve has genus 0, a rational parameterizing function exists and when evaluated at a CM point is again algebraic over $\mathbb{Q}$. This paper shows that the coordinate maps for the Shimura curves associated to the quaternion algebras with discriminants 6 and 10 are Borcherds lifts of vector-valued modular forms. This property is then used to explicitly compute the rational norms of singular moduli on these curves. This method not only verifies the conjectural values for the rational CM points, but also provides a way of algebraically calculating the norms of CM points on these Shimura curves with arbitrarily large negative discriminant.

연구 동기 및 목표

• 분석적 차수 6 및 10를 가진 퀼러티언 대수에 대응하는 시무라 곡선에서 특이 모듈러스의 유리수 노름을 대수적으로 계산하는 것.
• 엘키스(2006)에서 제시한 수치 근사 기반의 CM 점 좌표에 대한 추측값을 검증하는 것.
• 기하적 인버션 방법으로 접근 가능한 제한된 경우를 초월해 특이 모듈러스 노름 계산 방법을 확장하는 것.
• 이 곡선들에서의 좌표 매핑이 정수 계수를 가진 벡터 값 모듈라 형식의 보르처스 상승으로 나타남을 보여주며, 이는 자동형 형식과 모듈라 표현 이론과 연결됨을 밝히는 것.

제안 방법

• 논문은 D=6 및 D=10에 대해 좌표 매핑 $ t_D: Σ^*_D \to \mathbb{P}^1 $ 이 벡터 값 모듈라 형식의 보르처스 상승임을 밝히며, 그들의 임의의 이차형수의 분포를 푸리에 계수로 가중된 유리수 이차형수 분포와 일치시킴으로써 이를 확인한다.
• 정수 계수를 가진 푸리에 계수와 무게 $ 1 - n/2 $ (여기서 $ n=1 $)를 가진 $ \mathbb{C}[L^\vee / L] $ 에 값이 있는 유리형 모듈라 형식 $ F_D $ 를 구성하고, $ \text{div}(\Psi(F_D)^2) = \text{div}(t_D) $ 를 만족시킨다.
• 이 방법은 보르처스 상승의 노름에 대해 쇼퍼의 명시적 공식을 적용하여 $ \prod_{z \in Z(\Delta)} ||\Psi(z,F_D)||^2 $ 를 계산함으로써 특이 모듈러스의 유리수 노름을 도출한다.
• 기저 사례와 특정 점에서 $ t_D $ 의 알려진 값을 이용해 정규화 상수를 계산함으로써, 상승이 원래 좌표 매핑과 정확히 일치하도록 보장한다.
• 벡터 값 형식 $ F_D $ 는 디데킨드 에타 곱의 선형 조합인 스칼라 값 모듈라 형식으로부터 상승된다.
• 이 접근법은 D=6 및 D=10를 초월해 일반화되며, 비유계 차수를 가진 다른 시무라 곡선에도 적용 가능할 가능성을 시사한다.

실험 결과

연구 질문

• RQ1 기하적 인버션 방법으로 접근할 수 없는 범위를 초월해, 분석적 차수 6 및 10를 가진 시무라 곡선에서 특이 모듈러스의 유리수 노름을 대수적으로 계산할 수 있는가?
• RQ2 엘키스(2006)에서 제시한 $ \mathcal{X}^*_6 $ 및 $ \mathcal{X}^*_{10} $ 의 CM 점 좌표에 대한 추측값이 수학적으로 정확하며 자동형 형식으로부터 유도 가능한가?
• RQ3 이 시무라 곡선들의 좌표 매핑이 정수 계수를 가진 벡터 값 모듈라 형식의 보르처스 상승으로 나타나는가?
• RQ4 보르처스 및 쇼퍼의 노름 공식을 사용해 임의로 큰 음의 차수를 가진 CM 점에 대해 정확한 유리수 노름을 계산할 수 있는가?
• RQ5 좌표 매핑의 분포는 모듈라 형식의 푸리에 계수로 가중된 유리수 이차형수로 표현될 수 있는가?

주요 결과

• 좌표 매핑 $ \mathcal{X}^*_6 $ 및 $ \mathcal{X}^*_{10} $ 가 벡터 값 모듈라 형식의 보르처스 상승임을 입증하여 자동형 성격을 확인한다.
• 엘키스(2006)에서 제시한 CM 점 좌표의 추측값이 대수적으로 검증되어 정확한 유리수로 확인된다.
• 차수 $ \Delta $ 를 가진 CM 점에서 특이 모듈러스의 유리수 노름은 $ \prod_{z \in Z(\Delta)} ||\Psi(z,F_D)||^2 $ 로 계산되며, $ \Delta = -472, -488, -520, -532, -548, -552, -568, -580, -628, -632, -660, -680, -692, -708, -712, -728, -740, -760, -772, -788, -808, -820, -840, -852, -868, -872, -888, -920, -932, -948, -952 $ 에 대해 명시적인 유리수 표현이 유도되었다.
• 특히 $ \Delta = -163 $ 일 때 노름은 $ \frac{2^9 \cdot 3^3 \cdot 5^3 \cdot 11^3}{7^2 \cdot 13^2 \cdot 29^2 \cdot 31^2} $ 이며, 두 번째 켤레는 $ \frac{2 \cdot 19^2 \cdot 59^2 \cdot 79^2}{7^2 \cdot 13^2 \cdot 29^2 \cdot 31^2} $ 로, 모두 대수적으로 검증되었다.
• 이 방법은 음의 차수가 매우 큰 CM 점에 대해서도 유일한 방법으로 노름을 계산할 수 있게 하여, 수치 근사와 기하적 인버션 기법의 한계를 극복한다.
• 구축 과정을 통해 그로스-자지어 공식이 보르처스 상승의 쇼퍼의 노름 공식의 특수한 경우임을 확인한다.