Riesz Means of Quadratic Class Numbers

기술 요약: 이차 형식 클래스 수의 리에스 평균(Riesz Means)

문제 정의
본 논문은 허witz 클래스 수 $H(n)$(음의 판별식과 연관됨)과 실수 이차 클래스 수 트레이스 $Tr_d(1)$(양의 판별식과 연관됨)을 포함하는 가중 리에스 평균의 점근적 거동을 다룬다. 음의 판별식에 대한 클래스 수의 성장은 하일브론(Heilbronn), 지겔(Siegel) 등의 연구를 통해 20세기에 해결되었으나, 양의 판별식에 대한 유사한 추측은 여전히 미해결 상태로 남아 있다. 저자들은 이 두 양의 가중 평균에 대한 정밀한 점근 공식(asymptotic formula)을 도출하고자 하며, 특히 양의 판별식 클래스 수를 생성하는 비정칙(nonholomorphic) 생성 함수의 문제를 해결하는 데 초점을 맞춘다.

방법론
저자들은 **세스퀴하모닉 마스 형식(sesquiharmonic Maass forms)**으로 이론을 확장하여 모듈러 형식 이론을 적용한다. 방법론은 다음과 같은 단계로 진행된다:

1. 세스퀴하armonic 형식에 대한 L-함수의 정의:
   본 논문은 적당한 성장(moderate growth)을 가진 무게 $1/2$ 세스퀴하모닉 마스 형식에 대한 $L$-함수를 도입한다. 정칙 모듈러 형식과 달리, 세스퀴하모닉 형식은 세 가지 구별된 급수(정칙 부분 $c(n)q^n$, 불완전 감마 함수 $\beta(y)$를 포함하는 비정칙 부분 $b(n)\beta(-4nv)q^n$, 그리고 특수 함수 $\alpha(y)$를 포함하는 세 번째 비정칙 부분 $a(n)\alpha(4nv)q^n$)를 갖는 푸리어 전개를 가진다. 저자들은 특수 함수 $W_{1/2}(s)$와 $Z(s)$를 사용하여 이 세 가지 구성 요소를 통합하는 완비 디리클레 급수(completed Dirichlet series) $\Lambda_N(F, s)$를 정의한다. 여기서 이 함수들은 불완전 감마 함수와 $\alpha(y)$ 함수에 대한 적분을 통해 정의된다.

2. L-함수의 해석적 성질:
   저자들은 $\Lambda_N(F, s)$가 전체 복소 평면으로의 메로모르픽 연속 확장(meromorphic continuation)을 가짐을 증명한다. 또한 $\Lambda_N(F, s)$와 프릭케 변환(Fricke involution) $W(N)$에 의한 이미지인 $\Lambda_N(G, 1/2 - s)$ 사이의 함수 방정식을 확립한다. $L$-함수의 극(poles)은 $F$와 $G$의 푸리어 전개의 상수 및 로그 계수에 의해 명시적으로 계산된다.

3. 합산 공식(Summation Formula)의 유도:
   페론 공식(Perron's formula)과 경로 적분을 활용하여, 저자들은 세스퀴하모닉 마스 형식의 계수에 대한 일반적인 합산 공식을 유도한다. 이 공식은 벡위스(Beckwith), 디아만티스(Diamantis), 굽타(Gupta), 롤렌(Rolen), 탈라고다(Thalagoda)의 모크 모듈러 형식(mock modular forms)에 관한 기존 결과와 찬드라세카라난(Chandrasekharan) 및 나라심한(Narasimhan)의 고전적 결과를 일반화한다. 결정적으로, 이 공식은 세스퀴하모닉 형식 특유의 두 가지 비정칙 생성 급수($\alpha$ 및 $\beta$)로부터 발생하는 추가 항들을 포함한다. 이러한 항들은 베셀 함수(Bessel functions)와 하이퍼기하 함수(hypergeometric functions)를 포함하는 적분 형태로 나타난다.

4. 이차 클래스 수에의 적용:
   저자들은 일반적인 합산 공식을 듀크(Duke), 이마모구(Imamoğlu), 토트(Tóth)가 도입한 특정 세스퀴하모닉 마스 형식 $\hat{Z}(\tau)$에 적용한다. 이 형식의 푸리어 계수는 허witz 클래스 수 $H(n)$과 실수 이차 트레이스 $Tr_d(1)$에 대응한다. $\hat{Z}(\tau)$에 대한 프릭케 변환의 작용을 계산함으로써, 저자들은 합산 공식에 대입할 필요한 계수들을 결정한다.

주요 기여 및 결과

• 이론적 확장: 본 논문은 이전에 이 특정 $L$-함수 기계론으로 다루어진 적이 없는 무게 $1/2$ 세스퀴하모닉 마스 형식의 $L$-함수를 성공적으로 정의하고 분석하였다. 여기에는 함수 방정식의 증명과 잔차(residues)의 결정이 포함된다.
• 일반화된 합산 공식 (정리 4.1): 저자들은 세스퀴하모닉 마스 형식 계수의 리에스 평균에 대한 폐쇄형(closed-form) 합산 공식을 제공한다. 이 공식은 푸리어 전개의 세 가지 구별된 구성 요소를 명시적으로 고려하며, 그 결과 정칙 또는 하모닉 마스 형식의 경우보다 더 복잡한 구조를 가진다.
• 클래스 수에 대한 점근 공식 (정리 1.2): 주요 결과는 $Tr_n(1)$과 $H(n)$의 가중 리에스 평균에 대한 점근 공식이다. $\rho > 3/2$이고 임의의 $\epsilon > 0$에 대하여, 본 논문은 다음을 확립한다:
  $$\sum_{n \le x} \left(1 - \frac{n}{x}\right)^\rho \left( Tr_n(1) + H(n)\left(\frac{x}{n} - 1\right)^{1/2} \frac{2F_1(\dots)}{\sqrt{2n}(\rho + 1/2)} \right) = \frac{\pi x}{6\sqrt{2}(\rho+1)} + O(x^{1/2+\epsilon})$$
  여기서 $2F_1$은 가우스 하이퍼기하 함수이다.
• 수치적 검증: 논문은 $\rho=2$인 경우의 수치적 예시(예시 1)를 포함하며, 이는 예측된 상수값으로의 합의 느린 수렴을 보여주며, 이는 이론적 오차항과 일치한다.

의의
본 논문은 하모닉 마스 형식과 그보다 더 복잡한 세스퀴하모닉 마스 형식 사이의 간극을 메우는 데 의의가 있다고 주장한다. $L$-함수 방법론과 합산 공식을 이 더 넓은 범주의 함수들로 확장함으로써, 저자들은 가우스 이후로 미해결 상태였던 실수 이차 클래스 수의 성장을 분석할 수 있는 도구를 제공한다. 이 연구는 모크 모듈러 형식에 관한 최근의 연구들을 일반화하며, 클래스 수의 분포에 대한 이해에 기여하는 구체적인 가중 평균 점근 공식을 제시한다. 저자들은 자신들의 방법이 찬드라세카라난과 나라심한의 연구 및 최근의 프리프린트 [BDG+]의 작업을 확장하여, 세스퀴하모닉 형식에 내재된 추가적인 비정칙 항들을 처리하도록 적응시킨 것이라고 밝히고 있다.