A lower bound for classical Kloosterman sums and an application

기술 요약: 고전적 클로이스터만 합(Kloosterman Sum)의 하한 및 그 응용

문제 정의
본 논문은 해석적 정수론에서의 두 가지 상호 연결된 문제를 다룬다. 첫째, $(ab, c) = 1$이고$c$가 홀수라는 조건 하에서,$c$에 대한 고전적 클로이스터만 합$S(a, b; c) = \sum_{x \pmod c, (x,c)=1} e^{2\pi i (ax + bx^{-1})/c}$에 대해 비자명한 하한(lower bound)을 설정하는 것이다. 이러한 합의 비소멸성(non-vanishing)은 최근 문헌에서 고유값 분포를 연구하기 위해 활용되어 왔으나, $|S(a, b; c)|$에 대한 명시적인 하한은 기존 문헌에서 확립된 바 없다. 둘째, 저자들은 이 새로운 하한을 사용하여, 무게(weight) $k$와 레벨(level) $N$이 독립적으로 변할 수 있는 큐스프 형식(cusp form) 공간 $S_k(N)$에 대한 페테르손 추적 공식(Petersson's trace formula)의 불일치 항(discrepancy term)에 대한 명시적 하한을 도출하고자 한다.

방법론
방법론은 두 가지 주요 단계로 진행된다:

1. 클로이스터만 합의 하한 유도:
   저자들은 법(modulus) $c$를 $c = du$로 분해한다 (여기서$u$는 제곱 자유수(squarefree)이고 $d$는 강력한 수(powerful number)이며, $(d, u)=1$이다). 이들은 각 성분을 별도로 처리한다:

   • 제곱 자유수 경우: 제곱 자유수 부분인 $u$에 대해서는, 원분체(cyclotomic fields) 내에서의 클로이스터만 합의 대수적 성질을 활용한다. 갈로아 군(Galois group)에 대한 합의 노름(norm)을 고려하고 바일(Weil)의 유계(bound)를 적용함으로써, $\tau(u)$와 오일러 피 함수 $\phi(u)$를 포함하는 하한을 유도한다.
   • 홀수 소수의 거듭제곱 경우: 강력한 부분인 $d$(소수의 거듭제곱 $p^\beta$들로 구성됨)에 대해서는, 표준 텍스트(예: Iwaniec and Kowalski)에서 발견되는 $S(a, b; p^\beta)$에 대한 명시적 평가 공식을 사용한다. 결과 식의 실수부를 분석하고 삼각 부등식을 활용하여, $ab$가 소수$p$에 대해 이차 잉여(quadratic residue)인 경우 소수의 거듭제곱에 대해 $2/\sqrt{q}$ 차수의 하한을 설정한다.
   • 일반적인 경우: 클로이스터만 합의 곱셈성(multiplicativity)을 사용하여, 제곱 자유수 성분과 강력한 성분에 대한 하한을 결합함으로써 $|S(a, b; c)|$에 대한 전역적 하한을 얻는다.

2. 페테르손 추적 공식에의 적용:
   저자들은 유도된 클로이스터만 합의 하한을 페테르손 추적 공식의 오차 항 $\Delta_{k,N}(m, n) - \delta(m, n)$에 적용한다. 이 공식은 클로이스터만 합과 제1종 베셀 함수(Bessel function of the first kind) $J_{k-1}$의 합으로 이 차이를 표현한다.

   • 저자들은 레벨 $c$에 대한 합산(summation)을 $c=N$인 항과 $c > N$인 꼬리(tail) 부분으로 나눈다.
   • 꼬리 부분은 적분 판정법과 베셀 함수의 지수적 감소 추정치를 사용하여 상한(upper bound)을 설정한다.
   • 주 항($c=N$)은 새로 설정된 클로이스터만 합의 하한과 $J_{k-1}$의 명시적 추정치(특히 인수가 함수의 차수에 가까운 전이 영역에서의 추정치)를 사용하여 하한을 설정한다.
   • 저자들은 전이 영역에서의 베셀 함수의 거동을 다루기 위해 크라우스(Kraus)의 연구에서 유도된 $J_\nu(\nu)$ 및 $J_\nu(\nu + t\nu^{1/3})$에 관한 특정 보조정리들을 활용한다.

주요 기여 및 결과

• 정리 1: 본 논문은 $c$가 홀수이고 $(ab, c)=1$인 경우$|S(a, b; c)|$에 대한 최초의 명시적 하한을 설정한다. 이 하한은$c$의 제곱 자유수 부분과 강력한 부분의 분해에 의존하며, 구체적으로$\omega(d)$, $\tau(u)$, $\phi(u)$를 포함한다. 또한 이 결과는 $ab$가 강력한 부분의 소수를 나누는 임의의 소수에 대해 이차 비잉여(quadratic non-residue)인 경우 합이 소멸함을 명시한다.
• 정리 2: 저자들은 짝수 무게 $k$와 홀수 레벨 $N$에 대해 $|\Delta_{k,N}(m, n) - \delta(m, n)|$의 명시적 하한을 도출한다. 레벨 $N$을 고정하고 $k \to \infty$로 보내는 기존의 점근적 결과들(예: [JS20, Theorem 1.7])과 달리, 이 정리는 상수 $D_0 \in (e^{H_0}, 1)$를 만족하는 조건 하에서 $k$와 $N$이 독립적으로 변하는 것을 허용한다. 하한은 $J_{k-1}(k-1)e^{H_0(k-1)}$ 차수이다.
• 정리 3: 더 짧은 범위의 인수 $4\pi\sqrt{mn}/N$ (구체적으로 $[(k-1), (k-1) + (k-1)^{1/3}]$)에 대해, 저자들은 정리 2의 지수적 감소보다 더 강한 $(k-1)^{-1/3}$ 차수의 하한을 회복한다.
• 따름정리: 본 논문은 헤케 연산자(Hecke operator)의 가중치 합에 대한 하한을 정량화하는 특정 상수들을 제공하는 구체적인 따름정리(Corollary 1 및 Corollary 3)를 제공한다.

의의 및 주장
저자들은 자신들의 작업이 고전적 클로이스터만 합에 대한 최초의 명시적 하한을 제공함으로써 문헌의 공백을 메운다고 주장한다. 이 결과는 클로이스터만 합의 비소멸성 측면을 통해 페테르손 추적 공식 항의 비소멸성을 더욱 정밀하게 분석할 수 있게 한다는 점에서 중요하다.

강조된 주요 응용 분야는 [JS20, Theorem 1.7]의 "수정된 버전"이다. 이 수정안은 이전 결과들이 $N$을 고정해야 했던 것과 달리 $k$와 $N$이 독립적으로 변할 수 있도록 허용한다. 저자들은 자신들의 변수 $4\pi\sqrt{mn}/N$의 구간이 [JS20]의 $k^{1/3}$ 구간보다 크지만(즉, $k$에 비례하는 크기), 이로 인해 더 약한 하한(지수적 감소 vs 다항식 감소)을 얻게 된다고 언급한다. 그러나 더 짧은 구간에 대해서는 성공적으로 다항식 차수의 하한을 회복한다.

논문은 마지막으로 특정 레벨 $N$에 대해 유도된 상수 $H(N)$, $k_0(N)$, $k_1(N)$의 값들을 표로 제시하여, 변화하는 무게와 레벨에 대한 명시적 하한의 실질적인 적용 가능성을 입증한다. 이 연구는 클로وس터만 합의 비소멸성 측면을 바탕으로, 헤케 연산자의 고유값 분포에 대한 불일치 결과를 얻기 위한 기초적인 단계로 제시된다.