타원곡선 점 계산과 합동 조건을 가진 이차형식의 해의 관계

기본 정보

• 논문 ID: 2503.17944
• 제목: Relating elliptic curve point-counting and solutions of quadratic forms with congruence conditions
• 저자: Koustav Mondal (Louisiana State University)
• 분류: math.NT (정수론)
• 발표 시간: 2025년 3월 (arXiv v3: 2025년 10월 27일)
• 논문 링크: https://arxiv.org/abs/2503.17944

초록

본 논문은 이차형식 $Q(\mathbf{x}) := x_1^2 + x_2^2 + x_3^2 + x_4^2$와 관련된 세타 급수를 분석하며, 여기서 $x_i$는 모듈로 2, 3, 4, 6의 합동 조건을 만족합니다. 저자는 가중치 2의 모듈형식 비전정칙 Eisenstein 급수에 특수 연산자를 적용하여 레벨 $2^k$ (k ≤ 7), $3^{\ell}$ (ℓ ≤ 3) 및 홀수 소수 p의 Eisenstein 공간의 기저를 구성했습니다. 타원곡선 위의 Frobenius 대각합과 세타 급수의 첨점 형식 부분의 Fourier 계수 사이의 관계를 이용하여, 방정식 $Q(\mathbf{x}) = p$의 정수해 개수와 관련 타원곡선 위의 $\mathbb{F}_p$-유리점 개수 사이의 관계를 확립했습니다.

연구 배경 및 동기

연구 문제

본 논문은 이차형식 표현 문제의 고전적 주제를 연구합니다: 주어진 이차형식 $Q(\mathbf{x}) = x_1^2 + x_2^2 + x_3^2 + x_4^2$에 대해, 합동 조건 $x_i \equiv s \pmod{M}$을 만족할 때, 주어진 자연수 n을 표현하는 방법의 개수는 몇 가지인가?

중요성

1. 역사적 의의: 이차형식 표현 문제는 오랜 역사를 가지고 있으며, Lagrange는 1770년에 네 제곱수의 합 정리를 증명했고, Ramanujan은 모든 보편 이차형식의 목록을 제시했습니다.
2. 이론적 가치: 정수론의 여러 핵심 분야를 연결합니다: 모듈형식 이론, 타원곡선 산술, 이차형식 이론
3. 계산 응용: 타원곡선 점 계산은 암호학에서 중요한 응용을 가지며, 본 논문에서 확립한 관계는 새로운 계산 관점을 제공합니다.

기존 방법의 한계

1. 고전적 세타 급수 방법은 주로 합동 조건이 없는 경우를 다룹니다.
2. 합동 조건을 가진 세타 급수(congruent theta series) 연구는 상대적으로 적습니다.
3. 특정 레벨의 Eisenstein 급수 기저를 구성하는 체계적 방법이 부족합니다.
4. 이차형식 표현수와 타원곡선 점 계산의 명시적 관계는 아직 충분히 탐구되지 않았습니다.

연구 동기

저자의 핵심 동기는 조합론적 대상(이차형식의 정수해)과 기하학적 대상(타원곡선 위의 점) 사이의 깊은 연결을 확립하는 것이며, 모듈형식 이론을 다리로 사용합니다.

핵심 기여

1. Eisenstein 급수 기저 구성: 가중치 2의 Eisenstein 공간 $E_2(\Gamma_0(2^k))$ (k ≤ 7), $E_2(\Gamma_0(3^{\ell}))$ (ℓ ≤ 3) 및 $E_2(\Gamma_0(p))$ (홀수 소수 p)의 기저를 Sieving 연산자(S)와 V 연산자를 사용하여 체계적으로 구성했습니다(정리 1.4).
2. 세타 급수 분해: 모든 모듈로 2, 3, 4, 6의 합동 세타 급수 $\theta_{k,M}$에 대해 완전한 Eisenstein 급수 및 첨점 형식 분해를 수행했습니다.
3. 주요 정리: 타원곡선 $E: y^2 = x^3 + 1$ 위의 점 계산과 이차형식 표현수 사이의 정확한 관계를 확립했습니다(정리 1.7):
   • 소수 $p \equiv 1 \pmod{6}$에 대해: $r_{1,3}(p) = \frac{1}{3}N_p(1)$
   • 일반 3항 재귀 관계: $3r_{1,3}(p^k) = N_p(k) + 3p \cdot r_{1,3}(p^{k-2})$
4. 일반화 공식: 합성수 경우의 완전한 표현수 공식을 제시했습니다(정리 1.9). 이는 Fourier 계수와 약수합 함수의 곱을 포함합니다.
5. 유사 결과: 표 1과 표 2에서 다른 이차형식과 타원곡선 사이의 유사한 관계를 제시했습니다.

방법 상세 설명

작업 정의

입력:

• 이차형식 $Q(\mathbf{x}) = x_1^2 + x_2^2 + x_3^2 + x_4^2$
• 합동 조건: $x_i \equiv s \pmod{M}$, 여기서 $M \in \{2, 3, 4, 6\}$
• 자연수 n

출력:

• 표현수 $r_{s,M}(n)$: $Q(\mathbf{x}) = n$을 만족하고 $x_i \equiv s \pmod{M}$인 정수 벡터 $\mathbf{x} \in \mathbb{Z}^4$의 개수

핵심 제약: 모듈형식의 모듈성 성질과 타원곡선 이론 활용

핵심 방법 구조

1. 합동 세타 급수

합동 세타 급수를 다음과 같이 정의합니다: $\theta_{s,M}(\tau) = \sum_{\substack{\mathbf{x} \in \mathbb{Z}^4 \\ x_i \equiv s \pmod{M}}} q^{x_1^2 + x_2^2 + x_3^2 + x_4^2} = \sum_{n=1}^{\infty} r_{s,M}(n)q^n$

여기서 $q = e^{2\pi i \tau}$, $\tau \in \mathbb{H}$ (상반평면).

2. S 및 V 연산자

Sieving 연산자(정의 1.3): $M \in \mathbb{N}$, $m \in \mathbb{Z}$에 대해 $f|_{S_{M,m}}(\tau) := \sum_{\substack{n \geq 0 \\ n \equiv m \pmod{M}}} c_f(n)q^n$

V 연산자: $d \in \mathbb{Q}$에 대해 $f|_{V_d}(\tau) := f(d\tau) = \sum_{n \geq 0} c_f(n)q^{dn}$

핵심 성질(명제 2.6): 유한합 공식 $f|_{S_{M,m}}(\tau) = \frac{1}{M} \sum_{j=0}^{M-1} f\left(\frac{\tau + j}{M}\right) \zeta_M^{-jm}$

여기서 $\zeta_M = e^{2\pi i/M}$.

3. 비전정칙 Eisenstein 급수

가중치 2의 비전정칙 Eisenstein 급수를 사용합니다: $\hat{E}_2(\tau) := 1 - \frac{3}{\pi \text{Im}(\tau)} - 24\sum_{n \geq 1} \sigma_1(n)q^n$

여기서 $\sigma_1(n) = \sum_{d|n} d$는 약수합 함수입니다.

핵심 결과(보조정리 2.9):

• $\hat{E}_2|_{S_{M,m}}(\tau) \in M_2(\Gamma_1(M^2))$ for $m > 0$
• $\hat{E}_2|(dV_d - S_{d,0})(\tau) \in M_2(\Gamma_0(\text{lcm}(4,d)) \cap \Gamma_1(d^2))$

기술적 혁신점

1. Eisenstein 기저의 체계적 구성

정리 1.4의 증명 전략:

• 홀수 k 경우: $\{f|_{V_p} : f \in \text{basis of } E_2(\Gamma_0(p^{k-1}))\}$를 재귀적으로 구성
• p=2, k≤3 경우: $\{\hat{E}_2|_{S_{2^k,m}} : m \in (\mathbb{Z}/2^k\mathbb{Z})^{\times}\} \cup \{f|_{V_2}\}$ 사용
• p=3 경우: 특수 구성 $\hat{E}_2|_{S_{3,1}}, \hat{E}_2|_{S_{3,2}}, \hat{E}_2|(3V_3 - S_{3,0})$

혁신점:

• 연산자 방법의 한계를 명확히 지적 (p=2일 때 k>3, p=3일 때 k>1, 다른 홀수 소수일 때 k>1)
• 완전한 기저 원소 목록 제공 (부록 A와 B)
• 첨점값의 명시적 계산 공식 제시 (명제 2.7)

2. 세타 급수 분해 기법

각 $\theta_{k,M}$에 대해 다음 단계를 통해 분해합니다:

단계 1: 모듈성 성질 결정 정리 2.4에 의해, $\theta_{k,M} \in M_2(\Gamma_0(4M^2) \cap \Gamma_1(M))$

단계 2: 첨점값 계산 명제 2.7을 사용하여 모든 비동등 첨점에서 $\theta_{k,M}$의 값 계산

단계 3: 선형 결합 매칭 $\theta_{k,M} = \sum_i \ell_i B_i + f_{k,M}$으로 설정합니다. 여기서 $B_i$는 Eisenstein 기저 원소, $f_{k,M}$은 첨점 형식입니다. 첨점값 매칭을 통해 계수 $\ell_i$ 구합니다.

단계 4: 첨점 형식 추출 $f_{k,M} = \theta_{k,M} - \sum_i \ell_i B_i$

핵심 사례(명제 6.3): $\theta_{1,3}$에 대해: $\theta_{1,3}(\tau) = -\frac{1}{24}\left(\frac{1}{3}\hat{E}_2|_{S_{6,1}} - 2\hat{E}_2|_{S_{3,1}|V_4} + \hat{E}_2|_{S_{3,2}|V_2}\right) - \frac{1}{3}\eta(6\tau)^4$

여기서 $\eta(\tau)$는 Dedekind eta 함수입니다.

3. 타원곡선 연결

CM 타원곡선: $E: y^2 = x^3 + 1$은 $\mathbb{Q}(\sqrt{-3})$에서 복소곱셈(CM)을 가집니다.

L-함수 관계(명제 8.1): $L(E, s) = L(\eta(6\tau)^4, s)$

Weil 정리 적용(정리 8.2): $a_p$를 L-함수의 p번째 계수, $\alpha, \beta$를 $x^2 - a_p x + p = 0$의 근이라 하면, $N_p(k) = p^k + 1 - \alpha^k - \beta^k$

핵심 보조정리 8.4: $a_{p^k} = \sum_{i=0}^k \alpha^i \beta^{k-i}$

귀납법으로 증명하며, 3항 재귀 관계(정리 8.3)를 활용합니다: $a_{p^k} = a_p a_{p^{k-1}} - p \cdot a_{p^{k-2}}$

실험 설정

수치 검증

본 논문은 순수 이론 정수론 연구이므로 전통적 의미의 "실험"은 없지만, 광범위한 수치 검증을 포함합니다:

예시 8.7: $p = 103$에 대해

• $r_{1,3}(103) = 28$
• Fourier 계수 $a_{103} = 20$
• 검증: $3r_{1,3}(103) = 103 + 1 - 20 = 84 = 3 \times 28$ ✓

계산 도구

• Fourier 전개 계산에 Maple 사용 (참고문헌 18)
• 타원곡선 데이터 조회에 LMFDB 데이터베이스 사용 (참고문헌 19)

사례 범위

논문은 다음의 모든 경우를 체계적으로 분석합니다:

1. $\theta_{k,2}$: k = 0, 1 (제4절)
2. $\theta_{k,4}$: k = 0, 1, 2, 3 (제5절)
3. $\theta_{k,3}$: k = 0, 1 (제6절)
4. $\theta_{k,6}$: k = 0, 1, 2, 3 (제7절)

실험 결과

주요 결과

정리 1.7 (핵심 결과)

소수 $p \equiv 1 \pmod{6}$에 대해: $r_{1,3}(p) = \frac{1}{3}N_p(1)$

일반 3항 관계: