Relating elliptic curve point-counting and solutions of quadratic forms with congruence conditions

논문 개요

이 논문은 **합동 조건 (congruence conditions)**이 부과된 4 변수 이차 형식 $Q(\vec{x}) = x_1^2 + x_2^2 + x_3^2 + x_4^2$에 대한 정수 해의 개수와, 특정 **타원 곡선 (elliptic curve)**의 유한체 위에서의 유리점 개수 사이의 선형 관계를 규명합니다. 저자는 모듈러 형식 이론, 특히 **에이젠슈타인 급수 (Eisenstein series)**와 **첨점 형식 (cusp form)**의 분해, 그리고 Sieving (S) 및 V 연산자를 활용하여 이 관계를 증명하고 구체적인 공식을 유도합니다.

1. 연구 문제 및 배경

• 문제 정의: 자연수를 이차 형식으로 표현하는 수의 개수 (표현 수, $r_Q(n)$) 는 고전적인 수론의 주제입니다. 특히, 변수 $x_i$가 특정 모듈로 $M$에 대해 합동 조건 ($x_i \equiv s \pmod M$) 을 만족할 때의 표현 수 $r_{s,M}(n)$을 분석하는 것이 핵심입니다.
• 목표: 합동 조건이 있는 이차 형식 $\theta_{s,M}(\tau)$ (합동 테타 급수) 의 푸리에 계수를 구하고, 이를 타원 곡선의 $L$-함수 계수 (Frobenius trace) 와 연결하여 점 카운팅 공식 ($N_p(k)$) 을 유도하는 것입니다.
• 주요 대상:
  • 이차 형식: $Q = x_1^2 + x_2^2 + x_3^2 + x_4^2$
  • 합동 조건: $x_i \equiv s \pmod M$ ($M = 2, 3, 4, 6$ 등)
  • 관련 타원 곡선: $E: y^2 = x^3 + 1$ (복소수 곱셈 CM 을 가짐)

2. 방법론 (Methodology)

저자는 다음과 같은 수학적 도구를 체계적으로 적용했습니다.

1. 합동 테타 급수 (Congruent Theta Series):

   • 조건 $x_i \equiv s \pmod M$을 만족하는 정수 해의 개수를 생성 함수 $\theta_{s,M}(\tau) = \sum r_{s,M}(n) q^n$으로 정의합니다.
   • 이 급수는 가중치 2 의 모듈러 형식 (modular form) 으로, 특정 합동 부분군 $\Gamma_0(N)$에 대해 정의됩니다.

2. S 및 V 연산자 활용:

   • S 연산자 (Sieving operator): 푸리에 급수의 특정 합동류 항만 추출합니다 ($f|_{S_{M,m}}$).
   • V 연산자: 급수의 변수를 스케일링합니다 ($f|_{V_d}(\tau) = f(d\tau)$).
   • 이 두 연산자를 비정칙 (non-holomorphic) 에이젠슈타인 급수 $\hat{E}_2$에 적용하여, 원하는 레벨 (level) 의 정칙 (holomorphic) 에이젠슈타인 급수의 기저 (basis) 를 구성합니다.

3. 모듈러 형식의 분해:

   • 합동 테타 급수를 **에이젠슈타인 부분 (Eisenstein part)**과 **첨점 형식 부분 (cusp form part)**으로 분해합니다.
   • 에이젠슈타인 부분은 합동 조건에 따른 주된 항 (divisor sum 함수 $\sigma_1$) 을 제공하고, 첨점 형식 부분은 타원 곡선과 관련된 오차 항을 제공합니다.

4. 타원 곡선과의 연결:

   • 분해된 첨점 형식 부분이 특정 타원 곡선 $E: y^2 = x^3 + 1$에 대응되는 모듈러 형식 $\eta(6\tau)^4$임을 확인합니다.
   • Weil 추측 (Weil conjectures) 과 Frobenius trace ($a_p$) 를 이용하여 유한체 $\mathbb{F}_p$ 위의 점의 개수 $N_p(k)$와 푸리에 계수 사이의 관계를 유도합니다.

3. 주요 결과 (Key Results)

A. 에이젠슈타인 급수 기저의 구성 (Theorem 1.4)

• 저자는 소수 $p$와 지수 $k$에 대해 $E_2(\Gamma_0(p^k))$ 공간의 기저를 S 와 V 연산자를 사용하여 구성하는 방법을 제시했습니다.
• 특히 $p=2, 3$인 경우와 $p>3$인 경우의 기저 구성 전략을 구체화했습니다. 이는 합동 테타 급수의 에이젠슈타인 성분을 정확히 추출하는 데 필수적입니다.

B. 합동 조건에 따른 표현 수 공식

• $M=2, 4$ 경우: 표현 수 $r_{s,M}(n)$은 주로 약수 합 함수 $\sigma_1$로만 표현되며, 첨점 형식 부분이 0 이거나 단순합니다.
• $M=3, 6$ 경우 (핵심 결과):
  • $r_{1,3}(n)$ (조건: $x_i \equiv 1 \pmod 3$) 의 경우, 생성 함수에 첨점 형식 부분이 존재합니다.
  • 이 첨점 형식은 $\eta(6\tau)^4$와 비례하며, 이는 타원 곡선 $y^2 = x^3 + 1$의 $L$-함수 계수와 직접 연결됩니다.

C. 점 카운팅과 표현 수의 관계 (Theorem 1.7)

• 소수 $p \equiv 1 \pmod 6$에 대해, 표현 수 $r_{1,3}(p)$와 타원 곡선 $E$의 $\mathbb{F}_p$ 위 점의 개수 $N_p(1)$ 사이에 다음과 같은 관계가 성립함을 증명했습니다:
  $$r_{1,3}(p) = \frac{1}{3} N_p(1)$$
• 더 일반적으로, $p^k$에 대한 점의 개수 $N_p(k)$와 $r_{1,3}(p^k)$ 사이의 **3 항 점화식 (three-term relation)**을 유도했습니다:
  $$3r_{1,3}(p^k) = N_p(k) + 3p \cdot r_{1,3}(p^{k-2})$$
  (여기서 $k \ge 3$)

D. 일반화된 공식 (Theorem 1.9)

• 서로 다른 소수들의 곱 $n = \prod p_i^{\alpha_i} \equiv 1 \pmod 6$에 대해, $r_{1,3}(n)$을 소인수별 표현 수와 푸리에 계수 ($a_{p^k}$) 를 이용한 합으로 분해하는 공식을 제시했습니다. 이는 $r_{1,3}(n)$이 단순한 곱셈 함수가 아님을 보여주며, 타원 곡선의 $L$-함수 계수가 어떻게 표현 수에 영향을 미치는지 보여줍니다.

4. 의의 및 기여 (Significance)

1. 이차 형식과 타원 곡선의 명시적 연결:
   • 기존에는 이차 형식의 표현 수와 타원 곡선의 점 개수 사이의 관계가 일부 특수한 경우에만 알려져 있었습니다. 본 논문은 합동 조건이 부과된 구체적인 4 변수 이차 형식에 대해 이 관계를 정량적이고 명시적인 공식으로 제시했습니다.
2. 계산적 도구 개발:
   • S 와 V 연산자를 사용하여 모듈러 형식 공간의 기저를 구성하는 체계적인 방법을 제시함으로써, 향후 유사한 합동 조건을 가진 다른 이차 형식이나 모듈러 형식을 분석하는 데 유용한 프레임워크를 제공했습니다.
3. 수론적 통찰:
   • 합동 조건 ($x_i \equiv 1 \pmod 3$) 이 부과됨으로써 생성 함수가 첨점 형식을 포함하게 되며, 이것이 타원 곡선의 CM (Complex Multiplication) 성질과 어떻게 맞물려 점 카운팅 공식으로 이어지는지를 명확히 보여주었습니다.
4. 확장성:
   • Table 1 과 Table 2 에서 제시된 바와 같이, 이 방법은 다른 이차 형식과 타원 곡선 쌍에도 적용 가능함을 시사하며, 다양한 합동 조건 하에서의 표현 수 문제를 해결하는 일반적인 접근법을 제안합니다.

결론

이 논문은 모듈러 형식 이론의 강력한 도구 (에이젠슈타인 급수, 첨점 형식, S/V 연산자) 를 활용하여, 합동 조건이 있는 이차 형식의 해의 개수와 타원 곡선의 유한체 점 개수 사이의 깊은 수학적 연결고리를 규명했습니다. 특히 $r_{1,3}(p) = \frac{1}{3} N_p(1)$과 같은 단순하면서도 우아한 공식은 수론의 두 중요한 분야를 통합하는 중요한 성과로 평가됩니다.