Relative Character Asymptotics Beyond Stability for $\mathrm{PGL}_2 \times \mathrm{GL}_1$

논문 제목: PGL2 × GL1 에 대한 안정성 (Stability) 을 넘어선 상대적 캐릭터 (Relative Character) 의 점근적 거동
저자: Trajan Hammonds
요약:

이 논문은 비아르키메데스 (non-archimedean) 국소체 $F$ (예: $p$-진수체) 위의 대칭 쌍 $(G, H) = (PGL_2(F), GL_1(F))$에 대해, 안정성 (stability) 가정을 벗어난 상황에서도 상대적 캐릭터 (relative character) 의 점근적 거동을 명시적으로 계산하는 새로운 방법을 제시합니다. Nelson 과 Venkatesh 가 주창한 기존의 이론은 Rankin-Selberg $L$-함수의 지수 (conductor) 가 안정적 영역에 있을 때만 유효했으나, 본 논문은 지수 감소 (conductor dropping) 가 발생하는 경우에도 유효한 점근 공식을 유도했습니다.

1. 연구 문제 (Problem)

• 상대적 캐릭터의 점근적 거동: 리 군 $G$의 표현 $\pi$와 부분군 $H$의 표현 $\sigma$에 대한 상대적 캐릭터 $H_{\pi, \sigma}$는 $G$의 기하학적 궤도 (geometric orbits) 와 어떻게 연결되는가?
• 안정성 가정의 한계: 기존 연구 (Nelson-Venkatesh) 는 $H$가 상대적 쌍대 궤도 (relative coadjoint orbit) $O_{\pi, \sigma}$ 위에서 단순 전이 (simply transitively) 작용하는 '안정적인' 쌍 $(\pi, \sigma)$에 대해서만 점근 공식을 증명했습니다. 이는 $L$-함수의 지수가 감소하지 않는 경우 (conductor non-dropping) 에 해당합니다.
• 비안정적 영역의 난제: 안정성이 깨지는 경우 (예: $C(\pi) = C(\sigma)$인 경우), 상대적 궤도는 특이점 (singularity) 을 가지거나 $H$-궤도가 무한히 많아져 단일 기하학적 궤도로 점근을 설명하기 어렵습니다. 특히 $PGL_2 \times GL_1$의 경우, 안정성이 깨질 때 궤도가 '십자형 (cross)' 구조를 이루며 원점에서 특이점이 발생합니다.

2. 방법론 (Methodology)

저자는 다음과 같은 체계적인 접근을 통해 문제를 해결했습니다:

1. 테스트 함수와 연산자 분해 (Op Calculus):

   • Lie 대수의 쌍대 공간 $\text{Lie}(G)^*$에서 정의된 테스트 함수 $a$에 대한 적분 연산자 $Op(a)$를 도입합니다.
   • $a$를 '비아르키메데스 파동 패킷 (non-archimedean wavepackets)'인 $1^T_\tau$로 분해합니다. 이는 미국소화 (microlocalization) 된 벡터에 해당하는 함수입니다.
   • **Iwahori 분해 (Iwahori factorization)**를 활용하여 $K(N)$을 $K_- K_0 K_+$로 나누고, 연산자 $Op(a)$를 각 방향 ($Op_-, Op_0, Op_+$) 의 연산자 곱으로 분해합니다.

2. 상대적 캐릭터의 계산 전략:

   • 상대적 캐릭터를 $\langle Op(a)\ell_\chi, \ell_\chi \rangle$로 표현하고, 이를 파세발 (Parseval) 정리를 적용하여 계산합니다.
   • Whittaker 모델과 Kirillov 모델을 사용하여 표현 $\pi$를 함수 공간으로 구현합니다. 특히 $Op_+$ 연산자는 Kirillov 모델에서 대각화됩니다.
   • **국소 함수 방정식 (Local Functional Equation)**과 Weyl 원소 $w$의 작용을 활용하여 $Op_-$와 $Op_+$ 사이의 관계를 연결합니다. 이는 $\pi(w)$의 작용을 계산하는 핵심 도구입니다.

3. 표현론적 분석:

   • 초기 (Supercuspidal) 표현과 주 (Principal) 급수 표현 두 가지 경우로 나누어 구체적으로 계산합니다.
   • Gamma 인자 ($\gamma$) 와 Epsilon 인자 ($\epsilon$) 의 성질을 정밀하게 분석하여, 지수 감소가 발생할 때의 조건을 규명합니다.
   • 특히, $\tau_y$와 $\tau_z$ (테스트 함수의 주파수 성분) 가 정수환 $O$에 속하는지 여부에 따라 경우를 나누어 내적 (inner product) 을 계산합니다.

4. 위상 공간 적분 (Phase Space Integral):

   • 계산된 상대적 캐릭터 값이 특정 기하학적 집합 (하이퍼볼라) 위에서의 적분과 일치함을 보입니다.

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

• 안정성 가정의 제거: Nelson-Venkatesh 의 이론이 요구하던 "지수 감소 없음 (non-conductor dropping)" 조건을 완화했습니다. $C(\pi \times \sigma)$가 크게 감소하는 상황에서도 유효한 점근 공식을 도출했습니다.
• 구체적인 점근 공식 (Theorem 1.3):
  • $G=PGL_2, H=GL_1$에 대해, 주어진 테스트 함수 $a$에 대한 상대적 캐릭터 $H_{\pi, \chi}(a)$가 하이퍼볼라 (hyperbola) $Hyp(\pi, \chi)$ 위에서의 적분으로 표현됨을 증명했습니다.
  • 공식:
    $$H_{\pi, \chi}(a) = \int_{Hyp(\pi, \chi)} a(\xi) d\xi$$
  • 여기서 $Hyp(\pi, \chi)$는 $x = \alpha_\chi, yz = \alpha_{\pi, \chi}$로 정의되며, $\alpha_{\pi, \chi}$는 표현과 캐릭터의 지수 (conductor) 와 관련된 상수입니다.
• 비안정적 영역의 기하학적 해석:
  • 안정성이 깨진 경우 (예: $C(\pi)=C(\sigma)$), 상대적 궤도가 십자형으로 변형되지만, 여전히 **닫히지 않은 궤도 (non-closed orbit)**와 **유한한 안정자 (finite stabilizer)**를 가진 자연스러운 기하학적 객체가 점근을 지배함을 보였습니다.
  • 이는 예제 1.2 (GL3, GL2) 에서처럼 무한한 궤도가 존재하여 점근을 설명할 수 없는 경우와는 구별되는, "비안정적이지만 통제 가능한" 상황임을 시사합니다.

4. 의의 (Significance)

• 수론적 응용의 확장: 상대적 캐릭터의 점근적 거동은 서브볼록성 (subconvexity) 문제 해결의 핵심 도구입니다. 기존에는 안정적 영역에서만 적용 가능했던 이 결과를 비안정적 영역으로 확장함으로써, 더 넓은 범위의 $L$-함수 값에 대한 점근적 분석이 가능해졌습니다.
• 미국소 분석의 발전: 비아르키메데스 설정에서의 미국소 분석 (microlocal analysis) 기법을 정교화하여, 리 군 표현론과 수론의 교차 영역에서 새로운 계산 도구를 제공했습니다.
• 기하학적 직관 제공: 안정성이 깨진 경우에도 상대적 캐릭터가 단일 기하학적 객체 (하이퍼볼라) 에 의해 지배된다는 사실은, 비안정적 영역에서의 표현론적 현상을 기하학적으로 이해하는 새로운 통찰을 줍니다.

결론

Trajan Hammonds 의 이 논문은 $PGL_2 \times GL_1$ 쌍에 대해, 지수 감소가 발생하는 비안정적 영역에서도 상대적 캐릭터가 명확한 기하학적 궤도 (하이퍼볼라) 위에서의 적분으로 점근됨을 증명했습니다. 이는 기존 이론의 한계를 극복하고, $L$-함수의 서브볼록성 문제 등 수론적 응용에 더 강력한 도구를 제공하는 중요한 진전입니다.