Representation of Ramanujan's tau function by twisted divisor functions

논문 개요

이 논문은 티안위 니 (Tianyu Ni) 가 저술한 것으로, **라마누잔의 타우 함수 ($\tau(n)$)**를 **비틀린 약수 함수 (twisted divisor functions) 의 컨볼루션 합 (convolution sums)**으로 표현하는 무한한 항등식 가족을 제시합니다. 저자는 고차 레벨의 모듈러 형식 (modular forms) 에서 1 차 레벨의 비영 (non-vanishing) 심포크 형식 (cusp forms) 을 명시적으로 구성하는 방법을 통해 이 결과를 증명합니다.

1. 연구 문제 (Problem)

• 배경: 라마누잔의 타우 함수 $\tau(n)$는 디리클레 급수 $\Delta(z) = q \prod_{n \ge 1} (1-q^n)^{24} = \sum_{n \ge 1} \tau(n)q^n$의 계수로 정의되며, 이는 가중치 12, 레벨 1 의 심포크 형식입니다.
• 기존 연구: $\tau(n)$에 대한 공식은 주로 약수 함수 (divisor functions) 의 컨볼루션 합을 사용하여 표현되어 왔습니다 (예: van der Pol 유형 항등식).
• 연구 목표: 기존 연구의 일반화를 넘어, **비틀린 약수 함수 (twisted divisor functions, $\sigma_{l-1, \phi, \psi}$)**를 포함하는 컨볼루션 합을 통해 $\tau(n)$을 표현하는 새로운 무한한 항등식 가족을 발견하고 증명하는 것입니다. 여기서 $D$는 홀수인 제곱인수 없는 정수이며, $\phi, \psi$는 디리클레 지표입니다.

2. 방법론 (Methodology)

저자는 다음과 같은 세 단계의 방법론을 사용합니다:

1. 레벨 1 심포크 형식의 구성 (Construction of Level 1 Cusp Forms):

   • 고차 레벨 ($D > 1$) 의 Eisenstein 급수 $G_{k, \chi}(z)$를 사용합니다.
   • 두 개의 Eisenstein 급수에 **Rankin-Cohen 괄호 (Rankin-Cohen brackets)**를 적용하여 새로운 심포크 형식을 생성합니다.
   • 생성된 형식에 **Trace 연산자 (Trace map, $\text{Tr}_1^D$)**를 적용하여 레벨 1 의 심포크 형식 $F_{D, \ell, k, e}(z; \chi)$를 구성합니다.
   • 구성된 형식의 푸리에 계수를 계산하여 명시적인 공식을 유도합니다.

2. 비영성 증명 (Non-vanishing Proof):

   • 구성된 형식 $F_{D, \ell, k, e}$가 영 (zero) 이 아님을 증명해야 합니다.
   • Rankin-Selberg 방법을 사용하여 내적 $\langle f, F_{D, \ell, k, e} \rangle$을 계산합니다.
   • 이 내적은 **비틀린 L-함수 (twisted L-values)**의 곱으로 표현되며, Kohnen-Zagier 등의 결과를 통해 특정 조건에서 이 L-함수 값이 0 이 아님을 보여 구성된 형식이 영이 아님을 증명합니다.

3. 푸리에 계수 계산 및 항등식 유도:

   • 구성된 형식의 푸리에 계수 $a_{D, \ell, k, e}(n; \chi)$를 명시적으로 계산합니다.
   • 가중치 12 의 정규화된 Hecke 고유 형식은 오직 $\Delta(z)$ 하나뿐이라는 사실을 이용하여, 구성된 형식이 $\Delta(z)$와 비례함을 보임으로써 $\tau(n)$에 대한 항등식을 얻습니다.

3. 주요 기여 및 결과 (Key Contributions and Results)

주요 정리 (Theorem 1.1)

디리클레 지표 $\chi$와 정수 $D, \ell, k, e$에 대한 조건 하에서 $\tau(n)$을 다음과 같이 표현합니다:

• $\chi(-1) = -1$인 경우:
  • $\tau(n) = \tilde{a}_{D, 3, 5, 2}(n; \chi)$
  • $\tau(n) = \tilde{a}_{D, 3, 7, 1}(n; \chi)$
• $\chi(-1) = 1$인 경우:
  • $\tau(n) = \tilde{a}_{D, 4, 6, 1}(n; \chi)$
• $D=1$ 또는 $D \equiv 5 \pmod 8$인 소수인 경우:
  • $\tau(n) = \tilde{a}_{D, 4, 2}(n)$ (여기서 $\chi$는 2 차 지표)

여기서 $\tilde{a}$는 $a(n)$을 $a(1)$로 나눈 정규화된 계수입니다.

구체적 예시 및 일반화

• $D=1$인 경우: 기존의 고전적인 항등식 (예: $\tau(n)$을 $\sigma_3$과 $\sigma_5$의 합으로 표현하는 식) 을 재현하며, 이는 기존 문헌 [15, 17] 의 결과와 일치합니다.
• $D>1$인 경우: 새로운 항등식을 제시합니다. 예를 들어 $D=p$ (소수) 인 경우, 기존 항등식보다 더 많은 컨볼루션 합 항과 $p$와 관련된 추가 항이 포함됩니다.
• 수치적 검증: $p=7$인 경우, $\chi_7$ 및 기타 지표에 대해 계산된 계수들이 $\tau(n)$과 정확히 일치함을 수치 표를 통해 확인했습니다.

디리클레 L-함수 값 계산 응용

• Theorem 1.1(c) 를 활용하여 $p \equiv 5 \pmod 8$인 소수에 대한 $L(-3, \chi_p)$ 값을 베르누이 다항식 (Bernoulli polynomials) 을 사용하지 않고 새로운 컨볼루션 합 공식을 통해 계산할 수 있음을 보였습니다.

4. 의의 및 결론 (Significance and Conclusion)

• 이론적 확장: 라마누잔의 타우 함수에 대한 표현식을 단순한 약수 함수에서 비틀린 약수 함수로 확장하여, 모듈러 형식의 레벨 (level) 을 변화시키는 관점에서 새로운 항등식 가족을 발견했습니다.
• 구성적 접근: Rankin-Cohen 괄호와 Trace 연산자를 결합하여 고차 레벨에서 1 차 레벨의 심포크 형식을 구성하는 체계적인 방법을 제시했습니다.
• 비영성 증명: 직접적인 계수 계산을 어렵게 만드는 매개변수 $D$에 대해, Rankin-Selberg 방법과 L-함수의 비영성을 통해 구성된 형식이 유효함을 엄밀하게 증명했습니다.
• 추측 (Conjectures):
  • Conjecture 5.1: 가중치 $K = k + \ell + 2e$가 충분히 크면 ($K \gg D$), 구성된 형식의 첫 번째 푸리에 계수 $a_{D, \ell, k, e}(1; \chi)$가 0 이 아니라는 추측을 제시했습니다.
  • Conjecture 5.2: 차원이 1 보다 큰 경우, 구성된 형식 $F_{D, k, e}$는 일반적으로 Hecke 고유 형식이 아니라는 추측을 제시했습니다.

이 논문은 모듈러 형식 이론과 수론의 교차점에서 타우 함수의 구조를 더 깊이 이해하는 데 기여하며, 디리클레 L-함수 값 계산과 같은 구체적인 응용 가능성을 제시합니다.