무작위 초월곡면의 균일 스펙트럼 갭

초록

이 논문은 Weil‑Petersson 측정에 따라 무작위로 선택된 초월곡면(구멍이 없는 경우와 cusp가 있는 경우)에서, cusp 개수가 (n=O(g^{\alpha})) ((0\le\alpha<\tfrac12))일 때 스펙트럼의 첫 비자명 고유값이 (\frac14-\bigl(\frac1{6(1-\alpha)}\bigr)^2-\varepsilon) 이하가 되지 않음을 보인다. 특히 (\alpha)가 (\tfrac12)에 가까워질수록 (\frac{5}{36})라는 새로운 균일 하한을 얻는다. 핵심은 “2차 소거” 현상을 이용한 Selberg 추적식의 정밀 분석이다.

상세 분석

본 연구는 고차원 모듈리 공간 (\mathcal M_{g,n}) 위에 정의된 Weil‑Petersson 측정에 따라 무작위 표본을 취했을 때, 라플라시안 스펙트럼의 첫 비자명 고유값 (\lambda_1) (또는 스펙트럼 갭 (SpG))이 일정한 하한을 갖는지를 조사한다. 기존 연구들(예: Mirzakhani 2013, Wu‑Xue 2022, Anantharaman‑Monk 2023 등)은 주로 (\alpha=0) 즉 cusp가 없거나 매우 적은 경우에 대해 (\lambda_1>3/16), (2/9), 심지어 (\lambda_1>1/4-\varepsilon)까지 향상시켰다. 그러나 cusp 수가 (\sqrt g) 수준까지 증가하면 기존 기법은 하한이 0으로 수렴하는 한계에 봉착한다.

저자들은 이 문제를 해결하기 위해 Selberg의 트레이스 공식 대신 “pre‑trace 부등식”을 사용하고, 양변을 Weil‑Petersson 평균에 대해 적분한다. 핵심은 다음과 같다.

1. 테스트 함수 선택: (\hat f_T)가 적절히 선택된 뒤 (T=6(1-\alpha)\log g) 로 두어, 고주파 성분을 억제하고 저주파 성분만 남긴다. 이는 기존 논문에서 사용된 (T)와 동일하지만, (\alpha)에 따라 스케일을 조정함으로써 cusp가 많은 경우에도 제어가 가능하도록 설계되었다.

2. 첫 번째 소거 (first‑order cancellation): (\mathbb E_{WP}