Generalised Whittaker models as instances of relative Langlands duality II: Plancherel density and global periods

기술적 요약: 상대적 랭글랜즈 쌍대성의 사례로서의 일반화된 휘타커 모델 II

문제 제기
본 논문은 Ben-Zvi, Sakellaridis, Venkatesh([BZSV])가 제안한 상대적 랭글랜즈 쌍대성(Relative Langlands Duality) 프레임워크 내의 특정 추측들을 다룬다. 저자들의 이전 연구([GW])는 일반적인 하이퍼스페리컬 다양체(hyperspherical varieties)의 분지 문제(branching problems) 맥락에서 매끄러운 표현(smooth representations)에 대한 쌍대성을 확립하였으나, 이는 [BZSV] 프로그램의 두 가지 핵심적인 구성 요소를 해결하지 못한 채 남겨두었다:

1. **국소 플랑슈렐 밀도(local Plancherel density)**에 관한 정밀한 수치적 추측 (특히 비램플리파이드(unramified) 지점에서의 "기본 함수(basic function)"에 대하여).
2. 전역 피리어드(global periods) 및 그것과 특수 $L$-값(special values of automlemorphic $L$-functions) 사이의 관계에 관한 추측.

저자들은 훅 형태(hook type)의 nilpotent orbit과 관련된 짝수 직교군 $G = O_{2k}$와 그 쌍대(dual)를 포함하는 대표적인 가족에 초점을 맞춘다. 목표는 하나의 하이퍼스페리컬 다양체와 관련된 국소 플랑슈레 밀도가 그 쌍대 그룹의 국소 $L$-값에 대응함을 검증하고, 이를 전역 피리어드 공식에 적용하는 것이다.

방법론
주요 도구는 홀수 직교군과 메타플렉틱 군(metaplectic groups) 사이의 세타 대응(theta correspondence)(구체적으로 쌍 $(O_{2k}, Sp_{2a})$)이다. 저자들은 [GW2]에서 구축된 프레임워크를 기반으로 하되, 중요한 방법론적 변화를 도입한다:

• 세타 대응을 통한 스펙트럼 분해: 특정 사례에 특화된 방법(예: [GW2])을 사용하여 스펙트럼 분해를 도출했던 이전 방식들과 달리, 본 논문은 세타 대응을 통해 $X$(하이퍼스페리컬 다양성과 관련된 뒤틀린 코탄젠트 번들)의 $L^2(X)$의 스펙트럼 분해를 직접적으로 보여준다. 이러한 접근법은 매끄러운 국소 및 전역 측면의 처리에 병행되는 것으로 나타나며, 더 일반화 가능한 프레임워크를 제공한다.
• 국소 분석: 저자들은 쌍대 그룹 $G' = Sp_{2a}$의 휘타커-플랑슈렐 측도(Whittaker-Plcherel measure)와 연관시킴으로써 $L^2(X)$ 상의 내적을 분석한다. 저자들은 바일 표현(Weil representation)에서 $X$ 상의 함수 공간으로의 사상의 전사성(Theorem 3.1)을 활용하고, 적분 교환 가능성을 정당화하여 스펙트럼 분해 공식을 확립한다(Theorem 3.6).
• 전역 분석: 저자들은 국소 스펙트럼 결과와 전역 세타 리프팅(global theta lifting)을 결결합하여 전역 피리어드 추측을 검증한다. 저자들은 메타플렉틱 군에 대한 Lapid-Mao 추측과 관련 세타 리프트의 다중도 하나(multiplicity one) 성질을 가정한다.

주요 기여 및 결과

1. 국소 플랑슈렐 밀도의 검증 (Theorem 5.6 & 5.7):
   본 논문은 하이퍼스페리컬 쌍 $(M_1, M_2)$에 대해 [BZSV, Proposition 9.2.1]의 수치적 추측을 증명한다.

   • $M_2$와 연관된 $X$ 상의 기본 함수 $\phi_0$의 플랑슈렐 밀도는 쌍대 그룹 $G^\vee_X = O_{2a+1}$의 극대 컴팩트 토러스 상의 측도의 푸시포워드(pushforward)로 나타남을 보인다.
   • 이 측도는 표현 $V_X$ ( $M_1$ 과 연관됨)와 쌍대 그룹의 리 대수(Lie algebra)를 포함하는 행렬식의 비율으로 명시적으로 주어진다.
   • 이 결과는 $M_2$와 연관된 국소 플랑슈렐 밀도가 $M_1$에 부착된 국소 $L$-값, 구체적으로 $\prod L(i/2, V_X^{(i)})$ 형태의 값에 대응함을 확인시켜 준다.

2. 전역 피리어드 추측 (Theorem 6.3):
   저자들은 $G=O_{2k}$ 상의 큐스피달 오토모픽 형식(cuspidal automorphic forms)이 $G'=Sp_{2a}$로부터의 전역 세타 리프팅의 이미지에 있는 경우에 대해 전역 피리어드의 수치적 추측을 확립한다.

   • 저자들은 전역 피리어드 범함수의 제곱 $|P_\gamma(f)|^2$이 국소 인자들, 중심 $L$-값 항, 그리고 그룹 차수 인자 $|S_\phi|^{-1}$의 곱으로 인수분해됨을 보인다.
   • 이 결과는 심플렉틱 군에서의 휘타커 피리어드에 대한 Lapid-Mao 추측 하에서 성립한다.

3. 퇴화된 휘타커 피리어드 (Section 7):
   본 논문은 부분군 $H$가 자명한 경우의 "퇴화된 휘타커 피리어드(degenerate Whittaker periods)"에 관한 [MWZ]의 추측을 다룬다.

   • 세타 대응을 활용함으로써, 저자들은 "국소 상대적 캐릭터(local relative characters)"를 자연스럽게 정의하여 [MWZ]에서 지적된 주요 장애물을 해결한다.
   • 저자들은 고려된 "훅 형태"의 사례들에 대해 [MWZ, Conjectures 1.4 and 1.8]을 증명한다.
   • Theorem 7.10과 7.11은 퇴화된 휘타커 피리어드와 표준 피리어드 간의 곱에 대한 명시적인 공식을 제공하며, $O_{2k-1} \backslash O_{2k}$와 같은 랭크 1 구형 다양성을 특수 사례로 하여 추측들을 확인한다.

의의 및 주장
저자들은 본 연구가 [GW2](랭크 1 구형 다양성 $O_k \backslash O_{k+1}$에 국한되었던 결과)의 범위를 넘어, 훅 형태의 분할(partition)과 연관된 하이퍼스페리컬 다양성의 더 넓은 맥락에서 해당 결과의 "전체 유사(full analog)"를 달성했다고 주장한다.

• 방법론적 일반성: 본 논문은 세타 대응을 사용하여 스펙트럼 분해를 도출하는 방법이 매끄러운 측면 및 전역적 측면의 처리와 병행될 뿐만 아니라 더 일반적임을 강조한다. 저자들은 이 접근법이 [GW, Section 7]의 다른 사례들과 잠재적으로 유니터리 쌍(unitary dual pairs)에 큰 어려움 없이 적용될 수 있다고 기술한다.
• 미해결 문제의 해결: 본 연구는 플랑슈렐 밀도와 전역 피리어드에 관한 [GW]의 공백을 메우며, 뒤틀린 코탄젠트 번들이 포함된 비자명한 설정 내에서 [BZSV] 쌍대성의 구체적인 검증을 제공한다.
• 상대적 캐릭터의 자연스러운 정의: 퇴화된 휘타커 피리어드의 맥락에서, 본 논문은 세타 대응이 필요한 "국소 상대적 캐릭터"를 자연스럽게 부여함을 입증하며, 이는 다른 구형 다양성(예외적인 세타 대응을 통한 예외적 사례 포함)에 대한 유사한 추측들을 해결하는 경로를 제시한다.

논문은 사용된 사례들에 대해서는 방법론이 견고하지만, 예외적인 세타 대응 및 기타 비-훅 형태 사례들에 대해서는 추가적인 기술적 세부 사항이 필요할 것이라고 언급하며 겸허하게 결론을 맺는다.