Determination of Hilbert modular forms using squarefree coefficients

기술 요약: 제곱 자유 계수를 이용한 힐베르트 모듈러 형식의 결정

문제 정의
본 논문은 전실체(totally real number field) $F$(좁은 클래스 넘버가 1인 경우) 상의 반정수 가중치 힐베르트 모듈러 형식을 그들의 푸리어 계수의 부분 집합에 의해 유일하게 결정하는 문제를 다룬다. 전체 푸리어 계수 집합이 모듈러 형식을 유일하게 결정하지만, 저자들은 "최소한"의 집합이 충분한지를 조사한다. 구체적으로, 이들은 제곱 자유 대수적 정수(squarefree algebraic integers)에서 지지되는 계수들에 초점을 맞춘다. 이러한 탐구는 코헨(Kohnen)의 연구(유리수체 $\mathbb{Q}$ 상의 "플러스 공간"으로 제한됨)와 루오-라마크리슈난(Luo-Ramakrishnan)의 연구(정수 가중치 형식 및 중심 $L$-값에 관한 연구)를 다양한 가중치와 레벨을 가진 힐베르트 모듈러 형식이라는 더 일반적인 설정으로 확장한 것이다.

방법론
저자들은 시무라 대응(Shimura correspondence), 발드슈피르츠 공식(Waldspurger's formula), 그리고 랭킨-셀베르그 이론(Rankin-Selberg theory)을 활용하는 분석적 정수론 기법의 조합을 사용한다.

1. 시무라 대응 및 함수 방정식: 핵심 전략은 반정수 가중치 형식 $f$와 $g$를 그들의 정수 가중치 시무라 리프트(Shimura lifts) $\tilde{f}$ 및 $\tilde{g}$와 연관시키는 것이다. 저자들은 이 형식들과 관련된 디리클레 급수의 함수 방정식을 확립한다. 결정적인 단계는 프리키 변환(Fricke involution)과 $W(n)$ 연산자이며, 이를 통해 저자들은 한 형식의 $L$-함수를 그 트위스트(twist)의 $L$-함수와 연관시킬 수 있다.
2. 디리클레 급수의 비교: 정규화된 푸리어 계수가 모든 제곱 자유 정수(상수 $\kappa$에 대해)에서 일치한다고 가정할 때, 저자들은 완성된 $L$-함수의 비 $C(s) = \Lambda(s, f) / \Lambda(s, g)$를 구성한다.
3. 해석적 연속 및 모순: $L$-함수의 함수 방정식과 관여된 감마 인자(Gamma factors)의 성질을 분석함으로써, 저자들은 $C(s)$가 반드시 상수여야 함을 입증한다. 이는 가중치와 레벨이 서로 다름을 증명하기 위한 모순에 의한 증명을 포함하며, 여기에는 레장드르 중복 공식(Legendre duplication formula)과 특정 점에서의 $L$-함수의 거동을 이용하여 매개변수의 불일치를 배제하는 과정이 포함된다.
4. 트위스트를 통한 유일성: $L$-함수의 트위스트들이 동일하다는 것이 확립되면, 저자들은 소멸하는 트위스트 디리클레 급수에 관한 보조정리(보조정리 2)를 활용한다. 캐릭터의 직교성과 레이 클래스 그룹(ray class groups)의 성질로부터 유도된 이 보조정리를 통해, 만약 트위스트들의 $L$-함수가 같다면 그 형식들 또한 같아야 함을 결론지을 수 있다.
5. 랭킨-셀벨르그 이론: 비소멸(non-vanishing) 결과의 경우, 저자들은 $s=1$에서의 극(pole)을 갖는 랭킨-셀베르크 $L$-함수 $L(s, f \times f)$를 활용한다. 계수의 제곱 합을 추정하고 라마누잔 경계(Ramanujan bound)를 적용함으로써, 저자들은 제곱 자유 정수에서 지지되는 계수의 크기에 대한 하한을 도출한다.

주요 기여 및 결과

• 정리 3 (주요 결정 결과): 저자들은 만약 서로 다른 가중치와 레벨을 가진 반정수 가중치 큐스피달 힐베르트 헤케 고유형식(cuspidal Hilbert Hecke eigenforms) $f$와 $g$가 존재하여, 그들의 정규화된 푸리어 계수가 모든 제곱 자유 $\tau \in \mathcal{O}_F$에 대해 $\lambda_f(\tau) = \kappa \lambda_g(\tau)$ ($\kappa \neq 0$)를 만족한다면, $f = \kappa g$임을 증명한다. 이는 "플러스 공간"으로 제한되고 가중치/레벨이 고정되었던 코헨의 결과를 일반화한 것이지만, 계수의 등호가 "거의 모든" 경우가 아닌 모든 제곱 자유 정수에 대해 성립해야 한다는 요구 조건을 유지한다.
• 정리 4 (비소멸 결과): 논문은 0이 아닌 헤케 고유형식 $f$에 대하여, 제곱 자유 정수에서 지지되는 푸리어 계수의 절댓값의 상한(limit superior)이 0이 아님을 보여주는 "부드러운 증명(soft proof)"을 제공한다. 구체적으로, $\limsup_{T \to \infty, N(\tau)<T, \tau \text{ sq.free}} |\lambda_f(\tau)| \gg_{f,F} 1$이다. 이는 무수히 많은 그러한 계수들이 소멸하지 않음을 확인해 준다.
• 따름정리 1 (플러스 공간 특수화): 저자들은 $F$ 상의 코헨 플러스 공간에 대한 코헨의 정리 1과 유사한 결과를 회복하여, 기본 판별식(fundamental discriminants)에서의 계수 등호가 형식들을 동일하게 만듦을 보여준다.

의의 및 주장
본 논문은 제곱 자유 계수가 반정수 가중치 힐베르트 모듈러 형식을 유일하게 결정하기 위해 필요한 모든 정보를 운반한다는 철학적 기대를 엄밀한 형식으로 제공한다고 주장한다. 저자들은 정리 3을 코헨의 특정 사례(고정된 가중치/레벨, 플러스 공간)와 루오-라마크리슈난의 결과(정수 가중치, 중심 $L$-값) 사이의 중간 결과로 위치시킨다.

저자들은 자신들의 일반화 범위에 대해 겸손한 태도를 취한다. 그들은 현재의 방법론으로는 계수의 등호가 "거의 모든" 경우가 아닌 모든 제곱 자유 정수에 대해 성립해야 한다는 요구 조건을 제거하거나, 계수의 등호를 그 크기의 등호로 완화하는 것이 불가능해 보인다고 명시적으로 밝힌다. 또한, 정리 4가 비소멸성을 확립했음에도 불구하고, $\limsup |\lambda_f(\tau)| = \infty$라는 더 강한 결과(즉, 상한이 무한대임)를 증명하는 것은 여전히 미해결 과제로 남아 있다고 언급하며, 다만 최근의 연구(GKS24)가 그 방향으로의 진전임을 시사한다.

전실체 $F$의 좁은 클래스 넘어가 1이라는 가정은 증명 구조상의 편의와 부분적인 필요성에 의한 것임을 밝히며, 다만 저자들은 판별식이 주 이데알(principal ideal)인 체에서도 논증의 일부가 적응될 수 있음을 제안한다. 이 연구는 반정수 영역과 정수 영역 사이의 간극을 메우기 위해 시무라 대응과 그와 관련된 $L$-함수의 함수 방정식의 견고함에 크게 의존하고 있다.