[논문 리뷰] The variance of arithmetic measures associated to closed geodesics on the modular surface

Wenzhi Luo, Zeév Rudnick외 1명|ArXiv.org|2008. 10. 18.

Analytic Number Theory Research참고 문헌 24인용 수 3

한 줄 요약

이 논문은 랭킨-셀버그 이론과 심미적 푸리에 변환을 사용하여 모듈러 표면 위의 폐포 지오데식선과 관련된 산술 측도의 분산을 판별식 별로 계산한다. 분산이 표준 $L$-함수 값 $L(1/2, f)$와 대칭 제곱 $L$-함수에 비례하며, 형태 유형(해석형 또는 마스)에 따라 명시적인 상수가 존재함을 규명한다.

ABSTRACT

We determine the variance for the fluctuations of the arithmetic measures obtained by collecting all closed geodesics on the modular surface with the same discriminant and ordering them by the latter. This arithmetic variance differs by subtle factors from the variance that one gets when considering individual closed geodesics when ordered by their length. The arithmetic variance is the same one that appears in the fluctuations of measures associated with quantum states on the modular surface.

연구 동기 및 목표

• 모듈러 표면 위의 폐포 지오데식선과 관련된 산술 측도의 통계적 변동성을 판별식 별로 이해하기 위해.
• 증가하는 판별식의 극한에서 이러한 측도의 분산을 계산하며, 균등분포 및 상관관계 구조에 중점을 두기 위해.
• 자동형 형식과 심미적 푸리에 변환을 통해 분산과 특수 $L$-함수 값 사이의 정밀한 연결 고리를 확립하기 위해.
• 해석형 및 마스 형태 모두에 대해 분산을 해결하며, 대칭성과 높이에 따라 경우를 구분하기 위해.

제안 방법

• 폐포 지오데식선과 이차형식 사이의 대응을 이용하여 판별식 $d$에 관련된 산술 측도 $\mu_d$를 정의한다.
• 심미적 푸리에 변환을 적용하여 $\mu_d(f)$를 반정수 스펙트럼 형식의 푸리에 계수와 연결함으로써, 랭킨-셀버그 이론의 적용을 가능하게 한다.
• 메린 변환과 스펙트럼 분해를 사용하여 $\mu_d(f)$의 $L^2$-노름을 분석하고, $s=1$에서 극을 갖는 딜리클레 급수로 이어진다.
• 랭킨-셀버그 이론을 사용하여 딜리클레 급수의 잔여근을 계산하며, 이는 $L(1/2, f)$와 대칭 제곱 $L$-함수와 연결된다.
• $\mathrm{SL}_2(\mathbb{R})$의 표현 이론과 $\mathbf{r}$-불변성을 활용하여 공간을 분해하고, 서로 다른 측도 형식 간의 직교성을 확보한다.
• 백스터 적분과 월리커 함수에 대한 알려진 공식을 적용하여 잔여근 계산에서 $\Gamma$-함수의 특수값을 평가한다.

실험 결과

연구 질문

• RQ1 판별식 $d$를 가진 폐포 지오데식선과 관련된 산술 측도 $\mu_d$의 渐近 분산은 무엇인가?
• RQ2 분산은 자동형 형식의 스펙트럼 유형(해석형 대비 마스)과 높이에 따라 어떻게 달라지는가?
• RQ3 분산은 특수 $L$-함수 값으로 표현될 수 있는가? 만약 그렇다면, 어떤 $L$-함수인가?
• RQ4 심미적 푸리에 변환은 지오데식 측도와 반정수 스펙트럼 형식의 푸리에 계수 사이에서 어떤 역할을 하는가?
• RQ5 왜 마스 형식의 경우 분산 공식이 $6/\pi$ 배로, 해석형 형식의 경우 $1/\pi$ 배로 다를까?

주요 결과

• 짝수 높이 $2k$를 가진 해석형 측도 형식의 경우, 분산은 $\frac{1}{\pi} V^{\mathrm{sym}}(f,f) L(1/2, f) \langle f, f \rangle$이며, 여기서 $V^{\mathrm{sym}}$은 대칭 제곱 $L$-함수이다.
• 짝수 마스 형식의 경우, 분산은 $\frac{6}{\pi} V^{\mathrm{sym}}(\phi,\phi) L(1/2, \phi) \langle \phi, \phi \rangle$이며, 동일한 $V^{\mathrm{sym}}$의 구조를 가진다.
• 딜리클레 급수 $\sum_d |\mu_d(f)|^2 / d^{1/2}$의 잔여근이 $L(1/2, f)$와 대칭 제곱 $L$-함수에 비례함을 보였다.
• 해석형 형식의 높이가 $\equiv 2 \mod 4$이거나 홀수 마스 형식인 경우, 대칭성과 $\mathbf{r}$-불변성으로 인해 분산이 0이 된다.
• 랭킨-셀버그 이론을 통해 서로 다른 측도 형식 간의 직교성이 확립되어, 분산에 교차항이 없음을 보였다.
• 명시적인 상수 $1/\pi$와 $6/\pi$는 $\Gamma$-함수 항등식과 심미적 푸리에 변환의 정규화로부터 유도된다.