Traces of Hecke operators on Drinfeld modular forms for $\mathrm{GL}_2(\mathbb{F}_q[T])$

이 논문은 함수체 상의 모듈러 형식 이론, 특히 $A = \mathbb{F}_q[T]$에 대한 **드린펠트 모듈러 형식 (Drinfeld modular forms)**의 **헤케 연산자 (Hecke operators)**의 **대각합 (trace)**을 연구합니다. 저자 Sjoerd de Vries 는 기존에 증명된 기하학적 대각합 공식을 활용하여, 차수가 1 인 소수 (primes) 에 대한 대각합에 대한 닫힌 형식 (closed-form) 표현식을 유도하고, 더 높은 차수의 소수에 대해서는 계산 알고리즘을 제시합니다. 또한 람마누잔 경계 (Ramanujan bound) 를 개선하고, $\Gamma_0(p)$ 레벨에서의 구형 (cusp forms) 의 고형 (oldforms) 과 신형 (newforms) 분해에 대한 Bandini-Valentino 의 추측을 특정 조건 하에 증명합니다.

다음은 논문의 주요 내용, 방법론, 결과 및 의의에 대한 상세한 기술적 요약입니다.

1. 연구 문제 및 배경 (Problem & Background)

• 드린펠트 모듈러 형식: 타원 모듈러 형식의 함수체 버전으로, 드린펠트 모듈 (Drinfeld modules) 의 모듈러 공간 위에서 정의됩니다. 고전적인 모듈러 형식과 유사한 점 (가중치, 유한 차원 공간) 이 있지만, 중요한 차이점도 존재합니다.
  • 타입 (Type): $\mathbb{Z}/(q-1)\mathbb{Z}$의 원소로 정의되는 추가적인 불변량이 존재합니다.
  • 내적의 부재: 양의 특성 (positive characteristic) 환경에서는 피터슨 내적 (Petersson inner product) 의 자연스러운 대응물이 없어, 고전적인 '고형/신형 (oldforms/newforms)' 분해가 직관적으로 성립하지 않습니다.
  • 헤케 연산자의 대각화: 고전적으로는 항상 대각화 가능하지만, 드린펠트 모듈러 형식에서는 그렇지 않을 수 있습니다.
• 연구 목표:
  1. 레벨 1 ($GL_2(\mathbb{F}_q[T])$) 에서 헤케 연산자 $T_p$의 대각합을 명시적으로 계산하는 것.
  2. 대각합 정보를 통해 헤케 고유값 (eigenvalues) 의 성질 (중복성, injectivity 등) 을 규명하는 것.
  3. 람마누잔 경계를 개선하고, 이를 통해 고차 레벨 ($\Gamma_0(p)$) 에서의 모듈러 형식 분해 구조를 이해하는 것.

2. 방법론 (Methodology)

이 연구는 다음과 같은 핵심 도구들을 결합하여 수행되었습니다.

• 대각합 공식 (Trace Formula): [Vri25a] 에서 증명된 기하학적 대각합 공식을 기반으로 합니다. 이 공식은 헤케 연산자의 대각합을 드린펠트 모듈의 동형류 (isomorphism classes) 에 대한 합으로 표현합니다.
  $$\text{Tr}(T_p^n | S_{k+2, l}) = \sum_{[\phi]/\mathbb{F}_{p^n}} h_k(\pi_\phi, \bar{\pi}_\phi) \cdot \left( \frac{\pi_\phi \bar{\pi}_\phi}{\wp^n} \right)^{l-k-1}$$
  여기서 $\pi_\phi$는 프로베니우스 연산자, $h_k$는 동차 대칭 다항식입니다.
• Hurwitz Class Numbers 와 동형류 카운팅: 드린펠트 모듈의 동형류 개수 (#Isopn) 를 Hurwitz class number 와 연결하여 계산합니다. 부록 (Appendix A) 에서 초타원곡선 (hyperelliptic curves) 의 점 개수와 Hurwitz class number 사이의 관계를 정립하여, 특정 차수의 소수에 대한 계산을 가능하게 합니다.
• 이항 계수 항등식 및 Lucas 정리: 대각합 공식 내의 이항 계수 항들을 단순화하고, $q$진법 전개와 Lucas 정리를 활용하여 대수적 성질 (특히 $p=2$인 경우) 을 분석합니다.
• A-전개 (A-expansions): Petrov 의 이론을 활용하여 특정 모듈러 형식들이 가지는 $A$-전개와 헤케 고유값 사이의 관계를 분석합니다.

3. 주요 결과 및 기여 (Key Contributions & Results)

3.1. 대각합의 닫힌 형식 표현식 (Closed-form Expressions)

• 차수 1 소수 (Degree 1 Primes): $p = (T-x)$인 경우, 임의의 가중치 $k$와 타입 $l$에 대해 대각합의 닫힌 형식을 유도했습니다 (Theorem 1.1).
  $$\text{Tr}(T_T | S_{k+2, l}) = \sum_{0 \le j < k/2, j \equiv l-1} (-1)^j \binom{k-j}{j} (T-x)^j$$
• 특성 2 (Characteristic 2, $q$가 짝수): 모든 소수에 대해 대각합이 매우 단순한 형태를 가짐을 보였습니다 (Theorem 1.2). 이는 모든 $n \ge 1$에 대해 성립하며, 이를 통해 헤케 고유값의 성질을 완전히 규명할 수 있게 되었습니다.
• 차수 2 이상 및 홀수 특성: 차수가 2 이상인 소수나 홀수 특성 ($q$가 홀수) 에 대해서는 명시적인 공식이 복잡하지만, 알고리즘 3.38을 통해 Magma 를 사용하여 효과적으로 계산할 수 있음을 보였습니다.

3.2. 헤케 고유값의 성질 (Eigenvalue Properties)

• 중복 고유값 (Repeated Eigenvalues):
  • 특성 2: 고유값이 $p=2$로 중복되는 경우가 무한히 많음을 보였습니다 (Theorem 5.13). 즉, 대각합만으로는 모든 고유값을 복원할 수 없습니다.
  • 홀수 특성: 레벨 1 에서 고유값이 $p$번 중복되는 경우는 관찰되지 않았습니다.
• 단사성 (Injectivity): Bandini-Valentino 의 추측을 강화하여, 임의의 소수 $p$에 대해 헤케 연산자 $T_p$가 $S_{k,l}$ 위에서 단사 (injective) 임을 증명했습니다 (Theorem 1.4). 이는 Joshi 와 Petrov 의 결과를 활용하여 증명되었습니다.
• A-전개의 역문제: $T_p f = \wp^{n-1}f$를 만족하는 고유형 $f$가 반드시 $A$-전개를 가지는 것은 아님을 반례 (Theorem 1.6, $q=3, g_2h_2$) 를 통해 보였습니다.

3.3. 람마누잔 경계 및 분해 (Ramanujan Bound & Decomposition)

• 강한 람마누잔 경계 (Strong Ramanujan Bound): 기존 경계보다 더 강한 대각합의 차수 상한을 제안했습니다 (Conjecture 4.3).
  $$\deg \text{Tr}(T_p^n | S_{k,l}) \le \frac{nd(k - (q+1))}{2}$$
  이 경계는 $nd \le 3$이거나 $q$가 짝수인 경우 증명되었습니다 (Theorem 4.9).
• 고형/신형 분해: 만약 $S_{k,l}$의 차원이 $p$보다 작다면, $\Gamma_0(p)$ 레벨의 구형 공간이 고형과 신형의 직합으로 분해됨을 증명했습니다 (Theorem 1.5). 이는 각 헤케 고유값의 중복도가 $p$ 미만이라는 가정 하에 성립합니다.

3.4. 대칭성 (Symmetry)

• 가중치 $k = p^m + 1$을 중심으로 대각합이 갖는 대칭성을 발견하고 정리했습니다 (Theorem 3.11). 이는 하이퍼 미분 (hyperderivations) 과의 연결고리를 시사합니다.

4. 의의 및 결론 (Significance & Conclusion)

• 이론적 발전: 드린펠트 모듈러 형식 분야에서 헤케 연산자의 대각합에 대한 체계적인 계산 프레임워크를 제공했습니다. 특히 특성 2 인 경우의 완전한 해와 홀수 특성에 대한 계산 알고리즘은 이 분야의 계산 가능성을 크게 확장했습니다.
• 구조적 통찰: 람마누잔 경계의 개선과 고형/신형 분해 조건을 명확히 함으로써, 함수체 모듈러 형식의 구조가 고전적 경우와 어떻게 다르고 유사한지를 깊이 있게 이해할 수 있는 기반을 마련했습니다.
• 계산적 도구: Magma 구현 코드를 공개하여, 저자가 제시한 알고리즘을 통해 다양한 가중치와 소수에 대한 대각합을 직접 계산하고 검증할 수 있게 했습니다.
• 미래 연구 방향: 대각합을 통해 고유값의 중복성을 완전히 파악하는 문제 (특히 $p$가 홀수인 경우) 와 더 높은 레벨에서의 분해 구조 연구에 중요한 발판을 제공합니다.

요약하자면, 이 논문은 드린펠트 모듈러 형식의 헤케 연산자 대각합에 대한 정밀한 분석을 통해, 함수체 모듈러 형식 이론의 핵심적인 미해결 문제들 중 하나인 고유값의 분포와 공간 구조에 대한 중요한 진전을 이루었습니다.